test: Add test for lowering of using a typedefed function argument.

trailofbits · Nov 9, 2023 · 5f7ecc8 · 5f7ecc8
1 parent eadd9f2
commit 5f7ecc8
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/vast/Transform/HL/ResolveTypedefs/func-b.c b/test/vast/Transform/HL/ResolveTypedefs/func-b.c
@@ -0,0 +1,8 @@
+// RUN: %vast-front -vast-emit-mlir=hl %s -o - | %vast-opt --vast-hl-lower-typedefs | %file-check %s
+typedef int INT;
+
+// CHECK: hl.func @fn ([[A1:%arg[0-9]+]]: !hl.lvalue<!hl.int>) -> !hl.int
+int fn(INT x) {
+    // CHECK: hl.ref [[A1]] : (!hl.lvalue<!hl.int>) -> !hl.lvalue<!hl.int>
+    return x;
+}