Isn't value range inference for eliminating overflow / out-of-bounds checks, and...

		nikic on April 9, 2016 \| parent \| context \| favorite \| on: Efficient Integer Overflow Checking in LLVM Isn't value range inference for eliminating overflow / out-of-bounds checks, and LCM (/PRE) for hoisting checks out of loops pretty standard in any optimizing compiler nowadays?