test: Add typedef UDE tests.

trailofbits · Mar 7, 2024 · 6a91537 · 6a91537
1 parent 8b8ffbb
commit 6a91537
Show file tree

Hide file tree

Showing 4 changed files with 49 additions and 0 deletions.
diff --git a/test/vast/Transform/HL/UDE/typedef-a.c b/test/vast/Transform/HL/UDE/typedef-a.c
@@ -0,0 +1,11 @@
+// RUN: %vast-front -vast-emit-mlir=hl %s -o - | %vast-opt --vast-hl-ude | %file-check %s
+
+// CHECK: hl.struct "used"
+struct used {};
+
+// CHECK-NOT: hl.typedef "unused_typedef"
+typedef struct used unused_typedef;
+
+int main() {
+    struct used u;
+}
diff --git a/test/vast/Transform/HL/UDE/typedef-b.c b/test/vast/Transform/HL/UDE/typedef-b.c
@@ -0,0 +1,14 @@
+// RUN: %vast-front -vast-emit-mlir=hl %s -o - | %vast-opt --vast-hl-ude | %file-check %s
+
+// CHECK: hl.struct "used"
+struct used {};
+
+// CHECK-NOT: hl.typedef "unused_typedef"
+typedef struct used unused_typedef;
+
+// CHECK: hl.typedef "used_typedef"
+typedef struct used used_typedef;
+
+int main() {
+    used_typedef u;
+}
diff --git a/test/vast/Transform/HL/UDE/typedef-c.c b/test/vast/Transform/HL/UDE/typedef-c.c
@@ -0,0 +1,14 @@
+// RUN: %vast-front -vast-emit-mlir=hl %s -o - | %vast-opt --vast-hl-ude | %file-check %s
+
+// CHECK: hl.struct "used"
+struct used {};
+
+// CHECK-NOT: hl.typedef "unused_typedef"
+typedef struct used unused_typedef;
+
+// CHECK-NOT: hl.typedef "used_typedef"
+typedef unused_typedef unused_transitive_typedef;
+
+int main() {
+    struct used u;
+}
diff --git a/test/vast/Transform/HL/UDE/typedef-d.c b/test/vast/Transform/HL/UDE/typedef-d.c
@@ -0,0 +1,10 @@
+// RUN: %vast-front -vast-emit-mlir=hl %s -o - | %vast-opt --vast-hl-ude | %file-check %s
+
+// CHECK-NOT: hl.struct "used"
+struct unused_struct {};
+
+// CHECK-NOT: hl.typedef "unused_typedef"
+typedef struct unused_struct unused_typedef;
+
+// CHECK-NOT: hl.typedef "used_typedef"
+typedef unused_typedef unused_transitive_typedef;