test/CodeGen/AArch64/fast-isel-cmp-branch.ll

   1 ; RUN: llc                             -aarch64-atomic-cfg-tidy=0 -mtriple=aarch64-apple-darwin < %s | FileCheck %s
   2 ; RUN: llc -fast-isel -fast-isel-abort=1 -aarch64-atomic-cfg-tidy=0 -mtriple=aarch64-apple-darwin < %s | FileCheck %s
   3
   4 define i32 @fcmp_oeq(float %x, float %y) {
   5 ; CHECK-LABEL: fcmp_oeq
   6 ; CHECK:       fcmp s0, s1
   7 ; CHECK-NEXT:  b.ne {{LBB.+_2}}
   8   %1 = fcmp oeq float %x, %y
   9   br i1 %1, label %bb1, label %bb2
  10 bb2:
  11   ret i32 1
  12 bb1:
  13   ret i32 0
  14 }
  15
  16 define i32 @fcmp_ogt(float %x, float %y) {
  17 ; CHECK-LABEL: fcmp_ogt
  18 ; CHECK:       fcmp s0, s1
  19 ; CHECK-NEXT:  b.le {{LBB.+_2}}
  20   %1 = fcmp ogt float %x, %y
  21   br i1 %1, label %bb1, label %bb2
  22 bb2:
  23   ret i32 1
  24 bb1:
  25   ret i32 0
  26 }
  27
  28 define i32 @fcmp_oge(float %x, float %y) {
  29 ; CHECK-LABEL: fcmp_oge
  30 ; CHECK:       fcmp s0, s1
  31 ; CHECK-NEXT:  b.lt {{LBB.+_2}}
  32   %1 = fcmp oge float %x, %y
  33   br i1 %1, label %bb1, label %bb2
  34 bb2:
  35   ret i32 1
  36 bb1:
  37   ret i32 0
  38 }
  39
  40 define i32 @fcmp_olt(float %x, float %y) {
  41 ; CHECK-LABEL: fcmp_olt
  42 ; CHECK:       fcmp s0, s1
  43 ; CHECK-NEXT:  b.pl {{LBB.+_2}}
  44   %1 = fcmp olt float %x, %y
  45   br i1 %1, label %bb1, label %bb2
  46 bb2:
  47   ret i32 1
  48 bb1:
  49   ret i32 0
  50 }
  51
  52 define i32 @fcmp_ole(float %x, float %y) {
  53 ; CHECK-LABEL: fcmp_ole
  54 ; CHECK:       fcmp s0, s1
  55 ; CHECK-NEXT:  b.hi {{LBB.+_2}}
  56   %1 = fcmp ole float %x, %y
  57   br i1 %1, label %bb1, label %bb2
  58 bb2:
  59   ret i32 1
  60 bb1:
  61   ret i32 0
  62 }
  63
  64 define i32 @fcmp_one(float %x, float %y) {
  65 ; CHECK-LABEL: fcmp_one
  66 ; CHECK:       fcmp s0, s1
  67 ; CHECK-NEXT:  b.mi
  68 ; CHECK-NEXT:  b.gt
  69   %1 = fcmp one float %x, %y
  70   br i1 %1, label %bb1, label %bb2
  71 bb2:
  72   ret i32 1
  73 bb1:
  74   ret i32 0
  75 }
  76
  77 define i32 @fcmp_ord(float %x, float %y) {
  78 ; CHECK-LABEL: fcmp_ord
  79 ; CHECK:       fcmp s0, s1
  80 ; CHECK-NEXT:  b.vs {{LBB.+_2}}
  81   %1 = fcmp ord float %x, %y
  82   br i1 %1, label %bb1, label %bb2
  83 bb2:
  84   ret i32 1
  85 bb1:
  86   ret i32 0
  87 }
  88
  89 define i32 @fcmp_uno(float %x, float %y) {
  90 ; CHECK-LABEL: fcmp_uno
  91 ; CHECK:       fcmp s0, s1
  92 ; CHECK-NEXT:  b.vs {{LBB.+_2}}
  93   %1 = fcmp uno float %x, %y
  94   br i1 %1, label %bb1, label %bb2
  95 bb2:
  96   ret i32 1
  97 bb1:
  98   ret i32 0
  99 }
 100
 101 define i32 @fcmp_ueq(float %x, float %y) {
 102 ; CHECK-LABEL: fcmp_ueq
 103 ; CHECK:       fcmp s0, s1
 104 ; CHECK-NEXT:  b.eq {{LBB.+_2}}
 105 ; CHECK-NEXT:  b.vs {{LBB.+_2}}
 106   %1 = fcmp ueq float %x, %y
 107   br i1 %1, label %bb1, label %bb2
 108 bb2:
 109   ret i32 1
 110 bb1:
 111   ret i32 0
 112 }
 113
 114 define i32 @fcmp_ugt(float %x, float %y) {
 115 ; CHECK-LABEL: fcmp_ugt
 116 ; CHECK:       fcmp s0, s1
 117 ; CHECK-NEXT:  b.ls {{LBB.+_2}}
 118   %1 = fcmp ugt float %x, %y
 119   br i1 %1, label %bb1, label %bb2
 120 bb2:
 121   ret i32 1
 122 bb1:
 123   ret i32 0
 124 }
 125
 126 define i32 @fcmp_uge(float %x, float %y) {
 127 ; CHECK-LABEL: fcmp_uge
 128 ; CHECK:       fcmp s0, s1
 129 ; CHECK-NEXT:  b.mi {{LBB.+_2}}
 130   %1 = fcmp uge float %x, %y
 131   br i1 %1, label %bb1, label %bb2
 132 bb2:
 133   ret i32 1
 134 bb1:
 135   ret i32 0
 136 }
 137
 138 define i32 @fcmp_ult(float %x, float %y) {
 139 ; CHECK-LABEL: fcmp_ult
 140 ; CHECK:       fcmp s0, s1
 141 ; CHECK-NEXT:  b.ge {{LBB.+_2}}
 142   %1 = fcmp ult float %x, %y
 143   br i1 %1, label %bb1, label %bb2
 144 bb2:
 145   ret i32 1
 146 bb1:
 147   ret i32 0
 148 }
 149
 150 define i32 @fcmp_ule(float %x, float %y) {
 151 ; CHECK-LABEL: fcmp_ule
 152 ; CHECK:       fcmp s0, s1
 153 ; CHECK-NEXT:  b.gt {{LBB.+_2}}
 154   %1 = fcmp ule float %x, %y
 155   br i1 %1, label %bb1, label %bb2
 156 bb2:
 157   ret i32 1
 158 bb1:
 159   ret i32 0
 160 }
 161
 162 define i32 @fcmp_une(float %x, float %y) {
 163 ; CHECK-LABEL: fcmp_une
 164 ; CHECK:       fcmp s0, s1
 165 ; CHECK-NEXT:  b.eq {{LBB.+_2}}
 166   %1 = fcmp une float %x, %y
 167   br i1 %1, label %bb1, label %bb2
 168 bb2:
 169   ret i32 1
 170 bb1:
 171   ret i32 0
 172 }
 173
 174 define i32 @icmp_eq(i32 %x, i32 %y) {
 175 ; CHECK-LABEL: icmp_eq
 176 ; CHECK:       cmp w0, w1
 177 ; CHECK-NEXT:  b.ne {{LBB.+_2}}
 178   %1 = icmp eq i32 %x, %y
 179   br i1 %1, label %bb1, label %bb2
 180 bb2:
 181   ret i32 1
 182 bb1:
 183   ret i32 0
 184 }
 185
 186 define i32 @icmp_ne(i32 %x, i32 %y) {
 187 ; CHECK-LABEL: icmp_ne
 188 ; CHECK:       cmp w0, w1
 189 ; CHECK-NEXT:  b.eq {{LBB.+_2}}
 190   %1 = icmp ne i32 %x, %y
 191   br i1 %1, label %bb1, label %bb2
 192 bb2:
 193   ret i32 1
 194 bb1:
 195   ret i32 0
 196 }
 197
 198 define i32 @icmp_ugt(i32 %x, i32 %y) {
 199 ; CHECK-LABEL: icmp_ugt
 200 ; CHECK:       cmp w0, w1
 201 ; CHECK-NEXT:  b.ls {{LBB.+_2}}
 202   %1 = icmp ugt i32 %x, %y
 203   br i1 %1, label %bb1, label %bb2
 204 bb2:
 205   ret i32 1
 206 bb1:
 207   ret i32 0
 208 }
 209
 210 define i32 @icmp_uge(i32 %x, i32 %y) {
 211 ; CHECK-LABEL: icmp_uge
 212 ; CHECK:       cmp w0, w1
 213 ; CHECK-NEXT:  b.lo {{LBB.+_2}}
 214   %1 = icmp uge i32 %x, %y
 215   br i1 %1, label %bb1, label %bb2
 216 bb2:
 217   ret i32 1
 218 bb1:
 219   ret i32 0
 220 }
 221
 222 define i32 @icmp_ult(i32 %x, i32 %y) {
 223 ; CHECK-LABEL: icmp_ult
 224 ; CHECK:       cmp w0, w1
 225 ; CHECK-NEXT:  b.hs {{LBB.+_2}}
 226   %1 = icmp ult i32 %x, %y
 227   br i1 %1, label %bb1, label %bb2
 228 bb2:
 229   ret i32 1
 230 bb1:
 231   ret i32 0
 232 }
 233
 234 define i32 @icmp_ule(i32 %x, i32 %y) {
 235 ; CHECK-LABEL: icmp_ule
 236 ; CHECK:       cmp w0, w1
 237 ; CHECK-NEXT:  b.hi {{LBB.+_2}}
 238   %1 = icmp ule i32 %x, %y
 239   br i1 %1, label %bb1, label %bb2
 240 bb2:
 241   ret i32 1
 242 bb1:
 243   ret i32 0
 244 }
 245
 246 define i32 @icmp_sgt(i32 %x, i32 %y) {
 247 ; CHECK-LABEL: icmp_sgt
 248 ; CHECK:       cmp w0, w1
 249 ; CHECK-NEXT:  b.le {{LBB.+_2}}
 250   %1 = icmp sgt i32 %x, %y
 251   br i1 %1, label %bb1, label %bb2
 252 bb2:
 253   ret i32 1
 254 bb1:
 255   ret i32 0
 256 }
 257
 258 define i32 @icmp_sge(i32 %x, i32 %y) {
 259 ; CHECK-LABEL: icmp_sge
 260 ; CHECK:       cmp w0, w1
 261 ; CHECK-NEXT:  b.lt {{LBB.+_2}}
 262   %1 = icmp sge i32 %x, %y
 263   br i1 %1, label %bb1, label %bb2
 264 bb2:
 265   ret i32 1
 266 bb1:
 267   ret i32 0
 268 }
 269
 270 define i32 @icmp_slt(i32 %x, i32 %y) {
 271 ; CHECK-LABEL: icmp_slt
 272 ; CHECK:       cmp w0, w1
 273 ; CHECK-NEXT:  b.ge {{LBB.+_2}}
 274   %1 = icmp slt i32 %x, %y
 275   br i1 %1, label %bb1, label %bb2
 276 bb2:
 277   ret i32 1
 278 bb1:
 279   ret i32 0
 280 }
 281
 282 define i32 @icmp_sle(i32 %x, i32 %y) {
 283 ; CHECK-LABEL: icmp_sle
 284 ; CHECK:       cmp w0, w1
 285 ; CHECK-NEXT:  b.gt {{LBB.+_2}}
 286   %1 = icmp sle i32 %x, %y
 287   br i1 %1, label %bb1, label %bb2
 288 bb2:
 289   ret i32 1
 290 bb1:
 291   ret i32 0
 292 }
 293