Merged backends #80
Merged
Merged backends #80
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
BREAKING! This change affects the signature of the Asl_visitor.visit_stmt method. For compatibility, a visit_stmt_single method is provided with equivalent behaviour to the old visit_stmt. There is also an added helper function to convert visitActions on single statements to visitActions on a list of statements. Both of these compatibility helpers WILL THROW if used with a visitor that returns non-singleton statement lists. This gives the user the flexibility to insert new statements or delete statements entirely. On the other hand, post-functions in ChangeDoChildrenPost will need to handle lists of functions as well. This follows the original CIL visitor: https://people.eecs.berkeley.edu/~necula/cil/api/Cil.cilVisitor.html
it is no longer a good idea for the backwards and forwards visitors to have a subtyping relation.
this is very useful when looking for the name of an encoding, without cluttering the output with the disassembly trace. the default debug_level has been lowered to -1 to support -x 0 as a non-default level. we cannot print by default since that would clutter stdout when used as a library.
to do: implement f_gen_* functions.
this allows keeping versioning the lifter_interface alongside the backend code which uses it.
implement aslBackwardsVisitor
katrinafyi
added a commit
that referenced
this pull request
Sep 2, 2024
* Add scala backend for BASIL * Add lifttime PC variable Optional support for offline lifter to specify the PC value at lifttime. * Remove problematic list, add missing variables * Optional pass to remove unsupported globals * Whitespace in transforms * Re-enable case simp for offline * Decoder cleanup and sanity checks * Simplify reachability based on enc * Add lifttime PC variable Optional support for offline lifter to specify the PC value at lifttime. * Remove problematic list, add missing variables * Optional pass to remove unsupported globals * Whitespace in transforms * Re-enable case simp for offline * Decoder cleanup and sanity checks * Simplify reachability based on enc * wip rt copyprop * use bdd lattice for clobbered & read * refac * untested xform to ternary * not working * refactor so analysis and transform both called into from bdd AI walk * fix anlaysis a bit and add bvadd * cleanup bvops * Eliminate comparisons during IntToBits Leverage interval information to reduce trivial comparisons during post-passes, then cleanup in RemoveUnused. * fix rebuild expr * passing cov disabled * test and fix bdd sle/slt * Merged backends (#80) * Add scala backend for BASIL * Add C++ Backend for LLVM * add aslBackwardsVisitor * aslVisitor: change vstmt to return stmt list BREAKING! This change affects the signature of the Asl_visitor.visit_stmt method. For compatibility, a visit_stmt_single method is provided with equivalent behaviour to the old visit_stmt. There is also an added helper function to convert visitActions on single statements to visitActions on a list of statements. Both of these compatibility helpers WILL THROW if used with a visitor that returns non-singleton statement lists. This gives the user the flexibility to insert new statements or delete statements entirely. On the other hand, post-functions in ChangeDoChildrenPost will need to handle lists of functions as well. This follows the original CIL visitor: https://people.eecs.berkeley.edu/~necula/cil/api/Cil.cilVisitor.html * fix backwards visitor and rearrange code it is no longer a good idea for the backwards and forwards visitors to have a subtyping relation. * support -x 0 to print encoding name. (#78) this is very useful when looking for the name of an encoding, without cluttering the output with the disassembly trace. the default debug_level has been lowered to -1 to support -x 0 as a non-default level. we cannot print by default since that would clutter stdout when used as a library. Co-authored-by: rina <[email protected]> * progress * possibly working * build standalone * print lifted semantics * readme * add mill script * add generic lifter interface * delete old utils * generate separate scala assembly file * cleanup * update tests * marshall offline lifter * fix symbolic lifter merge * update action * update cpp lifter * cpp: allow llvm 18 * cpp: clean up offlineASL-cpp folder delete old hpp files in root reset meson.build to empty --------- Co-authored-by: Nicholas Coughlin <[email protected]> Co-authored-by: rina <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.