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

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