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 define float @none(float %x, float %y) {
  11 entry:
  12 ; CHECK:  %vec = load  <3 x float>,  <3 x float>* @vec
  13   %vec    = load  <3 x float>,  <3 x float>* @vec
  14 ; CHECK:  %select = load i1, i1* @select
  15   %select = load i1, i1* @select
  16 ; CHECK:  %arr    = load [3 x float], [3 x float]* @arr
  17   %arr    = load [3 x float], [3 x float]* @arr
  18
  19 ; CHECK:  %a = fadd  float %x, %y
  20   %a = fadd  float %x, %y
  21 ; CHECK:  %a_vec = fadd  <3 x float> %vec, %vec
  22   %a_vec = fadd  <3 x float> %vec, %vec
  23 ; CHECK:  %b = fsub  float %x, %y
  24   %b = fsub  float %x, %y
  25 ; CHECK:  %b_vec = fsub  <3 x float> %vec, %vec
  26   %b_vec = fsub  <3 x float> %vec, %vec
  27 ; CHECK:  %c = fmul  float %x, %y
  28   %c = fmul  float %x, %y
  29 ; CHECK:  %c_vec = fmul  <3 x float> %vec, %vec
  30   %c_vec = fmul  <3 x float> %vec, %vec
  31 ; CHECK:  %d = fdiv  float %x, %y
  32   %d = fdiv  float %x, %y
  33 ; CHECK:  %d_vec = fdiv  <3 x float> %vec, %vec
  34   %d_vec = fdiv  <3 x float> %vec, %vec
  35 ; CHECK:  %e = frem  float %x, %y
  36   %e = frem  float %x, %y
  37 ; CHECK:  %e_vec = frem  <3 x float> %vec, %vec
  38   %e_vec = frem  <3 x float> %vec, %vec
  39 ; CHECK:  ret  float %e
  40   ret  float %e
  41 }
  42
  43 ; CHECK: no_nan
  44 define float @no_nan(float %x, float %y) {
  45 entry:
  46 ; CHECK:  %vec = load <3 x float>, <3 x float>* @vec
  47   %vec    = load  <3 x float>,  <3 x float>* @vec
  48 ; CHECK:  %select = load i1, i1* @select
  49   %select = load i1, i1* @select
  50 ; CHECK:  %arr = load  [3 x float],  [3 x float]* @arr
  51   %arr    = load  [3 x float],  [3 x float]* @arr
  52
  53 ; CHECK:  %a = fadd nnan  float %x, %y
  54   %a = fadd nnan  float %x, %y
  55 ; CHECK:  %a_vec = fadd nnan  <3 x float> %vec, %vec
  56   %a_vec = fadd nnan  <3 x float> %vec, %vec
  57 ; CHECK:  %b = fsub nnan  float %x, %y
  58   %b = fsub nnan  float %x, %y
  59 ; CHECK:  %b_vec = fsub nnan  <3 x float> %vec, %vec
  60   %b_vec = fsub nnan  <3 x float> %vec, %vec
  61 ; CHECK:  %c = fmul nnan  float %x, %y
  62   %c = fmul nnan  float %x, %y
  63 ; CHECK:  %c_vec = fmul nnan  <3 x float> %vec, %vec
  64   %c_vec = fmul nnan <3 x float> %vec, %vec
  65 ; CHECK:  %d = fdiv nnan  float %x, %y
  66   %d = fdiv nnan float %x, %y
  67 ; CHECK:  %d_vec = fdiv nnan  <3 x float> %vec, %vec
  68   %d_vec = fdiv nnan <3 x float> %vec, %vec
  69 ; CHECK:  %e = frem nnan  float %x, %y
  70   %e = frem nnan  float %x, %y
  71 ; CHECK:  %e_vec = frem nnan  <3 x float> %vec, %vec
  72   %e_vec = frem nnan  <3 x float> %vec, %vec
  73 ; CHECK:  ret float %e
  74   ret float %e
  75 }
  76
  77 ; CHECK: no_nan_inf
  78 define float @no_nan_inf(float %x, float %y) {
  79 entry:
  80 ; CHECK:  %vec = load <3 x float>, <3 x float>* @vec
  81   %vec    = load <3 x float>, <3 x float>* @vec
  82 ; CHECK:  %select = load i1, i1* @select
  83   %select = load i1, i1* @select
  84 ; CHECK:  %arr = load [3 x float], [3 x float]* @arr
  85   %arr    = load [3 x float], [3 x float]* @arr
  86
  87 ; CHECK:  %a = fadd nnan ninf  float %x, %y
  88   %a = fadd ninf nnan  float %x, %y
  89 ; CHECK:  %a_vec = fadd nnan  <3 x float> %vec, %vec
  90   %a_vec = fadd nnan  <3 x float> %vec, %vec
  91 ; CHECK:  %b = fsub nnan  float %x, %y
  92   %b = fsub nnan  float %x, %y
  93 ; CHECK:  %b_vec = fsub nnan ninf  <3 x float> %vec, %vec
  94   %b_vec = fsub ninf nnan  <3 x float> %vec, %vec
  95 ; CHECK:  %c = fmul nnan  float %x, %y
  96   %c = fmul nnan  float %x, %y
  97 ; CHECK:  %c_vec = fmul nnan  <3 x float> %vec, %vec
  98   %c_vec = fmul nnan <3 x float> %vec, %vec
  99 ; CHECK:  %d = fdiv nnan ninf  float %x, %y
 100   %d = fdiv ninf nnan float %x, %y
 101 ; CHECK:  %d_vec = fdiv nnan  <3 x float> %vec, %vec
 102   %d_vec = fdiv nnan <3 x float> %vec, %vec
 103 ; CHECK:  %e = frem nnan  float %x, %y
 104   %e = frem nnan  float %x, %y
 105 ; CHECK:  %e_vec = frem nnan ninf  <3 x float> %vec, %vec
 106   %e_vec = frem ninf nnan  <3 x float> %vec, %vec
 107 ; CHECK:  ret  float %e
 108   ret  float %e
 109 }
 110
 111 ; CHECK: mixed_flags
 112 define float @mixed_flags(float %x, float %y) {
 113 entry:
 114 ; CHECK:  %vec = load <3 x float>, <3 x float>* @vec
 115   %vec    = load <3 x float>, <3 x float>* @vec
 116 ; CHECK:  %select = load i1, i1* @select
 117   %select = load i1, i1* @select
 118 ; CHECK:  %arr    = load [3 x float], [3 x float]* @arr
 119   %arr    = load [3 x float], [3 x float]* @arr
 120
 121 ; CHECK:  %a = fadd nnan ninf float %x, %y
 122   %a = fadd ninf nnan float %x, %y
 123 ; CHECK:  %a_vec = fadd nnan <3 x float> %vec, %vec
 124   %a_vec = fadd nnan <3 x float> %vec, %vec
 125 ; CHECK:  %b = fsub fast float %x, %y
 126   %b = fsub nnan nsz fast float %x, %y
 127 ; CHECK:  %b_vec = fsub nnan <3 x float> %vec, %vec
 128   %b_vec = fsub nnan <3 x float> %vec, %vec
 129 ; CHECK:  %c = fmul fast float %x, %y
 130   %c = fmul nsz fast arcp float %x, %y
 131 ; CHECK:  %c_vec = fmul nsz <3 x float> %vec, %vec
 132   %c_vec = fmul nsz <3 x float> %vec, %vec
 133 ; CHECK:  %d = fdiv nnan ninf arcp float %x, %y
 134   %d = fdiv arcp ninf nnan float %x, %y
 135 ; CHECK:  %d_vec = fdiv fast <3 x float> %vec, %vec
 136   %d_vec = fdiv fast nnan arcp <3 x float> %vec, %vec
 137 ; CHECK:  %e = frem nnan nsz float %x, %y
 138   %e = frem nnan nsz float %x, %y
 139 ; CHECK:  %e_vec = frem nnan <3 x float> %vec, %vec
 140   %e_vec = frem nnan <3 x float> %vec, %vec
 141 ; CHECK:  ret  float %e
 142   ret  float %e
 143 }