Hook flattening pass into compiler; regen expectations

2024-12-01 02:08:31 +03:00 · 2022-09-01 13:16:06 -07:00 · 2022-09-01 13:16:06 -07:00 · 0e1768ac59
commit 0e1768ac59
parent 9d5aa9d08d
347 changed files with 436 additions and 32 deletions
--- a/compiler/compiler/src/compiler.rs
+++ b/compiler/compiler/src/compiler.rs
@ -165,13 +165,25 @@ impl<'a> Compiler<'a> {
    }

    /// Runs the static single assignment pass.
-    pub fn static_single_assignment_pass(&mut self, symbol_table: &SymbolTable) -> Result<()> {
-        self.ast = StaticSingleAssigner::do_pass((std::mem::take(&mut self.ast), self.handler, symbol_table))?;
+    pub fn static_single_assignment_pass(&mut self) -> Result<Assigner> {
+        let (ast, assigner) = StaticSingleAssigner::do_pass(std::mem::take(&mut self.ast))?;
+        self.ast = ast;

        if self.output_options.ssa_ast {
            self.write_ast_to_json("ssa_ast.json")?;
        }

+        Ok(assigner)
+    }
+
+    /// Runs the flattening pass.
+    pub fn flattening_pass(&mut self, symbol_table: &SymbolTable, assigner: Assigner) -> Result<()> {
+        self.ast = Flattener::do_pass((std::mem::take(&mut self.ast), symbol_table, assigner))?;
+
+        if self.output_options.flattened_ast {
+            self.write_ast_to_json("flattened_ast.json")?;
+        }
+
        Ok(())
    }

@ -184,10 +196,12 @@ impl<'a> Compiler<'a> {
        let st = self.loop_unrolling_pass(st)?;

        // TODO: Make this pass optional.
-        self.static_single_assignment_pass(&st)?;
+        let assigner = self.static_single_assignment_pass()?;

        println!("AST after SSA: {:?}", self.ast);

+        self.flattening_pass(&st, assigner)?;
+
        Ok(st)
    }

--- a/compiler/compiler/src/options.rs
+++ b/compiler/compiler/src/options.rs
@ -26,4 +26,6 @@ pub struct OutputOptions {
    pub unrolled_ast: bool,
    /// If enabled writes the AST after static single assignment.
    pub ssa_ast: bool,
+    /// If enabled writes the AST after flattening.
+    pub flattened_ast: bool,
 }
--- a/compiler/compiler/src/test.rs
+++ b/compiler/compiler/src/test.rs
@ -58,6 +58,7 @@ fn new_compiler(handler: &Handler, main_file_path: PathBuf) -> Compiler<'_> {
            initial_ast: true,
            unrolled_ast: true,
            ssa_ast: true,
+            flattened_ast: true,
        }),
    )
 }
@ -114,6 +115,7 @@ struct CompileOutput {
    pub initial_ast: String,
    pub unrolled_ast: String,
    pub ssa_ast: String,
+    pub flattened_ast: String,
 }

 /// Get the path of the `input_file` given in `input` into `list`.
@ -194,12 +196,19 @@ fn compile_and_process<'a>(parsed: &'a mut Compiler<'a>, handler: &Handler) -> R
    let st = parsed.symbol_table_pass()?;
    let st = parsed.type_checker_pass(st)?;
    let st = parsed.loop_unrolling_pass(st)?;
+    let assigner = parsed.static_single_assignment_pass()?;

-    parsed.static_single_assignment_pass(&st)?;
+    println!("\nAST before flattening: {:?}", parsed.ast);
+
+    parsed.flattening_pass(&st, assigner)?;
+
+    println!("\nAST before codegen: {:?}", parsed.ast);

    // Compile Leo program to bytecode.
    let bytecode = CodeGenerator::do_pass((&parsed.ast, handler))?;

+    println!("\nBytecode: {}", bytecode.to_string());
+
    Ok(bytecode)
 }

@ -271,6 +280,7 @@ fn run_test(test: Test, handler: &Handler, err_buf: &BufferEmitter) -> Result<Va
    let initial_ast = hash_file("/tmp/output/initial_ast.json");
    let unrolled_ast = hash_file("/tmp/output/unrolled_ast.json");
    let ssa_ast = hash_file("/tmp/output/ssa_ast.json");
+    let flattened_ast = hash_file("/tmp/output/flattened_ast.json");

    if fs::read_dir("/tmp/output").is_ok() {
        fs::remove_dir_all(Path::new("/tmp/output")).expect("Error failed to clean up output dir.");
@ -281,6 +291,7 @@ fn run_test(test: Test, handler: &Handler, err_buf: &BufferEmitter) -> Result<Va
        initial_ast,
        unrolled_ast,
        ssa_ast,
+        flattened_ast,
    };
    Ok(serde_yaml::to_value(&final_output).expect("serialization failed"))
 }
--- a/compiler/passes/src/code_generation/visit_statements.rs
+++ b/compiler/passes/src/code_generation/visit_statements.rs
@ -19,7 +19,7 @@ use crate::CodeGenerator;
 use leo_ast::{
    AssignStatement, Block, ConditionalStatement, ConsoleFunction, ConsoleStatement, DecrementStatement,
    DefinitionStatement, Expression, FinalizeStatement, IncrementStatement, IterationStatement, Mode, ReturnStatement,
-    Statement,
+    Statement, Type,
 };

 use itertools::Itertools;
@ -41,19 +41,24 @@ impl<'a> CodeGenerator<'a> {
    }

    fn visit_return(&mut self, input: &'a ReturnStatement) -> String {
-        let (operand, mut expression_instructions) = self.visit_expression(&input.expression);
-        // TODO: Bytecode functions have an associated output mode. Currently defaulting to private since we do not yet support this at the Leo level.
-        let types = self.visit_return_type(&self.current_function.unwrap().output_type, Mode::Private);
-        let instructions = operand
-            .split('\n')
-            .into_iter()
-            .zip(types.iter())
-            .map(|(operand, type_)| format!("    output {} as {};\n", operand, type_))
-            .join("");
+        match &self.current_function.unwrap().output_type {
+            Type::Unit => String::new(),
+            output_type => {
+                let (operand, mut expression_instructions) = self.visit_expression(&input.expression);
+                // TODO: Bytecode functions have an associated output mode. Currently defaulting to private since we do not yet support this at the Leo level.
+                let types = self.visit_return_type(output_type, Mode::Private);
+                let instructions = operand
+                    .split('\n')
+                    .into_iter()
+                    .zip(types.iter())
+                    .map(|(operand, type_)| format!("    output {} as {};\n", operand, type_))
+                    .join("");

-        expression_instructions.push_str(&instructions);
+                expression_instructions.push_str(&instructions);

-        expression_instructions
+                expression_instructions
+            }
+        }
    }

    fn visit_definition(&mut self, _input: &'a DefinitionStatement) -> String {
--- a/compiler/passes/src/flattening/flatten_expression.rs
+++ b/compiler/passes/src/flattening/flatten_expression.rs
@ -79,6 +79,10 @@ impl ExpressionReconstructor for Flattener<'_> {
            (Expression::Identifier(first), Expression::Identifier(second))
                if self.circuits.contains_key(&first.name) && self.circuits.contains_key(&second.name) =>
            {
+                println!("first: {:?}", first);
+                println!("second: {:?}", second);
+                println!("Circuits: {:?}", self.circuits);
+
                let first_circuit = self
                    .symbol_table
                    .lookup_circuit(*self.circuits.get(&first.name).unwrap())
--- a/compiler/passes/src/flattening/flatten_statement.rs
+++ b/compiler/passes/src/flattening/flatten_statement.rs
@ -42,7 +42,8 @@ impl StatementReconstructor for Flattener<'_> {
            }
            // If the rhs of the assignment is an identifier that is a circuit, add it to `self.circuits`.
            Expression::Identifier(rhs) if self.circuits.contains_key(&rhs.name) => {
-                self.circuits.insert(lhs.name, rhs.name);
+                // Note that this unwrap is safe because we just checked that the key exists.
+                self.circuits.insert(lhs.name, *self.circuits.get(&rhs.name).unwrap());
                (Expression::Identifier(rhs), Default::default())
            }
            // If the rhs of the assignment is ternary expression, reconstruct it.
--- a/compiler/passes/src/static_single_assignment/mod.rs
+++ b/compiler/passes/src/static_single_assignment/mod.rs
@ -45,8 +45,8 @@
 //!     return $cond$0 ? $return$2 : $return$5;
 //! ```

-mod assigner;
-pub(crate) use assigner::*;
+pub mod assigner;
+pub use assigner::*;

 mod rename_expression;

--- a/leo/commands/build.rs
+++ b/leo/commands/build.rs
@ -56,6 +56,8 @@ pub struct BuildOptions {
    pub enable_unrolled_ast_snapshot: bool,
    #[structopt(long, help = "Writes AST snapshot of the SSA AST.")]
    pub enable_ssa_ast_snapshot: bool,
+    #[structopt(long, help = "Writes AST snapshot of the flattened AST.")]
+    pub enable_flattened_ast_snapshot: bool,
 }

 impl From<BuildOptions> for OutputOptions {
@ -66,12 +68,14 @@ impl From<BuildOptions> for OutputOptions {
            initial_ast: options.enable_initial_ast_snapshot,
            unrolled_ast: options.enable_unrolled_ast_snapshot,
            ssa_ast: options.enable_ssa_ast_snapshot,
+            flattened_ast: options.enable_flattened_ast_snapshot,
        };
        if options.enable_all_ast_snapshots {
            out_options.initial_input_ast = true;
            out_options.initial_ast = true;
            out_options.unrolled_ast = true;
            out_options.ssa_ast = true;
+            out_options.flattened_ast = true;
        }

        out_options
--- a/tests/expectations/compiler/address/binary.out
+++ b/tests/expectations/compiler/address/binary.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: f56b5e3b166617004f2996262e739e470ab8b6ff07d505ecd5b62f99ea2a3299
    unrolled_ast: f56b5e3b166617004f2996262e739e470ab8b6ff07d505ecd5b62f99ea2a3299
    ssa_ast: dd29aa5eab91da8417935fc12768ece422f43f4e1e41ca2c38a0a4b1ed1bdf6c
+    flattened_ast: 373279dd1844e2e8976b15cfd4fe53f6228435b9f13502b3c975b02eaef67638
--- a/tests/expectations/compiler/address/branch.out
+++ b/tests/expectations/compiler/address/branch.out
@ -6,4 +6,5 @@ outputs:
      - initial_input_ast: 8a386677fc570d7f57e8e5259334608ddef2d04d55e1aea9aa591c1d95bc84b7
    initial_ast: e51728fc617ec3928922c651402b36970afb38442e2d1b32bd5b21662b717581
    unrolled_ast: e51728fc617ec3928922c651402b36970afb38442e2d1b32bd5b21662b717581
-    ssa_ast: 5f2fbb0153f1411776d39e2358ff770a1ea639386639ca3af36b43407002b0b2
+    ssa_ast: b293d9ce5479772d8bbe1d296078f9650e1a8b0e047ab967400da498f7f4f664
+    flattened_ast: 7ab7d6d5260d430fdd83ed0342715b751fb4eb2e8142a3a9f53f3bc90836de0c
--- a/tests/expectations/compiler/address/equal.out
+++ b/tests/expectations/compiler/address/equal.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 099ee6d9fd61230ae9e4f10e44e09de275769b115f9b898fb2e13e5b7d92c2e5
    unrolled_ast: 099ee6d9fd61230ae9e4f10e44e09de275769b115f9b898fb2e13e5b7d92c2e5
    ssa_ast: 466995e2761c6ef36419e232a4442d536edda517244c4b99de71bb8bb7ad3c9c
+    flattened_ast: 0fac3bb4caf5c4cd6b27fbfa5a7b58ce3f33bdaf1512c1df9edab75f12ed0667
--- a/tests/expectations/compiler/address/ternary.out
+++ b/tests/expectations/compiler/address/ternary.out
@ -8,3 +8,4 @@ outputs:
    initial_ast: c35dc903e9fe5260847a7d5d4df368396457bc27397fbca8f5145ba693ce433d
    unrolled_ast: c35dc903e9fe5260847a7d5d4df368396457bc27397fbca8f5145ba693ce433d
    ssa_ast: e093666c8f7e08d8435d657528f164427dc0b5a8cf0a5b92a198a8493f990ec5
+    flattened_ast: 3af444bd81385cd173df5d4c725ac0a8950a57f12987f12349bd0cbd33c5a3c8
--- a/tests/expectations/compiler/boolean/and.out
+++ b/tests/expectations/compiler/boolean/and.out
@ -10,3 +10,4 @@ outputs:
    initial_ast: 89e0c09f70b282afe8d707e67152027badec2f89c9d6a371ebd0603a103acae9
    unrolled_ast: 89e0c09f70b282afe8d707e67152027badec2f89c9d6a371ebd0603a103acae9
    ssa_ast: bb84d714634ce6a99d4b055878edd524e95f7acbc8b65c879f5001d97ab83014
+    flattened_ast: 7166d4bab7d668df75a2b2f3ba7edf794a5b8d6b9579b5aa852157208ee3eb4f
--- a/tests/expectations/compiler/boolean/conditional.out
+++ b/tests/expectations/compiler/boolean/conditional.out
@ -10,3 +10,4 @@ outputs:
    initial_ast: ca25d9f5fe8cfa0ac152be3a55b16d8d76d7b7912a7496eda6d06545c6da395d
    unrolled_ast: ca25d9f5fe8cfa0ac152be3a55b16d8d76d7b7912a7496eda6d06545c6da395d
    ssa_ast: c547de860e263f637957c68a80e56cf9c7e0f419d3763410550ea6d34aacdaf5
+    flattened_ast: 0d0233680fba1b0b1856e039771cfcd79940df636de882dd455edcc11115aedb
--- a/tests/expectations/compiler/boolean/equal.out
+++ b/tests/expectations/compiler/boolean/equal.out
@ -10,3 +10,4 @@ outputs:
    initial_ast: 792b82e86bbe2e519a6b6eed942ade85a195820d4ad3b40f741c6c4cc6e3db52
    unrolled_ast: 792b82e86bbe2e519a6b6eed942ade85a195820d4ad3b40f741c6c4cc6e3db52
    ssa_ast: 720b57cf7fa5ab10b2761188c9a49f62cc433b3fc685160baecf89396f42a2a9
+    flattened_ast: 926938662f393e6f354818139ef4323efbc7f752ec56eb6ccf6b34934d5507aa
--- a/tests/expectations/compiler/boolean/not_equal.out
+++ b/tests/expectations/compiler/boolean/not_equal.out
@ -10,3 +10,4 @@ outputs:
    initial_ast: 9438a9a76953b4d84f3f361917ac10d1423d4f01b3eb27f43e541ed1e0796aa5
    unrolled_ast: 9438a9a76953b4d84f3f361917ac10d1423d4f01b3eb27f43e541ed1e0796aa5
    ssa_ast: e058901b1ee9339e5f86b84192300fb92952c0a49cc8470dba87726ab2579fc2
+    flattened_ast: 4df816484f4c7d7e020fd9a0cd8eb7aaa665b21671ab24525c2d615079dfe7b1
--- a/tests/expectations/compiler/boolean/operator_methods.out
+++ b/tests/expectations/compiler/boolean/operator_methods.out
@ -10,3 +10,4 @@ outputs:
    initial_ast: ce7ee11926e2a057d4ae6493f8aeb33f834bcf123a874fc75f6df2112661103f
    unrolled_ast: ce7ee11926e2a057d4ae6493f8aeb33f834bcf123a874fc75f6df2112661103f
    ssa_ast: c9766e49519ef7f0b221df030fa982acc06589971842e7f5a0739a909507d78f
+    flattened_ast: 5c510485335a16b239f3be2da86f29af7b848bdb0d6de1d13dd652b90d24f600
--- a/tests/expectations/compiler/boolean/or.out
+++ b/tests/expectations/compiler/boolean/or.out
@ -10,3 +10,4 @@ outputs:
    initial_ast: 0f1fef76526b998173ea99a0a9e350a1b0490863070bfad6698e7a35fa1ac8f6
    unrolled_ast: 0f1fef76526b998173ea99a0a9e350a1b0490863070bfad6698e7a35fa1ac8f6
    ssa_ast: e359ff7a2e2ead264a387f3a898a0f5db7545271dd911beff72bafad2e9564b2
+    flattened_ast: 134eb4ea19973c4584bbb1b5dd8cf89f958b035a98922820fe94b7dc8a4f31e2
--- a/tests/expectations/compiler/circuits/inline.out
+++ b/tests/expectations/compiler/circuits/inline.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 270ec5f1e2ceb0877515432bb9ff72a62cb09aef7e2d2c3814e7a63ecd8e3305
    unrolled_ast: 270ec5f1e2ceb0877515432bb9ff72a62cb09aef7e2d2c3814e7a63ecd8e3305
    ssa_ast: 9dec09ca20df135c817d5d4a8d386fd92c376627369620ceff75d7b3662d0e99
+    flattened_ast: 37cb1b378713bc607c180e91ae0aa9825faa2c5b3671a6ddcaa0adf24dba5479
--- a/tests/expectations/compiler/circuits/member_variable.out
+++ b/tests/expectations/compiler/circuits/member_variable.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 289ae04555943ac459bbc6278e42885bcab09f765b6690a8a0edeffd7855fe47
    unrolled_ast: 289ae04555943ac459bbc6278e42885bcab09f765b6690a8a0edeffd7855fe47
    ssa_ast: 24f486b6d816591f24080310920c116f58d4eb3fa497f313b368e5d1bad1a2d6
+    flattened_ast: bd83e2058777c2ffb61f5aaaf85b0b009b659a4327546d3cd21db7c913ef6271
--- a/tests/expectations/compiler/console/assert.out
+++ b/tests/expectations/compiler/console/assert.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 1b1408cbb4540e177f013ffa797ab5ef190ac3138382f84fc9c72e7ca75ebc68
    unrolled_ast: 1b1408cbb4540e177f013ffa797ab5ef190ac3138382f84fc9c72e7ca75ebc68
    ssa_ast: 4198138e2deab9f2f81154d469a8ae0d18ecd02461e8f56ef3142a904221a650
+    flattened_ast: 968cb07336fef3844720af651d64e80aee647998bb3566f55fa5efe305e0c61b
--- a/tests/expectations/compiler/core/algorithms/bhp1024_commit.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_commit.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: f40e630632cdb1aa8f002c8a3a5c64fae09d21fceff7a199e459e2ef87d3d145
    unrolled_ast: f40e630632cdb1aa8f002c8a3a5c64fae09d21fceff7a199e459e2ef87d3d145
    ssa_ast: 00681260da7f64f0eff947f5c42c35e802a6b7e9f57fb94d01361a028cadc475
+    flattened_ast: f9ef8ae1651373751668a07fa48fc2e6ba8a19bd41fe814006fae140a926d0fd
--- a/tests/expectations/compiler/core/algorithms/bhp1024_hash.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: d2d34d503ea578392a765c0defa7716da62624c1359a835cb357939594c75228
    unrolled_ast: d2d34d503ea578392a765c0defa7716da62624c1359a835cb357939594c75228
    ssa_ast: 20ad5ee0e16ff9aae186a8a16c9de338499cd291356794873bec51674f29b0e2
+    flattened_ast: 74774d90572907029c50e8217ced93243a897a9af9a0d45ce4015d863b825f89
--- a/tests/expectations/compiler/core/algorithms/bhp256_commit.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_commit.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: c9176f918e85eaf1c16893d327cd13fbb36409f6f9187b1537b27e2acf0c75ea
    unrolled_ast: c9176f918e85eaf1c16893d327cd13fbb36409f6f9187b1537b27e2acf0c75ea
    ssa_ast: 2a6160860ce88662af080f7e00df46a61d28a5a013d79cea5e2111604e5e014a
+    flattened_ast: 2c4e1f90dcadeb078c0a399176d00a613541f04e613fa93c5b7fb3296fc1103d
--- a/tests/expectations/compiler/core/algorithms/bhp256_hash.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 97f66c369de49e70021bcef2be966518f2ca402cc25a0d0b9bf2356f48b1cae8
    unrolled_ast: 97f66c369de49e70021bcef2be966518f2ca402cc25a0d0b9bf2356f48b1cae8
    ssa_ast: 7811fbe6fe93b4d3cd0a626faf51e97a3405a87a81252b8a711d55ee176b49f5
+    flattened_ast: 7bc476f7d942a90001b56f8e855f7712266ed4f039ba80e2938944b8b31f177e
--- a/tests/expectations/compiler/core/algorithms/bhp512_commit.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_commit.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 61e39d70c252944dddf7836d29c207935c53601bb06942457d49b4279d43c89c
    unrolled_ast: 61e39d70c252944dddf7836d29c207935c53601bb06942457d49b4279d43c89c
    ssa_ast: 86a0c5571000df0797d2297c099ead979364c54887bd80fd123254a87b0edd1d
+    flattened_ast: 9e393a94b9a280be5b6be0e40e3cf8fff75464808d68f696786bb88d517f3331
--- a/tests/expectations/compiler/core/algorithms/bhp512_hash.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 2bd6e8de460bac0204e1c95a47f5039ec12d84b2b1416548fdfb30e7cda00a07
    unrolled_ast: 2bd6e8de460bac0204e1c95a47f5039ec12d84b2b1416548fdfb30e7cda00a07
    ssa_ast: c84f09f6356e4d5d2a3a0e470549ca48080d81940f006814030445953f992dd2
+    flattened_ast: 10a9482b068717051f113ab3984f6f6899d68d5f8242c1da2b954802b30aca92
--- a/tests/expectations/compiler/core/algorithms/bhp768_commit.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_commit.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: f447e985b29b5a2512aefc9b1730405df0219be8c80b2ccdf6005e97e3a06d55
    unrolled_ast: f447e985b29b5a2512aefc9b1730405df0219be8c80b2ccdf6005e97e3a06d55
    ssa_ast: 6eeec974f8290ac6a93345d20ae8572c7a768449a7f9dcc09f29fde7107a0480
+    flattened_ast: 967dbf3a806d43d457f99cc28f099432d7c1f15f448bb7756aec9f582e87d312
--- a/tests/expectations/compiler/core/algorithms/bhp768_hash.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 50a01bfbf8480cfdd038a4d6693bde8626b77d6803fa2e70016071ca30d9f68c
    unrolled_ast: 50a01bfbf8480cfdd038a4d6693bde8626b77d6803fa2e70016071ca30d9f68c
    ssa_ast: 1d7989f5c5ed768905893abcba357c94d129f95844c345b01f0cb684996c7688
+    flattened_ast: e48704171e614d66a0330a5e0519bdad3f7eb97f009d5d0ec2c64757f39f7e07
--- a/tests/expectations/compiler/core/algorithms/pedersen128_commit.out
+++ b/tests/expectations/compiler/core/algorithms/pedersen128_commit.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 2f13c75eac8daf925dc75ee412d74b35714d99612b3ac0b581580689649f1968
    unrolled_ast: 2f13c75eac8daf925dc75ee412d74b35714d99612b3ac0b581580689649f1968
    ssa_ast: f4718b65434417d10ab31f05472a3f51bd29f7e8ded7b2a962a7e18c7b87c590
+    flattened_ast: 67193a03a11addc904c858355aa1339c399154998b3c782aef621806a445503a
--- a/tests/expectations/compiler/core/algorithms/pedersen128_hash.out
+++ b/tests/expectations/compiler/core/algorithms/pedersen128_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 7130fa48f94f0ed00670d9048533dbef933ed215f8a29fbbe3c7ece0fba64510
    unrolled_ast: 7130fa48f94f0ed00670d9048533dbef933ed215f8a29fbbe3c7ece0fba64510
    ssa_ast: 93a468dab78b4d412b2cc8879caf2cffc0fc1f247623600d41cbd13ab5b1ab73
+    flattened_ast: d3ee62289cf25fc489e4f3e2049e4b5c1564a7ba68312c3a694af04f6e662040
--- a/tests/expectations/compiler/core/algorithms/pedersen64_commit.out
+++ b/tests/expectations/compiler/core/algorithms/pedersen64_commit.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 977abafe30e6fa97b32bc6552e8c1bc8923268114748e1bd3c14d7bf74667a7d
    unrolled_ast: 977abafe30e6fa97b32bc6552e8c1bc8923268114748e1bd3c14d7bf74667a7d
    ssa_ast: f9ce7360ab77fd327ddda98083014110ff2bdef55a742b1bb61ecfa2b7f65e89
+    flattened_ast: c1e2c11413484fc21cea2f05674b5ea72d8515623af77b114d03fa25c84cba66
--- a/tests/expectations/compiler/core/algorithms/pedersen64_hash.out
+++ b/tests/expectations/compiler/core/algorithms/pedersen64_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 269087ba0dbe33faf8b6896ac14ecbf37b74ca1185c9a5f07691c3138d66eb29
    unrolled_ast: 269087ba0dbe33faf8b6896ac14ecbf37b74ca1185c9a5f07691c3138d66eb29
    ssa_ast: 0b03c26a52a4a783bc16b979a4e8ef3b5c7dfbd8fd6f3d7e044009cf05730f97
+    flattened_ast: ba45eaebdf5251cae103ae46f9781e836b3f614dd4020bece560e44c423bd2e5
--- a/tests/expectations/compiler/core/algorithms/poseidon2_hash.out
+++ b/tests/expectations/compiler/core/algorithms/poseidon2_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 30e9f5de5eaaacb4802e08a4f8633dfda2ea72ef28b4dda458e5dda82b45b8d5
    unrolled_ast: 30e9f5de5eaaacb4802e08a4f8633dfda2ea72ef28b4dda458e5dda82b45b8d5
    ssa_ast: 128d8a185688f485e31b180c56ab38e95c0ffc3fbabfa21a408250ab75aa6f42
+    flattened_ast: f9a796ae07d3e2594a65eb3e3a9d9604c342b82b34ca8a037f28260bb25b1cd6
--- a/tests/expectations/compiler/core/algorithms/poseidon4_hash.out
+++ b/tests/expectations/compiler/core/algorithms/poseidon4_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 04087fc7154cbb6ad49282c04cc3d1af7460ea2e2c67bce65730151806105a6b
    unrolled_ast: 04087fc7154cbb6ad49282c04cc3d1af7460ea2e2c67bce65730151806105a6b
    ssa_ast: 9c3b2d073b1f42548f58c0127d34906a1677fd30d7c1644274491073a61d572c
+    flattened_ast: a4373d806b95da22a559962e252d30e076699a31b0e8dfb1cbae38b74d35cc32
--- a/tests/expectations/compiler/core/algorithms/poseidon8_hash.out
+++ b/tests/expectations/compiler/core/algorithms/poseidon8_hash.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 2322ea256fe86ea41b77a2b4d9c4324e587ee726340bbec374f038d1b048d26b
    unrolled_ast: 2322ea256fe86ea41b77a2b4d9c4324e587ee726340bbec374f038d1b048d26b
    ssa_ast: a24f3fcc337c04aa6094524d1347aa45c9c255709ccedcce532f9c4ef50c7bb2
+    flattened_ast: 5344535f4caca67be8305a4c1ffa13842fc5932523f176c7066d1d91d7ea2bdc
--- a/tests/expectations/compiler/definition/out_of_order.out
+++ b/tests/expectations/compiler/definition/out_of_order.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 2f8018656a41921f784fc5926ff56287bcbbb22e8195ca3c5aa93ee0c745c2f8
    unrolled_ast: 2f8018656a41921f784fc5926ff56287bcbbb22e8195ca3c5aa93ee0c745c2f8
    ssa_ast: 852a1db64f2897619a40564a213c2c0aa6ea9aa4160a964fd3957eba9769c7c3
+    flattened_ast: efa8fd1355b230fa458dcbcd0ec6fdad50d7a85ac013eef01c9be2b69a7349dc
--- a/tests/expectations/compiler/field/add.out
+++ b/tests/expectations/compiler/field/add.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: fc65533199564ad224ffdeb9284d1ab9b841f108938cfed7bf88d882cb65f8be
    unrolled_ast: fc65533199564ad224ffdeb9284d1ab9b841f108938cfed7bf88d882cb65f8be
    ssa_ast: 495cc0d50d5e1db1fa20828cdbb0f9cdf4c4359598d1ae2d60bf2784b92ef64a
+    flattened_ast: 4fdf9d6fd4eb65c7063dbf1282a824ef062cb1066c251ab6a0141dc0b196f0ab
--- a/tests/expectations/compiler/field/div.out
+++ b/tests/expectations/compiler/field/div.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 891161a2a3d9c51ac57db7d24c1c124e209d25ba68077e781c19b73862387b57
    unrolled_ast: 891161a2a3d9c51ac57db7d24c1c124e209d25ba68077e781c19b73862387b57
    ssa_ast: 127a38f647a3c306abbec85514ee12ca90b0997e3d28dee966135c43fb1b084d
+    flattened_ast: 4d34adb92613f7599d762b9ca8dcc93fcce0198ebd0f7d2fce5ed060afc821c4
--- a/tests/expectations/compiler/field/eq.out
+++ b/tests/expectations/compiler/field/eq.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 047ac2d01938183b9b1011be51e62e293922d80ee85cdde4b829b74da354bec6
    unrolled_ast: 047ac2d01938183b9b1011be51e62e293922d80ee85cdde4b829b74da354bec6
    ssa_ast: c16a78fd6c88ba627f6ea760dea263ddc57ac3a118df2015f3159fc8b80e22a1
+    flattened_ast: 4493fa2ef98b9cf4ac0874f5827dc6a21a77f4f0eb6186936f688edcbdc0ee3b
--- a/tests/expectations/compiler/field/field.out
+++ b/tests/expectations/compiler/field/field.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 935fb23cff87d5e5743ca10adf219a6f0e4911896097746ce8f9492f3df4d3a8
    unrolled_ast: 935fb23cff87d5e5743ca10adf219a6f0e4911896097746ce8f9492f3df4d3a8
    ssa_ast: 724c252503271350f06d6d2344790d5272975d7704e25e92f7d4c326ed70c07c
+    flattened_ast: 30adc8fbf20ebd3ad70cd683fd1a67a65793776b2cf9e601f46e1bce0ed5f071
--- a/tests/expectations/compiler/field/mul.out
+++ b/tests/expectations/compiler/field/mul.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 396fa12b8bfbe51bfef38f1366489f61ed69b5063ec33ac9bca8b10fd530b894
    unrolled_ast: 396fa12b8bfbe51bfef38f1366489f61ed69b5063ec33ac9bca8b10fd530b894
    ssa_ast: 8a43d390e978003fd4140ac678b895d0912e2c7439c510911983a29cc815163d
+    flattened_ast: 26bfc2e71014a89d3ec81acbf0c503cf39d41927020d74bc77bffdd43c90146e
--- a/tests/expectations/compiler/field/negate.out
+++ b/tests/expectations/compiler/field/negate.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: f52b20fcbb397599362e6c6de87698f1a1b6a5681ab4dd965837c2ea0fd2615e
    unrolled_ast: f52b20fcbb397599362e6c6de87698f1a1b6a5681ab4dd965837c2ea0fd2615e
    ssa_ast: d6091372402b21d522bce585df6f88f1b0219b4eef9e4ddd2b8185547fde13dc
+    flattened_ast: fd7d499af6d09f12974a4f84210594966d0cf88244acd3a45befdf565a3fa50a
--- a/tests/expectations/compiler/field/operator_methods.out
+++ b/tests/expectations/compiler/field/operator_methods.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 31aef1a1a3ae8487f25ada0708367523d61c9dd3367c6a7994cda89a068806fd
    unrolled_ast: 31aef1a1a3ae8487f25ada0708367523d61c9dd3367c6a7994cda89a068806fd
    ssa_ast: 8d69b850478203846315ff70227f3dbebbf512c206b0c0cd975bcb6c17fc432d
+    flattened_ast: 0b2bd7710a901ea2580f9d97145412e8c64cc3cb93d6fe63938fb6196088a5bf
--- a/tests/expectations/compiler/field/pow.out
+++ b/tests/expectations/compiler/field/pow.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 43048c642342708d7b9d385e4e08234f89afd1b133756af25f20c3a12844c58f
    unrolled_ast: 43048c642342708d7b9d385e4e08234f89afd1b133756af25f20c3a12844c58f
    ssa_ast: 2b5f5828f9492b59b1b30940481c86043155765b5e911aa29dce7655e4cf3aa9
+    flattened_ast: 5495d4490b98dd0fa6c10587fd14980f57169bf230179ef3bfb9daa8d4614831
--- a/tests/expectations/compiler/field/sub.out
+++ b/tests/expectations/compiler/field/sub.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 4b628728ea87cac112ac89aa0401d701e2c66da9ec65b9dd9e7ffa417eabf8d7
    unrolled_ast: 4b628728ea87cac112ac89aa0401d701e2c66da9ec65b9dd9e7ffa417eabf8d7
    ssa_ast: eab605e2ab963ca87a7a2a85ff81e7a4906e3258d7303bea49db472497048ac6
+    flattened_ast: af33de1348fc2a89830ce1067f64f31aba3d2d08587648a283e86bbe30a17923
--- a/tests/expectations/compiler/field/ternary.out
+++ b/tests/expectations/compiler/field/ternary.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 17899e278a72927cae1faab6d68ab9a7027cc8776b4417bd8cc347c27025d260
    unrolled_ast: 17899e278a72927cae1faab6d68ab9a7027cc8776b4417bd8cc347c27025d260
    ssa_ast: b02cf1094d8362c118af5ca266f5167881e867d6891960a9b592e62d27c95b0a
+    flattened_ast: f4e454565fed233a693baec5ba3c91343accc539ec862e197a89e42043bf918c
--- a/tests/expectations/compiler/function/conditional_return.out
+++ b/tests/expectations/compiler/function/conditional_return.out
@ -6,4 +6,5 @@ outputs:
      - initial_input_ast: e742fe16a7df15d6f9c6b514f28746a9a5a48fda7e0bf6628601e84782878dd1
    initial_ast: a7e86f30bb16cde80d7488d6d7f65480eaf22a5c6ca535024946209a0ebc79f0
    unrolled_ast: a7e86f30bb16cde80d7488d6d7f65480eaf22a5c6ca535024946209a0ebc79f0
-    ssa_ast: 40ab16803403dfb8c5e8c0cd3f61a79c23bfd9834234e459f9fe7ba754707ad6
+    ssa_ast: 4bb9ac4e46eac6f6d296862b4ea2d9316dcb0b2c3db310505ccb76973dcedccd
+    flattened_ast: 30c806ded6196791b7cfe1355d98943f9cfb80e803656e61deacff8454e8ae67
--- a/tests/expectations/compiler/function/function_call.out
+++ b/tests/expectations/compiler/function/function_call.out
@ -6,4 +6,5 @@ outputs:
      - initial_input_ast: d25b5d30496f06387198d06e44a771e142f8e6592347c3849a8b3b957287f1b6
    initial_ast: 10581facfbaed74ef48e309dee4972dec861d57f89acf3a43791ec1fb98130b1
    unrolled_ast: 10581facfbaed74ef48e309dee4972dec861d57f89acf3a43791ec1fb98130b1
-    ssa_ast: b96bb405c6b3e13f24ae7ba5462ca6e8165edd73f1c266639d11b36869eefa06
+    ssa_ast: da1fe9145e40255b45481629a53c9f2affb0cf4075c30f04d555cfb23339ffb3
+    flattened_ast: b83a62a13698f6538b4bd46d22bec8a6ba2e6aca35978dc4b34781f3faabeb52
--- a/tests/expectations/compiler/function/no_return_fail.out
+++ b/tests/expectations/compiler/function/no_return_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Failed to parse string. Parsing Error: VerboseError { errors: [(\"closure main:\\n\\n\\n\", Nom(Tag)), (\"closure main:\\n\\n\\n\", Nom(Alt)), (\"closure main:\\n\\n\\n\", Nom(Many1))] }"
+  - "Error [ETYC0372038]: Function must return a value.\n    --> compiler-test:3:1\n     |\n   3 | function main() -> u8 {}\n     | ^^^^^^^^^^^^^^^^^^^^^^^^\n"
--- a/tests/expectations/compiler/function/record_in_conditional_return.out
+++ b/tests/expectations/compiler/function/record_in_conditional_return.out
@ -6,4 +6,5 @@ outputs:
      - initial_input_ast: no input
    initial_ast: bcb189be29a875a5f7de506a278edd5ba6d1cbf55c446bd60277dba90a0ae41c
    unrolled_ast: bcb189be29a875a5f7de506a278edd5ba6d1cbf55c446bd60277dba90a0ae41c
-    ssa_ast: 994e826b2a03d06c871fc887d78c19eb8c4f77e3a9abc80cad04035ca6c02c87
+    ssa_ast: b10555638f2666be22d5312913d23d87ad5e38d31b3af5a082925f9557d612a0
+    flattened_ast: 5b3e9103a09bc92262ac00de352948dce329b65a2aece198b2f3c2e0615ecdb2
--- a/tests/expectations/compiler/function/unknown_parameter_type_fail.out
+++ b/tests/expectations/compiler/function/unknown_parameter_type_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372017]: The type `Foo` is not found in the current scope.\n    --> compiler-test:4:22\n     |\n   4 | function main(a: u8, foo: Foo) -> u8 {\n     |                      ^^^\nError [ETYC0372003]: Expected type `Foo` but type `u8` was found\n    --> compiler-test:9:22\n     |\n   9 | function returns_foo(a: u8) -> Foo {\n     |                      ^\nError [ETYC0372017]: The type `Foo` is not found in the current scope.\n    --> compiler-test:9:1\n     |\n   9 | function returns_foo(a: u8) -> Foo {\n  10 |     return a;\n  11 | }\n     | ^\n"
+  - "Error [ETYC0372017]: The type `Foo` is not found in the current scope.\n    --> compiler-test:4:22\n     |\n   4 | function main(a: u8, foo: Foo) -> u8 {\n     |                      ^^^\nError [ETYC0372017]: The type `Foo` is not found in the current scope.\n    --> compiler-test:9:32\n     |\n   9 | function returns_foo(a: u8) -> Foo {\n     |                                ^^^\nError [ETYC0372003]: Expected type `Foo` but type `u8` was found\n    --> compiler-test:9:22\n     |\n   9 | function returns_foo(a: u8) -> Foo {\n     |                      ^\nError [ETYC0372017]: The type `Foo` is not found in the current scope.\n    --> compiler-test:9:1\n     |\n   9 | function returns_foo(a: u8) -> Foo {\n  10 |     return a;\n  11 | }\n     | ^\n"
--- a/tests/expectations/compiler/group/add.out
+++ b/tests/expectations/compiler/group/add.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: e4230836ed5823df5f474205b6da3be5cd9c958aada23e9b698db02866867eab
    unrolled_ast: e4230836ed5823df5f474205b6da3be5cd9c958aada23e9b698db02866867eab
    ssa_ast: 5a1c7dbbef55cad3521e238dd94847051f5b3a113fd40f59741d6fc17c3b1972
+    flattened_ast: 2361cb979fc3c96b9e5efe265eb029d582cbddda3ef1accd4dd7431c4bb67c39
--- a/tests/expectations/compiler/group/assert_eq.out
+++ b/tests/expectations/compiler/group/assert_eq.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 3aa8757d8a3cc7244fba3d50130aa9ce77a9794e81ef861feacf2a7976e8eeae
    unrolled_ast: 3aa8757d8a3cc7244fba3d50130aa9ce77a9794e81ef861feacf2a7976e8eeae
    ssa_ast: 5622537854f826d68aadfab1d5ce05994754d17e0c2400d7d4ee2aeba7dbeacb
+    flattened_ast: feb2a4db7c0320285b4056eb868395e1bd54acb0863f37a6dc3b9de000c81c8b
--- a/tests/expectations/compiler/group/eq.out
+++ b/tests/expectations/compiler/group/eq.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 3aa8757d8a3cc7244fba3d50130aa9ce77a9794e81ef861feacf2a7976e8eeae
    unrolled_ast: 3aa8757d8a3cc7244fba3d50130aa9ce77a9794e81ef861feacf2a7976e8eeae
    ssa_ast: 5622537854f826d68aadfab1d5ce05994754d17e0c2400d7d4ee2aeba7dbeacb
+    flattened_ast: feb2a4db7c0320285b4056eb868395e1bd54acb0863f37a6dc3b9de000c81c8b
--- a/tests/expectations/compiler/group/group_mul.out
+++ b/tests/expectations/compiler/group/group_mul.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 059e4d9a644eef0c6e39920920eae9489f128802aa4c0b1a675ecca227eee898
    unrolled_ast: 059e4d9a644eef0c6e39920920eae9489f128802aa4c0b1a675ecca227eee898
    ssa_ast: 39138c061c41d2ecce4f64e138544257f9f1904e221fb8ae0506b52080ac6b53
+    flattened_ast: 14d815d4cb378a02d4bddcd86baca0befec4cc2c788a89f5b4077fd8a62f1946
--- a/tests/expectations/compiler/group/input.out
+++ b/tests/expectations/compiler/group/input.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 3aa8757d8a3cc7244fba3d50130aa9ce77a9794e81ef861feacf2a7976e8eeae
    unrolled_ast: 3aa8757d8a3cc7244fba3d50130aa9ce77a9794e81ef861feacf2a7976e8eeae
    ssa_ast: 5622537854f826d68aadfab1d5ce05994754d17e0c2400d7d4ee2aeba7dbeacb
+    flattened_ast: feb2a4db7c0320285b4056eb868395e1bd54acb0863f37a6dc3b9de000c81c8b
--- a/tests/expectations/compiler/group/mul.out
+++ b/tests/expectations/compiler/group/mul.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 9fceb0d80b8f5d9c14289ed7ab39289d58fae7ef171e75bd277b89ee5071ef93
    unrolled_ast: 9fceb0d80b8f5d9c14289ed7ab39289d58fae7ef171e75bd277b89ee5071ef93
    ssa_ast: 20f38a959a4ee3983fb757f8b4998aaeb23e8467f1647585d7b8e6daae062be0
+    flattened_ast: 8a52d6ab0dc2b0b976e2b899aebbf0daece96d8f64e3c0dc0aa69a13735bd992
--- a/tests/expectations/compiler/group/mult_by_scalar.out
+++ b/tests/expectations/compiler/group/mult_by_scalar.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 942068714d89a818d7836492d54e7f8e38ad0fc5912da4931fb88e54c8f77d55
    unrolled_ast: 942068714d89a818d7836492d54e7f8e38ad0fc5912da4931fb88e54c8f77d55
    ssa_ast: a7471be4c25e86afd4f64a5ec31c42e06dc088828e631d917b26c4fbf0b9a631
+    flattened_ast: 93c7caacca3e2b8cf55e7bcbf678247a7e8c9bd19198132c8d7568b288065971
--- a/tests/expectations/compiler/group/negate.out
+++ b/tests/expectations/compiler/group/negate.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: f9c77c2cc35425fc70a9eb0aacfb279e855377e116592689efd41d4a932271a7
    unrolled_ast: f9c77c2cc35425fc70a9eb0aacfb279e855377e116592689efd41d4a932271a7
    ssa_ast: 9e5dfd41a6ab1c02e8e5b78c2c4cf6d46c8b989c5e55aa8bee52c487da6b15e9
+    flattened_ast: 8642b64748aca31195bc6567eba35cb53eaf12c3704e5ab220eba3835b4771f7
--- a/tests/expectations/compiler/group/operator_methods.out
+++ b/tests/expectations/compiler/group/operator_methods.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 5bd39c4f920d270f2b11d51660a1b25e3dccb229accf31b1588a449009caeba5
    unrolled_ast: 5bd39c4f920d270f2b11d51660a1b25e3dccb229accf31b1588a449009caeba5
    ssa_ast: b51f571fdda61c18749690db890e1895b5866359ce0c9d645c0befd5e267c212
+    flattened_ast: ac3805aad3231df69b1f8e548ef6e961e04e662c8be78fa2b602b3a21e7afbd0
--- a/tests/expectations/compiler/group/point_input.out
+++ b/tests/expectations/compiler/group/point_input.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: cdc2abc38fdfddc51357072e7ada6d6e530ddb850416e589aa4abda2cc2ce0b6
    unrolled_ast: cdc2abc38fdfddc51357072e7ada6d6e530ddb850416e589aa4abda2cc2ce0b6
    ssa_ast: e9d518bfd2800eb6cfd450dd45bd6eb63e3f6e1f72a023581f58d3d3d4db2dfd
+    flattened_ast: 8510f2659e9152ebd1aa1da6bc6f94914d33504215ce14e1a73271bce3fd2aa7
--- a/tests/expectations/compiler/group/sub.out
+++ b/tests/expectations/compiler/group/sub.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: e8172b23bc4efbafd48de0729e376e69260ad97a65ce13814f919d75fead6df2
    unrolled_ast: e8172b23bc4efbafd48de0729e376e69260ad97a65ce13814f919d75fead6df2
    ssa_ast: f88e3acf6213ce19f35417bb359ff0aa357fd078496e457f6bef9beb84ba82b8
+    flattened_ast: 9773304230b84cabfece1e163ac6c30963c5067ab434c800493dda568c0845e6
--- a/tests/expectations/compiler/group/ternary.out
+++ b/tests/expectations/compiler/group/ternary.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 33105589dcdf339ca40256b341730dee963d5cc704e86b4b23de92bfe223ce83
    unrolled_ast: 33105589dcdf339ca40256b341730dee963d5cc704e86b4b23de92bfe223ce83
    ssa_ast: 2983970a53bd527ae95b176f142e784618a5c2c1b2f1fe4534689451b18ba14a
+    flattened_ast: 6465ed8e2038962c9c504af1fc94b36e94e217492675b9935f74824de321b2dc
--- a/tests/expectations/compiler/group/x_and_y.out
+++ b/tests/expectations/compiler/group/x_and_y.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 7eeb297fac064e1afb25869024d1027a7f5e93c7195ac8cff0abc1d4a6a4b3de
    unrolled_ast: 7eeb297fac064e1afb25869024d1027a7f5e93c7195ac8cff0abc1d4a6a4b3de
    ssa_ast: c851dce1b2e33fac7dc5f5c746401de28a9319d14faa4d655603f678a2f7f9cb
+    flattened_ast: 49f93645472a65bccbe73d8b6ad5b0063854fd9410de5dde7c81e8029494ceeb
--- a/tests/expectations/compiler/group/x_sign_high.out
+++ b/tests/expectations/compiler/group/x_sign_high.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: a723771b9178e664b3c43026841497f8f8e88f6e4febb36fb74ea07f6f67b29f
    unrolled_ast: a723771b9178e664b3c43026841497f8f8e88f6e4febb36fb74ea07f6f67b29f
    ssa_ast: 3cf5cc901ab23e8546666ab2fd4d94facbcc168bbc786a69269a2091beee18bd
+    flattened_ast: fcc3d12ea8df71813ef5489a340cdd7ff3ceed40d3e525a9860aad0b67a2df13
--- a/tests/expectations/compiler/group/x_sign_inferred.out
+++ b/tests/expectations/compiler/group/x_sign_inferred.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: a8f03aef2797a48d9b7d406742a1e9060a1875e246e425469bb11522de61e775
    unrolled_ast: a8f03aef2797a48d9b7d406742a1e9060a1875e246e425469bb11522de61e775
    ssa_ast: db76486910acebf811b256f4decc0707788f13c9a4cc26fbc0224cda114114b1
+    flattened_ast: 0becf0bd43966242603b20d2e150839fb5556e3ab38bd603c9e11628608ef20f
--- a/tests/expectations/compiler/group/x_sign_low.out
+++ b/tests/expectations/compiler/group/x_sign_low.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 2602eaec812f1822231e70abc207c2dc1cbece29b2733f5ea07c303bccc64baf
    unrolled_ast: 2602eaec812f1822231e70abc207c2dc1cbece29b2733f5ea07c303bccc64baf
    ssa_ast: 030ecbb285189c6b7bca560f1b273114241660f80d2830a616d9c59520cbccd3
+    flattened_ast: ea9e2d8da3624c48bc189d90da6944e0c9ad7f8da6046194cf7023295505b811
--- a/tests/expectations/compiler/group/zero.out
+++ b/tests/expectations/compiler/group/zero.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 2c209d1972505f8acb8a1177c79c98c582f6ebf7fd60221cb50c9884f8fe555b
    unrolled_ast: 2c209d1972505f8acb8a1177c79c98c582f6ebf7fd60221cb50c9884f8fe555b
    ssa_ast: c1a1b9f67eeb03f1859a7e651cf0f2f5a95c9cf9d7b8214ea9e9fe2fc554d22b
+    flattened_ast: 637d41231b99e19b73dd322fe969728ae88696a4378e72ccb5275cf86da6ebde
--- a/tests/expectations/compiler/input/main.out
+++ b/tests/expectations/compiler/input/main.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 8ebeaa029eb3018dd8efa3feb66edfe8c3a38622403db610529664fff6b7507d
    unrolled_ast: 8ebeaa029eb3018dd8efa3feb66edfe8c3a38622403db610529664fff6b7507d
    ssa_ast: a4def03ce8dc9cf09ac6fb8110f52b5acac96390771d0c3f9e3278c6a09d44f9
+    flattened_ast: 9c4b242011755e873b77ea92f013bc0b4e916a71fe7d21f2380560e6f35f145f
--- a/tests/expectations/compiler/input/main_field.out
+++ b/tests/expectations/compiler/input/main_field.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 31e6ab631497e3ec69a8d5aa930d76319c4b9abae21225c484b0790cbef3c578
    unrolled_ast: 31e6ab631497e3ec69a8d5aa930d76319c4b9abae21225c484b0790cbef3c578
    ssa_ast: 9c3ce9b6cf3cb1770008bae447f64a937ddd2ec1e975afb5d10bdf5a648d48ab
+    flattened_ast: 89ff79c2470ffbead23716adfa619063801373f0f37360c0360ccbd48f4e0497
--- a/tests/expectations/compiler/integers/i128/add.out
+++ b/tests/expectations/compiler/integers/i128/add.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 89f06f250b4d9c862287a21fa3bcbbfdcb3a9b0071f78b9709b57abe9061834f
    unrolled_ast: 89f06f250b4d9c862287a21fa3bcbbfdcb3a9b0071f78b9709b57abe9061834f
    ssa_ast: 3b35f9a2178435cdd38d0a204f8ac37403b8b2207288037212edc2252b56168a
+    flattened_ast: 9116b3799b6d7fa9ec98c00664afb32338aabed998d38b996e9d319110632500
--- a/tests/expectations/compiler/integers/i128/and.out
+++ b/tests/expectations/compiler/integers/i128/and.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 883524d6db69c29f6d3acf205a738b41f1abeef137664d15637a3c218f9664d2
    unrolled_ast: 883524d6db69c29f6d3acf205a738b41f1abeef137664d15637a3c218f9664d2
    ssa_ast: d55d0bb7481186bc2edede0c04544d315a1602001030064ea8e1834683e8f581
+    flattened_ast: 4b47861ef40bfb8da6956a3f8579f507a2849b49087a18e8d554a99913b2d8bc
--- a/tests/expectations/compiler/integers/i128/console_assert.out
+++ b/tests/expectations/compiler/integers/i128/console_assert.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 7c054e866f1fd714cf58c5636c596b3febac1c2a7775e2085fa10d73e8171851
    unrolled_ast: 7c054e866f1fd714cf58c5636c596b3febac1c2a7775e2085fa10d73e8171851
    ssa_ast: 5cc20679867fbeddbe64a0cf9e7b8c5c6b08da309017fac2ec079f8ed4fd25f9
+    flattened_ast: 50395897a641e37ef08db78c8f6830d3895f7866b8bc58412b00a19b285c39b1
--- a/tests/expectations/compiler/integers/i128/div.out
+++ b/tests/expectations/compiler/integers/i128/div.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 130eac8ce31338a7eb3214c4fd98ef05b3def0daf4ebf2bac177e6dd6135fa0a
    unrolled_ast: 130eac8ce31338a7eb3214c4fd98ef05b3def0daf4ebf2bac177e6dd6135fa0a
    ssa_ast: dfae3a5ed9b7e5dddba9271de9951dc20db8c409ce000d33241dd3607cabe87d
+    flattened_ast: 1e633126a221c3be410556f34538041dd73b3a6cfcfe2be7006989f6d2b3fe90
--- a/tests/expectations/compiler/integers/i128/eq.out
+++ b/tests/expectations/compiler/integers/i128/eq.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: d3d9bf5316584d8913ffc8c890bce54da9a246727d0a93d4287eab7858b9fcbd
    unrolled_ast: d3d9bf5316584d8913ffc8c890bce54da9a246727d0a93d4287eab7858b9fcbd
    ssa_ast: 837bf87a10399829a0e4f2545a8a2f2d44ed20afcf2582b5e518f3d25aad88c9
+    flattened_ast: 8c90023261a54a556e57fb3a922f94b639b3b0cf0e82a103139e8bc23eb3e875
--- a/tests/expectations/compiler/integers/i128/ge.out
+++ b/tests/expectations/compiler/integers/i128/ge.out
@ -8,3 +8,4 @@ outputs:
    initial_ast: b8d40993b63e6909f0d5ad81f075f2cc451ad23c205ca1fbc636ed60fbdfcf75
    unrolled_ast: b8d40993b63e6909f0d5ad81f075f2cc451ad23c205ca1fbc636ed60fbdfcf75
    ssa_ast: 36ff9ed5d501dbbde219cf9a92ca356d33d8486beb42256b9b582e5d151cac5e
+    flattened_ast: 8ed4c866e764ccf8e2ce8236e486a48a43edf852edca27b847f64beb4faca4ac
--- a/tests/expectations/compiler/integers/i128/gt.out
+++ b/tests/expectations/compiler/integers/i128/gt.out
@ -8,3 +8,4 @@ outputs:
    initial_ast: 4b386715c58749cc56888df56ac95e071f81eda18a274caeeca179709f189902
    unrolled_ast: 4b386715c58749cc56888df56ac95e071f81eda18a274caeeca179709f189902
    ssa_ast: ced4afc151b9986c916b7010eb5b70b6b6b4fef087005f15a4b7fa192b775785
+    flattened_ast: b60ac3f0bb3511449fb2c56270a10bc10d8ea14df842ed102341afa3207cc176
--- a/tests/expectations/compiler/integers/i128/le.out
+++ b/tests/expectations/compiler/integers/i128/le.out
@ -8,3 +8,4 @@ outputs:
    initial_ast: e41880abb13f9df0fb436d60eb0f6d0555768e3f9e38188371772cd952e8cc1d
    unrolled_ast: e41880abb13f9df0fb436d60eb0f6d0555768e3f9e38188371772cd952e8cc1d
    ssa_ast: 1da66d15120bc66192916623064d133a53b63d17126912d7601157b73d1ccddb
+    flattened_ast: b8645fe281195c39403e5306fac74140e98a17c5b096e02aa6796d426d341b3a
--- a/tests/expectations/compiler/integers/i128/lt.out
+++ b/tests/expectations/compiler/integers/i128/lt.out
@ -8,3 +8,4 @@ outputs:
    initial_ast: f8c3ba8f708137faba2dbe329905bb98015ff1abbb59fe81fc882ea869a5c6c3
    unrolled_ast: f8c3ba8f708137faba2dbe329905bb98015ff1abbb59fe81fc882ea869a5c6c3
    ssa_ast: 1d0a4e7a41f2c67e4f5ff6a3459990359563462ceffd5c29630e9177e43289e1
+    flattened_ast: 757e6bf8ff90254119eeeb0a487f27aac53a59670079b251c92c6b3e0696e156
--- a/tests/expectations/compiler/integers/i128/max.out
+++ b/tests/expectations/compiler/integers/i128/max.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: b9a9d929f63ec291634df34c854fca50facb66af7e8f676c69c5201a6377e8bb
    unrolled_ast: b9a9d929f63ec291634df34c854fca50facb66af7e8f676c69c5201a6377e8bb
    ssa_ast: 193a988fd6dc46f9ef185a2e64bfbc834fd257c09d20f7b3ace19edcbb7161fc
+    flattened_ast: 009f04b3f18e39c25698add2e795ef680c12c16cf640c7287df388b67256e5c6
--- a/tests/expectations/compiler/integers/i128/min.out
+++ b/tests/expectations/compiler/integers/i128/min.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 43b2d6014d4045196bf88c48ba56e3560439ce1cf91ce5ffac89c706a1c9ca46
    unrolled_ast: 43b2d6014d4045196bf88c48ba56e3560439ce1cf91ce5ffac89c706a1c9ca46
    ssa_ast: 1c117f8cf0be934ceb6d8119347121df73d2df9cd59a7f5e3b31e1952b7beb9e
+    flattened_ast: 679fc7d38cab0bc48ccd9fce162495c0ebb78671472c4963c632321dede0587f
--- a/tests/expectations/compiler/integers/i128/min_fail.out
+++ b/tests/expectations/compiler/integers/i128/min_fail.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: b55345fd2af09fb529e3fe19b280f71ccd960e364feae247215a7f421bba8de1
    unrolled_ast: b55345fd2af09fb529e3fe19b280f71ccd960e364feae247215a7f421bba8de1
    ssa_ast: 059dc7a8a3997f8633f96da9d0038c356225a1a5ab572885abac2c1e140aacc2
+    flattened_ast: cafb603140260796cde0da93699225fa547663c2f24939335b713bb2c7529fc4
--- a/tests/expectations/compiler/integers/i128/mul.out
+++ b/tests/expectations/compiler/integers/i128/mul.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 108ce0e3f03ed0373c4339ba33ae050176e6954a15d124778f16d323b1d1c6b5
    unrolled_ast: 108ce0e3f03ed0373c4339ba33ae050176e6954a15d124778f16d323b1d1c6b5
    ssa_ast: eaee0cfb78c2a5ea05e770e7302fa26318d6efb2e22cdf22313ab68fcc2e3c04
+    flattened_ast: 475d9ffe3d1869bd1b7c87820a18bf186d1cf6f714dcf10b9062ad6f7921fcaa
--- a/tests/expectations/compiler/integers/i128/ne.out
+++ b/tests/expectations/compiler/integers/i128/ne.out
@ -8,3 +8,4 @@ outputs:
    initial_ast: 8249f13958676cd35906b6fb1df7dbf90dcb893c9495aee5933cd42f45ff8f75
    unrolled_ast: 8249f13958676cd35906b6fb1df7dbf90dcb893c9495aee5933cd42f45ff8f75
    ssa_ast: 1882c7ce17f2865b12205eba080dc50d94d00389e8b36ec5b7e2eae94c208aba
+    flattened_ast: 4c09304731d061a131c0c73b78eea8ac48d5e701b9c69975364b3e00fcbce609
--- a/tests/expectations/compiler/integers/i128/negate.out
+++ b/tests/expectations/compiler/integers/i128/negate.out
@ -8,3 +8,4 @@ outputs:
    initial_ast: b4e0aad8aec4b581b4513193ab7bed89fcae43f809b71cb6a8eea3fc09508f2d
    unrolled_ast: b4e0aad8aec4b581b4513193ab7bed89fcae43f809b71cb6a8eea3fc09508f2d
    ssa_ast: 318c529d269fb78dee369d203183e30f877d7d415986543683423e0d96dd5bb0
+    flattened_ast: 8e1b4a6346e2afcf7627e7deb0bb469ce202e90e509efcff7095f89bd8f6bd87
--- a/tests/expectations/compiler/integers/i128/negate_min_fail.out
+++ b/tests/expectations/compiler/integers/i128/negate_min_fail.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 37bc1b910c2532fef99f2dccd07b3faecc3ae670d390ce63f0b4dfa7a7329c25
    unrolled_ast: 37bc1b910c2532fef99f2dccd07b3faecc3ae670d390ce63f0b4dfa7a7329c25
    ssa_ast: a6447922c77bc30a3470fddf18c6a184de7a18c153966aa31124193027551639
+    flattened_ast: 513236cb437de21d0c4d678cbf7524017eae05339bcf9b41ff14a24e4157ef4b
--- a/tests/expectations/compiler/integers/i128/negate_zero.out
+++ b/tests/expectations/compiler/integers/i128/negate_zero.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: aa32f601a76be51d621cf125c6c9f936d173f2f6ab7541e86970fc528dd6d885
    unrolled_ast: aa32f601a76be51d621cf125c6c9f936d173f2f6ab7541e86970fc528dd6d885
    ssa_ast: b81a283e290287d3cfe0feca56b982787195ea9cce65e2dd1f52adb2158e0206
+    flattened_ast: a8a75da160e2020ed8984eeea19ca18799690c41753949188a201843241f8258
--- a/tests/expectations/compiler/integers/i128/operator_methods.out
+++ b/tests/expectations/compiler/integers/i128/operator_methods.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 1556c078e5bc1bca6a7d73bfd44fa50fc0f02a0b42789c0861c0789d9955fb61
    unrolled_ast: 1556c078e5bc1bca6a7d73bfd44fa50fc0f02a0b42789c0861c0789d9955fb61
    ssa_ast: 924d2e1787a6d206b605890c565d7d72ce0ae431640bed0c73f5f4a52183df5e
+    flattened_ast: 6e8e9412d1011df8ca2661b020691e62dfc69705ee0221d9952a2e32a86e725f
--- a/tests/expectations/compiler/integers/i128/or.out
+++ b/tests/expectations/compiler/integers/i128/or.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: b2da8bc633b1e8a473678b31aa66cb70f5ddeeb4d45671c26904b2402f7a1b2e
    unrolled_ast: b2da8bc633b1e8a473678b31aa66cb70f5ddeeb4d45671c26904b2402f7a1b2e
    ssa_ast: 4ee29ae278d8ae1ea8973790acf2183b099328bca74f77bc870558c3d742f357
+    flattened_ast: 88dcffca297885f42e8c340c71b8da7985105a5096292509656455f6ee143690
--- a/tests/expectations/compiler/integers/i128/pow.out
+++ b/tests/expectations/compiler/integers/i128/pow.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 0678fd3b4bdf6236aac387deafb390f497e35f531c6e14e7362068515460c860
    unrolled_ast: 0678fd3b4bdf6236aac387deafb390f497e35f531c6e14e7362068515460c860
    ssa_ast: 65343b305d0dedd7663cc69dfa76e875a98fe39020278d2ee9614935c23a1d6a
+    flattened_ast: eea59cb689eb126ed1cc38c01901bb9f6fe9b9cd45fd2f5daa96cc71f3e44086
--- a/tests/expectations/compiler/integers/i128/rem.out
+++ b/tests/expectations/compiler/integers/i128/rem.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 0ad0765bb998877e34f67960e92d8682740e6092111b16f93804881348505543
    unrolled_ast: 0ad0765bb998877e34f67960e92d8682740e6092111b16f93804881348505543
    ssa_ast: 63f2392d144451afcb4b48ec04fe9ad30b28410a7cd5af60b30fd583279a39b8
+    flattened_ast: a1d2726a710f950fdcd0dc38d1e3be0e22fb1468f16b74680ec5bf88a426838b
--- a/tests/expectations/compiler/integers/i128/shl.out
+++ b/tests/expectations/compiler/integers/i128/shl.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 865f39a2abd42c7b29695df44feacb998e68aca285df782d13e0d2fa8efa0ac9
    unrolled_ast: 865f39a2abd42c7b29695df44feacb998e68aca285df782d13e0d2fa8efa0ac9
    ssa_ast: 9fcd4b4502de61765104d2ee025f4f775eaacaae34745d897507723469782d06
+    flattened_ast: f23e5928be9e4b60bf41b8dbf8ee3478accbc56e25147e64fb460ebf820f679d
--- a/tests/expectations/compiler/integers/i128/shr.out
+++ b/tests/expectations/compiler/integers/i128/shr.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: b8d13ed794de2bbb672a6d1b5fab60db48af5b61aa6c9706276641675b2e530f
    unrolled_ast: b8d13ed794de2bbb672a6d1b5fab60db48af5b61aa6c9706276641675b2e530f
    ssa_ast: 2cff3cc2dc2a5d5b6337e589fbac9334d4ca890b538c457b1007203d128c4fbd
+    flattened_ast: 248b9fa6a1c8f88ce244b57430ae7f95bb8710fb54e48b156d9b72d2465a5ff0
--- a/tests/expectations/compiler/integers/i128/sub.out
+++ b/tests/expectations/compiler/integers/i128/sub.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: db5cada6cf63aefa3242db2ba148a3965f0717ebac25656556d71e6f13c0910e
    unrolled_ast: db5cada6cf63aefa3242db2ba148a3965f0717ebac25656556d71e6f13c0910e
    ssa_ast: bf4a6b2f05d837dd4a396bbe23a45c0bbbc6858f5be0bdea1711b28caa366fc9
+    flattened_ast: dfa16b2609cc1c36e21670ef644f767ca1a5ea393d7f074b583f95a93a18466c
--- a/tests/expectations/compiler/integers/i128/ternary.out
+++ b/tests/expectations/compiler/integers/i128/ternary.out
@ -8,3 +8,4 @@ outputs:
    initial_ast: 9ebbd82d941d5d182cc5da6c8d9bdf753cf81a913d243f290d0415ff2f73fcda
    unrolled_ast: 9ebbd82d941d5d182cc5da6c8d9bdf753cf81a913d243f290d0415ff2f73fcda
    ssa_ast: 86ece47aa9df81365884e98273afea708fa645b48baac1a270007a9be42cfcda
+    flattened_ast: c8fb19edc93446604edac427a47265ac0e2e66347ac15e928027c44a73eefeed
--- a/tests/expectations/compiler/integers/i128/xor.out
+++ b/tests/expectations/compiler/integers/i128/xor.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 4629437cb260ce708192d45ee0ab72fa8a3e330a69b65cb433100191e9b1a25e
    unrolled_ast: 4629437cb260ce708192d45ee0ab72fa8a3e330a69b65cb433100191e9b1a25e
    ssa_ast: c126a83536a206eadf3d2d6e14b30a3ed0f249e77c74383986b99e62b97b6bcb
+    flattened_ast: 635e806a4a2da83b321efe9f03e349b1c9de73052814233975d1f8d7019fd670
--- a/tests/expectations/compiler/integers/i16/add.out
+++ b/tests/expectations/compiler/integers/i16/add.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 8bc1d352c484123f42022b2a4089be4d25cb9ed049a9b5f3157b54e4de8d3a51
    unrolled_ast: 8bc1d352c484123f42022b2a4089be4d25cb9ed049a9b5f3157b54e4de8d3a51
    ssa_ast: fbd880e8e5aedc0fb447f7aa98129e96f341f8758034542bf47799b32dcaf8b1
+    flattened_ast: bff6f5003f67469770aae4653f71cc7d747bf3e1061dc8e78820ba02cca2c8d6
--- a/tests/expectations/compiler/integers/i16/and.out
+++ b/tests/expectations/compiler/integers/i16/and.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 2d1a0262672e770d11fdf1332e6546657c66a6f86e10ad2430c7a2b942bfca50
    unrolled_ast: 2d1a0262672e770d11fdf1332e6546657c66a6f86e10ad2430c7a2b942bfca50
    ssa_ast: b69341d4a6c0138ba51853fdcc949caf0e441e4e1fec8ce46db26a3a74adb6e0
+    flattened_ast: 2f75e398b83289e4449d00f011e9c279ae9d9c4e1022678e8f8e5b9a9225f299
--- a/tests/expectations/compiler/integers/i16/console_assert.out
+++ b/tests/expectations/compiler/integers/i16/console_assert.out
@ -7,3 +7,4 @@ outputs:
    initial_ast: 75d8f8ba03b8983f8c6a199712d0aa273a1ba6a4555866b4381cda179dd486d5
    unrolled_ast: 75d8f8ba03b8983f8c6a199712d0aa273a1ba6a4555866b4381cda179dd486d5
    ssa_ast: f5a05c3603e1e70e376f827ebd8e46a465dd25dbbf1da9e9948a695aa3505d5e
+    flattened_ast: 10aec83048fc11d5f0079a61bedfdd9dd8f41f3d91680e663fe97ee2eeaae0fc
--- a/Show More
+++ b/Show More