[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Reassociate / min_int.ll
blob52dab3a531f780b4486cae8a2b574fe4537696f2
1 ; RUN: opt < %s -reassociate -dce -S | FileCheck %s
3 ; MIN_INT cannot be negated during reassociation
5 define i32 @minint(i32 %i) {
6 ; CHECK:  %mul = mul i32 %i, -2147483648
7 ; CHECK-NEXT:  %add = add i32 %mul, 1
8 ; CHECK-NEXT:  ret i32 %add
9   %mul = mul i32 %i, -2147483648
10   %add = add i32 %mul, 1
11   ret i32 %add