afonso360 labeled issue #4850:
:wave: Hey,
While working in the
fcmptestsuite for #4849 I discovered that all unordered float comparisons are unimplemented in AArch64.I don't actually need this, its just a tracking issue.
.clifTest Casetest run target aarch64 function %fcmp_uge_f32(f32, f32) -> b1 { block0(v0: f32, v1: f32): v2 = fcmp uge v0, v1 return v2 } ; run: %fcmp_uge_f32(0x0.5, 0x0.5) == trueA more comprehensive test suite was introduced in #4849
Steps to Reproduce
clif-util test ./the-above.clifExpected Results
The test to pass.
Actual Results
Crashes with unimplemented.
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: AArch64
afonso360 opened issue #4850:
:wave: Hey,
While working in the
fcmptestsuite for #4849 I discovered that all unordered float comparisons are unimplemented in AArch64.I don't actually need this, its just a tracking issue.
.clifTest Casetest run target aarch64 function %fcmp_uge_f32(f32, f32) -> b1 { block0(v0: f32, v1: f32): v2 = fcmp uge v0, v1 return v2 } ; run: %fcmp_uge_f32(0x0.5, 0x0.5) == trueA more comprehensive test suite was introduced in #4849
Steps to Reproduce
clif-util test ./the-above.clifExpected Results
The test to pass.
Actual Results
Crashes with unimplemented.
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: AArch64
afonso360 labeled issue #4850:
:wave: Hey,
While working in the
fcmptestsuite for #4849 I discovered that all unordered float comparisons are unimplemented in AArch64.I don't actually need this, its just a tracking issue.
.clifTest Casetest run target aarch64 function %fcmp_uge_f32(f32, f32) -> b1 { block0(v0: f32, v1: f32): v2 = fcmp uge v0, v1 return v2 } ; run: %fcmp_uge_f32(0x0.5, 0x0.5) == trueA more comprehensive test suite was introduced in #4849
Steps to Reproduce
clif-util test ./the-above.clifExpected Results
The test to pass.
Actual Results
Crashes with unimplemented.
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: AArch64
afonso360 edited issue #4850:
:wave: Hey,
While working in the
fcmptestsuite for #4849 I discovered that all unordered float comparisons are unimplemented in AArch64.I don't actually need this, its just a tracking issue.
.clifTest Casetest run target aarch64 function %fcmp_uge_f32(f32, f32) -> b1 { block0(v0: f32, v1: f32): v2 = fcmp uge v0, v1 return v2 } ; run: %fcmp_uge_f32(0x0.5, 0x0.5) == trueA more comprehensive test suite was introduced in #4849
Steps to Reproduce
clif-util test ./the-above.clifExpected Results
The test to pass.
Actual Results
Crashes with unimplemented.
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: AArch64
akirilov-arm labeled issue #4850:
:wave: Hey,
While working in the
fcmptestsuite for #4849 I discovered that all unordered float comparisons are unimplemented in AArch64.I don't actually need this, its just a tracking issue.
.clifTest Casetest run target aarch64 function %fcmp_uge_f32(f32, f32) -> b1 { block0(v0: f32, v1: f32): v2 = fcmp uge v0, v1 return v2 } ; run: %fcmp_uge_f32(0x0.5, 0x0.5) == trueA more comprehensive test suite was introduced in #4849
Steps to Reproduce
clif-util test ./the-above.clifExpected Results
The test to pass.
Actual Results
Crashes with unimplemented.
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: AArch64
Last updated: Dec 13 2025 at 19:03 UTC