@zwarich @chandlerc The newer ConstraintElim pass in LLVM made a relatively big difference in generated code quality when it comes to non-trivial bounds check elimination.
Top-level
@zwarich @chandlerc The newer ConstraintElim pass in LLVM made a relatively big difference in generated code quality when it comes to non-trivial bounds check elimination. 1 comment
|
@pervognsen @zwarich @chandlerc there must be a lot of low hanging fruit if gcc is the benchmark :x SBCL(!) used to be stronger at integer range propagation than gcc for finer than power of 2/word size information. OTOH, I guess using range info to generate simpler div by mul is pretty niche.