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.

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

Pipeline revng passes #348

Closed

Conversation

drblallo
Copy link
Contributor

No description provided.

@drblallo drblallo marked this pull request as draft January 22, 2024 14:25
@drblallo drblallo force-pushed the feature/pipeline-revng-passes branch from 57fa58c to c242eeb Compare February 12, 2024 15:46
@drblallo drblallo marked this pull request as ready for review February 12, 2024 15:46
include/revng/Pipeline/ExecutionContext.h Outdated Show resolved Hide resolved
include/revng/Pipeline/ExecutionContext.h Outdated Show resolved Hide resolved
include/revng/Pipeline/ExecutionContext.h Outdated Show resolved Hide resolved
include/revng/Pipeline/ExecutionContext.h Outdated Show resolved Hide resolved
include/revng/Pipeline/ExecutionContext.h Outdated Show resolved Hide resolved
lib/Pipes/RevngPasses.cpp Outdated Show resolved Hide resolved
lib/Pipes/RevngPasses.cpp Outdated Show resolved Hide resolved
lib/Pipes/TaggedFunctionKind.cpp Outdated Show resolved Hide resolved
lib/Pipes/TaggedFunctionKind.cpp Outdated Show resolved Hide resolved
include/revng/Pipes/TaggedFunctionKind.h Outdated Show resolved Hide resolved
include/revng/Pipes/RevngPasses.h Outdated Show resolved Hide resolved
@drblallo drblallo force-pushed the feature/pipeline-revng-passes branch from c242eeb to 08f05de Compare February 13, 2024 15:36
include/revng/FunctionIsolation/EnforceABI.h Outdated Show resolved Hide resolved
Comment on lines 25 to +26
AU.addRequired<LoadModelWrapperPass>();
AU.addRequired<pipeline::LoadExecutionContextPass>();
Copy link
Contributor

Choose a reason for hiding this comment

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

Why do we still need LoadModelWrapperPass?
We can get the model from the ExecutionContext, can't we?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

yes, but we need to schedule LOadModelWrapperPAss anyway so people can do both. Do we wish to have a policy about this? in principle we could even entirely drop LoadModelWrapperPass

Copy link
Contributor Author

Choose a reason for hiding this comment

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

i looked into this, but the change was sprawling and it still requires to make sure that revng opt is never used. I recommend to do it after after that issue is fixed

include/revng/Model/IRHelpers.h Show resolved Hide resolved
include/revng/ADT/TrackingContainer.h Show resolved Hide resolved
include/revng/TupleTree/Visits.h Outdated Show resolved Hide resolved
lib/FunctionIsolation/IsolateFunctions.cpp Show resolved Hide resolved
lib/FunctionIsolation/PromoteCSVs.cpp Outdated Show resolved Hide resolved
lib/FunctionIsolation/PromoteCSVs.cpp Outdated Show resolved Hide resolved
lib/Pipeline/Target.cpp Show resolved Hide resolved
@drblallo drblallo force-pushed the feature/pipeline-revng-passes branch 4 times, most recently from 443675e to c21dc30 Compare February 23, 2024 16:17
include/revng/FunctionIsolation/PromoteCSVs.h Outdated Show resolved Hide resolved
lib/FunctionIsolation/PromoteCSVs.cpp Outdated Show resolved Hide resolved
lib/FunctionIsolation/DropRoot.cpp Outdated Show resolved Hide resolved
lib/FunctionIsolation/IsolateFunctions.cpp Outdated Show resolved Hide resolved
@drblallo drblallo force-pushed the feature/pipeline-revng-passes branch from c21dc30 to 040829d Compare February 26, 2024 11:45
drblallo and others added 6 commits May 16, 2024 18:35
Propagates the deduced info about inputs and outputs of pipes all the
way up to the runner, so that the requested output of a pipe can be
passed to its invokation
@drblallo drblallo force-pushed the feature/pipeline-revng-passes branch from 040829d to 31a5432 Compare May 16, 2024 18:39
@aleclearmind
Copy link
Contributor

Closing this due to the heavy reworking I'm doing on this branch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants