1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -reassociate -S | FileCheck %s 3 4 ; Don't produce an instruction that is a no-op because the constant is an identity constant. 5 6 define i32 @add_0(i32 %x) { 7 ; CHECK-LABEL: @add_0( 8 ; CHECK-NEXT: ret i32 [[X:%.*]] 9 ; 10 %a1 = add i32 %x, -30 11 %a2 = add i32 %a1, 30 12 ret i32 %a2 13 } 14 15 define i32 @mul_1(i32 %x) { 16 ; CHECK-LABEL: @mul_1( 17 ; CHECK-NEXT: ret i32 [[X:%.*]] 18 ; 19 %a1 = mul i32 %x, -1 20 %a2 = mul i32 %a1, -1 21 ret i32 %a2 22 } 23 24 define i8 @and_neg1(i8 %x) { 25 ; CHECK-LABEL: @and_neg1( 26 ; CHECK-NEXT: ret i8 [[X:%.*]] 27 ; 28 %a1 = and i8 %x, 255 29 %a2 = and i8 %a1, 255 30 ret i8 %a2 31 } 32 33 define i8 @or_0(i8 %x) { 34 ; CHECK-LABEL: @or_0( 35 ; CHECK-NEXT: ret i8 [[X:%.*]] 36 ; 37 %a1 = or i8 %x, 0 38 %a2 = or i8 %a1, 0 39 ret i8 %a2 40 } 41 42 define i8 @xor_0(i8 %x) { 43 ; CHECK-LABEL: @xor_0( 44 ; CHECK-NEXT: ret i8 [[X:%.*]] 45 ; 46 %a1 = xor i8 %x, 42 47 %a2 = xor i8 %a1, 42 48 ret i8 %a2 49 } 50 51 ; FIXME - the binop identity constant for fadd is -0.0, so this didn't fold. 52 53 define float @fadd_0(float %x) { 54 ; CHECK-LABEL: @fadd_0( 55 ; CHECK-NEXT: [[A2:%.*]] = fadd fast float [[X:%.*]], 0.000000e+00 56 ; CHECK-NEXT: ret float [[A2]] 57 ; 58 %a1 = fadd fast float %x, -30.0 59 %a2 = fadd fast float %a1, 30.0 60 ret float %a2 61 } 62 63 define float @fmul_1(float %x) { 64 ; CHECK-LABEL: @fmul_1( 65 ; CHECK-NEXT: ret float [[X:%.*]] 66 ; 67 %a1 = fmul fast float %x, 4.0 68 %a2 = fmul fast float %a1, 0.25 69 ret float %a2 70 } 71 72
