Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove more than half the stack usage of CFG traversal #492

Merged
merged 1 commit into from
Feb 7, 2019
Merged

Remove more than half the stack usage of CFG traversal #492

merged 1 commit into from
Feb 7, 2019

Conversation

dberlin
Copy link
Contributor

@dberlin dberlin commented Feb 6, 2019

A lot of recursive stack space is used walking the statements in order, which is not necessary.

@dberlin
Copy link
Contributor Author

dberlin commented Feb 6, 2019

Sorry, missed staging a hunk on the reverse one, one minute

@dberlin dberlin force-pushed the remove-stack-space branch from e63c341 to 4dd9bea Compare February 6, 2019 03:15
@s3rvac s3rvac self-requested a review February 6, 2019 06:50
@s3rvac s3rvac self-assigned this Feb 6, 2019
s3rvac
s3rvac requested changes Feb 6, 2019
View reviewed changes
Copy link
Member

@s3rvac s3rvac left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You are completely right -- the functions do not need to be recursive. I have included just a minor suggestion to update the descriptions of the two modified functions. Otherwise, LGTM 👍

@dberlin
Copy link
Contributor Author

dberlin commented Feb 6, 2019

Sorry, i'll fix.
I have a follow on patch that removes all the recursion (the version here still takes about 30+ gig of stack on some of my test cases), and i updated the comments in there :)

@dberlin dberlin force-pushed the remove-stack-space branch from 4dd9bea to c959955 Compare February 6, 2019 19:29
@dberlin
Copy link
Contributor Author

dberlin commented Feb 6, 2019

I updated the comment. Note that they are still recursive, as traverseNodeSuccessors will recurse back into calling us.

The traversal of CFG nodes as implemented is quite weird in actual practice. I rewrote it in a followup, i'll include more details there.

s3rvac
s3rvac approved these changes Feb 7, 2019
View reviewed changes
Copy link
Member

@s3rvac s3rvac left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you! 👍

@s3rvac
Copy link
Member

s3rvac commented Feb 7, 2019

That AppVeyor build failure is due to a timeout and has nothing to do with this PR. We will have to figure what to do with it.

@s3rvac s3rvac merged commit e3c7ce4 into avast:master Feb 7, 2019
s3rvac added a commit that referenced this pull request Feb 7, 2019
@s3rvac
Add a new CHANGELOG entry (#492).
1064b75
@s3rvac s3rvac mentioned this pull request Apr 12, 2019
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@s3rvac s3rvac s3rvac approved these changes

Assignees

@s3rvac s3rvac

Labels
C-llvmir2hll enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dberlin @s3rvac