Reviewed-by: iignatyev, vlivanov, kvn, fzhinkin
Folding of BoolNode if input add/sub of CmpI overflows and we can prove that compared value is not in the two resulting ranges. Added test for CmpI and CmpU optimizations. Reviewed-by: kvn, rbackman, roland