[llvm] [DAG] computeKnownFPClass - Add handling for AssertNoFPClass (PR #190185)

[Joao Victor Amorim Vieira via llvm-commits]

================
@@ -0,0 +1,52 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
+; RUN: llc -mtriple=riscv64 -mattr=+v,+f,+d -target-abi=lp64d < %s | FileCheck %s
+
+define <vscale x 4 x i1> @test_fcmp_ord_no_nan(<vscale x 4 x float> nofpclass(nan) %a, <vscale x 4 x float> nofpclass(nan) %b) {
+; CHECK-LABEL: test_fcmp_ord_no_nan:
+; CHECK:       # %bb.0:
+; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
+; CHECK-NEXT:    vmfeq.vv v12, v10, v10
+; CHECK-NEXT:    vmfeq.vv v10, v8, v8
+; CHECK-NEXT:    vmand.mm v0, v10, v12
+; CHECK-NEXT:    ret
+  %cmp = fcmp ord <vscale x 4 x float> %a, %b
+  ret <vscale x 4 x i1> %cmp
+}
+
+define <vscale x 4 x i1> @test_fcmp_uno_no_nan(<vscale x 4 x float> nofpclass(nan) %a, <vscale x 4 x float> nofpclass(nan) %b) {
+; CHECK-LABEL: test_fcmp_uno_no_nan:
+; CHECK:       # %bb.0:
+; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
+; CHECK-NEXT:    vmfne.vv v12, v10, v10
+; CHECK-NEXT:    vmfne.vv v10, v8, v8
+; CHECK-NEXT:    vmor.mm v0, v10, v12
+; CHECK-NEXT:    ret
+  %cmp = fcmp uno <vscale x 4 x float> %a, %b
+  ret <vscale x 4 x i1> %cmp
+}
----------------
joaovam wrote:

Hi @arsenm, I have updated the tests. Could you give directions on where to go with them?

https://github.com/llvm/llvm-project/pull/190185