temp

Author: dalance

Cargo.lock

@@ -4,6 +4,7 @@ members = [
     "crates/analyzer",
     "crates/emitter",
     "crates/formatter",
+    "crates/ir",
     "crates/languageserver",
     "crates/mdbook",
     "crates/metadata",
@@ -39,9 +40,12 @@ console         = "0.16.1"
 futures         = "0.3.31"
 fxhash          = "0.2.1"
 handlebars      = "6.3"
+itertools       = "0.14.0"
 log             = "0.4.28"
 mdbook          = "0.4.51"
 miette          = {version = "7.6"}
+num-bigint      = "0.4.6"
+num-traits      = "0.2.19"
 once_cell       = "1.21"
 parol_runtime   = "4.0"
 pulldown-cmark  = "0.13.0"

Cargo.toml

@@ -77,6 +77,9 @@ install:
 gen_sv:
 	cargo run --bin veryl -- build
 
+gen_ir:
+	cargo run --bin veryl -- dump --ir
+
 fmt_veryl:
 	cargo run --bin veryl -- fmt
 

Makefile

@@ -16,13 +16,14 @@ edition.workspace     = true
 bimap           = "0.6.3"
 daggy           = "0.9.0"
 fxhash          = {workspace = true}
-itertools       = "0.14.0"
+itertools       = {workspace = true}
 log             = {workspace = true}
-num-bigint      = "0.4.6"
-num-traits      = "0.2.19"
+num-bigint      = {workspace = true}
+num-traits      = {workspace = true}
 smallvec        = {workspace = true}
 strnum_bitwidth = {workspace = true}
 thiserror       = {workspace = true}
+veryl-ir        = {version = "0.17.0", path = "../ir"}
 veryl-metadata  = {version = "0.17.0", path = "../metadata"}
 veryl-parser    = {version = "0.17.0", path = "../parser"}
 

crates/analyzer/Cargo.toml

@@ -21,6 +21,7 @@ use crate::var_ref::{
 };
 use itertools::Itertools;
 use std::path::Path;
+use veryl_ir::Ir;
 use veryl_metadata::{Build, EnvVar, Lint, Metadata};
 use veryl_parser::resource_table::{self, StrId};
 use veryl_parser::token_range::TokenRange;
@@ -56,6 +57,10 @@ impl AnalyzerPass2 {
             handlers: Pass2Handlers::new(build_opt, lint_opt, env_var),
         }
     }
+
+    pub fn get_ir(&self) -> Ir {
+        self.handlers.get_ir()
+    }
 }
 
 impl VerylWalker for AnalyzerPass2 {
@@ -382,6 +387,7 @@ impl Analyzer {
         project_name: &str,
         _path: T,
         input: &Veryl,
+        ir: Option<&mut Ir>,
     ) -> Vec<AnalyzerError> {
         let mut ret = Vec::new();
 
@@ -393,6 +399,10 @@ impl Analyzer {
         pass2.veryl(input);
         ret.append(&mut pass2.handlers.get_errors());
 
+        if let Some(x) = ir {
+            x.append(&mut pass2.get_ir());
+        }
+
         ret
     }
 

crates/analyzer/src/analyzer.rs

@@ -18,6 +18,7 @@ pub mod check_statement;
 pub mod check_type;
 pub mod check_unsafe;
 pub mod check_var_ref;
+pub mod create_ir;
 pub mod create_symbol_table;
 use check_anonymous::*;
 use check_attribute::*;
@@ -39,9 +40,11 @@ use check_statement::*;
 use check_type::*;
 use check_unsafe::*;
 use check_var_ref::*;
+use create_ir::*;
 use create_symbol_table::*;
 
 use crate::analyzer_error::AnalyzerError;
+use veryl_ir::Ir;
 use veryl_metadata::{Build, EnvVar, Lint};
 use veryl_parser::veryl_walker::Handler;
 
@@ -114,7 +117,8 @@ pub struct Pass2Handlers {
     check_clock_domain: CheckClockDomain,
     check_proto: CheckProto,
     check_type: CheckType,
-    enables: [bool; 13],
+    create_ir: CreateIr,
+    enables: [bool; 14],
 }
 
 impl Pass2Handlers {
@@ -133,6 +137,7 @@ impl Pass2Handlers {
             check_clock_domain: CheckClockDomain::new(),
             check_proto: CheckProto::new(),
             check_type: CheckType::new(),
+            create_ir: CreateIr::new(),
             enables: env_var.analyzer_pass2_enables,
         }
     }
@@ -153,6 +158,7 @@ impl Pass2Handlers {
             (en[10], &mut self.check_clock_domain as &mut dyn Handler),
             (en[11], &mut self.check_proto as &mut dyn Handler),
             (en[12], &mut self.check_type as &mut dyn Handler),
+            (en[13], &mut self.create_ir as &mut dyn Handler),
         ]
     }
 
@@ -171,6 +177,11 @@ impl Pass2Handlers {
         ret.append(&mut self.check_clock_domain.errors);
         ret.append(&mut self.check_proto.errors);
         ret.append(&mut self.check_type.errors);
+        ret.append(&mut self.create_ir.errors);
         ret
     }
+
+    pub fn get_ir(&self) -> Ir {
+        self.create_ir.ir.clone()
+    }
 }