test/Transforms/InstCombine/fcmp-special.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 ; Infinity
   4
   5 ; CHECK: inf0
   6 ; CHECK: ret i1 false
   7 define i1 @inf0(double %arg) nounwind readnone {
   8   %tmp = fcmp ogt double %arg, 0x7FF0000000000000
   9   ret i1 %tmp
  10 }
  11
  12 ; CHECK: inf1
  13 ; CHECK: ret i1 true
  14 define i1 @inf1(double %arg) nounwind readnone {
  15   %tmp = fcmp ule double %arg, 0x7FF0000000000000
  16   ret i1 %tmp
  17 }
  18
  19 ; Negative infinity
  20
  21 ; CHECK: ninf0
  22 ; CHECK: ret i1 false
  23 define i1 @ninf0(double %arg) nounwind readnone {
  24   %tmp = fcmp olt double %arg, 0xFFF0000000000000
  25   ret i1 %tmp
  26 }
  27
  28 ; CHECK: ninf1
  29 ; CHECK: ret i1 true
  30 define i1 @ninf1(double %arg) nounwind readnone {
  31   %tmp = fcmp uge double %arg, 0xFFF0000000000000
  32   ret i1 %tmp
  33 }
  34
  35 ; NaNs
  36
  37 ; CHECK: nan0
  38 ; CHECK: ret i1 false
  39 define i1 @nan0(double %arg) nounwind readnone {
  40   %tmp = fcmp ord double %arg, 0x7FF00000FFFFFFFF
  41   ret i1 %tmp
  42 }
  43
  44 ; CHECK: nan1
  45 ; CHECK: ret i1 false
  46 define i1 @nan1(double %arg) nounwind readnone {
  47   %tmp = fcmp oeq double %arg, 0x7FF00000FFFFFFFF
  48   ret i1 %tmp
  49 }
  50
  51 ; CHECK: nan2
  52 ; CHECK: ret i1 false
  53 define i1 @nan2(double %arg) nounwind readnone {
  54   %tmp = fcmp olt double %arg, 0x7FF00000FFFFFFFF
  55   ret i1 %tmp
  56 }
  57
  58 ; CHECK: nan3
  59 ; CHECK: ret i1 true
  60 define i1 @nan3(double %arg) nounwind readnone {
  61   %tmp = fcmp uno double %arg, 0x7FF00000FFFFFFFF
  62   ret i1 %tmp
  63 }
  64
  65 ; CHECK: nan4
  66 ; CHECK: ret i1 true
  67 define i1 @nan4(double %arg) nounwind readnone {
  68   %tmp = fcmp une double %arg, 0x7FF00000FFFFFFFF
  69   ret i1 %tmp
  70 }
  71
  72 ; CHECK: nan5
  73 ; CHECK: ret i1 true
  74 define i1 @nan5(double %arg) nounwind readnone {
  75   %tmp = fcmp ult double %arg, 0x7FF00000FFFFFFFF
  76   ret i1 %tmp
  77 }
  78
  79 ; Negative NaN.
  80
  81 ; CHECK: nnan0
  82 ; CHECK: ret i1 false
  83 define i1 @nnan0(double %arg) nounwind readnone {
  84   %tmp = fcmp ord double %arg, 0xFFF00000FFFFFFFF
  85   ret i1 %tmp
  86 }
  87
  88 ; CHECK: nnan1
  89 ; CHECK: ret i1 false
  90 define i1 @nnan1(double %arg) nounwind readnone {
  91   %tmp = fcmp oeq double %arg, 0xFFF00000FFFFFFFF
  92   ret i1 %tmp
  93 }
  94
  95 ; CHECK: nnan2
  96 ; CHECK: ret i1 false
  97 define i1 @nnan2(double %arg) nounwind readnone {
  98   %tmp = fcmp olt double %arg, 0xFFF00000FFFFFFFF
  99   ret i1 %tmp
 100 }
 101
 102 ; CHECK: nnan3
 103 ; CHECK: ret i1 true
 104 define i1 @nnan3(double %arg) nounwind readnone {
 105   %tmp = fcmp uno double %arg, 0xFFF00000FFFFFFFF
 106   ret i1 %tmp
 107 }
 108
 109 ; CHECK: nnan4
 110 ; CHECK: ret i1 true
 111 define i1 @nnan4(double %arg) nounwind readnone {
 112   %tmp = fcmp une double %arg, 0xFFF00000FFFFFFFF
 113   ret i1 %tmp
 114 }
 115
 116 ; CHECK: nnan5
 117 ; CHECK: ret i1 true
 118 define i1 @nnan5(double %arg) nounwind readnone {
 119   %tmp = fcmp ult double %arg, 0xFFF00000FFFFFFFF
 120   ret i1 %tmp
 121 }
 122
 123 ; Negative zero.
 124
 125 ; CHECK: nzero0
 126 ; CHECK: ret i1 true
 127 define i1 @nzero0() {
 128   %tmp = fcmp oeq double 0.0, -0.0
 129   ret i1 %tmp
 130 }
 131
 132 ; CHECK: nzero1
 133 ; CHECK: ret i1 false
 134 define i1 @nzero1() {
 135   %tmp = fcmp ogt double 0.0, -0.0
 136   ret i1 %tmp
 137 }
 138
 139 ; Misc.
 140
 141 ; CHECK: misc0
 142 ; CHECK: %tmp = fcmp ord double %arg, 0.000000e+00
 143 ; CHECK: ret i1 %tmp
 144 define i1 @misc0(double %arg) {
 145   %tmp = fcmp oeq double %arg, %arg
 146   ret i1 %tmp
 147 }
 148
 149 ; CHECK: misc1
 150 ; CHECK: ret i1 false
 151 define i1 @misc1(double %arg) {
 152   %tmp = fcmp one double %arg, %arg
 153   ret i1 %tmp
 154 }
 155