llvm/test/CodeGen/RISCV/float-br-fcmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -mattr=+f -verify-machineinstrs < %s \
   3 ; RUN:   -target-abi=ilp32f | FileCheck -check-prefix=RV32IF %s
   4 ; RUN: llc -mtriple=riscv64 -mattr=+f -verify-machineinstrs < %s \
   5 ; RUN:   -target-abi=lp64f | FileCheck -check-prefix=RV64IF %s
   6
   7 declare void @abort()
   8 declare void @exit(i32)
   9 declare float @dummy(float)
  10
  11 define void @br_fcmp_false(float %a, float %b) nounwind {
  12 ; RV32IF-LABEL: br_fcmp_false:
  13 ; RV32IF:       # %bb.0:
  14 ; RV32IF-NEXT:    addi sp, sp, -16
  15 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  16 ; RV32IF-NEXT:    li a0, 1
  17 ; RV32IF-NEXT:    bnez a0, .LBB0_2
  18 ; RV32IF-NEXT:  # %bb.1: # %if.then
  19 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  20 ; RV32IF-NEXT:    addi sp, sp, 16
  21 ; RV32IF-NEXT:    ret
  22 ; RV32IF-NEXT:  .LBB0_2: # %if.else
  23 ; RV32IF-NEXT:    call abort@plt
  24 ;
  25 ; RV64IF-LABEL: br_fcmp_false:
  26 ; RV64IF:       # %bb.0:
  27 ; RV64IF-NEXT:    addi sp, sp, -16
  28 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
  29 ; RV64IF-NEXT:    li a0, 1
  30 ; RV64IF-NEXT:    bnez a0, .LBB0_2
  31 ; RV64IF-NEXT:  # %bb.1: # %if.then
  32 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
  33 ; RV64IF-NEXT:    addi sp, sp, 16
  34 ; RV64IF-NEXT:    ret
  35 ; RV64IF-NEXT:  .LBB0_2: # %if.else
  36 ; RV64IF-NEXT:    call abort@plt
  37   %1 = fcmp false float %a, %b
  38   br i1 %1, label %if.then, label %if.else
  39 if.then:
  40   ret void
  41 if.else:
  42   tail call void @abort()
  43   unreachable
  44 }
  45
  46 define void @br_fcmp_oeq(float %a, float %b) nounwind {
  47 ; RV32IF-LABEL: br_fcmp_oeq:
  48 ; RV32IF:       # %bb.0:
  49 ; RV32IF-NEXT:    addi sp, sp, -16
  50 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  51 ; RV32IF-NEXT:    feq.s a0, fa0, fa1
  52 ; RV32IF-NEXT:    bnez a0, .LBB1_2
  53 ; RV32IF-NEXT:  # %bb.1: # %if.else
  54 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  55 ; RV32IF-NEXT:    addi sp, sp, 16
  56 ; RV32IF-NEXT:    ret
  57 ; RV32IF-NEXT:  .LBB1_2: # %if.then
  58 ; RV32IF-NEXT:    call abort@plt
  59 ;
  60 ; RV64IF-LABEL: br_fcmp_oeq:
  61 ; RV64IF:       # %bb.0:
  62 ; RV64IF-NEXT:    addi sp, sp, -16
  63 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
  64 ; RV64IF-NEXT:    feq.s a0, fa0, fa1
  65 ; RV64IF-NEXT:    bnez a0, .LBB1_2
  66 ; RV64IF-NEXT:  # %bb.1: # %if.else
  67 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
  68 ; RV64IF-NEXT:    addi sp, sp, 16
  69 ; RV64IF-NEXT:    ret
  70 ; RV64IF-NEXT:  .LBB1_2: # %if.then
  71 ; RV64IF-NEXT:    call abort@plt
  72   %1 = fcmp oeq float %a, %b
  73   br i1 %1, label %if.then, label %if.else
  74 if.else:
  75   ret void
  76 if.then:
  77   tail call void @abort()
  78   unreachable
  79 }
  80
  81 ; TODO: generated code quality for this is very poor due to
  82 ; DAGCombiner::visitXOR converting the legal setoeq to setune, which requires
  83 ; expansion.
  84 define void @br_fcmp_oeq_alt(float %a, float %b) nounwind {
  85 ; RV32IF-LABEL: br_fcmp_oeq_alt:
  86 ; RV32IF:       # %bb.0:
  87 ; RV32IF-NEXT:    addi sp, sp, -16
  88 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  89 ; RV32IF-NEXT:    feq.s a0, fa0, fa1
  90 ; RV32IF-NEXT:    bnez a0, .LBB2_2
  91 ; RV32IF-NEXT:  # %bb.1: # %if.else
  92 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  93 ; RV32IF-NEXT:    addi sp, sp, 16
  94 ; RV32IF-NEXT:    ret
  95 ; RV32IF-NEXT:  .LBB2_2: # %if.then
  96 ; RV32IF-NEXT:    call abort@plt
  97 ;
  98 ; RV64IF-LABEL: br_fcmp_oeq_alt:
  99 ; RV64IF:       # %bb.0:
 100 ; RV64IF-NEXT:    addi sp, sp, -16
 101 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 102 ; RV64IF-NEXT:    feq.s a0, fa0, fa1
 103 ; RV64IF-NEXT:    bnez a0, .LBB2_2
 104 ; RV64IF-NEXT:  # %bb.1: # %if.else
 105 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 106 ; RV64IF-NEXT:    addi sp, sp, 16
 107 ; RV64IF-NEXT:    ret
 108 ; RV64IF-NEXT:  .LBB2_2: # %if.then
 109 ; RV64IF-NEXT:    call abort@plt
 110   %1 = fcmp oeq float %a, %b
 111   br i1 %1, label %if.then, label %if.else
 112 if.then:
 113   tail call void @abort()
 114   unreachable
 115 if.else:
 116   ret void
 117 }
 118
 119 define void @br_fcmp_ogt(float %a, float %b) nounwind {
 120 ; RV32IF-LABEL: br_fcmp_ogt:
 121 ; RV32IF:       # %bb.0:
 122 ; RV32IF-NEXT:    addi sp, sp, -16
 123 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 124 ; RV32IF-NEXT:    flt.s a0, fa1, fa0
 125 ; RV32IF-NEXT:    bnez a0, .LBB3_2
 126 ; RV32IF-NEXT:  # %bb.1: # %if.else
 127 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 128 ; RV32IF-NEXT:    addi sp, sp, 16
 129 ; RV32IF-NEXT:    ret
 130 ; RV32IF-NEXT:  .LBB3_2: # %if.then
 131 ; RV32IF-NEXT:    call abort@plt
 132 ;
 133 ; RV64IF-LABEL: br_fcmp_ogt:
 134 ; RV64IF:       # %bb.0:
 135 ; RV64IF-NEXT:    addi sp, sp, -16
 136 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 137 ; RV64IF-NEXT:    flt.s a0, fa1, fa0
 138 ; RV64IF-NEXT:    bnez a0, .LBB3_2
 139 ; RV64IF-NEXT:  # %bb.1: # %if.else
 140 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 141 ; RV64IF-NEXT:    addi sp, sp, 16
 142 ; RV64IF-NEXT:    ret
 143 ; RV64IF-NEXT:  .LBB3_2: # %if.then
 144 ; RV64IF-NEXT:    call abort@plt
 145   %1 = fcmp ogt float %a, %b
 146   br i1 %1, label %if.then, label %if.else
 147 if.else:
 148   ret void
 149 if.then:
 150   tail call void @abort()
 151   unreachable
 152 }
 153
 154 define void @br_fcmp_oge(float %a, float %b) nounwind {
 155 ; RV32IF-LABEL: br_fcmp_oge:
 156 ; RV32IF:       # %bb.0:
 157 ; RV32IF-NEXT:    addi sp, sp, -16
 158 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 159 ; RV32IF-NEXT:    fle.s a0, fa1, fa0
 160 ; RV32IF-NEXT:    bnez a0, .LBB4_2
 161 ; RV32IF-NEXT:  # %bb.1: # %if.else
 162 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 163 ; RV32IF-NEXT:    addi sp, sp, 16
 164 ; RV32IF-NEXT:    ret
 165 ; RV32IF-NEXT:  .LBB4_2: # %if.then
 166 ; RV32IF-NEXT:    call abort@plt
 167 ;
 168 ; RV64IF-LABEL: br_fcmp_oge:
 169 ; RV64IF:       # %bb.0:
 170 ; RV64IF-NEXT:    addi sp, sp, -16
 171 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 172 ; RV64IF-NEXT:    fle.s a0, fa1, fa0
 173 ; RV64IF-NEXT:    bnez a0, .LBB4_2
 174 ; RV64IF-NEXT:  # %bb.1: # %if.else
 175 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 176 ; RV64IF-NEXT:    addi sp, sp, 16
 177 ; RV64IF-NEXT:    ret
 178 ; RV64IF-NEXT:  .LBB4_2: # %if.then
 179 ; RV64IF-NEXT:    call abort@plt
 180   %1 = fcmp oge float %a, %b
 181   br i1 %1, label %if.then, label %if.else
 182 if.else:
 183   ret void
 184 if.then:
 185   tail call void @abort()
 186   unreachable
 187 }
 188
 189 define void @br_fcmp_olt(float %a, float %b) nounwind {
 190 ; RV32IF-LABEL: br_fcmp_olt:
 191 ; RV32IF:       # %bb.0:
 192 ; RV32IF-NEXT:    addi sp, sp, -16
 193 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 194 ; RV32IF-NEXT:    flt.s a0, fa0, fa1
 195 ; RV32IF-NEXT:    bnez a0, .LBB5_2
 196 ; RV32IF-NEXT:  # %bb.1: # %if.else
 197 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 198 ; RV32IF-NEXT:    addi sp, sp, 16
 199 ; RV32IF-NEXT:    ret
 200 ; RV32IF-NEXT:  .LBB5_2: # %if.then
 201 ; RV32IF-NEXT:    call abort@plt
 202 ;
 203 ; RV64IF-LABEL: br_fcmp_olt:
 204 ; RV64IF:       # %bb.0:
 205 ; RV64IF-NEXT:    addi sp, sp, -16
 206 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 207 ; RV64IF-NEXT:    flt.s a0, fa0, fa1
 208 ; RV64IF-NEXT:    bnez a0, .LBB5_2
 209 ; RV64IF-NEXT:  # %bb.1: # %if.else
 210 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 211 ; RV64IF-NEXT:    addi sp, sp, 16
 212 ; RV64IF-NEXT:    ret
 213 ; RV64IF-NEXT:  .LBB5_2: # %if.then
 214 ; RV64IF-NEXT:    call abort@plt
 215   %1 = fcmp olt float %a, %b
 216   br i1 %1, label %if.then, label %if.else
 217 if.else:
 218   ret void
 219 if.then:
 220   tail call void @abort()
 221   unreachable
 222 }
 223
 224 define void @br_fcmp_ole(float %a, float %b) nounwind {
 225 ; RV32IF-LABEL: br_fcmp_ole:
 226 ; RV32IF:       # %bb.0:
 227 ; RV32IF-NEXT:    addi sp, sp, -16
 228 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 229 ; RV32IF-NEXT:    fle.s a0, fa0, fa1
 230 ; RV32IF-NEXT:    bnez a0, .LBB6_2
 231 ; RV32IF-NEXT:  # %bb.1: # %if.else
 232 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 233 ; RV32IF-NEXT:    addi sp, sp, 16
 234 ; RV32IF-NEXT:    ret
 235 ; RV32IF-NEXT:  .LBB6_2: # %if.then
 236 ; RV32IF-NEXT:    call abort@plt
 237 ;
 238 ; RV64IF-LABEL: br_fcmp_ole:
 239 ; RV64IF:       # %bb.0:
 240 ; RV64IF-NEXT:    addi sp, sp, -16
 241 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 242 ; RV64IF-NEXT:    fle.s a0, fa0, fa1
 243 ; RV64IF-NEXT:    bnez a0, .LBB6_2
 244 ; RV64IF-NEXT:  # %bb.1: # %if.else
 245 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 246 ; RV64IF-NEXT:    addi sp, sp, 16
 247 ; RV64IF-NEXT:    ret
 248 ; RV64IF-NEXT:  .LBB6_2: # %if.then
 249 ; RV64IF-NEXT:    call abort@plt
 250   %1 = fcmp ole float %a, %b
 251   br i1 %1, label %if.then, label %if.else
 252 if.else:
 253   ret void
 254 if.then:
 255   tail call void @abort()
 256   unreachable
 257 }
 258
 259 define void @br_fcmp_one(float %a, float %b) nounwind {
 260 ; RV32IF-LABEL: br_fcmp_one:
 261 ; RV32IF:       # %bb.0:
 262 ; RV32IF-NEXT:    addi sp, sp, -16
 263 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 264 ; RV32IF-NEXT:    flt.s a0, fa0, fa1
 265 ; RV32IF-NEXT:    flt.s a1, fa1, fa0
 266 ; RV32IF-NEXT:    or a0, a1, a0
 267 ; RV32IF-NEXT:    bnez a0, .LBB7_2
 268 ; RV32IF-NEXT:  # %bb.1: # %if.else
 269 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 270 ; RV32IF-NEXT:    addi sp, sp, 16
 271 ; RV32IF-NEXT:    ret
 272 ; RV32IF-NEXT:  .LBB7_2: # %if.then
 273 ; RV32IF-NEXT:    call abort@plt
 274 ;
 275 ; RV64IF-LABEL: br_fcmp_one:
 276 ; RV64IF:       # %bb.0:
 277 ; RV64IF-NEXT:    addi sp, sp, -16
 278 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 279 ; RV64IF-NEXT:    flt.s a0, fa0, fa1
 280 ; RV64IF-NEXT:    flt.s a1, fa1, fa0
 281 ; RV64IF-NEXT:    or a0, a1, a0
 282 ; RV64IF-NEXT:    bnez a0, .LBB7_2
 283 ; RV64IF-NEXT:  # %bb.1: # %if.else
 284 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 285 ; RV64IF-NEXT:    addi sp, sp, 16
 286 ; RV64IF-NEXT:    ret
 287 ; RV64IF-NEXT:  .LBB7_2: # %if.then
 288 ; RV64IF-NEXT:    call abort@plt
 289   %1 = fcmp one float %a, %b
 290   br i1 %1, label %if.then, label %if.else
 291 if.else:
 292   ret void
 293 if.then:
 294   tail call void @abort()
 295   unreachable
 296 }
 297
 298 define void @br_fcmp_ord(float %a, float %b) nounwind {
 299 ; RV32IF-LABEL: br_fcmp_ord:
 300 ; RV32IF:       # %bb.0:
 301 ; RV32IF-NEXT:    addi sp, sp, -16
 302 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 303 ; RV32IF-NEXT:    feq.s a0, fa1, fa1
 304 ; RV32IF-NEXT:    feq.s a1, fa0, fa0
 305 ; RV32IF-NEXT:    and a0, a1, a0
 306 ; RV32IF-NEXT:    bnez a0, .LBB8_2
 307 ; RV32IF-NEXT:  # %bb.1: # %if.else
 308 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 309 ; RV32IF-NEXT:    addi sp, sp, 16
 310 ; RV32IF-NEXT:    ret
 311 ; RV32IF-NEXT:  .LBB8_2: # %if.then
 312 ; RV32IF-NEXT:    call abort@plt
 313 ;
 314 ; RV64IF-LABEL: br_fcmp_ord:
 315 ; RV64IF:       # %bb.0:
 316 ; RV64IF-NEXT:    addi sp, sp, -16
 317 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 318 ; RV64IF-NEXT:    feq.s a0, fa1, fa1
 319 ; RV64IF-NEXT:    feq.s a1, fa0, fa0
 320 ; RV64IF-NEXT:    and a0, a1, a0
 321 ; RV64IF-NEXT:    bnez a0, .LBB8_2
 322 ; RV64IF-NEXT:  # %bb.1: # %if.else
 323 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 324 ; RV64IF-NEXT:    addi sp, sp, 16
 325 ; RV64IF-NEXT:    ret
 326 ; RV64IF-NEXT:  .LBB8_2: # %if.then
 327 ; RV64IF-NEXT:    call abort@plt
 328   %1 = fcmp ord float %a, %b
 329   br i1 %1, label %if.then, label %if.else
 330 if.else:
 331   ret void
 332 if.then:
 333   tail call void @abort()
 334   unreachable
 335 }
 336
 337 define void @br_fcmp_ueq(float %a, float %b) nounwind {
 338 ; RV32IF-LABEL: br_fcmp_ueq:
 339 ; RV32IF:       # %bb.0:
 340 ; RV32IF-NEXT:    addi sp, sp, -16
 341 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 342 ; RV32IF-NEXT:    flt.s a0, fa0, fa1
 343 ; RV32IF-NEXT:    flt.s a1, fa1, fa0
 344 ; RV32IF-NEXT:    or a0, a1, a0
 345 ; RV32IF-NEXT:    beqz a0, .LBB9_2
 346 ; RV32IF-NEXT:  # %bb.1: # %if.else
 347 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 348 ; RV32IF-NEXT:    addi sp, sp, 16
 349 ; RV32IF-NEXT:    ret
 350 ; RV32IF-NEXT:  .LBB9_2: # %if.then
 351 ; RV32IF-NEXT:    call abort@plt
 352 ;
 353 ; RV64IF-LABEL: br_fcmp_ueq:
 354 ; RV64IF:       # %bb.0:
 355 ; RV64IF-NEXT:    addi sp, sp, -16
 356 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 357 ; RV64IF-NEXT:    flt.s a0, fa0, fa1
 358 ; RV64IF-NEXT:    flt.s a1, fa1, fa0
 359 ; RV64IF-NEXT:    or a0, a1, a0
 360 ; RV64IF-NEXT:    beqz a0, .LBB9_2
 361 ; RV64IF-NEXT:  # %bb.1: # %if.else
 362 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 363 ; RV64IF-NEXT:    addi sp, sp, 16
 364 ; RV64IF-NEXT:    ret
 365 ; RV64IF-NEXT:  .LBB9_2: # %if.then
 366 ; RV64IF-NEXT:    call abort@plt
 367   %1 = fcmp ueq float %a, %b
 368   br i1 %1, label %if.then, label %if.else
 369 if.else:
 370   ret void
 371 if.then:
 372   tail call void @abort()
 373   unreachable
 374 }
 375
 376 define void @br_fcmp_ugt(float %a, float %b) nounwind {
 377 ; RV32IF-LABEL: br_fcmp_ugt:
 378 ; RV32IF:       # %bb.0:
 379 ; RV32IF-NEXT:    addi sp, sp, -16
 380 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 381 ; RV32IF-NEXT:    fle.s a0, fa0, fa1
 382 ; RV32IF-NEXT:    beqz a0, .LBB10_2
 383 ; RV32IF-NEXT:  # %bb.1: # %if.else
 384 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 385 ; RV32IF-NEXT:    addi sp, sp, 16
 386 ; RV32IF-NEXT:    ret
 387 ; RV32IF-NEXT:  .LBB10_2: # %if.then
 388 ; RV32IF-NEXT:    call abort@plt
 389 ;
 390 ; RV64IF-LABEL: br_fcmp_ugt:
 391 ; RV64IF:       # %bb.0:
 392 ; RV64IF-NEXT:    addi sp, sp, -16
 393 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 394 ; RV64IF-NEXT:    fle.s a0, fa0, fa1
 395 ; RV64IF-NEXT:    beqz a0, .LBB10_2
 396 ; RV64IF-NEXT:  # %bb.1: # %if.else
 397 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 398 ; RV64IF-NEXT:    addi sp, sp, 16
 399 ; RV64IF-NEXT:    ret
 400 ; RV64IF-NEXT:  .LBB10_2: # %if.then
 401 ; RV64IF-NEXT:    call abort@plt
 402   %1 = fcmp ugt float %a, %b
 403   br i1 %1, label %if.then, label %if.else
 404 if.else:
 405   ret void
 406 if.then:
 407   tail call void @abort()
 408   unreachable
 409 }
 410
 411 define void @br_fcmp_uge(float %a, float %b) nounwind {
 412 ; RV32IF-LABEL: br_fcmp_uge:
 413 ; RV32IF:       # %bb.0:
 414 ; RV32IF-NEXT:    addi sp, sp, -16
 415 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 416 ; RV32IF-NEXT:    flt.s a0, fa0, fa1
 417 ; RV32IF-NEXT:    beqz a0, .LBB11_2
 418 ; RV32IF-NEXT:  # %bb.1: # %if.else
 419 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 420 ; RV32IF-NEXT:    addi sp, sp, 16
 421 ; RV32IF-NEXT:    ret
 422 ; RV32IF-NEXT:  .LBB11_2: # %if.then
 423 ; RV32IF-NEXT:    call abort@plt
 424 ;
 425 ; RV64IF-LABEL: br_fcmp_uge:
 426 ; RV64IF:       # %bb.0:
 427 ; RV64IF-NEXT:    addi sp, sp, -16
 428 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 429 ; RV64IF-NEXT:    flt.s a0, fa0, fa1
 430 ; RV64IF-NEXT:    beqz a0, .LBB11_2
 431 ; RV64IF-NEXT:  # %bb.1: # %if.else
 432 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 433 ; RV64IF-NEXT:    addi sp, sp, 16
 434 ; RV64IF-NEXT:    ret
 435 ; RV64IF-NEXT:  .LBB11_2: # %if.then
 436 ; RV64IF-NEXT:    call abort@plt
 437   %1 = fcmp uge float %a, %b
 438   br i1 %1, label %if.then, label %if.else
 439 if.else:
 440   ret void
 441 if.then:
 442   tail call void @abort()
 443   unreachable
 444 }
 445
 446 define void @br_fcmp_ult(float %a, float %b) nounwind {
 447 ; RV32IF-LABEL: br_fcmp_ult:
 448 ; RV32IF:       # %bb.0:
 449 ; RV32IF-NEXT:    addi sp, sp, -16
 450 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 451 ; RV32IF-NEXT:    fle.s a0, fa1, fa0
 452 ; RV32IF-NEXT:    beqz a0, .LBB12_2
 453 ; RV32IF-NEXT:  # %bb.1: # %if.else
 454 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 455 ; RV32IF-NEXT:    addi sp, sp, 16
 456 ; RV32IF-NEXT:    ret
 457 ; RV32IF-NEXT:  .LBB12_2: # %if.then
 458 ; RV32IF-NEXT:    call abort@plt
 459 ;
 460 ; RV64IF-LABEL: br_fcmp_ult:
 461 ; RV64IF:       # %bb.0:
 462 ; RV64IF-NEXT:    addi sp, sp, -16
 463 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 464 ; RV64IF-NEXT:    fle.s a0, fa1, fa0
 465 ; RV64IF-NEXT:    beqz a0, .LBB12_2
 466 ; RV64IF-NEXT:  # %bb.1: # %if.else
 467 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 468 ; RV64IF-NEXT:    addi sp, sp, 16
 469 ; RV64IF-NEXT:    ret
 470 ; RV64IF-NEXT:  .LBB12_2: # %if.then
 471 ; RV64IF-NEXT:    call abort@plt
 472   %1 = fcmp ult float %a, %b
 473   br i1 %1, label %if.then, label %if.else
 474 if.else:
 475   ret void
 476 if.then:
 477   tail call void @abort()
 478   unreachable
 479 }
 480
 481 define void @br_fcmp_ule(float %a, float %b) nounwind {
 482 ; RV32IF-LABEL: br_fcmp_ule:
 483 ; RV32IF:       # %bb.0:
 484 ; RV32IF-NEXT:    addi sp, sp, -16
 485 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 486 ; RV32IF-NEXT:    flt.s a0, fa1, fa0
 487 ; RV32IF-NEXT:    beqz a0, .LBB13_2
 488 ; RV32IF-NEXT:  # %bb.1: # %if.else
 489 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 490 ; RV32IF-NEXT:    addi sp, sp, 16
 491 ; RV32IF-NEXT:    ret
 492 ; RV32IF-NEXT:  .LBB13_2: # %if.then
 493 ; RV32IF-NEXT:    call abort@plt
 494 ;
 495 ; RV64IF-LABEL: br_fcmp_ule:
 496 ; RV64IF:       # %bb.0:
 497 ; RV64IF-NEXT:    addi sp, sp, -16
 498 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 499 ; RV64IF-NEXT:    flt.s a0, fa1, fa0
 500 ; RV64IF-NEXT:    beqz a0, .LBB13_2
 501 ; RV64IF-NEXT:  # %bb.1: # %if.else
 502 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 503 ; RV64IF-NEXT:    addi sp, sp, 16
 504 ; RV64IF-NEXT:    ret
 505 ; RV64IF-NEXT:  .LBB13_2: # %if.then
 506 ; RV64IF-NEXT:    call abort@plt
 507   %1 = fcmp ule float %a, %b
 508   br i1 %1, label %if.then, label %if.else
 509 if.else:
 510   ret void
 511 if.then:
 512   tail call void @abort()
 513   unreachable
 514 }
 515
 516 define void @br_fcmp_une(float %a, float %b) nounwind {
 517 ; RV32IF-LABEL: br_fcmp_une:
 518 ; RV32IF:       # %bb.0:
 519 ; RV32IF-NEXT:    addi sp, sp, -16
 520 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 521 ; RV32IF-NEXT:    feq.s a0, fa0, fa1
 522 ; RV32IF-NEXT:    beqz a0, .LBB14_2
 523 ; RV32IF-NEXT:  # %bb.1: # %if.else
 524 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 525 ; RV32IF-NEXT:    addi sp, sp, 16
 526 ; RV32IF-NEXT:    ret
 527 ; RV32IF-NEXT:  .LBB14_2: # %if.then
 528 ; RV32IF-NEXT:    call abort@plt
 529 ;
 530 ; RV64IF-LABEL: br_fcmp_une:
 531 ; RV64IF:       # %bb.0:
 532 ; RV64IF-NEXT:    addi sp, sp, -16
 533 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 534 ; RV64IF-NEXT:    feq.s a0, fa0, fa1
 535 ; RV64IF-NEXT:    beqz a0, .LBB14_2
 536 ; RV64IF-NEXT:  # %bb.1: # %if.else
 537 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 538 ; RV64IF-NEXT:    addi sp, sp, 16
 539 ; RV64IF-NEXT:    ret
 540 ; RV64IF-NEXT:  .LBB14_2: # %if.then
 541 ; RV64IF-NEXT:    call abort@plt
 542   %1 = fcmp une float %a, %b
 543   br i1 %1, label %if.then, label %if.else
 544 if.else:
 545   ret void
 546 if.then:
 547   tail call void @abort()
 548   unreachable
 549 }
 550
 551 define void @br_fcmp_uno(float %a, float %b) nounwind {
 552 ; RV32IF-LABEL: br_fcmp_uno:
 553 ; RV32IF:       # %bb.0:
 554 ; RV32IF-NEXT:    addi sp, sp, -16
 555 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 556 ; RV32IF-NEXT:    feq.s a0, fa1, fa1
 557 ; RV32IF-NEXT:    feq.s a1, fa0, fa0
 558 ; RV32IF-NEXT:    and a0, a1, a0
 559 ; RV32IF-NEXT:    beqz a0, .LBB15_2
 560 ; RV32IF-NEXT:  # %bb.1: # %if.else
 561 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 562 ; RV32IF-NEXT:    addi sp, sp, 16
 563 ; RV32IF-NEXT:    ret
 564 ; RV32IF-NEXT:  .LBB15_2: # %if.then
 565 ; RV32IF-NEXT:    call abort@plt
 566 ;
 567 ; RV64IF-LABEL: br_fcmp_uno:
 568 ; RV64IF:       # %bb.0:
 569 ; RV64IF-NEXT:    addi sp, sp, -16
 570 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 571 ; RV64IF-NEXT:    feq.s a0, fa1, fa1
 572 ; RV64IF-NEXT:    feq.s a1, fa0, fa0
 573 ; RV64IF-NEXT:    and a0, a1, a0
 574 ; RV64IF-NEXT:    beqz a0, .LBB15_2
 575 ; RV64IF-NEXT:  # %bb.1: # %if.else
 576 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 577 ; RV64IF-NEXT:    addi sp, sp, 16
 578 ; RV64IF-NEXT:    ret
 579 ; RV64IF-NEXT:  .LBB15_2: # %if.then
 580 ; RV64IF-NEXT:    call abort@plt
 581   %1 = fcmp uno float %a, %b
 582   br i1 %1, label %if.then, label %if.else
 583 if.else:
 584   ret void
 585 if.then:
 586   tail call void @abort()
 587   unreachable
 588 }
 589
 590 define void @br_fcmp_true(float %a, float %b) nounwind {
 591 ; RV32IF-LABEL: br_fcmp_true:
 592 ; RV32IF:       # %bb.0:
 593 ; RV32IF-NEXT:    addi sp, sp, -16
 594 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 595 ; RV32IF-NEXT:    li a0, 1
 596 ; RV32IF-NEXT:    bnez a0, .LBB16_2
 597 ; RV32IF-NEXT:  # %bb.1: # %if.else
 598 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 599 ; RV32IF-NEXT:    addi sp, sp, 16
 600 ; RV32IF-NEXT:    ret
 601 ; RV32IF-NEXT:  .LBB16_2: # %if.then
 602 ; RV32IF-NEXT:    call abort@plt
 603 ;
 604 ; RV64IF-LABEL: br_fcmp_true:
 605 ; RV64IF:       # %bb.0:
 606 ; RV64IF-NEXT:    addi sp, sp, -16
 607 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 608 ; RV64IF-NEXT:    li a0, 1
 609 ; RV64IF-NEXT:    bnez a0, .LBB16_2
 610 ; RV64IF-NEXT:  # %bb.1: # %if.else
 611 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 612 ; RV64IF-NEXT:    addi sp, sp, 16
 613 ; RV64IF-NEXT:    ret
 614 ; RV64IF-NEXT:  .LBB16_2: # %if.then
 615 ; RV64IF-NEXT:    call abort@plt
 616   %1 = fcmp true float %a, %b
 617   br i1 %1, label %if.then, label %if.else
 618 if.else:
 619   ret void
 620 if.then:
 621   tail call void @abort()
 622   unreachable
 623 }
 624
 625 ; This test exists primarily to trigger RISCVInstrInfo::storeRegToStackSlot
 626 ; and RISCVInstrInfo::loadRegFromStackSlot
 627 define i32 @br_fcmp_store_load_stack_slot(float %a, float %b) nounwind {
 628 ; RV32IF-LABEL: br_fcmp_store_load_stack_slot:
 629 ; RV32IF:       # %bb.0: # %entry
 630 ; RV32IF-NEXT:    addi sp, sp, -16
 631 ; RV32IF-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 632 ; RV32IF-NEXT:    fsw fs0, 8(sp) # 4-byte Folded Spill
 633 ; RV32IF-NEXT:    fmv.w.x fs0, zero
 634 ; RV32IF-NEXT:    fmv.s fa0, fs0
 635 ; RV32IF-NEXT:    call dummy@plt
 636 ; RV32IF-NEXT:    feq.s a0, fa0, fs0
 637 ; RV32IF-NEXT:    beqz a0, .LBB17_3
 638 ; RV32IF-NEXT:  # %bb.1: # %if.end
 639 ; RV32IF-NEXT:    fmv.s fa0, fs0
 640 ; RV32IF-NEXT:    call dummy@plt
 641 ; RV32IF-NEXT:    feq.s a0, fa0, fs0
 642 ; RV32IF-NEXT:    beqz a0, .LBB17_3
 643 ; RV32IF-NEXT:  # %bb.2: # %if.end4
 644 ; RV32IF-NEXT:    li a0, 0
 645 ; RV32IF-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 646 ; RV32IF-NEXT:    flw fs0, 8(sp) # 4-byte Folded Reload
 647 ; RV32IF-NEXT:    addi sp, sp, 16
 648 ; RV32IF-NEXT:    ret
 649 ; RV32IF-NEXT:  .LBB17_3: # %if.then
 650 ; RV32IF-NEXT:    call abort@plt
 651 ;
 652 ; RV64IF-LABEL: br_fcmp_store_load_stack_slot:
 653 ; RV64IF:       # %bb.0: # %entry
 654 ; RV64IF-NEXT:    addi sp, sp, -16
 655 ; RV64IF-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 656 ; RV64IF-NEXT:    fsw fs0, 4(sp) # 4-byte Folded Spill
 657 ; RV64IF-NEXT:    fmv.w.x fs0, zero
 658 ; RV64IF-NEXT:    fmv.s fa0, fs0
 659 ; RV64IF-NEXT:    call dummy@plt
 660 ; RV64IF-NEXT:    feq.s a0, fa0, fs0
 661 ; RV64IF-NEXT:    beqz a0, .LBB17_3
 662 ; RV64IF-NEXT:  # %bb.1: # %if.end
 663 ; RV64IF-NEXT:    fmv.s fa0, fs0
 664 ; RV64IF-NEXT:    call dummy@plt
 665 ; RV64IF-NEXT:    feq.s a0, fa0, fs0
 666 ; RV64IF-NEXT:    beqz a0, .LBB17_3
 667 ; RV64IF-NEXT:  # %bb.2: # %if.end4
 668 ; RV64IF-NEXT:    li a0, 0
 669 ; RV64IF-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 670 ; RV64IF-NEXT:    flw fs0, 4(sp) # 4-byte Folded Reload
 671 ; RV64IF-NEXT:    addi sp, sp, 16
 672 ; RV64IF-NEXT:    ret
 673 ; RV64IF-NEXT:  .LBB17_3: # %if.then
 674 ; RV64IF-NEXT:    call abort@plt
 675 entry:
 676   %call = call float @dummy(float 0.000000e+00)
 677   %cmp = fcmp une float %call, 0.000000e+00
 678   br i1 %cmp, label %if.then, label %if.end
 679
 680 if.then:
 681   call void @abort()
 682   unreachable
 683
 684 if.end:
 685   %call1 = call float @dummy(float 0.000000e+00)
 686   %cmp2 = fcmp une float %call1, 0.000000e+00
 687   br i1 %cmp2, label %if.then3, label %if.end4
 688
 689 if.then3:
 690   call void @abort()
 691   unreachable
 692
 693 if.end4:
 694   ret i32 0
 695 }