test/Assembler/fast-math-flags.ll

   1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   2 ; RUN: opt -S < %s | FileCheck %s
   3 ; RUN: verify-uselistorder %s
   4
   5 @addr   = external global i64
   6 @select = external global i1
   7 @vec    = external global <3 x float>
   8 @arr    = external global [3 x float]
   9
  10 declare float @foo(float)
  11
  12 define float @none(float %x, float %y) {
  13 entry:
  14 ; CHECK:  %vec = load  <3 x float>,  <3 x float>* @vec
  15   %vec    = load  <3 x float>,  <3 x float>* @vec
  16 ; CHECK:  %select = load i1, i1* @select
  17   %select = load i1, i1* @select
  18 ; CHECK:  %arr    = load [3 x float], [3 x float]* @arr
  19   %arr    = load [3 x float], [3 x float]* @arr
  20
  21 ; CHECK:  %a = fadd  float %x, %y
  22   %a = fadd  float %x, %y
  23 ; CHECK:  %a_vec = fadd  <3 x float> %vec, %vec
  24   %a_vec = fadd  <3 x float> %vec, %vec
  25 ; CHECK:  %b = fsub  float %x, %y
  26   %b = fsub  float %x, %y
  27 ; CHECK:  %b_vec = fsub  <3 x float> %vec, %vec
  28   %b_vec = fsub  <3 x float> %vec, %vec
  29 ; CHECK:  %c = fmul  float %x, %y
  30   %c = fmul  float %x, %y
  31 ; CHECK:  %c_vec = fmul  <3 x float> %vec, %vec
  32   %c_vec = fmul  <3 x float> %vec, %vec
  33 ; CHECK:  %d = fdiv  float %x, %y
  34   %d = fdiv  float %x, %y
  35 ; CHECK:  %d_vec = fdiv  <3 x float> %vec, %vec
  36   %d_vec = fdiv  <3 x float> %vec, %vec
  37 ; CHECK:  %e = frem  float %x, %y
  38   %e = frem  float %x, %y
  39 ; CHECK:  %e_vec = frem  <3 x float> %vec, %vec
  40   %e_vec = frem  <3 x float> %vec, %vec
  41 ; CHECK:  ret  float %e
  42   ret  float %e
  43 }
  44
  45 ; CHECK: no_nan
  46 define float @no_nan(float %x, float %y) {
  47 entry:
  48 ; CHECK:  %vec = load <3 x float>, <3 x float>* @vec
  49   %vec    = load  <3 x float>,  <3 x float>* @vec
  50 ; CHECK:  %select = load i1, i1* @select
  51   %select = load i1, i1* @select
  52 ; CHECK:  %arr = load  [3 x float],  [3 x float]* @arr
  53   %arr    = load  [3 x float],  [3 x float]* @arr
  54
  55 ; CHECK:  %a = fadd nnan  float %x, %y
  56   %a = fadd nnan  float %x, %y
  57 ; CHECK:  %a_vec = fadd nnan  <3 x float> %vec, %vec
  58   %a_vec = fadd nnan  <3 x float> %vec, %vec
  59 ; CHECK:  %b = fsub nnan  float %x, %y
  60   %b = fsub nnan  float %x, %y
  61 ; CHECK:  %b_vec = fsub nnan  <3 x float> %vec, %vec
  62   %b_vec = fsub nnan  <3 x float> %vec, %vec
  63 ; CHECK:  %c = fmul nnan  float %x, %y
  64   %c = fmul nnan  float %x, %y
  65 ; CHECK:  %c_vec = fmul nnan  <3 x float> %vec, %vec
  66   %c_vec = fmul nnan <3 x float> %vec, %vec
  67 ; CHECK:  %d = fdiv nnan  float %x, %y
  68   %d = fdiv nnan float %x, %y
  69 ; CHECK:  %d_vec = fdiv nnan  <3 x float> %vec, %vec
  70   %d_vec = fdiv nnan <3 x float> %vec, %vec
  71 ; CHECK:  %e = frem nnan  float %x, %y
  72   %e = frem nnan  float %x, %y
  73 ; CHECK:  %e_vec = frem nnan  <3 x float> %vec, %vec
  74   %e_vec = frem nnan  <3 x float> %vec, %vec
  75 ; CHECK:  ret float %e
  76   ret float %e
  77 }
  78
  79 ; CHECK: @contract(
  80 define float @contract(float %x, float %y) {
  81 entry:
  82 ; CHECK: %a = fsub contract float %x, %y
  83   %a = fsub contract float %x, %y
  84 ; CHECK: %b = fadd contract float %x, %y
  85   %b = fadd contract float %x, %y
  86 ; CHECK: %c = fmul contract float %a, %b
  87   %c = fmul contract float %a, %b
  88   ret float %c
  89 }
  90
  91 ; CHECK: @reassoc(
  92 define float @reassoc(float %x, float %y) {
  93 ; CHECK: %a = fsub reassoc float %x, %y
  94   %a = fsub reassoc float %x, %y
  95 ; CHECK: %b = fmul reassoc float %x, %y
  96   %b = fmul reassoc float %x, %y
  97 ; CHECK: %c = call reassoc float @foo(float %b)
  98   %c = call reassoc float @foo(float %b)
  99   ret float %c
 100 }
 101
 102 ; CHECK: @afn(
 103 define float @afn(float %x, float %y) {
 104 ; CHECK: %a = fdiv afn float %x, %y
 105   %a = fdiv afn float %x, %y
 106 ; CHECK: %b = frem afn float %x, %y
 107   %b = frem afn float %x, %y
 108 ; CHECK: %c = call afn float @foo(float %b)
 109   %c = call afn float @foo(float %b)
 110   ret float %c
 111 }
 112
 113 ; CHECK: no_nan_inf
 114 define float @no_nan_inf(float %x, float %y) {
 115 entry:
 116 ; CHECK:  %vec = load <3 x float>, <3 x float>* @vec
 117   %vec    = load <3 x float>, <3 x float>* @vec
 118 ; CHECK:  %select = load i1, i1* @select
 119   %select = load i1, i1* @select
 120 ; CHECK:  %arr = load [3 x float], [3 x float]* @arr
 121   %arr    = load [3 x float], [3 x float]* @arr
 122
 123 ; CHECK:  %a = fadd nnan ninf  float %x, %y
 124   %a = fadd ninf nnan  float %x, %y
 125 ; CHECK:  %a_vec = fadd nnan  <3 x float> %vec, %vec
 126   %a_vec = fadd nnan  <3 x float> %vec, %vec
 127 ; CHECK:  %b = fsub nnan  float %x, %y
 128   %b = fsub nnan  float %x, %y
 129 ; CHECK:  %b_vec = fsub nnan ninf  <3 x float> %vec, %vec
 130   %b_vec = fsub ninf nnan  <3 x float> %vec, %vec
 131 ; CHECK:  %c = fmul nnan  float %x, %y
 132   %c = fmul nnan  float %x, %y
 133 ; CHECK:  %c_vec = fmul nnan  <3 x float> %vec, %vec
 134   %c_vec = fmul nnan <3 x float> %vec, %vec
 135 ; CHECK:  %d = fdiv nnan ninf  float %x, %y
 136   %d = fdiv ninf nnan float %x, %y
 137 ; CHECK:  %d_vec = fdiv nnan  <3 x float> %vec, %vec
 138   %d_vec = fdiv nnan <3 x float> %vec, %vec
 139 ; CHECK:  %e = frem nnan  float %x, %y
 140   %e = frem nnan  float %x, %y
 141 ; CHECK:  %e_vec = frem nnan ninf  <3 x float> %vec, %vec
 142   %e_vec = frem ninf nnan  <3 x float> %vec, %vec
 143 ; CHECK:  ret  float %e
 144   ret  float %e
 145 }
 146
 147 ; CHECK: mixed_flags
 148 define float @mixed_flags(float %x, float %y) {
 149 entry:
 150 ; CHECK:  %vec = load <3 x float>, <3 x float>* @vec
 151   %vec    = load <3 x float>, <3 x float>* @vec
 152 ; CHECK:  %select = load i1, i1* @select
 153   %select = load i1, i1* @select
 154 ; CHECK:  %arr    = load [3 x float], [3 x float]* @arr
 155   %arr    = load [3 x float], [3 x float]* @arr
 156
 157 ; CHECK:  %a = fadd nnan ninf afn float %x, %y
 158   %a = fadd ninf nnan afn float %x, %y
 159 ; CHECK:  %a_vec = fadd reassoc nnan <3 x float> %vec, %vec
 160   %a_vec = fadd reassoc nnan <3 x float> %vec, %vec
 161 ; CHECK:  %b = fsub fast float %x, %y
 162   %b = fsub nnan nsz fast float %x, %y
 163 ; CHECK:  %b_vec = fsub nnan <3 x float> %vec, %vec
 164   %b_vec = fsub nnan <3 x float> %vec, %vec
 165 ; CHECK:  %c = fmul fast float %x, %y
 166   %c = fmul nsz fast arcp float %x, %y
 167 ; CHECK:  %c_vec = fmul nsz <3 x float> %vec, %vec
 168   %c_vec = fmul nsz <3 x float> %vec, %vec
 169 ; CHECK:  %d = fdiv nnan ninf arcp float %x, %y
 170   %d = fdiv arcp ninf nnan float %x, %y
 171 ; CHECK:  %d_vec = fdiv fast <3 x float> %vec, %vec
 172   %d_vec = fdiv fast nnan arcp <3 x float> %vec, %vec
 173 ; CHECK:  %e = frem nnan nsz float %x, %y
 174   %e = frem nnan nsz float %x, %y
 175 ; CHECK:  %e_vec = frem nnan <3 x float> %vec, %vec
 176   %e_vec = frem nnan <3 x float> %vec, %vec
 177 ; CHECK:  ret  float %e
 178   ret  float %e
 179 }