setup: Refactor vadl modules and streamline pipeline architecture

README.md

@@ -36,7 +36,7 @@ It covers everything you need to install OpenVADL, write a specification, and us
 simulator or compiler.
 
 For working VADL specifications examples, check out
-our [reference specifications](https://github.com/OpenVADL/openvadl/tree/master/vadl/test/resources/testSource/sys).  
+our [reference specifications](https://github.com/OpenVADL/openvadl/tree/master/vadl-test/resources/testSource/sys).  
 These are tested and kept up to date with the current OpenVADL version.
 
 ## Contribution
@@ -156,4 +156,3 @@ With this, IntelliJ uses the code style rules as specified in the Checkstyle con
 Note that Checkstyle and code style are not 100% compatible,
 so IntelliJ will eventually generate some invalid formatted code (such as Java docs
 paragraph separation).
-

build.gradle.kts

@@ -1,6 +1,7 @@
 plugins {
     id("conventions-idea")
     alias(libs.plugins.git.versioning)
+    alias(libs.plugins.kotlin.jvm) apply false
 }
 
 group = "openvadl"
@@ -23,7 +24,7 @@ gitVersioning.apply {
 
 tasks.register<Test>("test-common") {
     dependsOn(
-        ":vadl:test-others",
+        ":vadl-test:test-others",
         ":vadl-cli:test",
         ":vadl-lsp:test",
         ":java-annotations:test",

java-annotations/main/vadl/javaannotations/Handler.java

@@ -1,4 +1,4 @@
-// SPDX-FileCopyrightText : © 2025 TU Wien <vadl@tuwien.ac.at>
+// SPDX-FileCopyrightText : © 2025-2026 TU Wien <vadl@tuwien.ac.at>
 // SPDX-License-Identifier: GPL-3.0-or-later
 //
 // This program is free software: you can redistribute it and/or modify
@@ -142,7 +142,7 @@
  *
  * @see DispatchFor
  */
-@Retention(java.lang.annotation.RetentionPolicy.SOURCE)
+@Retention(java.lang.annotation.RetentionPolicy.CLASS)
 @Target(ElementType.METHOD)
 public @interface Handler {
 }

java-annotations/main/vadl/javaannotations/HandlerProcessor.java

@@ -1,4 +1,4 @@
-// SPDX-FileCopyrightText : © 2025 TU Wien <vadl@tuwien.ac.at>
+// SPDX-FileCopyrightText : © 2025-2026 TU Wien <vadl@tuwien.ac.at>
 // SPDX-License-Identifier: GPL-3.0-or-later
 //
 // This program is free software: you can redistribute it and/or modify
@@ -253,7 +253,7 @@ private void collectHandlerMethodsRecursive(
     // Collect methods from the current class
     for (Element elem : clazz.getEnclosedElements()) {
       if (elem.getKind() == ElementKind.METHOD
-          && elem.getAnnotation(Handler.class) != null) {
+          && hasAnnotation(elem, Handler.class.getCanonicalName())) {
 
         ExecutableElement method = (ExecutableElement) elem;
         List<? extends VariableElement> parameters = method.getParameters();
@@ -323,6 +323,12 @@ private void collectHandlerMethodsRecursive(
     }
   }
 
+  private static boolean hasAnnotation(Element element, String annotationClassName) {
+    return element.getAnnotationMirrors().stream()
+        .anyMatch(annotation ->
+            annotation.getAnnotationType().toString().equals(annotationClassName));
+  }
+
   private boolean isVoid(TypeMirror type) {
     return type.getKind() == TypeKind.VOID
         || typeUtils.isSameType(type, elementUtils.getTypeElement("java.lang.Void").asType());
@@ -564,4 +570,4 @@ private int getInheritanceDepth(TypeMirror type) {
   private String typeMirrorSimpleName(TypeMirror typeMirror) {
     return typeMirror.toString().substring(typeMirror.toString().lastIndexOf('.') + 1);
   }
-}
+}

settings.gradle.kts

@@ -20,7 +20,13 @@ plugins {
 
 rootProject.name = "open-vadl"
 
-include("vadl")
+include("vadl-core")
+include("vadl-pass-api")
+include("vadl-frontend")
+include("vadl-vdt")
+include("vadl-rtl")
+include("vadl-iss")
+include("vadl-lcb-gcb")
 include("java-annotations")
 include("vadl-cli")
 include("vadl-lsp")

vadl-cli/build.gradle.kts

@@ -10,7 +10,13 @@ group = "vadl"
 version = "unspecified"
 
 dependencies {
-    implementation(project(":vadl"))
+    implementation(project(":vadl-core"))
+    implementation(project(":vadl-pass-api"))
+    implementation(project(":vadl-frontend"))
+    implementation(project(":vadl-vdt"))
+    implementation(project(":vadl-rtl"))
+    implementation(project(":vadl-iss"))
+    implementation(project(":vadl-lcb-gcb"))
     implementation(project(":vadl-lsp"))
     implementation(libs.picocli)
     implementation(libs.commons.compress)

vadl-cli/main/vadl/cli/BaseCommand.java

@@ -50,6 +50,7 @@
 import vadl.configuration.DumpMode;
 import vadl.configuration.GeneralConfiguration;
 import vadl.dump.ArtifactTracker;
+import vadl.dump.PassFailureDumpHandler;
 import vadl.error.DeferredDiagnosticStore;
 import vadl.error.Diagnostic;
 import vadl.error.DiagnosticList;
@@ -347,7 +348,7 @@ public Integer call() {
       final var totalStartTime = System.nanoTime();
       var viam = parseToVIAM();
       var passOrder = passOrder(getConfig());
-      var passManager = new PassManager();
+      var passManager = new PassManager(new PassFailureDumpHandler());
       passManager.add(passOrder);
       passManager.run(viam);
       var result = passManager.getPassResults();

vadl-cli/main/vadl/cli/CheckCommand.java

@@ -20,7 +20,7 @@
 import picocli.CommandLine.Command;
 import vadl.configuration.GeneralConfiguration;
 import vadl.pass.PassOrder;
-import vadl.pass.PassOrders;
+import vadl.pipeline.VdtPassOrders;
 
 /**
  * The Command does provide the check subcommand.
@@ -34,6 +34,6 @@ public class CheckCommand extends BaseCommand implements Callable<Integer> {
 
   @Override
   PassOrder passOrder(GeneralConfiguration configuration) {
-    return PassOrders.check(configuration);
+    return VdtPassOrders.check(configuration);
   }
 }

vadl-cli/main/vadl/cli/IssCommand.java

@@ -35,7 +35,7 @@
 import vadl.configuration.GeneralConfiguration;
 import vadl.configuration.IssConfiguration;
 import vadl.pass.PassOrder;
-import vadl.pass.PassOrders;
+import vadl.pipeline.IssPassOrders;
 
 /**
  * The Command does provide the iss subcommand.
@@ -77,7 +77,7 @@ PassOrder passOrder(GeneralConfiguration configuration) throws IOException {
     var issConfig = new IssConfiguration(configuration);
     issConfig.setDryRun(dryRun);
     issConfig.setOptsToSkip(skipOpts);
-    return PassOrders.iss(issConfig);
+    return IssPassOrders.iss(issConfig);
   }
 
   @Override

vadl-cli/main/vadl/cli/LcbCommand.java

@@ -27,7 +27,7 @@
 import vadl.configuration.LcbConfiguration;
 import vadl.gcb.valuetypes.TargetName;
 import vadl.pass.PassOrder;
-import vadl.pass.PassOrders;
+import vadl.pipeline.LcbGcbPassOrders;
 
 /**
  * The Command does provide the lcb subcommand.
@@ -51,7 +51,7 @@ public class LcbCommand extends BaseCommand {
   @Override
   PassOrder passOrder(GeneralConfiguration configuration) throws IOException {
     var lcbConfig = new LcbConfiguration(configuration, targetName(), skipPatternGeneration);
-    return PassOrders.lcb(lcbConfig);
+    return LcbGcbPassOrders.lcb(lcbConfig);
   }
 
   @Nullable

vadl-cli/main/vadl/cli/RtlCommand.java

@@ -25,7 +25,7 @@
 import vadl.configuration.GeneralConfiguration;
 import vadl.configuration.RtlConfiguration;
 import vadl.pass.PassOrder;
-import vadl.pass.PassOrders;
+import vadl.pipeline.RtlPassOrders;
 
 /**
  * The Command does provide the rtl subcommand.
@@ -100,6 +100,6 @@ PassOrder passOrder(GeneralConfiguration configuration) throws IOException {
     rtlConfig.setProjectName(projectName);
     rtlConfig.setEmitRVFI(emitRVFI);
     rtlConfig.setDryRun(dryRun);
-    return PassOrders.rtl(rtlConfig);
+    return RtlPassOrders.rtl(rtlConfig);
   }
 }

vadl-core/build.gradle.kts

@@ -0,0 +1,33 @@
+import java.util.Properties
+
+plugins {
+    id("conventions-jvm")
+}
+
+dependencies {
+    annotationProcessor(project(":java-annotations"))
+    compileOnly(project(":java-annotations"))
+    implementation(libs.guava)
+    implementation(libs.commons.io)
+    implementation(libs.commons.lang3)
+    implementation(libs.commons.text)
+}
+
+val createProperties by tasks.registering {
+    val outputDir = layout.buildDirectory.dir("generated/resources")
+    val versionFile = outputDir.map { it.file("open-vadl.properties") }
+
+    outputs.file(versionFile)
+    doLast {
+        val properties = Properties()
+        properties["version"] = rootProject.version.toString()
+        versionFile.get().asFile.apply {
+            parentFile.mkdirs()
+            outputStream().use { properties.store(it, null) }
+        }
+    }
+}
+
+tasks.processResources {
+    from(createProperties)
+}

vadl/main/vadl/types/BuiltInTable.java → vadl-core/main/vadl/types/BuiltInTable.java

@@ -35,7 +35,6 @@
 import javax.annotation.Nullable;
 import org.jetbrains.annotations.Contract;
 import org.slf4j.Logger;
-import vadl.ast.AsmGrammarDefaultRules;
 import vadl.utils.functionInterfaces.TriFunction;
 import vadl.viam.Constant;
 import vadl.viam.ViamError;
@@ -1142,7 +1141,6 @@ public class BuiltInTable {
   /**
    * Checks if the token kind at lookahead {@code n} in the AsmParser
    * is any of the kinds passed as strings in {@code s}.
-   * To see all possible token kinds refer to the terminal rules in {@link AsmGrammarDefaultRules}.
    *
    * <p>{@code function LaKindIn(n: UInt<N>,s: String...) -> Bool}
    */

vadl-core/main/vadl/viam/InstructionWordOrderExtension.java

@@ -0,0 +1,40 @@
+// SPDX-FileCopyrightText : © 2025-2026 TU Wien <vadl@tuwien.ac.at>
+// SPDX-License-Identifier: GPL-3.0-or-later
+//
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <https://www.gnu.org/licenses/>.
+
+package vadl.viam;
+
+import java.nio.ByteOrder;
+
+/**
+ * Stores the byte order used to interpret an instruction word.
+ */
+public class InstructionWordOrderExtension extends DefinitionExtension<InstructionSetArchitecture> {
+
+  private final ByteOrder byteOrder;
+
+  public InstructionWordOrderExtension(ByteOrder byteOrder) {
+    this.byteOrder = byteOrder;
+  }
+
+  public ByteOrder byteOrder() {
+    return byteOrder;
+  }
+
+  @Override
+  public Class<? extends Definition> extendsDefClass() {
+    return InstructionSetArchitecture.class;
+  }
+}

vadl/main/vadl/gcb/annotations/OnlyNegativeNumbersAnnotation.java → vadl-core/main/vadl/viam/annotations/OnlyNegativeNumbersAnnotation.java

@@ -1,4 +1,4 @@
-// SPDX-FileCopyrightText : © 2025 TU Wien <vadl@tuwien.ac.at>
+// SPDX-FileCopyrightText : © 2025-2026 TU Wien <vadl@tuwien.ac.at>
 // SPDX-License-Identifier: GPL-3.0-or-later
 //
 // This program is free software: you can redistribute it and/or modify
@@ -14,16 +14,13 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-package vadl.gcb.annotations;
+package vadl.viam.annotations;
 
-import vadl.gcb.passes.InstructionPatternPruningPass;
 import vadl.viam.Annotation;
 import vadl.viam.CompilerInstruction;
-import vadl.viam.Instruction;
 
 /**
- * This annotation defines that an {@link Instruction} should not be pruned in
- * {@link InstructionPatternPruningPass}.
+ * This annotation marks compiler instructions that only support negative numbers.
  */
 public class OnlyNegativeNumbersAnnotation extends Annotation<CompilerInstruction> {
   @Override

vadl/main/vadl/gcb/annotations/RelocationSyntaxAnnotation.java → vadl-core/main/vadl/viam/annotations/RelocationSyntaxAnnotation.java

@@ -1,4 +1,4 @@
-// SPDX-FileCopyrightText : © 2025 TU Wien <vadl@tuwien.ac.at>
+// SPDX-FileCopyrightText : © 2025-2026 TU Wien <vadl@tuwien.ac.at>
 // SPDX-License-Identifier: GPL-3.0-or-later
 //
 // This program is free software: you can redistribute it and/or modify
@@ -14,7 +14,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-package vadl.gcb.annotations;
+package vadl.viam.annotations;
 
 import vadl.viam.Annotation;
 import vadl.viam.Relocation;

vadl/main/vadl/gcb/annotations/SkipPruningAnnotation.java → vadl-core/main/vadl/viam/annotations/SkipPruningAnnotation.java

@@ -1,4 +1,4 @@
-// SPDX-FileCopyrightText : © 2025 TU Wien <vadl@tuwien.ac.at>
+// SPDX-FileCopyrightText : © 2025-2026 TU Wien <vadl@tuwien.ac.at>
 // SPDX-License-Identifier: GPL-3.0-or-later
 //
 // This program is free software: you can redistribute it and/or modify
@@ -14,15 +14,13 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-package vadl.gcb.annotations;
+package vadl.viam.annotations;
 
-import vadl.gcb.passes.InstructionPatternPruningPass;
 import vadl.viam.Annotation;
 import vadl.viam.Instruction;
 
 /**
- * This annotation defines that an {@link Instruction} should not be pruned in
- * {@link InstructionPatternPruningPass}.
+ * This annotation marks instructions that should be retained during pruning.
  */
 public class SkipPruningAnnotation extends Annotation<Instruction> {
   @Override

vadl/main/vadl/gcb/annotations/StatusRegisterAnnotation.java → vadl-core/main/vadl/viam/annotations/StatusRegisterAnnotation.java

@@ -1,4 +1,4 @@
-// SPDX-FileCopyrightText : © 2025 TU Wien <vadl@tuwien.ac.at>
+// SPDX-FileCopyrightText : © 2025-2026 TU Wien <vadl@tuwien.ac.at>
 // SPDX-License-Identifier: GPL-3.0-or-later
 //
 // This program is free software: you can redistribute it and/or modify
@@ -14,7 +14,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-package vadl.gcb.annotations;
+package vadl.viam.annotations;
 
 import vadl.viam.RegisterTensor;
 
@@ -52,4 +52,4 @@ public static class CarryStatusRegisterAnnotation extends StatusRegisterAnnotati
    */
   public static class OverflowStatusRegisterAnnotation extends StatusRegisterAnnotation {
   }
-}
+}