1; RUN: opt -reassociate -gvn -S < %s | FileCheck %s 2 3; (x + 0.1234 * y) * (x + -0.1234 * y) -> (x + 0.1234 * y) * (x - 0.1234 * y) 4define double @test1(double %x, double %y) { 5; CHECK-LABEL: @test1 6; CHECK-NEXT: fmul double %y, 1.234000e-01 7; CHECK-NEXT: fadd double %x, %mul 8; CHECK-NEXT: fsub double %x, %mul 9; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}} 10; CHECK-NEXT: ret double %mul 11 12 %mul = fmul double 1.234000e-01, %y 13 %add = fadd double %mul, %x 14 %mul1 = fmul double -1.234000e-01, %y 15 %add2 = fadd double %mul1, %x 16 %mul3 = fmul double %add, %add2 17 ret double %mul3 18} 19 20; (x + -0.1234 * y) * (x + -0.1234 * y) -> (x - 0.1234 * y) * (x - 0.1234 * y) 21define double @test2(double %x, double %y) { 22; CHECK-LABEL: @test2 23; CHECK-NEXT: fmul double %y, 1.234000e-01 24; CHECK-NEXT: fsub double %x, %mul 25; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}} 26; CHECK-NEXT: ret double %mul 27 28 %mul = fmul double %y, -1.234000e-01 29 %add = fadd double %mul, %x 30 %mul1 = fmul double %y, -1.234000e-01 31 %add2 = fadd double %mul1, %x 32 %mul3 = fmul double %add, %add2 33 ret double %mul3 34} 35 36; (x + 0.1234 * y) * (x - -0.1234 * y) -> (x + 0.1234 * y) * (x + 0.1234 * y) 37define double @test3(double %x, double %y) { 38; CHECK-LABEL: @test3 39; CHECK-NEXT: fmul double %y, 1.234000e-01 40; CHECK-NEXT: fadd double %x, %mul 41; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}} 42; CHECK-NEXT: ret double 43 44 %mul = fmul double %y, 1.234000e-01 45 %add = fadd double %mul, %x 46 %mul1 = fmul double %y, -1.234000e-01 47 %add2 = fsub double %x, %mul1 48 %mul3 = fmul double %add, %add2 49 ret double %mul3 50} 51 52; Canonicalize (x - -1234 * y) 53define i64 @test4(i64 %x, i64 %y) { 54; CHECK-LABEL: @test4 55; CHECK-NEXT: mul i64 %y, 1234 56; CHECK-NEXT: add i64 %mul, %x 57; CHECK-NEXT: ret i64 %sub 58 59 %mul = mul i64 %y, -1234 60 %sub = sub i64 %x, %mul 61 ret i64 %sub 62} 63 64; Canonicalize (x - -0.1234 * y) 65define double @test5(double %x, double %y) { 66; CHECK-LABEL: @test5 67; CHECK-NEXT: fmul double %y, 1.234000e-01 68; CHECK-NEXT: fadd double %x, %mul 69; CHECK-NEXT: ret double 70 71 %mul = fmul double -1.234000e-01, %y 72 %sub = fsub double %x, %mul 73 ret double %sub 74} 75 76; Don't modify (-0.1234 * y - x) 77define double @test6(double %x, double %y) { 78; CHECK-LABEL: @test6 79; CHECK-NEXT: fmul double %y, -1.234000e-01 80; CHECK-NEXT: fsub double %mul, %x 81; CHECK-NEXT: ret double %sub 82 83 %mul = fmul double -1.234000e-01, %y 84 %sub = fsub double %mul, %x 85 ret double %sub 86} 87 88; Canonicalize (-0.1234 * y + x) -> (x - 0.1234 * y) 89define double @test7(double %x, double %y) { 90; CHECK-LABEL: @test7 91; CHECK-NEXT: fmul double %y, 1.234000e-01 92; CHECK-NEXT: fsub double %x, %mul 93; CHECK-NEXT: ret double %add 94 95 %mul = fmul double -1.234000e-01, %y 96 %add = fadd double %mul, %x 97 ret double %add 98} 99 100; Canonicalize (y * -0.1234 + x) -> (x - 0.1234 * y) 101define double @test8(double %x, double %y) { 102; CHECK-LABEL: @test8 103; CHECK-NEXT: fmul double %y, 1.234000e-01 104; CHECK-NEXT: fsub double %x, %mul 105; CHECK-NEXT: ret double %add 106 107 %mul = fmul double %y, -1.234000e-01 108 %add = fadd double %mul, %x 109 ret double %add 110} 111 112; Canonicalize (x - -0.1234 / y) 113define double @test9(double %x, double %y) { 114; CHECK-LABEL: @test9 115; CHECK-NEXT: fdiv double 1.234000e-01, %y 116; CHECK-NEXT: fadd double %x, %div 117; CHECK-NEXT: ret double 118 119 %div = fdiv double -1.234000e-01, %y 120 %sub = fsub double %x, %div 121 ret double %sub 122} 123 124; Don't modify (-0.1234 / y - x) 125define double @test10(double %x, double %y) { 126; CHECK-LABEL: @test10 127; CHECK-NEXT: fdiv double -1.234000e-01, %y 128; CHECK-NEXT: fsub double %div, %x 129; CHECK-NEXT: ret double %sub 130 131 %div = fdiv double -1.234000e-01, %y 132 %sub = fsub double %div, %x 133 ret double %sub 134} 135 136; Canonicalize (-0.1234 / y + x) -> (x - 0.1234 / y) 137define double @test11(double %x, double %y) { 138; CHECK-LABEL: @test11 139; CHECK-NEXT: fdiv double 1.234000e-01, %y 140; CHECK-NEXT: fsub double %x, %div 141; CHECK-NEXT: ret double %add 142 143 %div = fdiv double -1.234000e-01, %y 144 %add = fadd double %div, %x 145 ret double %add 146} 147 148; Canonicalize (y / -0.1234 + x) -> (x - y / 0.1234) 149define double @test12(double %x, double %y) { 150; CHECK-LABEL: @test12 151; CHECK-NEXT: fdiv double %y, 1.234000e-01 152; CHECK-NEXT: fsub double %x, %div 153; CHECK-NEXT: ret double %add 154 155 %div = fdiv double %y, -1.234000e-01 156 %add = fadd double %div, %x 157 ret double %add 158} 159