llvm/test/Transforms/InstSimplify/floating-point-arithmetic-strictfp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3
   4 ; fneg (fsub -0.0, X) ==> X
   5 define float @fsub_-0_x(float %a) #0 {
   6 ; CHECK-LABEL: @fsub_-0_x(
   7 ; CHECK-NEXT:    [[T1:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float -0.000000e+00, float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
   8 ; CHECK-NEXT:    [[RET:%.*]] = fneg float [[T1]]
   9 ; CHECK-NEXT:    ret float [[RET]]
  10 ;
  11   %t1 = call float @llvm.experimental.constrained.fsub.f32(float -0.0, float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  12   %ret = fneg float %t1
  13   ret float %ret
  14 }
  15
  16 define <2 x float> @fsub_-0_x_vec(<2 x float> %a) #0 {
  17 ; CHECK-LABEL: @fsub_-0_x_vec(
  18 ; CHECK-NEXT:    [[T1:%.*]] = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> <float -0.000000e+00, float -0.000000e+00>, <2 x float> [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  19 ; CHECK-NEXT:    [[RET:%.*]] = fneg <2 x float> [[T1]]
  20 ; CHECK-NEXT:    ret <2 x float> [[RET]]
  21 ;
  22   %t1 = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float -0.0, float -0.0>, <2 x float> %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  23   %ret = fneg <2 x float> %t1
  24   ret <2 x float> %ret
  25 }
  26
  27 define <2 x float> @fsub_-0_x_vec_poison_elts(<2 x float> %a) #0 {
  28 ; CHECK-LABEL: @fsub_-0_x_vec_poison_elts(
  29 ; CHECK-NEXT:    [[T1:%.*]] = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> <float -0.000000e+00, float poison>, <2 x float> [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  30 ; CHECK-NEXT:    [[RET:%.*]] = fneg <2 x float> [[T1]]
  31 ; CHECK-NEXT:    ret <2 x float> [[RET]]
  32 ;
  33   %t1 = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float -0.0, float poison>, <2 x float> %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  34   %ret = fneg <2 x float> %t1
  35   ret <2 x float> %ret
  36 }
  37
  38 define <2 x float> @fsub_negzero_vec_poison_elts(<2 x float> %x) #0 {
  39 ; CHECK-LABEL: @fsub_negzero_vec_poison_elts(
  40 ; CHECK-NEXT:    [[R:%.*]] = call nsz <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> <float poison, float -0.000000e+00>, <2 x float> [[X:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  41 ; CHECK-NEXT:    ret <2 x float> [[R]]
  42 ;
  43   %r = call nsz <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float poison, float -0.0>, <2 x float> %x, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  44   ret <2 x float> %r
  45 }
  46
  47 ; fsub -0.0, (fsub -0.0, X) ==> X
  48 define float @fsub_-0_-0_x(float %a) #0 {
  49 ; CHECK-LABEL: @fsub_-0_-0_x(
  50 ; CHECK-NEXT:    [[T1:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float -0.000000e+00, float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  51 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float -0.000000e+00, float [[T1]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  52 ; CHECK-NEXT:    ret float [[RET]]
  53 ;
  54   %t1 = call float @llvm.experimental.constrained.fsub.f32(float -0.0, float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  55   %ret = call float @llvm.experimental.constrained.fsub.f32(float -0.0, float %t1, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  56   ret float %ret
  57 }
  58
  59 ; fsub -0.0, (fneg X) ==> X
  60 define float @fneg_x(float %a) #0 {
  61 ; CHECK-LABEL: @fneg_x(
  62 ; CHECK-NEXT:    ret float [[A:%.*]]
  63 ;
  64   %t1 = fneg float %a
  65   %ret = call float @llvm.experimental.constrained.fsub.f32(float -0.0, float %t1, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  66   ret float %ret
  67 }
  68
  69 define <2 x float> @fsub_-0_-0_x_vec(<2 x float> %a) #0 {
  70 ; CHECK-LABEL: @fsub_-0_-0_x_vec(
  71 ; CHECK-NEXT:    [[T1:%.*]] = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> <float -0.000000e+00, float -0.000000e+00>, <2 x float> [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  72 ; CHECK-NEXT:    [[RET:%.*]] = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> <float -0.000000e+00, float -0.000000e+00>, <2 x float> [[T1]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  73 ; CHECK-NEXT:    ret <2 x float> [[RET]]
  74 ;
  75   %t1 = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float -0.0, float -0.0>, <2 x float> %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  76   %ret = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float -0.0, float -0.0>, <2 x float> %t1, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  77   ret <2 x float> %ret
  78 }
  79
  80 define <2 x float> @fneg_x_vec(<2 x float> %a) #0 {
  81 ; CHECK-LABEL: @fneg_x_vec(
  82 ; CHECK-NEXT:    ret <2 x float> [[A:%.*]]
  83 ;
  84   %t1 = fneg <2 x float> %a
  85   %ret = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float -0.0, float -0.0>, <2 x float> %t1, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  86   ret <2 x float> %ret
  87 }
  88
  89 define <2 x float> @fsub_-0_-0_x_vec_poison_elts(<2 x float> %a) #0 {
  90 ; CHECK-LABEL: @fsub_-0_-0_x_vec_poison_elts(
  91 ; CHECK-NEXT:    [[T1:%.*]] = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> <float poison, float -0.000000e+00>, <2 x float> [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  92 ; CHECK-NEXT:    [[RET:%.*]] = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> <float -0.000000e+00, float poison>, <2 x float> [[T1]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
  93 ; CHECK-NEXT:    ret <2 x float> [[RET]]
  94 ;
  95   %t1 = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float poison, float -0.0>, <2 x float> %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  96   %ret = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float -0.0, float poison>, <2 x float> %t1, metadata !"round.tonearest", metadata !"fpexcept.ignore")
  97   ret <2 x float> %ret
  98 }
  99
 100 define <2 x float> @fneg_x_vec_poison_elts(<2 x float> %a) #0 {
 101 ; CHECK-LABEL: @fneg_x_vec_poison_elts(
 102 ; CHECK-NEXT:    ret <2 x float> [[A:%.*]]
 103 ;
 104   %t1 = fneg <2 x float> %a
 105   %ret = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float><float -0.0, float poison>, <2 x float> %t1, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 106   ret <2 x float> %ret
 107 }
 108
 109 ; fsub -0.0, (fsub 0.0, X) != X
 110 define float @fsub_-0_0_x(float %a) #0 {
 111 ; CHECK-LABEL: @fsub_-0_0_x(
 112 ; CHECK-NEXT:    [[T1:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float 0.000000e+00, float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 113 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float -0.000000e+00, float [[T1]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 114 ; CHECK-NEXT:    ret float [[RET]]
 115 ;
 116   %t1 = call float @llvm.experimental.constrained.fsub.f32(float 0.0, float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 117   %ret = call float @llvm.experimental.constrained.fsub.f32(float -0.0, float %t1, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 118   ret float %ret
 119 }
 120
 121 ; fsub 0.0, (fsub -0.0, X) != X
 122 define float @fsub_0_-0_x(float %a) #0 {
 123 ; CHECK-LABEL: @fsub_0_-0_x(
 124 ; CHECK-NEXT:    [[T1:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float -0.000000e+00, float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 125 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float 0.000000e+00, float [[T1]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 126 ; CHECK-NEXT:    ret float [[RET]]
 127 ;
 128   %t1 = call float @llvm.experimental.constrained.fsub.f32(float -0.0, float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 129   %ret = call float @llvm.experimental.constrained.fsub.f32(float 0.0, float %t1, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 130   ret float %ret
 131 }
 132
 133 ; fsub X, 0 ==> X
 134 define float @fsub_x_0(float %x) #0 {
 135 ; CHECK-LABEL: @fsub_x_0(
 136 ; CHECK-NEXT:    ret float [[X:%.*]]
 137 ;
 138   %r = call float @llvm.experimental.constrained.fsub.f32(float %x, float 0.0, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 139   ret float %r
 140 }
 141
 142 define <2 x float> @fsub_x_0_vec_poison(<2 x float> %x) #0 {
 143 ; CHECK-LABEL: @fsub_x_0_vec_poison(
 144 ; CHECK-NEXT:    ret <2 x float> [[X:%.*]]
 145 ;
 146   %r = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> %x, <2 x float><float poison, float 0.0>, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 147   ret <2 x float> %r
 148 }
 149
 150 ; fadd X, -0 ==> X
 151 define float @fadd_x_n0(float %a) #0 {
 152 ; CHECK-LABEL: @fadd_x_n0(
 153 ; CHECK-NEXT:    ret float [[A:%.*]]
 154 ;
 155   %ret = call float @llvm.experimental.constrained.fadd.f32(float %a, float -0.0, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 156   ret float %ret
 157 }
 158
 159 define <2 x float> @fadd_x_n0_vec_poison_elt(<2 x float> %a) #0 {
 160 ; CHECK-LABEL: @fadd_x_n0_vec_poison_elt(
 161 ; CHECK-NEXT:    ret <2 x float> [[A:%.*]]
 162 ;
 163   %ret = call <2 x float> @llvm.experimental.constrained.fadd.v2f32(<2 x float> %a, <2 x float> <float -0.0, float poison>, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 164   ret <2 x float> %ret
 165 }
 166
 167 ; fadd X, 0 ==> X
 168 define float @fadd_x_p0(float %a) #0 {
 169 ; CHECK-LABEL: @fadd_x_p0(
 170 ; CHECK-NEXT:    [[RET:%.*]] = call float @llvm.experimental.constrained.fadd.f32(float [[A:%.*]], float 0.000000e+00, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 171 ; CHECK-NEXT:    ret float [[RET]]
 172 ;
 173   %ret = call float @llvm.experimental.constrained.fadd.f32(float %a, float 0.0, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 174   ret float %ret
 175 }
 176
 177 define <2 x float> @fadd_x_p0_vec_poison_elt(<2 x float> %a) #0 {
 178 ; CHECK-LABEL: @fadd_x_p0_vec_poison_elt(
 179 ; CHECK-NEXT:    [[RET:%.*]] = call <2 x float> @llvm.experimental.constrained.fadd.v2f32(<2 x float> [[A:%.*]], <2 x float> <float 0.000000e+00, float poison>, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 180 ; CHECK-NEXT:    ret <2 x float> [[RET]]
 181 ;
 182   %ret = call <2 x float> @llvm.experimental.constrained.fadd.v2f32(<2 x float> %a, <2 x float> <float 0.0, float poison>, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 183   ret <2 x float> %ret
 184 }
 185
 186 ; fmul X, 1.0 ==> X
 187 define double @fmul_X_1(double %a) #0 {
 188 ; CHECK-LABEL: @fmul_X_1(
 189 ; CHECK-NEXT:    ret double [[A:%.*]]
 190 ;
 191   %b = call double @llvm.experimental.constrained.fmul.f64(double 1.0, double %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 192   ret double %b
 193 }
 194
 195 ; Originally PR2642
 196 define <4 x float> @fmul_X_1_vec(<4 x float> %x) #0 {
 197 ; CHECK-LABEL: @fmul_X_1_vec(
 198 ; CHECK-NEXT:    ret <4 x float> [[X:%.*]]
 199 ;
 200   %m = call <4 x float> @llvm.experimental.constrained.fmul.v4f32(<4 x float> %x, <4 x float> <float 1.0, float 1.0, float 1.0, float 1.0>, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 201   ret <4 x float> %m
 202 }
 203
 204 ; fdiv X, 1.0 ==> X
 205 define float @fdiv_x_1(float %a) #0 {
 206 ; CHECK-LABEL: @fdiv_x_1(
 207 ; CHECK-NEXT:    ret float [[A:%.*]]
 208 ;
 209   %ret = call float @llvm.experimental.constrained.fdiv.f32(float %a, float 1.0, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 210
 211   ret float %ret
 212 }
 213
 214
 215 ; The fabs can't be eliminated because llvm.experimental.constrained.sqrt.f32 may return -0 or NaN with
 216 ; an arbitrary sign bit.
 217 define float @fabs_sqrt(float %a) #0 {
 218 ; CHECK-LABEL: @fabs_sqrt(
 219 ; CHECK-NEXT:    [[SQRT:%.*]] = call float @llvm.experimental.constrained.sqrt.f32(float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 220 ; CHECK-NEXT:    [[FABS:%.*]] = call float @llvm.fabs.f32(float [[SQRT]]) #[[ATTR0:[0-9]+]]
 221 ; CHECK-NEXT:    ret float [[FABS]]
 222 ;
 223   %sqrt = call float @llvm.experimental.constrained.sqrt.f32(float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 224   %fabs = call float @llvm.fabs.f32(float %sqrt) #0
 225   ret float %fabs
 226 }
 227
 228 ; The fabs can't be eliminated because the nnan sqrt may still return -0.
 229 define float @fabs_sqrt_nnan(float %a) #0 {
 230 ; CHECK-LABEL: @fabs_sqrt_nnan(
 231 ; CHECK-NEXT:    [[SQRT:%.*]] = call nnan float @llvm.experimental.constrained.sqrt.f32(float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 232 ; CHECK-NEXT:    [[FABS:%.*]] = call float @llvm.fabs.f32(float [[SQRT]]) #[[ATTR0]]
 233 ; CHECK-NEXT:    ret float [[FABS]]
 234 ;
 235   %sqrt = call nnan float @llvm.experimental.constrained.sqrt.f32(float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 236   %fabs = call float @llvm.fabs.f32(float %sqrt) #0
 237   ret float %fabs
 238 }
 239
 240 ; The fabs can't be eliminated because the nsz sqrt may still return NaN.
 241 define float @fabs_sqrt_nsz(float %a) #0 {
 242 ; CHECK-LABEL: @fabs_sqrt_nsz(
 243 ; CHECK-NEXT:    [[SQRT:%.*]] = call nsz float @llvm.experimental.constrained.sqrt.f32(float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 244 ; CHECK-NEXT:    [[FABS:%.*]] = call float @llvm.fabs.f32(float [[SQRT]]) #[[ATTR0]]
 245 ; CHECK-NEXT:    ret float [[FABS]]
 246 ;
 247   %sqrt = call nsz float @llvm.experimental.constrained.sqrt.f32(float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 248   %fabs = call float @llvm.fabs.f32(float %sqrt) #0
 249   ret float %fabs
 250 }
 251
 252 define float @fabs_sqrt_nnan_nsz(float %a) #0 {
 253 ; CHECK-LABEL: @fabs_sqrt_nnan_nsz(
 254 ; CHECK-NEXT:    [[SQRT:%.*]] = call nnan nsz float @llvm.experimental.constrained.sqrt.f32(float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 255 ; CHECK-NEXT:    ret float [[SQRT]]
 256 ;
 257   %sqrt = call nnan nsz float @llvm.experimental.constrained.sqrt.f32(float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 258   %fabs = call float @llvm.fabs.f32(float %sqrt) #0
 259   ret float %fabs
 260 }
 261
 262 define float @fabs_sqrt_nnan_fabs(float %a) #0 {
 263 ; CHECK-LABEL: @fabs_sqrt_nnan_fabs(
 264 ; CHECK-NEXT:    [[B:%.*]] = call float @llvm.fabs.f32(float [[A:%.*]]) #[[ATTR0]]
 265 ; CHECK-NEXT:    [[SQRT:%.*]] = call nnan float @llvm.experimental.constrained.sqrt.f32(float [[B]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 266 ; CHECK-NEXT:    ret float [[SQRT]]
 267 ;
 268   %b = call float @llvm.fabs.f32(float %a) #0
 269   %sqrt = call nnan float @llvm.experimental.constrained.sqrt.f32(float %b, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 270   %fabs = call float @llvm.fabs.f32(float %sqrt) #0
 271   ret float %fabs
 272 }
 273
 274 ; Y - (Y - X) --> X
 275
 276 define float @fsub_fsub_common_op(float %x, float %y) #0 {
 277 ; CHECK-LABEL: @fsub_fsub_common_op(
 278 ; CHECK-NEXT:    [[S:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float [[Y:%.*]], float [[X:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 279 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float [[Y]], float [[S]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 280 ; CHECK-NEXT:    ret float [[R]]
 281 ;
 282   %s = call float @llvm.experimental.constrained.fsub.f32(float %y, float %x, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 283   %r = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float %y, float %s, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 284   ret float %r
 285 }
 286
 287 define <2 x float> @fsub_fsub_common_op_vec(<2 x float> %x, <2 x float> %y) #0 {
 288 ; CHECK-LABEL: @fsub_fsub_common_op_vec(
 289 ; CHECK-NEXT:    [[S:%.*]] = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> [[Y:%.*]], <2 x float> [[X:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 290 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> [[Y]], <2 x float> [[S]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 291 ; CHECK-NEXT:    ret <2 x float> [[R]]
 292 ;
 293   %s = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> %y, <2 x float> %x, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 294   %r = call reassoc nsz <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> %y, <2 x float> %s, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 295   ret <2 x float> %r
 296 }
 297
 298 ; Negative test - fsub is not commutative.
 299 ; Y - (X - Y) --> (Y - X) + Y (canonicalized)
 300
 301 define float @fsub_fsub_wrong_common_op(float %x, float %y) #0 {
 302 ; CHECK-LABEL: @fsub_fsub_wrong_common_op(
 303 ; CHECK-NEXT:    [[S:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float [[X:%.*]], float [[Y:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 304 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float [[Y]], float [[S]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 305 ; CHECK-NEXT:    ret float [[R]]
 306 ;
 307   %s = call float @llvm.experimental.constrained.fsub.f32(float %x, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 308   %r = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float %y, float %s, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 309   ret float %r
 310 }
 311
 312 ; Negative test - negated operand needed.
 313 ; (Y - X) - Y --> -X
 314
 315 define float @fsub_fsub_common_op_wrong_commute(float %x, float %y) #0 {
 316 ; CHECK-LABEL: @fsub_fsub_common_op_wrong_commute(
 317 ; CHECK-NEXT:    [[S:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float [[Y:%.*]], float [[X:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 318 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float [[S]], float [[Y]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 319 ; CHECK-NEXT:    ret float [[R]]
 320 ;
 321   %s = call float @llvm.experimental.constrained.fsub.f32(float %y, float %x, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 322   %r = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float %s, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 323   ret float %r
 324 }
 325
 326 ; Negative test - fsub is not commutative.
 327 ; (X - Y) - Y --> ?
 328
 329 define float @fsub_fsub_wrong_common_op_wrong_commute(float %x, float %y) #0 {
 330 ; CHECK-LABEL: @fsub_fsub_wrong_common_op_wrong_commute(
 331 ; CHECK-NEXT:    [[S:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float [[X:%.*]], float [[Y:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 332 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float [[S]], float [[Y]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 333 ; CHECK-NEXT:    ret float [[R]]
 334 ;
 335   %s = call float @llvm.experimental.constrained.fsub.f32(float %x, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 336   %r = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float %s, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 337   ret float %r
 338 }
 339
 340 ; (Y + X) - Y --> X
 341
 342 define float @fadd_fsub_common_op(float %x, float %y) #0 {
 343 ; CHECK-LABEL: @fadd_fsub_common_op(
 344 ; CHECK-NEXT:    [[A:%.*]] = call float @llvm.experimental.constrained.fadd.f32(float [[Y:%.*]], float [[X:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 345 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float [[A]], float [[Y]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 346 ; CHECK-NEXT:    ret float [[R]]
 347 ;
 348   %a = call float @llvm.experimental.constrained.fadd.f32(float %y, float %x, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 349   %r = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float %a, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 350   ret float %r
 351 }
 352
 353 ; (X + Y) - Y --> X
 354
 355 define <2 x float> @fadd_fsub_common_op_commute_vec(<2 x float> %x, <2 x float> %y) #0 {
 356 ; CHECK-LABEL: @fadd_fsub_common_op_commute_vec(
 357 ; CHECK-NEXT:    [[A:%.*]] = call <2 x float> @llvm.experimental.constrained.fadd.v2f32(<2 x float> [[X:%.*]], <2 x float> [[Y:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 358 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> [[A]], <2 x float> [[Y]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 359 ; CHECK-NEXT:    ret <2 x float> [[R]]
 360 ;
 361   %a = call <2 x float> @llvm.experimental.constrained.fadd.v2f32(<2 x float> %x, <2 x float> %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 362   %r = call reassoc nsz <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> %a, <2 x float> %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 363   ret <2 x float> %r
 364 }
 365
 366 ; Negative test - negated operand needed.
 367 ; Y - (Y + X) --> -X
 368
 369 define float @fadd_fsub_common_op_wrong_commute(float %x, float %y) #0 {
 370 ; CHECK-LABEL: @fadd_fsub_common_op_wrong_commute(
 371 ; CHECK-NEXT:    [[A:%.*]] = call float @llvm.experimental.constrained.fadd.f32(float [[Y:%.*]], float [[X:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 372 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float [[Y]], float [[A]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 373 ; CHECK-NEXT:    ret float [[R]]
 374 ;
 375   %a = call float @llvm.experimental.constrained.fadd.f32(float %y, float %x, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 376   %r = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float %y, float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 377   ret float %r
 378 }
 379
 380 ; Negative test - negated operand needed.
 381 ; Y - (X + Y) --> -X
 382
 383 define float @fadd_fsub_common_op_wrong_commute_commute(float %x, float %y) #0 {
 384 ; CHECK-LABEL: @fadd_fsub_common_op_wrong_commute_commute(
 385 ; CHECK-NEXT:    [[A:%.*]] = call float @llvm.experimental.constrained.fadd.f32(float [[X:%.*]], float [[Y:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 386 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float [[Y]], float [[A]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 387 ; CHECK-NEXT:    ret float [[R]]
 388 ;
 389   %a = call float @llvm.experimental.constrained.fadd.f32(float %x, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 390   %r = call reassoc nsz float @llvm.experimental.constrained.fsub.f32(float %y, float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 391   ret float %r
 392 }
 393
 394 ; Y + (X - Y) --> X
 395
 396 define <2 x float> @fsub_fadd_common_op_vec(<2 x float> %x, <2 x float> %y) #0 {
 397 ; CHECK-LABEL: @fsub_fadd_common_op_vec(
 398 ; CHECK-NEXT:    [[S:%.*]] = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> [[X:%.*]], <2 x float> [[Y:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 399 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz <2 x float> @llvm.experimental.constrained.fadd.v2f32(<2 x float> [[Y]], <2 x float> [[S]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 400 ; CHECK-NEXT:    ret <2 x float> [[R]]
 401 ;
 402   %s = call <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float> %x, <2 x float> %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 403   %r = call reassoc nsz <2 x float> @llvm.experimental.constrained.fadd.v2f32(<2 x float> %y, <2 x float> %s, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 404   ret <2 x float> %r
 405 }
 406
 407 ; (X - Y) + Y --> X
 408
 409 define float @fsub_fadd_common_op_commute(float %x, float %y) #0 {
 410 ; CHECK-LABEL: @fsub_fadd_common_op_commute(
 411 ; CHECK-NEXT:    [[S:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float [[X:%.*]], float [[Y:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 412 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fadd.f32(float [[S]], float [[Y]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 413 ; CHECK-NEXT:    ret float [[R]]
 414 ;
 415   %s = call float @llvm.experimental.constrained.fsub.f32(float %x, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 416   %r = call reassoc nsz float @llvm.experimental.constrained.fadd.f32(float %s, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 417   ret float %r
 418 }
 419
 420 ; Negative test.
 421 ; Y + (Y - X) --> ?
 422
 423 define float @fsub_fadd_common_op_wrong_commute(float %x, float %y) #0 {
 424 ; CHECK-LABEL: @fsub_fadd_common_op_wrong_commute(
 425 ; CHECK-NEXT:    [[S:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float [[Y:%.*]], float [[X:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 426 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fadd.f32(float [[Y]], float [[S]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 427 ; CHECK-NEXT:    ret float [[R]]
 428 ;
 429   %s = call float @llvm.experimental.constrained.fsub.f32(float %y, float %x, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 430   %r = call reassoc nsz float @llvm.experimental.constrained.fadd.f32(float %y, float %s, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 431   ret float %r
 432 }
 433
 434 ; Negative test.
 435 ; (Y - X) + Y --> ?
 436
 437 define float @fsub_fadd_common_op_wrong_commute_commute(float %x, float %y) #0 {
 438 ; CHECK-LABEL: @fsub_fadd_common_op_wrong_commute_commute(
 439 ; CHECK-NEXT:    [[S:%.*]] = call float @llvm.experimental.constrained.fsub.f32(float [[Y:%.*]], float [[X:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 440 ; CHECK-NEXT:    [[R:%.*]] = call reassoc nsz float @llvm.experimental.constrained.fadd.f32(float [[S]], float [[Y]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 441 ; CHECK-NEXT:    ret float [[R]]
 442 ;
 443   %s = call float @llvm.experimental.constrained.fsub.f32(float %y, float %x, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 444   %r = call reassoc nsz float @llvm.experimental.constrained.fadd.f32(float %s, float %y, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 445   ret float %r
 446 }
 447
 448 ; Originally PR46627 - https://bugs.llvm.org/show_bug.cgi?id=46627
 449
 450 define float @maxnum_with_poszero_op(float %a) #0 {
 451 ; CHECK-LABEL: @maxnum_with_poszero_op(
 452 ; CHECK-NEXT:    [[MAX:%.*]] = call float @llvm.experimental.constrained.maxnum.f32(float [[A:%.*]], float 0.000000e+00, metadata !"fpexcept.ignore")
 453 ; CHECK-NEXT:    [[FABS:%.*]] = call float @llvm.fabs.f32(float [[MAX]]) #[[ATTR0]]
 454 ; CHECK-NEXT:    ret float [[FABS]]
 455 ;
 456   %max = call float @llvm.experimental.constrained.maxnum.f32(float %a, float 0.0, metadata !"fpexcept.ignore")
 457   %fabs = call float @llvm.fabs.f32(float %max) #0
 458   ret float %fabs
 459 }
 460
 461 define float @maxnum_with_poszero_op_commute(float %a) #0 {
 462 ; CHECK-LABEL: @maxnum_with_poszero_op_commute(
 463 ; CHECK-NEXT:    [[SQRT:%.*]] = call float @llvm.experimental.constrained.sqrt.f32(float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 464 ; CHECK-NEXT:    [[MAX:%.*]] = call float @llvm.experimental.constrained.maxnum.f32(float 0.000000e+00, float [[SQRT]], metadata !"fpexcept.ignore")
 465 ; CHECK-NEXT:    [[FABS:%.*]] = call float @llvm.fabs.f32(float [[MAX]]) #[[ATTR0]]
 466 ; CHECK-NEXT:    ret float [[FABS]]
 467 ;
 468   %sqrt = call float @llvm.experimental.constrained.sqrt.f32(float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 469   %max = call float @llvm.experimental.constrained.maxnum.f32(float 0.0, float %sqrt, metadata !"fpexcept.ignore")
 470   %fabs = call float @llvm.fabs.f32(float %max) #0
 471   ret float %fabs
 472 }
 473
 474 define float @maxnum_with_negzero_op(float %a) #0 {
 475 ; CHECK-LABEL: @maxnum_with_negzero_op(
 476 ; CHECK-NEXT:    [[NNAN:%.*]] = call nnan float @llvm.experimental.constrained.sqrt.f32(float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 477 ; CHECK-NEXT:    [[FABSA:%.*]] = call float @llvm.fabs.f32(float [[NNAN]]) #[[ATTR0]]
 478 ; CHECK-NEXT:    [[MAX:%.*]] = call float @llvm.experimental.constrained.maxnum.f32(float -0.000000e+00, float [[FABSA]], metadata !"fpexcept.ignore")
 479 ; CHECK-NEXT:    [[FABS:%.*]] = call float @llvm.fabs.f32(float [[MAX]]) #[[ATTR0]]
 480 ; CHECK-NEXT:    ret float [[FABS]]
 481 ;
 482   %nnan = call nnan float @llvm.experimental.constrained.sqrt.f32(float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 483   %fabsa = call float @llvm.fabs.f32(float %nnan) #0
 484   %max = call float @llvm.experimental.constrained.maxnum.f32(float -0.0, float %fabsa, metadata !"fpexcept.ignore")
 485   %fabs = call float @llvm.fabs.f32(float %max) #0
 486   ret float %fabs
 487 }
 488
 489 define float @maxnum_with_negzero_op_commute(float %a) #0 {
 490 ; CHECK-LABEL: @maxnum_with_negzero_op_commute(
 491 ; CHECK-NEXT:    [[NNAN:%.*]] = call nnan float @llvm.experimental.constrained.sqrt.f32(float [[A:%.*]], metadata !"round.tonearest", metadata !"fpexcept.ignore")
 492 ; CHECK-NEXT:    [[FABSA:%.*]] = call float @llvm.fabs.f32(float [[NNAN]]) #[[ATTR0]]
 493 ; CHECK-NEXT:    [[MAX:%.*]] = call float @llvm.experimental.constrained.maxnum.f32(float [[FABSA]], float -0.000000e+00, metadata !"fpexcept.ignore")
 494 ; CHECK-NEXT:    [[FABS:%.*]] = call float @llvm.fabs.f32(float [[MAX]]) #[[ATTR0]]
 495 ; CHECK-NEXT:    ret float [[FABS]]
 496 ;
 497   %nnan = call nnan float @llvm.experimental.constrained.sqrt.f32(float %a, metadata !"round.tonearest", metadata !"fpexcept.ignore")
 498   %fabsa = call float @llvm.fabs.f32(float %nnan) #0
 499   %max = call float @llvm.experimental.constrained.maxnum.f32(float %fabsa, float -0.0, metadata !"fpexcept.ignore")
 500   %fabs = call float @llvm.fabs.f32(float %max) #0
 501   ret float %fabs
 502 }
 503
 504 ; If an operand is strictly greater than 0.0, we know the sign of the result of maxnum.
 505
 506 define float @maxnum_with_pos_one_op(float %a) #0 {
 507 ; CHECK-LABEL: @maxnum_with_pos_one_op(
 508 ; CHECK-NEXT:    [[MAX:%.*]] = call float @llvm.experimental.constrained.maxnum.f32(float [[A:%.*]], float 1.000000e+00, metadata !"fpexcept.ignore")
 509 ; CHECK-NEXT:    [[FABS:%.*]] = call float @llvm.fabs.f32(float [[MAX]]) #[[ATTR0]]
 510 ; CHECK-NEXT:    ret float [[FABS]]
 511 ;
 512   %max = call float @llvm.experimental.constrained.maxnum.f32(float %a, float 1.0, metadata !"fpexcept.ignore")
 513   %fabs = call float @llvm.fabs.f32(float %max) #0
 514   ret float %fabs
 515 }
 516
 517 declare float @llvm.fabs.f32(float)
 518 declare <2 x float> @llvm.fabs.v2f32(<2 x float>)
 519
 520 declare float @llvm.experimental.constrained.fadd.f32(float, float, metadata, metadata)
 521 declare <2 x float> @llvm.experimental.constrained.fadd.v2f32(<2 x float>, <2 x float>, metadata, metadata)
 522
 523 declare float @llvm.experimental.constrained.fsub.f32(float, float, metadata, metadata)
 524 declare <2 x float> @llvm.experimental.constrained.fsub.v2f32(<2 x float>, <2 x float>, metadata, metadata)
 525
 526 declare double @llvm.experimental.constrained.fmul.f64(double, double, metadata, metadata)
 527 declare <4 x float> @llvm.experimental.constrained.fmul.v4f32(<4 x float>, <4 x float>, metadata, metadata)
 528
 529 declare float @llvm.experimental.constrained.fdiv.f32(float, float, metadata, metadata)
 530
 531 declare float @llvm.experimental.constrained.maxnum.f32(float, float, metadata)
 532 declare float @llvm.experimental.constrained.sqrt.f32(float, metadata, metadata)
 533
 534 attributes #0 = { strictfp }