Draft
Conversation
Patching ASPIS to LLVM 21 (some functions/headers/classes are not compatible) Didn't manage to run test Simple changes on RASM.cpp
Removed some enable-new-pm flags Fixed the not equal on dup check. Commented lowerswitch pass
Gab-San
force-pushed
the
RACFED
branch
3 times, most recently
from
3b0ff98 to
d059f0b
Compare
Since LLVM 17 all pointers are opaques so checks for opaque pointers have been removed endswith and startswith methods have been replaced by ends_with and starts_with StringRef .equals method has been replaced by llvm::operator==
Class RACFED.cpp
Made everything unsigned 32 bit values Added multiline test functions
Fixed error introduced on last push
- Fixed error where sumIntraInstructions wasn't properly updated and crashed the execution of the program - Implemented Return Value Check - Standardized some notation in order to have better formatted and more readable code
Should fix issue #5
Modified test.py in order to be able to run different configuration files making it more manageable. Added --tests-file flag -> use different configuration files Added --suffix flag -> extending support to versioned binaries (aspis modifications compatibility)
Removed some redundant tests Updated testing/README
|
Just a warning before a future merge. Given that RACFED is being implemented in LLVM 21.1.6 some patching was done to RASM and to EDDI. Patches to RASM and EDDI can be reverted (rebase on patching branch is instant and shouldn't break any work done in RACFED development branch).
|
Update to racfed+eddi test names
Added some documentation. Added CompiledFuncs logic (copied from rasm)
In order to close issue #10 test multi_if_then_else has been added Support for multiple test configuration files has been added to flag --tests-file
Other tests don't pass
Added randomized seeds
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
RACFED
Implementation of RACFED. Starting from RASM implementation to RACFED.
Implementation in LLVM 21.1.6.
Authors
Gabriele Santandrea
Martina Starone