[Clang][XTHeadVector] implement 12.7 `vmseq/vmsne/vmslt/vmsgt/vmsle/v…

…msge` (llvm#78) * [Clang][XTHeadVector] implement 12.7 `vmseq/vmsne/vmslt/vmsgt/vmsle/vmsge` * [Clang][XTHeadVector] test 12.7 `vmseq/vmsne/vmslt/vmsgt/vmsle/vmsge`
revyos · Apr 3, 2024 · 8aafd2c · 8aafd2c
1 parent 3cbf36a
commit 8aafd2c
Show file tree

Hide file tree

Showing 9 changed files with 6,483 additions and 0 deletions.
diff --git a/clang/include/clang/Basic/riscv_vector_xtheadv.td b/clang/include/clang/Basic/riscv_vector_xtheadv.td
@@ -187,6 +187,20 @@ let Log2LMUL = [-3, -2, -1, 0, 1, 2] in {
                                       ["wx", "Uv", "UvUwz"]]>;
 }
 
+multiclass RVVSignedMaskOutBuiltinSet
+    : RVVOp0Op1BuiltinSet<NAME, "csil",
+                          [["vv", "vm", "mvv"],
+                           ["vx", "vm", "mve"]]>;
+
+multiclass RVVUnsignedMaskOutBuiltinSet
+    : RVVOp0Op1BuiltinSet<NAME, "csil",
+                          [["vv", "Uvm", "mUvUv"],
+                           ["vx", "Uvm", "mUvUe"]]>;
+
+multiclass RVVIntMaskOutBuiltinSet
+    : RVVSignedMaskOutBuiltinSet,
+      RVVUnsignedMaskOutBuiltinSet;
+
 //===----------------------------------------------------------------------===//
 // 6. Configuration-Setting and Utility
 //===----------------------------------------------------------------------===//
@@ -1030,6 +1044,19 @@ let UnMaskedPolicyScheme = HasPassthruOperand in {
 }
 
 // 12.7. Vector Integer Comparison Operations
+let MaskedPolicyScheme = HasPassthruOperand,
+    HasTailPolicy = false in {
+  defm th_vmseq : RVVIntMaskOutBuiltinSet;
+  defm th_vmsne : RVVIntMaskOutBuiltinSet;
+  defm th_vmsltu : RVVUnsignedMaskOutBuiltinSet;
+  defm th_vmslt : RVVSignedMaskOutBuiltinSet;
+  defm th_vmsleu : RVVUnsignedMaskOutBuiltinSet;
+  defm th_vmsle : RVVSignedMaskOutBuiltinSet;
+  defm th_vmsgtu : RVVUnsignedMaskOutBuiltinSet;
+  defm th_vmsgt : RVVSignedMaskOutBuiltinSet;
+  defm th_vmsgeu : RVVUnsignedMaskOutBuiltinSet;
+  defm th_vmsge : RVVSignedMaskOutBuiltinSet;
+}
 
 // 12.8. Vector Integer Min/Max Operations
 let MaskedPolicyScheme = HasPassthruOperand,

diff --git a/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmseq.c b/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmseq.c
diff --git a/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsge.c b/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsge.c
diff --git a/...g/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsgeu.c b/...g/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsgeu.c
diff --git a/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsgt.c b/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsgt.c
diff --git a/...g/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsgtu.c b/...g/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsgtu.c
diff --git a/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmslt.c b/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmslt.c
diff --git a/...g/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsltu.c b/...g/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsltu.c
diff --git a/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsne.c b/clang/test/CodeGen/RISCV/rvv0p71-intrinsics-handcrafted/vector-integer-compare/thead/vmsne.c