test: Update tests to use -vast-emit-mlir-after instead of snapshots.

trailofbits · May 16, 2024 · 8f7a270 · 8f7a270
1 parent 66b6f1b
commit 8f7a270
Show file tree

Hide file tree

Showing 5 changed files with 21 additions and 11 deletions.
diff --git a/test/vast/Conversion/select-a.c b/test/vast/Conversion/select-a.c
@@ -1,6 +1,8 @@
-// RUN: %vast-front -vast-emit-mlir=llvm -vast-snapshot-at="vast-core-to-llvm;vast-hl-to-lazy-regions" %s
-// RUN: %file-check %s -input-file=$(basename %s .c).vast-hl-to-lazy-regions -check-prefix=LAZY
-// RUN: %file-check %s -input-file=$(basename %s .c).vast-core-to-llvm -check-prefix=LLVM
+// RUN: %vast-front -vast-emit-mlir-after=vast-hl-to-lazy-regions %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=LAZY
+
+// RUN: %vast-front -vast-emit-mlir-after=vast-core-to-llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=LLVM
 
 #include <stdlib.h>
 #include <stdio.h>

diff --git a/test/vast/Conversion/select-b.c b/test/vast/Conversion/select-b.c
@@ -2,6 +2,12 @@
 // RUN: %file-check %s -input-file=$(basename %s .c).vast-irs-to-llvm -check-prefix=I_LLVM
 // RUN: %file-check %s -input-file=$(basename %s .c).vast-core-to-llvm -check-prefix=C_LLVM
 
+// RUN: %vast-front -vast-emit-mlir-after=vast-irs-to-llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=I_LLVM
+
+// RUN: %vast-front -vast-emit-mlir-after=vast-core-to-llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=C_LLVM
+
 void foo() {}
 
 int main(int argc, char** argv)

diff --git a/test/vast/Conversion/select-c.c b/test/vast/Conversion/select-c.c
@@ -1,6 +1,8 @@
-// RUN: %vast-front -vast-emit-mlir=llvm -vast-snapshot-at="vast-core-to-llvm;vast-irs-to-llvm" %s
-// RUN: %file-check %s -input-file=$(basename %s .c).vast-irs-to-llvm -check-prefix=I_LLVM
-// RUN: %file-check %s -input-file=$(basename %s .c).vast-core-to-llvm -check-prefix=C_LLVM
+// RUN: %vast-front -vast-emit-mlir-after=vast-irs-to-llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=I_LLVM
+
+// RUN: %vast-front -vast-emit-mlir-after=vast-core-to-llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=C_LLVM
 
 int main(int argc, char** argv)
 {

diff --git a/test/vast/Conversion/void-return-a.c b/test/vast/Conversion/void-return-a.c
@@ -1,5 +1,5 @@
-// RUN: %vast-front -vast-emit-mlir=llvm -vast-snapshot-at="vast-irs-to-llvm" %s
-// RUN: %file-check %s -input-file=$(basename %s .c).vast-irs-to-llvm -check-prefix=LLVM
+// RUN: %vast-front -vast-emit-mlir-after=vast-irs-to-llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=LLVM
 
 void foo() {
     // LLVM: llvm.call @foo() : () -> ()

diff --git a/test/vast/Conversion/void-return-b.c b/test/vast/Conversion/void-return-b.c
@@ -1,7 +1,7 @@
-// RUN: %vast-front -vast-emit-mlir=llvm -vast-snapshot-at="vast-irs-to-llvm" %s
-// RUN: %file-check %s -input-file=$(basename %s .c).vast-irs-to-llvm -check-prefix=LLVM
+// RUN: %vast-front -vast-emit-mlir-after=vast-irs-to-llvm %s -o %t.mlir
+// RUN: %file-check --input-file=%t.mlir %s -check-prefix=LLVM
 
-// REQUIRES: hl.stmt.expr
+// REQUIRES: to-llvm-hl.stmt.expr
 
 void foo() {
     return ( { foo(); } );