search

ASSERT-KTH / slumps

Cool code analysis research for WebAssembly
https://kth.github.io/slumps/
65 stars 11 forks source link

Sync souper2llvm from latest souper #36

Closed jianguda closed 4 years ago

jianguda commented 4 years ago

from @shrin18 "We might want to have a look at the latest PR merged in the Souper Repo. I think the brokenPR as mentioned some time back by us in one of our issues to fix the souper2llvm script was finally merged. I think it is supposed to handle every souper instruction except phi and is a drastic improvement over the Pass code since it parses only the RHS candidates generated. I think Jian and I worked on integrating some of the lines of the code previously in our bash pipeline for generating the RHS but now since its merged we only need to use the souper2llvm script. Maybe an option to consider alongside SWAM."

Maybe we shall sync KTH/souper with the latest google/souper and make some changes to our bash pipeline in the near future? @Jacarte

shrin18 commented 4 years ago

Yes I think that will make the work easier for us I think.

Jacarte commented 4 years ago

Remember that the souper2llvm transform the SouperIR to a selfcontained function without the global information of the original module. I think this script is only a demo tool. The full integration is in the opt pass compiled with souper.

But, yes, lets sync

jianguda commented 4 years ago

I have rebased and there are not many differences.