search for: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1

...m Souper: 1xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx -------------------------------------------------------------------- impossible to get rid of all those 1s using a legal lshr: %0:i32 = var %1:i32 = lshr 4294967295:i32, %0 infer %1 known from LLVM: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx known from Souper: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx1 -------------------------------------------------------------------- there are a lot of variants on this general theme where an icmp followed by a select don't need to lose all the bits: %0:i64 = var %1:i1 = ult 2:i64, %0 %2:i64 = select %1, 2:i64, %0 infer %2 known from LLVM: xxxxxxxxxxx...