test: Add test for builtin types_compatible predicate.

trailofbits · Sep 6, 2024 · 17a2408 · 17a2408
1 parent e71f377
commit 17a2408
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/test/vast/Dialect/HighLevel/types-compatible-a.c b/test/vast/Dialect/HighLevel/types-compatible-a.c
@@ -0,0 +1,12 @@
+// RUN: %vast-cc1 -vast-emit-mlir=hl %s -o - | %file-check %s
+// RUN: %vast-cc1 -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
+
+typedef int INT;
+int main() {
+    // CHECK: hl.builtin_types_compatible_p.type !hl.int, !hl.char compatible false -> !hl.int
+    __builtin_types_compatible_p(int, char);
+    // CHECK: hl.builtin_types_compatible_p.type !hl.int, !hl.int compatible true -> !hl.int
+    __builtin_types_compatible_p(int, int);
+    // CHECK: hl.builtin_types_compatible_p.type !hl.int, !hl.elaborated<!hl.typedef<"INT">> compatible true -> !hl.int
+    __builtin_types_compatible_p(int, INT);
+}