Closed janniclas closed 1 year ago
@janniclas I have rewritten the "look-through GEP" for the StoreInst; can you check whether your test cases still work?
Thx for the cleanup ! I'll checkout how to add and run test cases with PhASAR tomorrow morning. Then I'll just include my tests here. Meant to do this anyway. However, I'll need to provide the generated LLVM IR so you don't have to have setup the swift compiler to compile the test cases..
@fabianbs96 Nice find with stripPointerCasts ! works as expected :)
I added the test cases and the corresponding IR. However, as stated in the commit message, we currently don't compile the Swift test case to IR, so we have to manually copy the IR file I included to the fitting test directory. I bet cmake can do this for me but I have no idea how - @jusito maybe you could help? What I want to do for now is copy every *_swift.ll file in the test directories to build/test/...
This should be merged after https://github.com/secure-software-engineering/phasar/pull/587
This PR adds flow and edge functions to the IDE_LCA implementation to handle getelementptr and extractvalue instructions. These oftentimes appear in Swift-based LLVM IR and with the added changes we are able to handle the following constructs:
Additionally, I sneaked in a bugfix for printing the results of the LCA.