[llvm] [AArch64][GlobalISel] Promote BF16 G_FCMP (PR #196093)
via llvm-commits
llvm-commits at lists.llvm.org
Wed May 6 08:18:00 PDT 2026
llvmorg-github-actions[bot] wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-backend-aarch64
Author: David Green (davemgreen)
<details>
<summary>Changes</summary>
This adds bf16 legalization for floating point compares.
---
Patch is 123.09 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/196093.diff
4 Files Affected:
- (modified) llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp (+6-1)
- (modified) llvm/test/CodeGen/AArch64/bf16-instructions.ll (+768-218)
- (modified) llvm/test/CodeGen/AArch64/bf16-v4-instructions.ll (+433-127)
- (modified) llvm/test/CodeGen/AArch64/bf16-v8-instructions.ll (+956-205)
``````````diff
diff --git a/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp b/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp
index e8bc74a150b57..f263adb59c11d 100644
--- a/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp
+++ b/llvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp
@@ -772,7 +772,12 @@ AArch64LegalizerInfo::AArch64LegalizerInfo(const AArch64Subtarget &ST)
.legalFor(HasFP16, {{i32, f16}, {v4i16, v4f16}, {v8i16, v8f16}})
.widenScalarOrEltToNextPow2(1)
.clampScalar(0, s32, s32)
- .minScalarOrElt(1, MinFPScalar)
+ .widenScalarIf(
+ [=](const LegalityQuery &Q) {
+ return (!HasFP16 && Q.Types[1].getScalarType().isFloat16()) ||
+ Q.Types[1].getScalarType().isBFloat16();
+ },
+ changeElementTo(1, f32))
.scalarizeIf(scalarOrEltWiderThan(1, 64), 1)
.minScalarEltSameAsIf(
[=](const LegalityQuery &Query) {
diff --git a/llvm/test/CodeGen/AArch64/bf16-instructions.ll b/llvm/test/CodeGen/AArch64/bf16-instructions.ll
index b3b9653b14481..331f65f2e05ef 100644
--- a/llvm/test/CodeGen/AArch64/bf16-instructions.ll
+++ b/llvm/test/CodeGen/AArch64/bf16-instructions.ll
@@ -10,24 +10,6 @@
; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fmadd
; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fdiv
; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_frem
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_select_cc
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_select_cc_f32_f16
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_une
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ueq
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ugt
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_uge
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ult
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ule
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_uno
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_one
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_oeq
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ogt
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_oge
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_olt
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ole
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ord
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fccmp
-; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_br_cc
; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fptosi_i32
; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fptosi_i64
; CHECK-CVT-GI-NEXT: warning: Instruction selection used fallback path for test_fptoui_i32
@@ -78,24 +60,6 @@
; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fmadd
; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fdiv
; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_frem
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_select_cc
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_select_cc_f32_f16
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_une
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ueq
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ugt
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_uge
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ult
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ule
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_uno
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_one
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_oeq
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ogt
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_oge
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_olt
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ole
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fcmp_ord
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fccmp
-; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_br_cc
; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fptosi_i32
; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fptosi_i64
; CHECK-BF16-GI-NEXT: warning: Instruction selection used fallback path for test_fptoui_i32
@@ -450,33 +414,108 @@ define bfloat @test_select(bfloat %a, bfloat %b, i1 zeroext %c) #0 {
}
define bfloat @test_select_cc(bfloat %a, bfloat %b, bfloat %c, bfloat %d) #0 {
-; CHECK-LABEL: test_select_cc:
-; CHECK: // %bb.0:
-; CHECK-NEXT: // kill: def $h3 killed $h3 def $d3
-; CHECK-NEXT: // kill: def $h2 killed $h2 def $d2
-; CHECK-NEXT: // kill: def $h0 killed $h0 def $s0
-; CHECK-NEXT: // kill: def $h1 killed $h1 def $s1
-; CHECK-NEXT: shll v3.4s, v3.4h, #16
-; CHECK-NEXT: shll v2.4s, v2.4h, #16
-; CHECK-NEXT: fcmp s2, s3
-; CHECK-NEXT: fcsel s0, s0, s1, ne
-; CHECK-NEXT: // kill: def $h0 killed $h0 killed $s0
-; CHECK-NEXT: ret
+; CHECK-CVT-SD-LABEL: test_select_cc:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h3 killed $h3 def $d3
+; CHECK-CVT-SD-NEXT: // kill: def $h2 killed $h2 def $d2
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-CVT-SD-NEXT: shll v3.4s, v3.4h, #16
+; CHECK-CVT-SD-NEXT: shll v2.4s, v2.4h, #16
+; CHECK-CVT-SD-NEXT: fcmp s2, s3
+; CHECK-CVT-SD-NEXT: fcsel s0, s0, s1, ne
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-BF16-SD-LABEL: test_select_cc:
+; CHECK-BF16-SD: // %bb.0:
+; CHECK-BF16-SD-NEXT: // kill: def $h3 killed $h3 def $d3
+; CHECK-BF16-SD-NEXT: // kill: def $h2 killed $h2 def $d2
+; CHECK-BF16-SD-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-BF16-SD-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-BF16-SD-NEXT: shll v3.4s, v3.4h, #16
+; CHECK-BF16-SD-NEXT: shll v2.4s, v2.4h, #16
+; CHECK-BF16-SD-NEXT: fcmp s2, s3
+; CHECK-BF16-SD-NEXT: fcsel s0, s0, s1, ne
+; CHECK-BF16-SD-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-BF16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_select_cc:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: // kill: def $h2 killed $h2 def $d2
+; CHECK-CVT-GI-NEXT: // kill: def $h3 killed $h3 def $d3
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-CVT-GI-NEXT: fmov w8, s0
+; CHECK-CVT-GI-NEXT: fmov w9, s1
+; CHECK-CVT-GI-NEXT: shll v2.4s, v2.4h, #16
+; CHECK-CVT-GI-NEXT: shll v3.4s, v3.4h, #16
+; CHECK-CVT-GI-NEXT: fcmp s2, s3
+; CHECK-CVT-GI-NEXT: csel w8, w8, w9, ne
+; CHECK-CVT-GI-NEXT: fmov s0, w8
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-BF16-GI-LABEL: test_select_cc:
+; CHECK-BF16-GI: // %bb.0:
+; CHECK-BF16-GI-NEXT: // kill: def $h2 killed $h2 def $d2
+; CHECK-BF16-GI-NEXT: // kill: def $h3 killed $h3 def $d3
+; CHECK-BF16-GI-NEXT: // kill: def $h0 killed $h0 def $s0
+; CHECK-BF16-GI-NEXT: // kill: def $h1 killed $h1 def $s1
+; CHECK-BF16-GI-NEXT: fmov w8, s0
+; CHECK-BF16-GI-NEXT: fmov w9, s1
+; CHECK-BF16-GI-NEXT: shll v2.4s, v2.4h, #16
+; CHECK-BF16-GI-NEXT: shll v3.4s, v3.4h, #16
+; CHECK-BF16-GI-NEXT: fcmp s2, s3
+; CHECK-BF16-GI-NEXT: csel w8, w8, w9, ne
+; CHECK-BF16-GI-NEXT: fmov s0, w8
+; CHECK-BF16-GI-NEXT: // kill: def $h0 killed $h0 killed $s0
+; CHECK-BF16-GI-NEXT: ret
%cc = fcmp une bfloat %c, %d
%r = select i1 %cc, bfloat %a, bfloat %b
ret bfloat %r
}
define float @test_select_cc_f32_f16(float %a, float %b, bfloat %c, bfloat %d) #0 {
-; CHECK-LABEL: test_select_cc_f32_f16:
-; CHECK: // %bb.0:
-; CHECK-NEXT: // kill: def $h3 killed $h3 def $d3
-; CHECK-NEXT: // kill: def $h2 killed $h2 def $d2
-; CHECK-NEXT: shll v3.4s, v3.4h, #16
-; CHECK-NEXT: shll v2.4s, v2.4h, #16
-; CHECK-NEXT: fcmp s2, s3
-; CHECK-NEXT: fcsel s0, s0, s1, ne
-; CHECK-NEXT: ret
+; CHECK-CVT-SD-LABEL: test_select_cc_f32_f16:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h3 killed $h3 def $d3
+; CHECK-CVT-SD-NEXT: // kill: def $h2 killed $h2 def $d2
+; CHECK-CVT-SD-NEXT: shll v3.4s, v3.4h, #16
+; CHECK-CVT-SD-NEXT: shll v2.4s, v2.4h, #16
+; CHECK-CVT-SD-NEXT: fcmp s2, s3
+; CHECK-CVT-SD-NEXT: fcsel s0, s0, s1, ne
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-BF16-SD-LABEL: test_select_cc_f32_f16:
+; CHECK-BF16-SD: // %bb.0:
+; CHECK-BF16-SD-NEXT: // kill: def $h3 killed $h3 def $d3
+; CHECK-BF16-SD-NEXT: // kill: def $h2 killed $h2 def $d2
+; CHECK-BF16-SD-NEXT: shll v3.4s, v3.4h, #16
+; CHECK-BF16-SD-NEXT: shll v2.4s, v2.4h, #16
+; CHECK-BF16-SD-NEXT: fcmp s2, s3
+; CHECK-BF16-SD-NEXT: fcsel s0, s0, s1, ne
+; CHECK-BF16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_select_cc_f32_f16:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: // kill: def $h2 killed $h2 def $d2
+; CHECK-CVT-GI-NEXT: // kill: def $h3 killed $h3 def $d3
+; CHECK-CVT-GI-NEXT: shll v2.4s, v2.4h, #16
+; CHECK-CVT-GI-NEXT: shll v3.4s, v3.4h, #16
+; CHECK-CVT-GI-NEXT: fcmp s2, s3
+; CHECK-CVT-GI-NEXT: fcsel s0, s0, s1, ne
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-BF16-GI-LABEL: test_select_cc_f32_f16:
+; CHECK-BF16-GI: // %bb.0:
+; CHECK-BF16-GI-NEXT: // kill: def $h2 killed $h2 def $d2
+; CHECK-BF16-GI-NEXT: // kill: def $h3 killed $h3 def $d3
+; CHECK-BF16-GI-NEXT: shll v2.4s, v2.4h, #16
+; CHECK-BF16-GI-NEXT: shll v3.4s, v3.4h, #16
+; CHECK-BF16-GI-NEXT: fcmp s2, s3
+; CHECK-BF16-GI-NEXT: fcsel s0, s0, s1, ne
+; CHECK-BF16-GI-NEXT: ret
%cc = fcmp une bfloat %c, %d
%r = select i1 %cc, float %a, float %b
ret float %r
@@ -530,217 +569,695 @@ define bfloat @test_select_cc_f16_f32(bfloat %a, bfloat %b, float %c, float %d)
}
define i1 @test_fcmp_une(bfloat %a, bfloat %b) #0 {
-; CHECK-LABEL: test_fcmp_une:
-; CHECK: // %bb.0:
-; CHECK-NEXT: // kill: def $h1 killed $h1 def $d1
-; CHECK-NEXT: // kill: def $h0 killed $h0 def $d0
-; CHECK-NEXT: shll v1.4s, v1.4h, #16
-; CHECK-NEXT: shll v0.4s, v0.4h, #16
-; CHECK-NEXT: fcmp s0, s1
-; CHECK-NEXT: cset w0, ne
-; CHECK-NEXT: ret
+; CHECK-CVT-SD-LABEL: test_fcmp_une:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, ne
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-BF16-SD-LABEL: test_fcmp_une:
+; CHECK-BF16-SD: // %bb.0:
+; CHECK-BF16-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-BF16-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-BF16-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-BF16-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-BF16-SD-NEXT: fcmp s0, s1
+; CHECK-BF16-SD-NEXT: cset w0, ne
+; CHECK-BF16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_une:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-GI-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-GI-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, ne
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-BF16-GI-LABEL: test_fcmp_une:
+; CHECK-BF16-GI: // %bb.0:
+; CHECK-BF16-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-BF16-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-BF16-GI-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-BF16-GI-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-BF16-GI-NEXT: fcmp s0, s1
+; CHECK-BF16-GI-NEXT: cset w0, ne
+; CHECK-BF16-GI-NEXT: ret
%r = fcmp une bfloat %a, %b
ret i1 %r
}
define i1 @test_fcmp_ueq(bfloat %a, bfloat %b) #0 {
-; CHECK-LABEL: test_fcmp_ueq:
-; CHECK: // %bb.0:
-; CHECK-NEXT: // kill: def $h1 killed $h1 def $d1
-; CHECK-NEXT: // kill: def $h0 killed $h0 def $d0
-; CHECK-NEXT: shll v1.4s, v1.4h, #16
-; CHECK-NEXT: shll v0.4s, v0.4h, #16
-; CHECK-NEXT: fcmp s0, s1
-; CHECK-NEXT: cset w8, eq
-; CHECK-NEXT: csinc w0, w8, wzr, vc
-; CHECK-NEXT: ret
+; CHECK-CVT-SD-LABEL: test_fcmp_ueq:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w8, eq
+; CHECK-CVT-SD-NEXT: csinc w0, w8, wzr, vc
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-BF16-SD-LABEL: test_fcmp_ueq:
+; CHECK-BF16-SD: // %bb.0:
+; CHECK-BF16-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-BF16-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-BF16-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-BF16-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-BF16-SD-NEXT: fcmp s0, s1
+; CHECK-BF16-SD-NEXT: cset w8, eq
+; CHECK-BF16-SD-NEXT: csinc w0, w8, wzr, vc
+; CHECK-BF16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ueq:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-GI-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-GI-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w8, eq
+; CHECK-CVT-GI-NEXT: cset w9, vs
+; CHECK-CVT-GI-NEXT: orr w0, w8, w9
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-BF16-GI-LABEL: test_fcmp_ueq:
+; CHECK-BF16-GI: // %bb.0:
+; CHECK-BF16-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-BF16-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-BF16-GI-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-BF16-GI-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-BF16-GI-NEXT: fcmp s0, s1
+; CHECK-BF16-GI-NEXT: cset w8, eq
+; CHECK-BF16-GI-NEXT: cset w9, vs
+; CHECK-BF16-GI-NEXT: orr w0, w8, w9
+; CHECK-BF16-GI-NEXT: ret
%r = fcmp ueq bfloat %a, %b
ret i1 %r
}
define i1 @test_fcmp_ugt(bfloat %a, bfloat %b) #0 {
-; CHECK-LABEL: test_fcmp_ugt:
-; CHECK: // %bb.0:
-; CHECK-NEXT: // kill: def $h1 killed $h1 def $d1
-; CHECK-NEXT: // kill: def $h0 killed $h0 def $d0
-; CHECK-NEXT: shll v1.4s, v1.4h, #16
-; CHECK-NEXT: shll v0.4s, v0.4h, #16
-; CHECK-NEXT: fcmp s0, s1
-; CHECK-NEXT: cset w0, hi
-; CHECK-NEXT: ret
+; CHECK-CVT-SD-LABEL: test_fcmp_ugt:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, hi
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-BF16-SD-LABEL: test_fcmp_ugt:
+; CHECK-BF16-SD: // %bb.0:
+; CHECK-BF16-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-BF16-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-BF16-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-BF16-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-BF16-SD-NEXT: fcmp s0, s1
+; CHECK-BF16-SD-NEXT: cset w0, hi
+; CHECK-BF16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_ugt:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-GI-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-GI-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, hi
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-BF16-GI-LABEL: test_fcmp_ugt:
+; CHECK-BF16-GI: // %bb.0:
+; CHECK-BF16-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-BF16-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-BF16-GI-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-BF16-GI-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-BF16-GI-NEXT: fcmp s0, s1
+; CHECK-BF16-GI-NEXT: cset w0, hi
+; CHECK-BF16-GI-NEXT: ret
%r = fcmp ugt bfloat %a, %b
ret i1 %r
}
define i1 @test_fcmp_uge(bfloat %a, bfloat %b) #0 {
-; CHECK-LABEL: test_fcmp_uge:
-; CHECK: // %bb.0:
-; CHECK-NEXT: // kill: def $h1 killed $h1 def $d1
-; CHECK-NEXT: // kill: def $h0 killed $h0 def $d0
-; CHECK-NEXT: shll v1.4s, v1.4h, #16
-; CHECK-NEXT: shll v0.4s, v0.4h, #16
-; CHECK-NEXT: fcmp s0, s1
-; CHECK-NEXT: cset w0, pl
-; CHECK-NEXT: ret
+; CHECK-CVT-SD-LABEL: test_fcmp_uge:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, pl
+; CHECK-CVT-SD-NEXT: ret
+;
+; CHECK-BF16-SD-LABEL: test_fcmp_uge:
+; CHECK-BF16-SD: // %bb.0:
+; CHECK-BF16-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-BF16-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-BF16-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-BF16-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-BF16-SD-NEXT: fcmp s0, s1
+; CHECK-BF16-SD-NEXT: cset w0, pl
+; CHECK-BF16-SD-NEXT: ret
+;
+; CHECK-CVT-GI-LABEL: test_fcmp_uge:
+; CHECK-CVT-GI: // %bb.0:
+; CHECK-CVT-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-GI-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-GI-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-GI-NEXT: fcmp s0, s1
+; CHECK-CVT-GI-NEXT: cset w0, pl
+; CHECK-CVT-GI-NEXT: ret
+;
+; CHECK-BF16-GI-LABEL: test_fcmp_uge:
+; CHECK-BF16-GI: // %bb.0:
+; CHECK-BF16-GI-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-BF16-GI-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-BF16-GI-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-BF16-GI-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-BF16-GI-NEXT: fcmp s0, s1
+; CHECK-BF16-GI-NEXT: cset w0, pl
+; CHECK-BF16-GI-NEXT: ret
%r = fcmp uge bfloat %a, %b
ret i1 %r
}
define i1 @test_fcmp_ult(bfloat %a, bfloat %b) #0 {
-; CHECK-LABEL: test_fcmp_ult:
-; CHECK: // %bb.0:
-; CHECK-NEXT: // kill: def $h1 killed $h1 def $d1
-; CHECK-NEXT: // kill: def $h0 killed $h0 def $d0
-; CHECK-NEXT: shll v1.4s, v1.4h, #16
-; CHECK-NEXT: shll v0.4s, v0.4h, #16
-; CHECK-NEXT: fcmp s0, s1
-; CHECK-NEXT: cset w0, lt
-; CHECK-NEXT: ret
+; CHECK-CVT-SD-LABEL: test_fcmp_ult:
+; CHECK-CVT-SD: // %bb.0:
+; CHECK-CVT-SD-NEXT: // kill: def $h1 killed $h1 def $d1
+; CHECK-CVT-SD-NEXT: // kill: def $h0 killed $h0 def $d0
+; CHECK-CVT-SD-NEXT: shll v1.4s, v1.4h, #16
+; CHECK-CVT-SD-NEXT: shll v0.4s, v0.4h, #16
+; CHECK-CVT-SD-NEXT: fcmp s0, s1
+; CHECK-CVT-SD-NEXT: cset w0, lt
+; CHECK-CVT-SD-NEXT: ret
...
[truncated]
``````````
</details>
https://github.com/llvm/llvm-project/pull/196093
More information about the llvm-commits
mailing list