@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.