search for: xxxxxxxxxxxxxxxxxxxxxxxxxxxxx000

...s, John -------------------------------------------------------------------- if the little end of a word contains some contiguous zeros, they'll still be there after a shl: %0:i32 = var %1:i32 = shl 8:i32, %0 infer %1 known from LLVM: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx known from Souper: xxxxxxxxxxxxxxxxxxxxxxxxxxxxx000 -------------------------------------------------------------------- when the shift exponent is nonzero, shl nsw nuw must leave the MSB cleared (if not, the result would have been poison): %0:i32 = var %1:i32 = shlnw %0, 3:i32 infer %1 known from LLVM: xxxxxxxxxxxxxxxxxxxxxxxxxxxxx000 known...