test/Transforms/Reassociate/canonicalize-neg-const.ll

   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)
   4 define double @test1(double %x, double %y) {
   5 ; CHECK-LABEL: @test1
   6 ; CHECK-NEXT: fmul double 1.234000e-01, %y
   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)
  21 define double @test2(double %x, double %y) {
  22 ; CHECK-LABEL: @test2
  23 ; CHECK-NEXT: fmul double 1.234000e-01, %y
  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)
  37 define double @test3(double %x, double %y) {
  38 ; CHECK-LABEL: @test3
  39 ; CHECK-NEXT: fdiv double 1.234000e-01, %y
  40 ; CHECK-NEXT: fadd double %x, %div
  41 ; CHECK-NEXT: fsub double %x, %div
  42 ; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}}
  43 ; CHECK-NEXT: ret double
  44
  45   %div = fdiv double 1.234000e-01, %y
  46   %add = fadd double %div, %x
  47   %div1 = fdiv double -1.234000e-01, %y
  48   %add2 = fadd double %div1, %x
  49   %mul3 = fmul double %add, %add2
  50   ret double %mul3
  51 }
  52
  53 ; (x + 0.1234 * y) * (x - -0.1234 * y) -> (x + 0.1234 * y) * (x + 0.1234 * y)
  54 define double @test4(double %x, double %y) {
  55 ; CHECK-LABEL: @test4
  56 ; CHECK-NEXT: fmul double 1.234000e-01, %y
  57 ; CHECK-NEXT: fadd double %x, %mul
  58 ; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}}
  59 ; CHECK-NEXT: ret double
  60
  61   %mul = fmul double %y, 1.234000e-01
  62   %add = fadd double %mul, %x
  63   %mul1 = fmul double %y, -1.234000e-01
  64   %add2 = fsub double %x, %mul1
  65   %mul3 = fmul double %add, %add2
  66   ret double %mul3
  67 }
  68
  69 ; Canonicalize (x - -1234 * y)
  70 define i64 @test5(i64 %x, i64 %y) {
  71 ; CHECK-LABEL: @test5
  72 ; CHECK-NEXT: mul i64 %y, 1234
  73 ; CHECK-NEXT: add i64 %mul, %x
  74 ; CHECK-NEXT: ret i64 %sub
  75
  76   %mul = mul i64 %y, -1234
  77   %sub = sub i64 %x, %mul
  78   ret i64 %sub
  79 }
  80
  81 ; Canonicalize (x - -0.1234 * y)
  82 define double @test6(double %x, double %y) {
  83 ; CHECK-LABEL: @test6
  84 ; CHECK-NEXT: fmul double 1.234000e-01, %y
  85 ; CHECK-NEXT: fadd double %x, %mul
  86 ; CHECK-NEXT: ret double
  87
  88   %mul = fmul double -1.234000e-01, %y
  89   %sub = fsub double %x, %mul
  90   ret double %sub
  91 }
  92
  93 ; Don't modify (-0.1234 * y - x)
  94 define double @test7(double %x, double %y) {
  95 ; CHECK-LABEL: @test7
  96 ; CHECK-NEXT: fmul double -1.234000e-01, %y
  97 ; CHECK-NEXT: fsub double %mul, %x
  98 ; CHECK-NEXT: ret double %sub
  99
 100   %mul = fmul double -1.234000e-01, %y
 101   %sub = fsub double %mul, %x
 102   ret double %sub
 103 }
 104
 105 ; Canonicalize (-0.1234 * y + x) -> (x - 0.1234 * y)
 106 define double @test8(double %x, double %y) {
 107 ; CHECK-LABEL: @test8
 108 ; CHECK-NEXT: fmul double 1.234000e-01, %y
 109 ; CHECK-NEXT: fsub double %x, %mul
 110 ; CHECK-NEXT: ret double %add
 111
 112   %mul = fmul double -1.234000e-01, %y
 113   %add = fadd double %mul, %x
 114   ret double %add
 115 }
 116
 117 ; Canonicalize (y * -0.1234 + x) -> (x - 0.1234 * y)
 118 define double @test9(double %x, double %y) {
 119 ; CHECK-LABEL: @test9
 120 ; CHECK-NEXT: fmul double 1.234000e-01, %y
 121 ; CHECK-NEXT: fsub double %x, %mul
 122 ; CHECK-NEXT: ret double %add
 123
 124   %mul = fmul double %y, -1.234000e-01
 125   %add = fadd double %mul, %x
 126   ret double %add
 127 }
 128
 129 ; Canonicalize (x - -1234 udiv y)
 130 define i64 @test10(i64 %x, i64 %y) {
 131 ; CHECK-LABEL: @test10
 132 ; CHECK-NEXT: udiv i64 1234, %y
 133 ; CHECK-NEXT: add i64 %div, %x
 134 ; CHECK-NEXT: ret i64 %sub
 135
 136   %div = udiv i64 -1234, %y
 137   %sub = sub i64 %x, %div
 138   ret i64 %sub
 139 }
 140
 141 ; Canonicalize (x - -1234 sdiv y)
 142 define i64 @test11(i64 %x, i64 %y) {
 143 ; CHECK-LABEL: @test11
 144 ; CHECK-NEXT: sdiv i64 1234, %y
 145 ; CHECK-NEXT: add i64 %div, %x
 146 ; CHECK-NEXT: ret i64 %sub
 147
 148   %div = sdiv i64 -1234, %y
 149   %sub = sub i64 %x, %div
 150   ret i64 %sub
 151 }
 152
 153 ; Canonicalize (x - -0.1234 / y)
 154 define double @test12(double %x, double %y) {
 155 ; CHECK-LABEL: @test12
 156 ; CHECK-NEXT: fdiv double 1.234000e-01, %y
 157 ; CHECK-NEXT: fadd double %x, %div
 158 ; CHECK-NEXT: ret double %sub
 159
 160   %div = fdiv double -1.234000e-01, %y
 161   %sub = fsub double %x, %div
 162   ret double %sub
 163 }
 164
 165 ; Canonicalize (x - -0.1234 urem y)
 166 define i64 @test13(i64 %x, i64 %y) {
 167 ; CHECK-LABEL: @test13
 168 ; CHECK-NEXT: urem i64 1234, %y
 169 ; CHECK-NEXT: add i64 %urem, %x
 170 ; CHECK-NEXT: ret i64 %sub
 171
 172   %urem = urem i64 -1234, %y
 173   %sub = sub i64 %x, %urem
 174   ret i64 %sub
 175 }
 176
 177 ; Canonicalize (x + -0.1234 srem y)
 178 define i64 @test14(i64 %x, i64 %y) {
 179 ; CHECK-LABEL: @test14
 180 ; CHECK-NEXT: srem i64 1234, %y
 181 ; CHECK-NEXT: sub i64 %x, %srem
 182 ; CHECK-NEXT: ret i64 %add
 183
 184   %srem = srem i64 -1234, %y
 185   %add = add i64 %x, %srem
 186   ret i64 %add
 187 }
 188
 189 ; Don't modify (-0.1234 srem y - x)
 190 define i64 @test15(i64 %x, i64 %y) {
 191 ; CHECK-LABEL: @test15
 192 ; CHECK-NEXT: %srem = srem i64 -1234, %y
 193 ; CHECK-NEXT: %sub = sub i64 %srem, %x
 194 ; CHECK-NEXT: ret i64 %sub
 195
 196   %srem = srem i64 -1234, %y
 197   %sub = sub i64 %srem, %x
 198   ret i64 %sub
 199 }
 200
 201 ; Canonicalize (x - -0.1234 frem y)
 202 define double @test16(double %x, double %y) {
 203 ; CHECK-LABEL: @test16
 204 ; CHECK-NEXT: frem double 1.234000e-01, %y
 205 ; CHECK-NEXT: fadd double %x, %rem
 206 ; CHECK-NEXT: ret double %sub
 207
 208   %rem = frem double -1.234000e-01, %y
 209   %sub = fsub double %x, %rem
 210   ret double %sub
 211 }
 212
 213 ; Canonicalize (x + -0.1234 frem y)
 214 define double @test17(double %x, double %y) {
 215 ; CHECK-LABEL: @test17
 216 ; CHECK-NEXT: frem double 1.234000e-01, %y
 217 ; CHECK-NEXT: fsub double %x, %rem
 218 ; CHECK-NEXT: ret double %add
 219
 220   %rem = frem double -1.234000e-01, %y
 221   %add = fadd double %x, %rem
 222   ret double %add
 223 }
 224
 225 ; Canonicalize (-0.1234 frem y + x) -> (x - 0.1234 frem y)
 226 define double @test18(double %x, double %y) {
 227 ; CHECK-LABEL: @test18
 228 ; CHECK-NEXT: frem double 1.234000e-01, %y
 229 ; CHECK-NEXT: fsub double %x, %rem
 230 ; CHECK-NEXT: ret double %add
 231
 232   %rem = frem double -1.234000e-01, %y
 233   %add = fadd double %x, %rem
 234   ret double %add
 235 }