add tests for nanopass framework

Author: Killian Perlin

lkql_jit/language/src/main/java/com/adacore/lkql_jit/langkit_translator/passes/TranslationPass.java

@@ -2010,7 +2010,7 @@ public LKQLNode visit(Liblkqllang.PassDecl passDecl) {
             new Expr[Constants.PASS_FAKE_ARGS.length],
             docstring.isNone() ? "" : parseStringLiteral(docstring),
             passExpr,
-            "<anonymous>"
+            "<pass:" + name + ">"
         );
 
         // Cleanup

lkql_jit/language/src/main/java/com/adacore/lkql_jit/nodes/pass/RunPass.java

@@ -58,9 +58,7 @@ public Object executeGeneric(VirtualFrame frame) {
         final var roots = ctx.allUnitsRoots();
         final var units = new Object[roots.length];
         for (int i = 0; i < roots.length; i++) {
-            if (ctx.isVerbose()) {
-                debugAST(i, roots[i].dumpTree());
-            }
+            debugAST(i, roots[i].dumpTree());
             units[i] = AdaNodeProxy.convertAST(roots[i]);
         }
 
@@ -69,9 +67,7 @@ public Object executeGeneric(VirtualFrame frame) {
         do {
             final var pass = callChain.poll();
 
-            if (ctx.isVerbose()) {
-                ctx.println(ObjectUtils.toString(pass));
-            }
+            ctx.println(ObjectUtils.toString(pass));
 
             for (int i = 0; i < units.length; i++) {
                 try {
@@ -82,9 +78,7 @@ public Object executeGeneric(VirtualFrame frame) {
                     LKQLRuntimeException.fromJavaException(e, this);
                 }
 
-                if (ctx.isVerbose()) {
-                    debugAST(i, units[i]);
-                }
+                debugAST(i, units[i]);
             }
         } while (!callChain.isEmpty());
 
@@ -97,7 +91,7 @@ public int getSlot() {
 
     @TruffleBoundary
     private void debugAST(int num, Object ast) {
-        System.out.println(num + ")\n" + ast);
+        System.out.println(ast);
     }
 
     @Override

lkql_jit/language/src/main/java/com/adacore/lkql_jit/runtime/values/AdaNodeProxy.java

@@ -46,6 +46,8 @@ private AdaNodeProxy(NodeInterface root) {
             for (int i = 0; i < root.getChildrenCount(); i++) {
                 children.put("item_" + i, new AdaNodeProxy(root.getChild(i)));
             }
+        } else if (root.isTokenNode()) {
+            fields.put("value", root.getText());
         } else {
             final var fieldNames = root.getFieldNames();
             for (int i = 0; i < fieldNames.length; i++) {

testsuite/drivers/base_driver.py

@@ -531,6 +531,7 @@ def _define_lkql_executables(self) -> None:
         self.lkql_checker_exe = [*self.command_base, "check"]
         self.lkql_fix_exe = [*self.command_base, "fix"]
         self.gnatcheck_worker_exe = [*self.command_base, "gnatcheck_worker"]
+        self.lkql_pass_exe = [*self.command_base, "run-passes"]
 
     @classmethod
     def locate_on_path(cls, exec_name: str) -> str | None:

testsuite/drivers/interpreter_driver.py

@@ -21,9 +21,12 @@ class InterpreterDriver(BaseDriver):
     perf_supported = True
     flag_checking_supported = False
 
+    def base_args(self):
+        return self.lkql_exe
+
     def run(self) -> None:
         # Build the process's arguments list
-        args = [*self.lkql_exe, '--script-path', 'script.lkql']
+        args = [*self.base_args(), '--script-path', 'script.lkql']
 
         input_sources = self.test_env.get('input_sources', None)
         project = self.test_env.get('project', None)

testsuite/drivers/nanopass_driver.py

@@ -0,0 +1,20 @@
+from drivers.interpreter_driver import InterpreterDriver
+
+
+class NanopassDriver(InterpreterDriver):
+    """
+    This driver runs the interpreter in nanopass mode with the given arguments
+    and compares the interpreter's output to the provided output file.
+
+    The LKQL script to run must be placed in a file called `script`.
+    The expected output must be written in a file called `output`.
+
+    Test arguments:
+        - project: GPR build file to use (if any)
+        - input_sources: A list of Ada sources to run analyze with LKQL
+        - lkql_path: A list of directories forwarded to the `LKQL_PATH`
+            variable when the test is run.
+    """
+
+    def base_args(self):
+        return self.lkql_pass_exe

testsuite/tests/nanopass/multiple_passes/script.lkql

@@ -0,0 +1,5 @@
+pass test1         { del {} add {} rewrite {} }
+pass test2 : test1 { del {} add {} rewrite {} }
+pass test3 : test2 { del {} add {} rewrite {} }
+
+run_pass test3