Created originally on Bitbucket by mpavone (Michael Pavone)
Unsigned integer comparisons now update/propagate integer bounds and can be optimized away based on integer bounds information.
Created originally on Bitbucket by mpavone (Michael Pavone)
Unsigned integer comparisons now update/propagate integer bounds and can be optimized away based on integer bounds information.