test/Transforms/InstSimplify/fast-math.ll

   1 ; NOTE: Assertions have been autogenerated by update_test_checks.py
   2 ; RUN: opt < %s -instsimplify -S | FileCheck %s
   3
   4 ;; x * 0 ==> 0 when no-nans and no-signed-zero
   5 define float @mul_zero_1(float %a) {
   6 ; CHECK-LABEL: @mul_zero_1(
   7 ; CHECK:         ret float 0.000000e+00
   8 ;
   9   %b = fmul nsz nnan float %a, 0.0
  10   ret float %b
  11 }
  12
  13 define float @mul_zero_2(float %a) {
  14 ; CHECK-LABEL: @mul_zero_2(
  15 ; CHECK:         ret float 0.000000e+00
  16 ;
  17   %b = fmul fast float 0.0, %a
  18   ret float %b
  19 }
  20
  21 ;; x * 0 =/=> 0 when there could be nans or -0
  22 define float @no_mul_zero_1(float %a) {
  23 ; CHECK-LABEL: @no_mul_zero_1(
  24 ; CHECK:         [[B:%.*]] = fmul nsz float %a, 0.000000e+00
  25 ; CHECK-NEXT:    ret float [[B]]
  26 ;
  27   %b = fmul nsz float %a, 0.0
  28   ret float %b
  29 }
  30
  31 define float @no_mul_zero_2(float %a) {
  32 ; CHECK-LABEL: @no_mul_zero_2(
  33 ; CHECK:         [[B:%.*]] = fmul nnan float %a, 0.000000e+00
  34 ; CHECK-NEXT:    ret float [[B]]
  35 ;
  36   %b = fmul nnan float %a, 0.0
  37   ret float %b
  38 }
  39
  40 define float @no_mul_zero_3(float %a) {
  41 ; CHECK-LABEL: @no_mul_zero_3(
  42 ; CHECK:         [[B:%.*]] = fmul float %a, 0.000000e+00
  43 ; CHECK-NEXT:    ret float [[B]]
  44 ;
  45   %b = fmul float %a, 0.0
  46   ret float %b
  47 }
  48
  49 ; fadd [nnan ninf] X, (fsub [nnan ninf] 0, X) ==> 0
  50 ;   where nnan and ninf have to occur at least once somewhere in this
  51 ;   expression
  52 define float @fadd_fsub_0(float %a) {
  53 ; CHECK-LABEL: @fadd_fsub_0(
  54 ; CHECK:         [[NOFOLD:%.*]] = fsub float 0.000000e+00, %a
  55 ; CHECK-NEXT:    [[NO_ZERO:%.*]] = fadd nnan float [[NOFOLD]], %a
  56 ; CHECK-NEXT:    ret float [[NO_ZERO]]
  57 ;
  58 ; X + -X ==> 0
  59   %t1 = fsub nnan ninf float 0.0, %a
  60   %zero1 = fadd nnan ninf float %t1, %a
  61
  62   %t2 = fsub nnan float 0.0, %a
  63   %zero2 = fadd ninf float %t2, %a
  64
  65   %t3 = fsub nnan ninf float 0.0, %a
  66   %zero3 = fadd float %t3, %a
  67
  68   %t4 = fsub float 0.0, %a
  69   %zero4 = fadd nnan ninf float %t4, %a
  70
  71 ; Dont fold this
  72   %nofold = fsub float 0.0, %a
  73   %no_zero = fadd nnan float %nofold, %a
  74
  75 ; Coalesce the folded zeros
  76   %zero5 = fadd float %zero1, %zero2
  77   %zero6 = fadd float %zero3, %zero4
  78   %zero7 = fadd float %zero5, %zero6
  79
  80 ; Should get folded
  81   %ret = fadd nsz float %no_zero, %zero7
  82
  83   ret float %ret
  84 }
  85
  86 ; fsub nnan x, x ==> 0.0
  87 define float @fsub_x_x(float %a) {
  88 ; CHECK-LABEL: @fsub_x_x(
  89 ; CHECK:         [[NO_ZERO1:%.*]] = fsub ninf float %a, %a
  90 ; CHECK-NEXT:    [[NO_ZERO2:%.*]] = fsub float %a, %a
  91 ; CHECK-NEXT:    [[NO_ZERO:%.*]] = fadd float [[NO_ZERO1:%.*]], [[NO_ZERO2:%.*]]
  92 ; CHECK-NEXT:    ret float [[NO_ZERO]]
  93 ;
  94 ; X - X ==> 0
  95   %zero1 = fsub nnan float %a, %a
  96
  97 ; Dont fold
  98   %no_zero1 = fsub ninf float %a, %a
  99   %no_zero2 = fsub float %a, %a
 100   %no_zero = fadd float %no_zero1, %no_zero2
 101
 102 ; Should get folded
 103   %ret = fadd nsz float %no_zero, %zero1
 104
 105   ret float %ret
 106 }
 107
 108 ; fsub nsz 0.0, (fsub 0.0, X) ==> X
 109 define float @fsub_0_0_x(float %a) {
 110 ; CHECK-LABEL: @fsub_0_0_x(
 111 ; CHECK:         ret float %a
 112 ;
 113   %t1 = fsub float 0.0, %a
 114   %ret = fsub nsz float 0.0, %t1
 115   ret float %ret
 116 }
 117
 118 ; fadd nsz X, 0 ==> X
 119 define float @nofold_fadd_x_0(float %a) {
 120 ; CHECK-LABEL: @nofold_fadd_x_0(
 121 ; CHECK:         [[NO_ZERO1:%.*]] = fadd ninf float %a, 0.000000e+00
 122 ; CHECK-NEXT:    [[NO_ZERO2:%.*]] = fadd nnan float %a, 0.000000e+00
 123 ; CHECK-NEXT:    [[NO_ZERO:%.*]] = fadd float [[NO_ZERO1:%.*]], [[NO_ZERO2:%.*]]
 124 ; CHECK-NEXT:    ret float [[NO_ZERO]]
 125 ;
 126 ; Dont fold
 127   %no_zero1 = fadd ninf float %a, 0.0
 128   %no_zero2 = fadd nnan float %a, 0.0
 129   %no_zero = fadd float %no_zero1, %no_zero2
 130   ret float %no_zero
 131 }
 132
 133 ; fdiv nsz nnan 0, X ==> 0
 134 define double @fdiv_zero_by_x(double %X) {
 135 ; CHECK-LABEL: @fdiv_zero_by_x(
 136 ; CHECK:         ret double 0.000000e+00
 137 ;
 138 ; 0 / X -> 0
 139   %r = fdiv nnan nsz double 0.0, %X
 140   ret double %r
 141 }
 142
 143 define float @fdiv_self(float %f) {
 144 ; CHECK-LABEL: @fdiv_self(
 145 ; CHECK:         ret float 1.000000e+00
 146 ;
 147   %div = fdiv nnan float %f, %f
 148   ret float %div
 149 }
 150
 151 define float @fdiv_self_invalid(float %f) {
 152 ; CHECK-LABEL: @fdiv_self_invalid(
 153 ; CHECK:         [[DIV:%.*]] = fdiv float %f, %f
 154 ; CHECK-NEXT:    ret float [[DIV]]
 155 ;
 156   %div = fdiv float %f, %f
 157   ret float %div
 158 }
 159
 160 define float @fdiv_neg1(float %f) {
 161 ; CHECK-LABEL: @fdiv_neg1(
 162 ; CHECK:         ret float -1.000000e+00
 163 ;
 164   %neg = fsub fast float -0.000000e+00, %f
 165   %div = fdiv nnan float %neg, %f
 166   ret float %div
 167 }
 168
 169 define float @fdiv_neg2(float %f) {
 170 ; CHECK-LABEL: @fdiv_neg2(
 171 ; CHECK:         ret float -1.000000e+00
 172 ;
 173   %neg = fsub fast float 0.000000e+00, %f
 174   %div = fdiv nnan float %neg, %f
 175   ret float %div
 176 }
 177
 178 define float @fdiv_neg_invalid(float %f) {
 179 ; CHECK-LABEL: @fdiv_neg_invalid(
 180 ; CHECK:         [[NEG:%.*]] = fsub fast float -0.000000e+00, %f
 181 ; CHECK-NEXT:    [[DIV:%.*]] = fdiv float [[NEG]], %f
 182 ; CHECK-NEXT:    ret float [[DIV]]
 183 ;
 184   %neg = fsub fast float -0.000000e+00, %f
 185   %div = fdiv float %neg, %f
 186   ret float %div
 187 }
 188
 189 define float @fdiv_neg_swapped1(float %f) {
 190 ; CHECK-LABEL: @fdiv_neg_swapped1(
 191 ; CHECK:         ret float -1.000000e+00
 192 ;
 193   %neg = fsub float -0.000000e+00, %f
 194   %div = fdiv nnan float %f, %neg
 195   ret float %div
 196 }
 197
 198 define float @fdiv_neg_swapped2(float %f) {
 199 ; CHECK-LABEL: @fdiv_neg_swapped2(
 200 ; CHECK:         ret float -1.000000e+00
 201 ;
 202   %neg = fsub float 0.000000e+00, %f
 203   %div = fdiv nnan float %f, %neg
 204   ret float %div
 205 }