search

google / souper

A superoptimizer for LLVM IR
Apache License 2.0
2.11k stars 167 forks source link

cache-infer no longer writes RHSs to the cache but rather has souper-… #833

Closed regehr closed 3 years ago

regehr commented 3 years ago

…check do this

a few other changes including adding a mode specifically for testing pruning