test:conv: Add test for lowering of static local.

trailofbits · Sep 25, 2024 · 46554b5 · 46554b5
1 parent d452285
commit 46554b5
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/test/vast/Conversion/static-var-a.c b/test/vast/Conversion/static-var-a.c
@@ -0,0 +1,18 @@
+// RUN: %vast-front -vast-emit-mlir=hl -o - %s | %file-check %s -check-prefix=HL
+// RUN: %check-evict-static-locals %s | %file-check %s -check-prefix=EVICTED
+// RUN: %check-core-to-llvm %s | %file-check %s -check-prefix=LLVM
+
+// HL: hl.var @x  sc_static
+// HL: hl.ref @x
+
+// EVICTED: hl.var @foo.x {context = 0 : i64}, <internal>  sc_static
+// EVICTED: ll.func @foo
+// EVICTED: hl.ref @foo.x
+
+// LLVM: llvm.mlir.global internal @foo.x()
+// LLVM: llvm.func @foo
+// LLVM: llvm.mlir.addressof @foo.x
+int foo() {
+    static int x = 5;
+    return x++;
+}