test: Add tests for macroqualified and count_attributed types.

trailofbits · Nov 4, 2024 · c3926b1 · c3926b1
1 parent 3cd8907
commit c3926b1
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/test/vast/Dialect/HighLevel/counted_by-a.c b/test/vast/Dialect/HighLevel/counted_by-a.c
@@ -0,0 +1,11 @@
+// RUN: %vast-front -vast-emit-mlir=hl %s -o - | %file-check %s
+// RUN: %vast-front -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
+struct bar;
+
+struct foo {
+  unsigned int count;
+  char other;
+  // CHECK: hl.field @array : !hl.count_attributed<CountedBy, !hl.array<{{.*}}>
+  struct bar *array[] __attribute__((counted_by(count)));
+};
+
diff --git a/test/vast/Dialect/HighLevel/macro_qualified-a.c b/test/vast/Dialect/HighLevel/macro_qualified-a.c
@@ -0,0 +1,5 @@
+// RUN: %vast-front -vast-emit-mlir=hl %s -o - | %file-check %s
+// RUN: %vast-front -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
+#define CDECL __attribute__((cdecl))
+// CHECK: !hl.ptr<!hl.macro_qualified<{{.*}}>>
+typedef void (CDECL *X)();