Merge with testnet3.

compiler/ast/src/passes/reconstructor.rs

@@ -184,7 +184,6 @@ pub trait StatementReconstructor: ExpressionReconstructor {
 
     fn reconstruct_assign(&mut self, input: AssignStatement) -> Statement {
         Statement::Assign(Box::new(AssignStatement {
-            operation: input.operation,
             place: input.place,
             value: self.reconstruct_expression(input.value).0,
             span: input.span,

compiler/ast/src/statements/assign/mod.rs

@@ -14,97 +14,16 @@
 // You should have received a copy of the GNU General Public License
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
-use crate::{BinaryOperation, Expression, Node};
+use crate::{Expression, Node};
 use leo_span::Span;
 
 use serde::{Deserialize, Serialize};
 use std::fmt;
 
-/// The assignment operator.
+/// An assignment statement, `assignee = value`.
-#[derive(Clone, Copy, PartialEq, Eq, Serialize, Deserialize, Debug)]
+/// Note that there is no operation associated with the assignment.
-pub enum AssignOperation {
-    /// Plain assignment, `=`.
-    Assign,
-    /// Adding assignment, `+=`.
-    Add,
-    /// Subtracting assignment, `-=`.
-    Sub,
-    /// Multiplying assignment, `*=`.
-    Mul,
-    /// Dividing-assignment, `/=`.
-    Div,
-    /// Remaindering-assignment, `%=`.
-    Rem,
-    /// Exponentiating assignment `**=`.
-    Pow,
-    /// Logical or assignment `||=`.
-    Or,
-    /// Logical and assignment `&&=`.
-    And,
-    /// Bitwise or assignment `|=`.
-    BitOr,
-    /// Bitwise and assignment `&=`.
-    BitAnd,
-    /// Bitwise xor assignment `^=`.
-    BitXor,
-    /// Shift right assignment `>>=`.
-    Shr,
-    // /// Signed shift right assignment.
-    // ShrSigned,
-    /// Shift left assignment `<<=`.
-    Shl,
-}
-
-impl AssignOperation {
-    pub fn into_binary_operation(assign_op: AssignOperation) -> Option<BinaryOperation> {
-        match assign_op {
-            AssignOperation::Assign => None,
-            AssignOperation::Add => Some(BinaryOperation::Add),
-            AssignOperation::Sub => Some(BinaryOperation::Sub),
-            AssignOperation::Mul => Some(BinaryOperation::Mul),
-            AssignOperation::Div => Some(BinaryOperation::Div),
-            AssignOperation::Rem => Some(BinaryOperation::Rem),
-            AssignOperation::Pow => Some(BinaryOperation::Pow),
-            AssignOperation::Or => Some(BinaryOperation::Or),
-            AssignOperation::And => Some(BinaryOperation::And),
-            AssignOperation::BitOr => Some(BinaryOperation::BitwiseOr),
-            AssignOperation::BitAnd => Some(BinaryOperation::BitwiseAnd),
-            AssignOperation::BitXor => Some(BinaryOperation::Xor),
-            AssignOperation::Shr => Some(BinaryOperation::Shr),
-            // AssignOperation::ShrSigned => Some(BinaryOperation::ShrSigned),
-            AssignOperation::Shl => Some(BinaryOperation::Shl),
-        }
-    }
-}
-
-impl AsRef<str> for AssignOperation {
-    fn as_ref(&self) -> &'static str {
-        match self {
-            AssignOperation::Assign => "=",
-            AssignOperation::Add => "+=",
-            AssignOperation::Sub => "-=",
-            AssignOperation::Mul => "*=",
-            AssignOperation::Div => "/=",
-            AssignOperation::Rem => "%=",
-            AssignOperation::Pow => "**=",
-            AssignOperation::Or => "||=",
-            AssignOperation::And => "&&=",
-            AssignOperation::BitOr => "|=",
-            AssignOperation::BitAnd => "&=",
-            AssignOperation::BitXor => "^=",
-            AssignOperation::Shr => ">>=",
-            // AssignOperation::ShrSigned => ">>>=",
-            AssignOperation::Shl => "<<=",
-        }
-    }
-}
-
-/// An assignment statement, `assignee operation? = value`.
 #[derive(Clone, PartialEq, Eq, Serialize, Deserialize, Debug)]
 pub struct AssignStatement {
-    /// The assignment operation.
-    /// For plain assignment, use `AssignOperation::Assign`.
-    pub operation: AssignOperation,
     /// The place to assign to.
     pub place: Expression,
     /// The value to assign to the `assignee`.
@@ -115,7 +34,7 @@ pub struct AssignStatement {
 
 impl fmt::Display for AssignStatement {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-        write!(f, "{} {} {};", self.place, self.operation.as_ref(), self.value)
+        write!(f, "{} = {};", self.place, self.value)
     }
 }
 

compiler/parser/src/parser/statement.rs

@@ -55,32 +55,44 @@ impl ParserContext<'_> {
         let place = self.parse_expression()?;
 
         if self.eat_any(ASSIGN_TOKENS) {
+            // Determine the corresponding binary operation for each token, if it exists.
             let operation = match &self.prev_token.token {
-                Token::Assign => AssignOperation::Assign,
+                Token::Assign => None,
-                Token::AddAssign => AssignOperation::Add,
+                Token::AddAssign => Some(BinaryOperation::Add),
-                Token::SubAssign => AssignOperation::Sub,
+                Token::SubAssign => Some(BinaryOperation::Sub),
-                Token::MulAssign => AssignOperation::Mul,
+                Token::MulAssign => Some(BinaryOperation::Mul),
-                Token::DivAssign => AssignOperation::Div,
+                Token::DivAssign => Some(BinaryOperation::Div),
-                Token::RemAssign => AssignOperation::Rem,
+                Token::RemAssign => Some(BinaryOperation::Rem),
-                Token::PowAssign => AssignOperation::Pow,
+                Token::PowAssign => Some(BinaryOperation::Pow),
-                Token::OrAssign => AssignOperation::Or,
+                Token::OrAssign => Some(BinaryOperation::Or),
-                Token::AndAssign => AssignOperation::And,
+                Token::AndAssign => Some(BinaryOperation::And),
-                Token::BitAndAssign => AssignOperation::BitAnd,
+                Token::BitAndAssign => Some(BinaryOperation::BitwiseAnd),
-                Token::BitOrAssign => AssignOperation::BitOr,
+                Token::BitOrAssign => Some(BinaryOperation::BitwiseOr),
-                Token::BitXorAssign => AssignOperation::BitXor,
+                Token::BitXorAssign => Some(BinaryOperation::Xor),
-                Token::ShrAssign => AssignOperation::Shr,
+                Token::ShrAssign => Some(BinaryOperation::Shr),
-                Token::ShlAssign => AssignOperation::Shl,
+                Token::ShlAssign => Some(BinaryOperation::Shl),
                 _ => unreachable!("`parse_assign_statement` shouldn't produce this"),
             };
 
             let value = self.parse_expression()?;
             self.expect(&Token::Semicolon)?;
-            Ok(Statement::Assign(Box::new(AssignStatement {
+
-                span: place.span() + value.span(),
+            // Construct the span for the statement.
-                place,
+            let span = place.span() + value.span();
-                operation,
+
-                value,
+            // Simplify complex assignments into simple assignments.
-            })))
+            // For example, `x += 1` becomes `x = x + 1`, while simple assignments like `x = y` remain unchanged.
+            let value = match operation {
+                None => value,
+                Some(op) => Expression::Binary(BinaryExpression {
+                    left: Box::new(place.clone()),
+                    right: Box::new(value),
+                    op,
+                    span,
+                }),
+            };
+
+            Ok(Statement::Assign(Box::new(AssignStatement { span, place, value })))
         } else {
             // Error on `expr;` but recover as an empty block `{}`.
             self.expect(&Token::Semicolon)?;

compiler/passes/src/static_single_assignment/mod.rs

@@ -17,7 +17,6 @@
 //! The Static Single Assignment pass traverses the AST and converts it into SSA form.
 //! See https://en.wikipedia.org/wiki/Static_single-assignment_form for more information.
 //! The pass also flattens `ConditionalStatement`s into a sequence of `AssignStatement`s.
-//! The pass also rewrites complex `AssignStatement`s into simpler ones. e.g x += 1 -> x = x + 1.
 //! The pass also rewrites `ReturnStatement`s into `AssignStatement`s and consolidates the returned values as a single `ReturnStatement` at the end of the function.
 //!
 //! Consider the following Leo code.

compiler/passes/src/static_single_assignment/rename_statement.rs

@@ -17,9 +17,9 @@
 use crate::{RenameTable, StaticSingleAssigner};
 
 use leo_ast::{
-    AssignOperation, AssignStatement, BinaryExpression, BinaryOperation, Block, ConditionalStatement,
+    AssignStatement, BinaryExpression, BinaryOperation, Block, ConditionalStatement, DefinitionStatement, Expression,
-    DefinitionStatement, Expression, ExpressionReconstructor, Identifier, Node, ReturnStatement, Statement,
+    ExpressionReconstructor, Identifier, Node, ReturnStatement, Statement, StatementReconstructor, TernaryExpression,
-    StatementReconstructor, TernaryExpression, UnaryExpression, UnaryOperation,
+    UnaryExpression, UnaryOperation,
 };
 use leo_span::Symbol;
 
@@ -70,23 +70,10 @@ impl StatementReconstructor for StaticSingleAssigner<'_> {
         )
     }
 
-    /// Transform all `AssignStatement`s to simple `AssignStatement`s.
+    /// Reconstruct all `AssignStatement`s, renaming as necessary.
-    /// For example,
-    ///   `x += y * 3` becomes `x = x + (y * 3)`
-    ///   `x &= y | 1` becomes `x = x & (y | 1)`
-    ///   `x = y + 3` remains `x = y + 3`
     fn reconstruct_assign(&mut self, assign: AssignStatement) -> Statement {
         // First reconstruct the right-hand-side of the assignment.
-        let value = match assign.operation {
+        let value = self.reconstruct_expression(assign.value).0;
-            AssignOperation::Assign => self.reconstruct_expression(assign.value).0,
-            // Note that all `AssignOperation`s except for the `Assign` variant have an equivalent `BinaryOperation`.
-            _ => Expression::Binary(BinaryExpression {
-                left: Box::new(self.reconstruct_expression(assign.place.clone()).0),
-                right: Box::new(self.reconstruct_expression(assign.value).0),
-                op: AssignOperation::into_binary_operation(assign.operation).unwrap(),
-                span: assign.span,
-            }),
-        };
 
         // Then assign a new unique name to the left-hand-side of the assignment.
         // Note that this order is necessary to ensure that the right-hand-side uses the correct name when reconstructing a complex assignment.

compiler/passes/src/static_single_assignment/static_single_assigner.rs

@@ -18,7 +18,7 @@ use crate::RenameTable;
 use std::fmt::Display;
 
 use leo_ast::{
-    AssignOperation, AssignStatement, ConditionalStatement, Expression, ExpressionReconstructor, Identifier, Statement,
+    AssignStatement, ConditionalStatement, Expression, ExpressionReconstructor, Identifier, Statement,
     StatementReconstructor,
 };
 use leo_errors::emitter::Handler;
@@ -64,7 +64,6 @@ impl<'a> StaticSingleAssigner<'a> {
     /// Constructs the assignment statement `place = expr;`.
     pub(crate) fn simple_assign_statement(place: Expression, value: Expression) -> Statement {
         Statement::Assign(Box::new(AssignStatement {
-            operation: AssignOperation::Assign,
             place,
             value,
             span: Default::default(),

tests/compiler/statements/inputs/shift_and_pow.in

@@ -0,0 +1,11 @@
+[unsigned]
+a: u8 = 1u8;
+b: u8 = 2u8;
+c: u8 = 3u8;
+d: u8 = 4u8;
+
+[signed]
+a: i8 = 1i8;
+b: u8 = 2u8;
+c: u8 = 3u8;
+d: u8 = 4u8;

tests/compiler/statements/operations/pow_assign.leo

@@ -1,13 +1,22 @@
 /*
 namespace: Compile
 expectation: Pass
-input_files: ../inputs/u8.in
+input_files: ../inputs/shift_and_pow.in
 */
 
 @program
-function main(a: u8) -> u8 {
+function unsigned(a: u8, b: u8, c: u16, d: u32) -> u8 {
-    let b: u8 = 1u8;
+    a **= b;
-    b **= a;
+    a **= c;
+    a **= d;
 
-    return b;
+    return a;
+}
+
+function signed(a: i8, b: u8, c: u16, d: u32) -> i8 {
+    a **= b;
+    a **= c;
+    a **= d;
+
+    return a;
 }

tests/compiler/statements/operations/shl_assign.leo

@@ -1,13 +1,22 @@
 /*
 namespace: Compile
 expectation: Pass
-input_files: ../inputs/u8.in
+input_files: ../inputs/shift_and_pow.in
 */
 
 @program
-function main(a: u8) -> u8 {
+function unsigned(a: u8, b: u8, c: u16, d: u32) -> u8 {
-    let b: u8 = 1u8;
+    a <<= b;
-    b <<= a;
+    a <<= c;
+    a <<= d;
 
-    return b;
+    return a;
+}
+
+function signed(a: i8, b: u8, c: u16, d: u32) -> i8 {
+    a <<= b;
+    a <<= c;
+    a <<= d;
+
+    return a;
 }

tests/compiler/statements/operations/shr_assign.leo

@@ -1,13 +1,22 @@
 /*
 namespace: Compile
 expectation: Pass
-input_files: ../inputs/u8.in
+input_files: ../inputs/shift_and_pow.in
 */
 
 @program
-function main(a: u8) -> u8 {
+function unsigned(a: u8, b: u8, c: u16, d: u32) -> u8 {
-    let b: u8 = 1u8;
+    a >>= b;
-    b >>= a;
+    a >>= c;
+    a >>= d;
 
-    return b;
+    return a;
+}
+
+function signed(a: i8, b: u8, c: u16, d: u32) -> i8 {
+    a >>= b;
+    a >>= c;
+    a >>= d;
+
+    return a;
 }

tests/expectations/compiler/address/binary.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ef995e1b03c6e17ab0a2f908f4cd7957ea281fdc38834cbaed1dac75086b6eef
     initial_ast: e03d13cbc587a6d151c78e5de0671e5c4a210626fa1f4c2a648a78656541795a
     unrolled_ast: e03d13cbc587a6d151c78e5de0671e5c4a210626fa1f4c2a648a78656541795a
-    ssa_ast: 4cce2da78e4b7f3bc1ab0c1594507b793269c28221900f4c8c3bd2ebe3b4c3e9
+    ssa_ast: 50d90de0d55bc4d1f3a6019a5be2c451f34f527ad557e7fcae69b23c89b89168

tests/expectations/compiler/address/branch.out

@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: 8a386677fc570d7f57e8e5259334608ddef2d04d55e1aea9aa591c1d95bc84b7
-    initial_ast: 1b6b8afa3080f9aee466769758439b34678b3ee108e76e90820434ec29a46061
+    initial_ast: 7d45de597ab6b8d40b0d16e5e870f40abb988b13c1acbb600f7810677b1cdc60
-    unrolled_ast: 1b6b8afa3080f9aee466769758439b34678b3ee108e76e90820434ec29a46061
+    unrolled_ast: 7d45de597ab6b8d40b0d16e5e870f40abb988b13c1acbb600f7810677b1cdc60
-    ssa_ast: 1033d3e32ddc1e836c9818a97b96ad806950f630e04cc6999346ce017a3f470b
+    ssa_ast: 4b2091eff9598339e614fc3c4d81a4b9368e1822f4a4cbc2e198ec3730a1f28e

tests/expectations/compiler/address/equal.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 7223f540c91cd639cc122936a41fc896f821e2d57c9f6f086eb4d555dc9c9217
     initial_ast: 4c089e5cf54b0e179bd9ad45c61b42eaa7e2b3e01731e7687751bc7028f560db
     unrolled_ast: 4c089e5cf54b0e179bd9ad45c61b42eaa7e2b3e01731e7687751bc7028f560db
-    ssa_ast: 44dc04b1e2e31566989e2e486b753e3cb76ffbfaa1cc4cbe0c4bbc8d616596d7
+    ssa_ast: 8afe8c4445e1896b5588a2d7da3864859feb1ca605bfa3db268c838193141bb5

tests/expectations/compiler/address/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 079946da42e7c73ef17f4385e8ca310259a5e0f1e6471abee30b6175f413e480
     initial_ast: c1fae7787725582a0a1023c4d9d8ade74df9c1bf763afd9ae55db25991e40a0d
     unrolled_ast: c1fae7787725582a0a1023c4d9d8ade74df9c1bf763afd9ae55db25991e40a0d
-    ssa_ast: 40cb4f4eddc22bcd08b0069e330a6066cedbe09bbd54da29b974a90b67354207
+    ssa_ast: f414d0e40ccaee1ae59f8fdd9d6056bf5b54a4aa1c4c9a844e82364b5842b740

tests/expectations/compiler/boolean/operator_methods.out

@@ -9,4 +9,4 @@ outputs:
       - initial_input_ast: 07a295a1403e9020a1fb03ddcaf92b18a3237d1d4ad70b1549db77f1e2d1e6b0
     initial_ast: fc62a609a2356f831632ee3cb4988d5caabd9a1fb94947978a66de3f27dcc79a
     unrolled_ast: fc62a609a2356f831632ee3cb4988d5caabd9a1fb94947978a66de3f27dcc79a
-    ssa_ast: 11d4c55e50e8838e9710a17ef0e0ebdf78a1705b78b09d8e5aff294641c3357b
+    ssa_ast: 14430071af1de6ce570e3ec6ebd93a48db0652b4b8a93ad987b1545b27b8a5d0

tests/expectations/compiler/circuits/inline.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: no input
     initial_ast: 42b05cc1bf023a01dd8f8e2ae9269ebea9d33d9e33f2817700947882de3a68d6
     unrolled_ast: 42b05cc1bf023a01dd8f8e2ae9269ebea9d33d9e33f2817700947882de3a68d6
-    ssa_ast: dac2eb52093dfee38c65602b289cccee18e5e73784968eadb2ba99415121bb29
+    ssa_ast: 8393011c629a3b5e4916744d7ad11cb04e5859608f98f134acbb8f4b489bce3c

tests/expectations/compiler/circuits/member_variable.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3ad7f9e1a4aa5edb8ab4cc1eb0d4baa189f8d388eb90565a269098cee9b06d3c
     initial_ast: dbf04a84f2365baaba791dc1e55efdbbaff17159e04506a0cb4678a6ea5e6c5f
     unrolled_ast: dbf04a84f2365baaba791dc1e55efdbbaff17159e04506a0cb4678a6ea5e6c5f
-    ssa_ast: 77c8d4f65f46d58a54696ffc5e6802d9b06e3d031cbabbf7d8cb8e882ed5b460
+    ssa_ast: e550a6a7bd2b01a57065db34ce68144a30ce42f2077888795ddaa79ce81291ac

tests/expectations/compiler/console/log_conditional.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 518590e47d3c1eefd56a4b20dee801e1149974bbec280afed58a8c1960b74485
     initial_ast: 5a8395f339c4e2c3614c478fb3bd1841f4fb711aa60c39b94c6576c2788a7354
     unrolled_ast: 5a8395f339c4e2c3614c478fb3bd1841f4fb711aa60c39b94c6576c2788a7354
-    ssa_ast: 8419ecf2a7b726168125ef25694c4a6ebd0d6a2571d76e86f1f47ac9ad43ebfb
+    ssa_ast: e7d52a59e25fe61e60bf751a80312b40e46c1d67e1bfc442643bf0a87ef22569

tests/expectations/compiler/core/algorithms/bhp1024_commit.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 43992721d507407a33d10f3afff1a090bb2ec0471e95e575f24cefc1fc7bf2ff
     initial_ast: cd6f620d1b50c366e79eaa9b4a80bd9ce6060239cb2ae5c2eb241b8206e52f01
     unrolled_ast: cd6f620d1b50c366e79eaa9b4a80bd9ce6060239cb2ae5c2eb241b8206e52f01
-    ssa_ast: adc36eeb066e9f93098d6f7a46a0a7746d927e4b53df15b76326d1e027a365d8
+    ssa_ast: 460516746a59780de3935221797c236a7bad2e475a8078a30a809403c67836ae

tests/expectations/compiler/core/algorithms/bhp1024_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 4e49ec4d638b46ab5f86cdc3a490f0a9074ed71065bfe39e4c3400fa7e7d729b
     initial_ast: af858f851dfec04c4d206755aa91b0ab701a13cbffa77a88c93a7a6a4483ebf3
     unrolled_ast: af858f851dfec04c4d206755aa91b0ab701a13cbffa77a88c93a7a6a4483ebf3
-    ssa_ast: bcd928bfa64b5df16d952fe857584ca05c9da3cbb598d0252ef312e35f2b6e1e
+    ssa_ast: 9adff39c81008da0d1152fe1f8bca8d1c106e793fafbc05ba3778c351b2ea391

tests/expectations/compiler/core/algorithms/bhp256_commit.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: e57e2971deec32a3b718fd4acc86c7d71fc2acbdba6c81f28c2a510b3fa64947
     initial_ast: 0f356614fca7d35440b1c677d973a166009b0b2e8c09ec6445f542dd5baaddd9
     unrolled_ast: 0f356614fca7d35440b1c677d973a166009b0b2e8c09ec6445f542dd5baaddd9
-    ssa_ast: fa2ff20c3103ea3ee5af433e82764c54b38a4eaf87f978c19fba55a519559715
+    ssa_ast: a11cb24779cce1859966931b08208aaa9cd8db6cdceb7f7e27246678a92ff748

tests/expectations/compiler/core/algorithms/bhp256_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a76e3cbec17567bc7e5f8377c10fd50c145ab29ef6f915dd867c398412d9715b
     initial_ast: d62b24b6e20445b7a669320bc023d2f8f74ae3dfeaf4cba935760e11b5b98ff1
     unrolled_ast: d62b24b6e20445b7a669320bc023d2f8f74ae3dfeaf4cba935760e11b5b98ff1
-    ssa_ast: 30f29dd214135e6a1c31c6b89b359e865549075bb3653a35ab7cac1e74eb33f0
+    ssa_ast: 5b29bf98344df84d0fcf41e0c10c64f1eddff792260c3f0104ef2a20834a9001

tests/expectations/compiler/core/algorithms/bhp512_commit.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: e57e2971deec32a3b718fd4acc86c7d71fc2acbdba6c81f28c2a510b3fa64947
     initial_ast: 2bd84fb0d42145c35bd237786c3bc551047c7e07d93007adc5c660c3cc81e00b
     unrolled_ast: 2bd84fb0d42145c35bd237786c3bc551047c7e07d93007adc5c660c3cc81e00b
-    ssa_ast: b4b4c3bf9df004da6fc410bd547b38c78593845bfecab82e46ba804d769ea6c6
+    ssa_ast: 393594ff11f2cda5ba5ca5f4638dfc1b976cbced62c26414cb6f3787bc59650b

tests/expectations/compiler/core/algorithms/bhp512_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a76e3cbec17567bc7e5f8377c10fd50c145ab29ef6f915dd867c398412d9715b
     initial_ast: ebf8a008fb067b77d7483defca92ecfddd245f73f62470d99b06c4f82c7ef4fd
     unrolled_ast: ebf8a008fb067b77d7483defca92ecfddd245f73f62470d99b06c4f82c7ef4fd
-    ssa_ast: ab0ce952330504480743ae648e1f75265cc590735a6305cadeb9e87e891328f1
+    ssa_ast: 0ff15ecd2fe1e688bf2de9ca9ce5d28fbef3eb96d4277a1e8e907b5418e5fc56

tests/expectations/compiler/core/algorithms/bhp768_commit.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: e57e2971deec32a3b718fd4acc86c7d71fc2acbdba6c81f28c2a510b3fa64947
     initial_ast: c6609dd05a455d442e77e74d9674fe0b78f058ea7d39bd613cd0a3ed1fa8b737
     unrolled_ast: c6609dd05a455d442e77e74d9674fe0b78f058ea7d39bd613cd0a3ed1fa8b737
-    ssa_ast: 07a8ef2b38088733016dfad26fbe7dde7db59b0c705595ff3f317aa65342c2e3
+    ssa_ast: 713254e721a386bf17b91ae94815d344cb0e1e186b05dfbd8b976da2555c6bf7

tests/expectations/compiler/core/algorithms/bhp768_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a76e3cbec17567bc7e5f8377c10fd50c145ab29ef6f915dd867c398412d9715b
     initial_ast: 253c0b07c4c4dbe54760158ff1d49636694e544805c492182bdea4868c8fbc10
     unrolled_ast: 253c0b07c4c4dbe54760158ff1d49636694e544805c492182bdea4868c8fbc10
-    ssa_ast: 7c0c4ee59f073c6a8cd66ff1c169c28afa55d8b12dbd3f200f4db7235766a5f8
+    ssa_ast: 835158424ce3d9b44cfa2a14e1e9b2bec1d2fbe245f4b17906bfa171242b4357

tests/expectations/compiler/core/algorithms/pedersen128_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 2b3b80f8bbbc37a19b90063fc5aef3ede42acae5cd7c283e112de1f9379cb3ff
     initial_ast: 205bd154440ab96e5dece07a2502163fa5af0c71fdd77de5a63701c5f1253321
     unrolled_ast: 205bd154440ab96e5dece07a2502163fa5af0c71fdd77de5a63701c5f1253321
-    ssa_ast: ab7e3c6d95dec88c9c98dc3632dee793473b45bbc3c6983385ff6507545f4051
+    ssa_ast: 05c7ffce246d0327645a88a24a01bad8a8aa2fdb99cd2d6b08857fd055f17f69

tests/expectations/compiler/core/algorithms/pedersen64_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: f037dfade413579955a2e52e6e96b71427af03d7defe97d47df88b0c73ca3690
     initial_ast: ca217c6f3aea50ceb8950ca5800e024aed65541460d32e4525b786297a35badf
     unrolled_ast: ca217c6f3aea50ceb8950ca5800e024aed65541460d32e4525b786297a35badf
-    ssa_ast: ab62f40e95b4688b42c64827d93fd2042a51a1eca42e60043aee68ce450b7d28
+    ssa_ast: fbf68197740665762e53fe739fc22ba921785e1aeba945c9f0093fc7a9f2fd43

tests/expectations/compiler/core/algorithms/poseidon2_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 8c4833854e62c3d51519f2858909f9c64e9864a11f55a82c8f7e7f6bd02fa823
     initial_ast: 1861d68bda8e64e4407e6da2418d6133bd032cbe454b400403ac1541ef5a38b2
     unrolled_ast: 1861d68bda8e64e4407e6da2418d6133bd032cbe454b400403ac1541ef5a38b2
-    ssa_ast: cebf47e8504b465efe0955fc9f13c0f491c4b9356e3ab4eab01bd19ea1bce4f0
+    ssa_ast: 97480918a106fea32ce19bced3ec6bb4516e29ad928826729cc32df5601e80eb

tests/expectations/compiler/core/algorithms/poseidon4_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 8c4833854e62c3d51519f2858909f9c64e9864a11f55a82c8f7e7f6bd02fa823
     initial_ast: 6dbc7a6ea98ab36210dbe32f1d1e1634491d9c04ac5865ac1e3f486447f5f329
     unrolled_ast: 6dbc7a6ea98ab36210dbe32f1d1e1634491d9c04ac5865ac1e3f486447f5f329
-    ssa_ast: 3a75ccf6bf75807625b109b6d355c1e174e535423fc459a1f3e40c4a21bac69c
+    ssa_ast: bdbec8dc3f59954988a07ca7853ccb0982a8673ddb09f2f36a4ccfd005b786a6

tests/expectations/compiler/core/algorithms/poseidon8_hash.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 8c4833854e62c3d51519f2858909f9c64e9864a11f55a82c8f7e7f6bd02fa823
     initial_ast: 1ad15ca1e28d97305f3c1bdf0ee7fdd32ab3623b08c4934545adeb56463fd0ef
     unrolled_ast: 1ad15ca1e28d97305f3c1bdf0ee7fdd32ab3623b08c4934545adeb56463fd0ef
-    ssa_ast: e45655b1366216d7e988246ff7ba08f937754f074b491d91cc5d81be5708f084
+    ssa_ast: 4a6b3f37df80c57ba14b9f579106707f3a025102a9cd0b151828145a03a3f222

tests/expectations/compiler/field/field.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 1bd243c2ca8a51ee50f45823a283d506ee506e168e5332af8c271ef6b52468a4
     initial_ast: 8f3291c9f247ef9d6d7a216facefa57f7656f81c66dd54ca5596ca4c2b790c3f
     unrolled_ast: 8f3291c9f247ef9d6d7a216facefa57f7656f81c66dd54ca5596ca4c2b790c3f
-    ssa_ast: 5c6c001e4d5e121e95a9604b7b5c8530035534df02b02e4a7b2327c936241135
+    ssa_ast: d4e912e1838c1a86320d4b238fb1e1d03c2d9cb84e13053cdeed5a4e5ddd617a

tests/expectations/compiler/field/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ea8e9817122af3fa825b175438a1af4943d31c5c893a3af31b96964f80ec5850
     initial_ast: 94ddaffb90130b95f8b0657c2453564172fcdd78e5a4857bbf443ad01edfcc82
     unrolled_ast: 94ddaffb90130b95f8b0657c2453564172fcdd78e5a4857bbf443ad01edfcc82
-    ssa_ast: 6ba671bd7c56772b4188aa649be9d73f622135f19b6c90226f4adee9dc2783a6
+    ssa_ast: 6667f55eecf592cb61cc723503b315476d5b2419618c62ca390d5b061e49df88

tests/expectations/compiler/field/pow.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 30267abd65849fc218532e602d0e60eefb1dd235972106400258e3d9e54c2c10
     initial_ast: 22a2f4609c5fa53703714db784cf6028eb8a197e2ee9ccfaf5cf21de45bc64c8
     unrolled_ast: 22a2f4609c5fa53703714db784cf6028eb8a197e2ee9ccfaf5cf21de45bc64c8
-    ssa_ast: a35c482fca577563f7cfc5f55c81e0262b4ec83384f555b624f50ff31ddb0967
+    ssa_ast: bb6625653ce37081e3d12b4d665ead6bc625acaf67e0010858f34dbf1eaa553d

tests/expectations/compiler/function/conditional_return.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: fd4851f6581155b1e1f63488d141006413b52e2df042673193e838813134c8f8
     initial_ast: 3b2b884072048267d8433cb3d0d720823fe591c776066d13b4f433468808eef1
     unrolled_ast: 3b2b884072048267d8433cb3d0d720823fe591c776066d13b4f433468808eef1
-    ssa_ast: 162f47220db7211933cea796a0161f7805bd01829d3050da42ccd3cfc3dfccfe
+    ssa_ast: e70d9df3b0cff002906ea599cb7c8873972d65fa5b3b7011f769fc496ff52b79

tests/expectations/compiler/group/group_mul.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 66b7c5856db24994113cd4b094c52c941630f0f4923eb13891a40f9bf9f49d53
     initial_ast: dd176e31e863225989c42e10f34e3a26b192cc955f1f16c3acefa5f3caefcfcd
     unrolled_ast: dd176e31e863225989c42e10f34e3a26b192cc955f1f16c3acefa5f3caefcfcd
-    ssa_ast: ca3add384b6ef6d6fdc02be39c43233ba4fdc11a27446d834dba9f4ad70d6426
+    ssa_ast: 8d5cb67122538bda563f1d042d43586b64ef6d3787792ab7c8f96cbe5d2279f0

tests/expectations/compiler/group/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 42e1554b8e61a0b38abc274aa0948ce145779aa163012954b2577081fd9b6310
     initial_ast: 0649008eaf4726ea03ca077a89d425015fb4f8f58c7b7323c67258cd94498597
     unrolled_ast: 0649008eaf4726ea03ca077a89d425015fb4f8f58c7b7323c67258cd94498597
-    ssa_ast: 36ebab5195b17819aab330c0bc300add306509a0803990213eb12c437d06c113
+    ssa_ast: 8e202c30373c700fd228184e62e81fcceacc84a2af061aef632752d218381f4f

tests/expectations/compiler/group/ternary.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 336580f3b1cd3da7ee881c492da25d869813eeaf9391a97b828ebdc259dca85d
     initial_ast: 052a82045ab5471f2f5bd6e1d881de7072a37c220b305e4f5a997b1a20945faa
     unrolled_ast: 052a82045ab5471f2f5bd6e1d881de7072a37c220b305e4f5a997b1a20945faa
-    ssa_ast: 7c6d94d75277ba1b0259bd3d700e59657e1984f14b74f9df48a62a42219692ab
+    ssa_ast: 2b482b48084d626c4219d8d9f1d8c9aaaa9b958b21e5cd20ab367282db56e97b

tests/expectations/compiler/group/x_and_y.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 6d52d239556a3f5040f33f7d915a1936af5c2517f075bcfdff81310bbe111e2d
     initial_ast: 0cc5f7329d6d91dea48eb7f1a574d3b95288a66918658b71221a376dc5c7fce6
     unrolled_ast: 0cc5f7329d6d91dea48eb7f1a574d3b95288a66918658b71221a376dc5c7fce6
-    ssa_ast: a638729744a22712136684d8e12ff7e69ff6d4fc895ff666ec91406d5ddfa1a1
+    ssa_ast: 7c204b318dcc04f236724897b085a9a034d1d846adf2afc6fb00d85d0bc2e6fa

tests/expectations/compiler/group/x_sign_high.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: cab4ec0e19e08134d51cd4c8546d13a6a0848c3d783e376473512ae558155443
     initial_ast: 12178b4e76a9a011b5bf629c48135cc1857a219d539dfccf4c279a9301b5ee42
     unrolled_ast: 12178b4e76a9a011b5bf629c48135cc1857a219d539dfccf4c279a9301b5ee42
-    ssa_ast: 50cbfd63b2acd43e88b7181c6ad0c2c65a84d13c05c2689de1acf9f14f64e69b
+    ssa_ast: b46d6918c9f83006bb1dce22a2db99d6fe4a120ca1d8b20ea3bc800fbca73fab

tests/expectations/compiler/group/x_sign_inferred.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: cab4ec0e19e08134d51cd4c8546d13a6a0848c3d783e376473512ae558155443
     initial_ast: c0c8b02c47e6a9a1d0202fa7eb929caac208d8cd89c8ad44aa2277543d5525c7
     unrolled_ast: c0c8b02c47e6a9a1d0202fa7eb929caac208d8cd89c8ad44aa2277543d5525c7
-    ssa_ast: 1300592eea1098693efc5d4bc3de424ebe027c77346f26ede651da564562aa76
+    ssa_ast: 4a290b56eeab5a5e72a1429d20359640881b81c06ccbbb8783e36c641ad1bc30

tests/expectations/compiler/group/x_sign_low.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: cab4ec0e19e08134d51cd4c8546d13a6a0848c3d783e376473512ae558155443
     initial_ast: e0ab1f81d67b0ca8e64cf9089ef2ff69e80bfbd9864f6b4bdaa8933336b4a4fa
     unrolled_ast: e0ab1f81d67b0ca8e64cf9089ef2ff69e80bfbd9864f6b4bdaa8933336b4a4fa
-    ssa_ast: 23465cb3a5f6f924ef018896f02462077409daec192e002e49f6594a7fe8ba16
+    ssa_ast: ece44cf038ac35153919a9826e7140e70cbce79a8ac8b831bf07264b35e154d5

tests/expectations/compiler/group/zero.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a220b4ebad69e490bf4a2471e4c4ecde9207f9806df90c3ba99f7f77d99eb97f
     initial_ast: 36b6abeb380c011b7d80985183c34b265d0438c2f2696d81db169d4d48fd3af3
     unrolled_ast: 36b6abeb380c011b7d80985183c34b265d0438c2f2696d81db169d4d48fd3af3
-    ssa_ast: 67b3f7e0b88b14317da58a0fc20562f47ac9991c681f16c862f70924cf395270
+    ssa_ast: 5da46a91223de5098749bf4144513bf8cc2b37f8d4a6b31e3a42382387179651

tests/expectations/compiler/integers/i128/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a9d656cd719217c9df4fe73c1f6293aa89575e8c2f7d5e89a48c2c292a3e5e06
     initial_ast: 5ab8123c554f609d580bdfe6594f1d21d4a8cea0c5acbd31b019a2502c0187c4
     unrolled_ast: 5ab8123c554f609d580bdfe6594f1d21d4a8cea0c5acbd31b019a2502c0187c4
-    ssa_ast: 13bb66b23646ef1fb357e487ab609f33519405d09d5619095f4d397ba8cb80bf
+    ssa_ast: 91c2aa12786c1eaa46d3b8198e19c4e0c4205ed5993a19368dd5e0e87ba4b55c

tests/expectations/compiler/integers/i128/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 0c988849087349f8f3fc79a2992efbb2d085c528c76f92f323efb856d678170c
     initial_ast: 127bd2f2dfc26310382ac2a45b3001e9f8a79f3fd9c6fcaaf03083fd59acf947
     unrolled_ast: 127bd2f2dfc26310382ac2a45b3001e9f8a79f3fd9c6fcaaf03083fd59acf947
-    ssa_ast: 8f0d226670b43779021da5374969779677bcf30c9896246a00daa26ed7b029a8
+    ssa_ast: fded1c4ff0a5c5adc5b286631206948b74639e304fff76ae5d3cab8c1b0992b6

tests/expectations/compiler/integers/i128/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 42d3d2a95ecf42808533fc38c7765957dd86f6d84679e6db05141f14078d1723
     initial_ast: a835c5cdf987d342c5fe92633a62939a513b7135acb8b0a7caafd369b3f197ff
     unrolled_ast: a835c5cdf987d342c5fe92633a62939a513b7135acb8b0a7caafd369b3f197ff
-    ssa_ast: 5e5565e081a7e1034289402b0436e3d05b9e644490fdbd7cb42eb20e112269fa
+    ssa_ast: 646087bb3a3332f84128e3f123ddadad7861447132e3060feeca1cd039b34cab

tests/expectations/compiler/integers/i128/negate_zero.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 5b85c589bd5729444d6aad8fa52e8f17f93b026a8e3991766fa304ed7a57aa78
     initial_ast: 09bcefee1e16874bfc4b1ff8722756e23d67135e2fd56014ed1905ba33936ed6
     unrolled_ast: 09bcefee1e16874bfc4b1ff8722756e23d67135e2fd56014ed1905ba33936ed6
-    ssa_ast: a3b33f2114db7b95ce2f73a064de9e42b5661ec7e238c7f216e9f1fafe65f47d
+    ssa_ast: 47309b2dadcacb59e23ecce52f295b04d832483bd2c597fe456c5288e426337f

tests/expectations/compiler/integers/i128/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 61eac183bae63ae8192f044c59a37feaea409f56b8c3c93bdeb00b8fb2e7dfb1
     initial_ast: 72b63e1fa3e176c6171fc99a7745cca6499f1282f53818e02d5397848e8a7ee2
     unrolled_ast: 72b63e1fa3e176c6171fc99a7745cca6499f1282f53818e02d5397848e8a7ee2
-    ssa_ast: 3cc3053847bb3d0d89651e6bc21311a035b053c003d3bd5a9a74d854d0f68491
+    ssa_ast: a5ecd348910ca4785a4f5754e4b5b45ab43742b2693556fd1648de0c47efc2cc

tests/expectations/compiler/integers/i128/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 7be5155718612a25f8eadba1a6e8cde45c7806ce99f4ede89a7a5acdfc5966ca
     initial_ast: 9146d98fbb82e6e0321a9a630b940993910aa29648c153be7a2330b95ae01e4e
     unrolled_ast: 9146d98fbb82e6e0321a9a630b940993910aa29648c153be7a2330b95ae01e4e
-    ssa_ast: 349d2c572807cd5623cf32765366ec3c8f2a61ae8498197a067af869b13217a3
+    ssa_ast: d7a6af105d6e8b4d0b2a0b6f452b97a6b9cfb52b7813d591c8a756f801267db4

tests/expectations/compiler/integers/i16/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 9986979e83203ebe5400f735d48cbeb65142f8b858a3b604c99b6e5d6bfeb167
     initial_ast: 0cff7268ed011d4658fe162cd2c788c79411970f36654341a486ddcae583d78f
     unrolled_ast: 0cff7268ed011d4658fe162cd2c788c79411970f36654341a486ddcae583d78f
-    ssa_ast: 06e13822a8a8b3b88373bd84244e92452861921e281b96b57028219b2c1c6fad
+    ssa_ast: ffdf060169c4a8c92815c0a33f18c07d770a4ee6cc3686ca8a95e90927998c46

tests/expectations/compiler/integers/i16/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 804fee09bda9b498b193d0fbc9654f078fa9fb09fd02f6ffe94d05d71ade52af
     initial_ast: 38f1802cc79a6fba93c5ffb3d6361e68cbdb5dd66f7f01e9d6166ba4894e5d29
     unrolled_ast: 38f1802cc79a6fba93c5ffb3d6361e68cbdb5dd66f7f01e9d6166ba4894e5d29
-    ssa_ast: 0b711d531cbec89a31177b2f92a63aee9c5db1112f088fbcf7b0007df73fd761
+    ssa_ast: e786d750aa26fb6399a1311c9afd31d20e56d990a34eb0343cb63b21c257b7e1

tests/expectations/compiler/integers/i16/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 41447babe412945bcb82a83876bfbf13a49da1bd175909bd66def5f983abc0fa
     initial_ast: ac2f6713a2372926514109f4800b95a371cb90f374c033872b5f3a72e065cd35
     unrolled_ast: ac2f6713a2372926514109f4800b95a371cb90f374c033872b5f3a72e065cd35
-    ssa_ast: c000e709f7f5b1c23767e9754e1842bdffbcfb07012de214fd4d9add08a94bcb
+    ssa_ast: c48dbcb655e0324971cc1dcec072fdd2608905a14aaa3df1c772d2ea0491de0b

tests/expectations/compiler/integers/i16/negate_zero.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d7efb950b283e8043cb74d699f193749324f2fb6714df5fde527c348f849a179
     initial_ast: 3c4c8b83883cb5eddce9517ff14019f6c6cc6febc6665c68f9c81c9f0b258b3c
     unrolled_ast: 3c4c8b83883cb5eddce9517ff14019f6c6cc6febc6665c68f9c81c9f0b258b3c
-    ssa_ast: 1612ce434b4e5e53d4af0cb2efb0a735bf35825d861014b4c44ffe30b454f441
+    ssa_ast: 6ded6b7f235aba8f94823a70c697438ad00658ca160283965387ed3ac43a7b2a

tests/expectations/compiler/integers/i16/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ecb03a6467deb3712193feffc2b7d3af04442b075671ecfaf36e932162a86e2a
     initial_ast: 72ee05afa4686d5a470bbadb0c4e08fb3133926b3139ec0df55399c605dd5044
     unrolled_ast: 72ee05afa4686d5a470bbadb0c4e08fb3133926b3139ec0df55399c605dd5044
-    ssa_ast: 5bb05e5360f0a4a3a114054c0ea7c11802d8a4540c8547ef066aec559ded2b15
+    ssa_ast: 767ac8c9e5b8a755bafc956d727d9adce7a38faf8075fcbb7807689088718d3e

tests/expectations/compiler/integers/i16/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 501a8b159c09d956d26e8665e582bb1a4cc603fad380e52f2132ddbee3034e16
     initial_ast: 605cd8f4935087f09446a44b168198286841bf5a075a86bbf674bb79f00b0851
     unrolled_ast: 605cd8f4935087f09446a44b168198286841bf5a075a86bbf674bb79f00b0851
-    ssa_ast: d895dfee5e1a2108600dcfdff3d2228bcc3d62bba300395c484d4f581be90f34
+    ssa_ast: d4768038ab0d620ee070cbee9ca4e34e18a725661e7a3e212a850878a11648aa

tests/expectations/compiler/integers/i32/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 39e705a9216291f52ce6053a6f28fa041ba65a79ffd01acd32052cdc9baaaf25
     initial_ast: 0f5309922dfbd54be92ecef3717fedc05acbabdfcd2b0e436b94e992b065db11
     unrolled_ast: 0f5309922dfbd54be92ecef3717fedc05acbabdfcd2b0e436b94e992b065db11
-    ssa_ast: 5453a15f5114c61cbc4296ecc6cc956adc7884843bc26cbce4f68b7dcf935768
+    ssa_ast: fc06fb1b617eef470c2a94023b6d2b71625b93e51cfe25670a3710b1b2292909

tests/expectations/compiler/integers/i32/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 257a1001521c3f8c50fa9698a12f1a70220d572fd99002e50f513a60cb09d719
     initial_ast: 879b50bc6c73616c72fe8d4d328b9885e45d312547e8e3fc7ebb4956526d4808
     unrolled_ast: 879b50bc6c73616c72fe8d4d328b9885e45d312547e8e3fc7ebb4956526d4808
-    ssa_ast: 357bcb440be19ff81b3c0020ac95dafd72c7de1b0cf00727aa5424856e62a6ab
+    ssa_ast: b37fa262aa6a16254ac9fd55be8c0ddf4411388c18f9be126d72239ac408cbd8

tests/expectations/compiler/integers/i32/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: b4483ea97ae93b05ca67ce2eb626c795b43deb35efbac286bbed4aca4b560861
     initial_ast: f644161dceb21060c338f07124ba790ba97b017096941e5ff6b51e4d3e9722b7
     unrolled_ast: f644161dceb21060c338f07124ba790ba97b017096941e5ff6b51e4d3e9722b7
-    ssa_ast: 994b62eed379c5ee95937164afd905abf204d93a38c022a3eaa03b1209c224c9
+    ssa_ast: b11c58719edbeb142feb1f4f58c3a7104fae69a7364479fa5c89b2f90d75047e

tests/expectations/compiler/integers/i32/negate_zero.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d7efb950b283e8043cb74d699f193749324f2fb6714df5fde527c348f849a179
     initial_ast: db3369fbc15d20ef7d16625dfd3a4304c911e1b7865516f776c16de83d42fe60
     unrolled_ast: db3369fbc15d20ef7d16625dfd3a4304c911e1b7865516f776c16de83d42fe60
-    ssa_ast: bdf44d2fe0bcef3e645af6e29e09b68ad24650a62eccb95306dc388f539ff98d
+    ssa_ast: 675ee8d8b919d90c1e9626965c6f129a0f49709d6535286218ddb708f742aa7f

tests/expectations/compiler/integers/i32/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: cb358ee9b480ffb3da9b28826142166b899c35ee2e1db08501cb6b77af8e7cf5
     initial_ast: a9689ec9022d420a6e868010ffa615362727444cd27c4ad96f12ca0efc3e28db
     unrolled_ast: a9689ec9022d420a6e868010ffa615362727444cd27c4ad96f12ca0efc3e28db
-    ssa_ast: 235d1780c264f546ccc20a175f36a8d6f68bfb5016f028eac8ad593911f207e9
+    ssa_ast: 3923daddaaf15c0e03af1ce73cf52e35fde8566bf23c4bc9ae8fab5ea155d15e

tests/expectations/compiler/integers/i32/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: ec2c6839989988dc1c8e299c62401fc3b9fb5142932db597aa118d513b3e702d
     initial_ast: 1287e489a48316557188db8521745a56c0ec9b32f64af5f4a9b1ded84eabb896
     unrolled_ast: 1287e489a48316557188db8521745a56c0ec9b32f64af5f4a9b1ded84eabb896
-    ssa_ast: ecca8b21598fe1e67996372db5dd2cb61740467df35f8a73e6ab83dfb6f36b43
+    ssa_ast: 66b0044b71e082dea89e12a36f97f500949fd01d0d3addd6aa1cc67f899cbe50

tests/expectations/compiler/integers/i64/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: f6c9e2d6a8e9a823ba6a2beb20ffb74e6276c45131e381082c47cf3b022a4534
     initial_ast: 7f9df25ff813674f7dca7f3ad73c44b072b7b17ecca4a414ba8487c53669d631
     unrolled_ast: 7f9df25ff813674f7dca7f3ad73c44b072b7b17ecca4a414ba8487c53669d631
-    ssa_ast: b0e395dd0cd528b41e58367584dfbaa63a50601a9505c12401826fa35ba104ac
+    ssa_ast: f13d071066752ba4587b7586be33e63f01a2cd3873b578d852aca96195d39720

tests/expectations/compiler/integers/i64/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 81f8d84c4b1c0f7a462567ce341c2e09113d82e3d9dc34712cf9f26048f10678
     initial_ast: 6ba934d78972e708812e8c38fbf1801f9325a0b29fda0df47e5ce648ff6ecf7f
     unrolled_ast: 6ba934d78972e708812e8c38fbf1801f9325a0b29fda0df47e5ce648ff6ecf7f
-    ssa_ast: d536f7916b0312dd95ff866daef0394a7d89e172d7aeb14bfeec1ec7ef359485
+    ssa_ast: 5dd610f417304b401a288ae7109fab3177033edf5c23ad417ad00f0e4e721ed8

tests/expectations/compiler/integers/i64/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: b3b2f3490a1151c22fee2d9df5a0d82783701dd70b6c2b4fd9ca3e69490783bb
     initial_ast: e5000099c14e87137d2f2bc669edb80ef9c9827f165147cba121e17db302e9d5
     unrolled_ast: e5000099c14e87137d2f2bc669edb80ef9c9827f165147cba121e17db302e9d5
-    ssa_ast: ca9eec4104541dbf592d7debff8561e3689bb0857a68a11e31f664ed7d459971
+    ssa_ast: 9837dae3084030b34fc9f3cd5c5ad78928ce6481c548d9dfca6aef4f0a01f25f

tests/expectations/compiler/integers/i64/negate_zero.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d7efb950b283e8043cb74d699f193749324f2fb6714df5fde527c348f849a179
     initial_ast: 29324e0ab75025298715518a3626006de8cbf3f105a940474bda85dd27c33086
     unrolled_ast: 29324e0ab75025298715518a3626006de8cbf3f105a940474bda85dd27c33086
-    ssa_ast: a5b423f7d2877088d64857f7a1bd486f28992a41c3217ffc07068f69651df631
+    ssa_ast: a912372a7f1477bde5253ebe910dfc8f0f6dabe733e1cf8c162ecd26fc5c4c9e

tests/expectations/compiler/integers/i64/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ed44bf24f3cbad10f77985da1b969b1ebebfbb35f07b81a83086457d81b7aa08
     initial_ast: 331549161c420dfe744c90f719a2f3b3060304d27af67d245cc27e0ae80c40aa
     unrolled_ast: 331549161c420dfe744c90f719a2f3b3060304d27af67d245cc27e0ae80c40aa
-    ssa_ast: b2eda6eac497f4cd4e2e0735e2e2e39a66d09b2e738199e7a573a1a4f8a9e03d
+    ssa_ast: 372a90588f647276cedb2ce08a01c07f2ef35fbec7e1634f44245ae662fd44e5

tests/expectations/compiler/integers/i64/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 7be3058b183b362d35e74fb45d8108ab6156d5183e3c1613cbe0a8a4447e2046
     initial_ast: c2b330171599f08a5537a85cef19995ee929f36f2887471436b6490aaf75edca
     unrolled_ast: c2b330171599f08a5537a85cef19995ee929f36f2887471436b6490aaf75edca
-    ssa_ast: 698e223abaf573a13ad55762c8606ebf3b92e47885157069822b1171f99b17b3
+    ssa_ast: bbc13f12ac125d3da3e2e23d86aa6c52f7528acd0ea7cbf3e288f4beaf3b1702

tests/expectations/compiler/integers/i8/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: fcc03e535541ac76dd8e75e4fc69b9cd2c897eab2684831b4fb0be3fa9b68d52
     initial_ast: 3302783d02e904c1fd15e973cf6513c8745e7a370a67147fc0d50963468f2184
     unrolled_ast: 3302783d02e904c1fd15e973cf6513c8745e7a370a67147fc0d50963468f2184
-    ssa_ast: c68b8a182d0389bfdbf3e56e14d5f8cf394f1be81a86fb1c3e41c4a17f7465c9
+    ssa_ast: 8a15d2713e1966674c642ad880608eb59edf1eb5968d62dccf346e5c73fe2238

tests/expectations/compiler/integers/i8/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ba83c4b232ca7cb9f1b320fbe00fc76c9e76059f192afb54f5878b9cca9f23eb
     initial_ast: ffbaf3e540c6614b16d723262dddc7a034d30b7b9c8cd792bf32f8749760ee7a
     unrolled_ast: ffbaf3e540c6614b16d723262dddc7a034d30b7b9c8cd792bf32f8749760ee7a
-    ssa_ast: d6e39a3fd7b973aad46b41656f7c5ca0b8f3b51cb174306f4bb4386efc49544f
+    ssa_ast: c1265bf39519e1008d2c38c7faf37c03817aa985e34fc1cea5d0a4743a0d39c4

tests/expectations/compiler/integers/i8/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3e63ac0f1c06b032de265411bd6b2e699c930841e0978be6b9233cbeb86cc605
     initial_ast: 70c6d62c439ec959dd9b0ed47a867c5e98035035b40f8de20946545dee84698a
     unrolled_ast: 70c6d62c439ec959dd9b0ed47a867c5e98035035b40f8de20946545dee84698a
-    ssa_ast: a5f1cef4fc1e34a9e79f11c46c5af35ffe809756eef35132002b291078000612
+    ssa_ast: e71d332aadafc0ea3c35a374919d49f329b5705f5293dcdd691d0cb0389a609a

tests/expectations/compiler/integers/i8/negate_zero.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3ae28983e2d2b8955095c5982e00f0841d541858f9c43f24867766bb351a96f4
     initial_ast: a966b9bf552feaa7bb8541bddf1443be910f814b5f5356d07252f47cfde28643
     unrolled_ast: a966b9bf552feaa7bb8541bddf1443be910f814b5f5356d07252f47cfde28643
-    ssa_ast: 02eac5902a3c784651af033abaa78e0fd19bf3efbaee70a93b6ee5f96486de85
+    ssa_ast: d1e432e51eeb98ffdf7dd0f69a8c14d214abbf95b1b08a8a3fcadb3c131fe8e4

tests/expectations/compiler/integers/i8/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 7bfad30da9e9acd1d9cd8065df89a7a83c904c3d9ec5585e8faed80bd30691bb
     initial_ast: 00b7f3038ab1fe893fc43b2edfc594606d16ca8426db927413830ebf2a58cae3
     unrolled_ast: 00b7f3038ab1fe893fc43b2edfc594606d16ca8426db927413830ebf2a58cae3
-    ssa_ast: 577042bbc5a6728e36a35fbbe1498d8fe91412f3e2c8782604e75f619ae9c5d9
+    ssa_ast: da09fdde88e12e7919102fa804ad89fc2ca534c053d242973ae29e0477a590fc

tests/expectations/compiler/integers/i8/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: dc27e0e21a03336ec3bd452bdc40b02e904b28cdb449e23c7b4de698eee9efad
     initial_ast: f185943f99db39813e360640e446822fdb9df3971615ccd81f4ba6f35ab527df
     unrolled_ast: f185943f99db39813e360640e446822fdb9df3971615ccd81f4ba6f35ab527df
-    ssa_ast: a6baac065319e25fa1d13ad21894dc8ef98a798fdd5a3935182c86a6da6c8803
+    ssa_ast: ac42870a894f35a8b464bdde12e4a6b103a930340c1b1b4f9f6ec4945ffae2b8

tests/expectations/compiler/integers/u128/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: b19003e1292f9d8c35f159a014560d387de467bbcbd8985a78310a5de91756d1
     initial_ast: aff3b5bfede3b4fb0271622b43bf44fba40a3b3f7ccb5b0c01d18078b4a41cc0
     unrolled_ast: aff3b5bfede3b4fb0271622b43bf44fba40a3b3f7ccb5b0c01d18078b4a41cc0
-    ssa_ast: ca0a32b1b2bc59c82de26f95f3162a0c5af1f8bfbe5b934e520f850449a047c4
+    ssa_ast: 0728923e1ddc51088bfff4f7cac568666769df40d2e883b4871defcde7432dca

tests/expectations/compiler/integers/u128/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: bc29c81534e8ff7275a2857bb6120478100e179a5edec8ef101fb4092a8483ee
     initial_ast: 7e1d2ccf1a7a27885b4a6dbe41cf4299d71e751c6d9c39b4b9de54ca7a88c674
     unrolled_ast: 7e1d2ccf1a7a27885b4a6dbe41cf4299d71e751c6d9c39b4b9de54ca7a88c674
-    ssa_ast: 5f0e51d6a8f7e23500291025ebc9c96cd6e8e8ca6824c6ae5376586c018fdcf2
+    ssa_ast: e3252d651abb48883b544b1dbc2e1a44645bc6e13a54499f9c7eb79f9fd453ee

tests/expectations/compiler/integers/u128/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3a1cc3a7687324fe758ba99ebc73bf0bfb713dafd1bb0f4ffe1d182c5a27817a
     initial_ast: 8069197bcad6e4d55dcbfb0d4511bcab77c8adc26fe75ea9be8b10336da611f7
     unrolled_ast: 8069197bcad6e4d55dcbfb0d4511bcab77c8adc26fe75ea9be8b10336da611f7
-    ssa_ast: e616b6f29d0c90c5d47b7a54e2565356f5e9eac8cff1aaf68e48bc8b2ce803c9
+    ssa_ast: b14484c4268ec905bc8be8a43b0d1e361778e94db0ccdb9870b1e0add5cad342

tests/expectations/compiler/integers/u128/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a44be1f2160e047fe2a3e290168893855384215d04636bfce2fca1789a13f79a
     initial_ast: ae0434dd4cd10268e860e0078f73253667d608509e0252b8eda4530d890221fa
     unrolled_ast: ae0434dd4cd10268e860e0078f73253667d608509e0252b8eda4530d890221fa
-    ssa_ast: b23593cf76d0fc2dd5488691d7bab7de299cdbf4c86bc084a143b6a634675242
+    ssa_ast: d2efc45b9a258dc063e105dd322161c3fcc2cd7891c6d2e55abd0e9107416987

tests/expectations/compiler/integers/u128/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 02fce4b6d2ee0d3df51d59d40c7b2cd75f57536d93fbe9bd829a92b4f2aa9efc
     initial_ast: ddd37406c1052b9150a9629fb668bc49f3bfc196fe8c156172a274f3163b9aa3
     unrolled_ast: ddd37406c1052b9150a9629fb668bc49f3bfc196fe8c156172a274f3163b9aa3
-    ssa_ast: 86092e28ed40ed439b70ee092df5aecdf36de586287127cc0f1c44ac39fcc252
+    ssa_ast: a2542d1560239c16e9820db1dd40c8b07dea2007804d50fe936b2dd58e7bb7e4

tests/expectations/compiler/integers/u16/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 87a6a724f80661e51dd9d651be0e5c84ab3090f64297727b01e80eee548633b2
     initial_ast: 6cd4b56869b79fffec80619b93f82a4b63a5d9b4cff5abea94c97a309fe526f8
     unrolled_ast: 6cd4b56869b79fffec80619b93f82a4b63a5d9b4cff5abea94c97a309fe526f8
-    ssa_ast: 89f95f20433e1a25eeeeb7fab8d59b06eb7cecad086436988338643020d3f69a
+    ssa_ast: 9b0b2413a1235a044cd31334897803ada88b56a3e78ef2b006c3e91567828eca

tests/expectations/compiler/integers/u16/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d17c8a902f7db5b98db912fb42ef2b8b2c3d8c20eb234922abb93c64424dec55
     initial_ast: 4270fe98a37838028a51c965a19bac043181b5b39336b4bddd3a1296e2ea1d2f
     unrolled_ast: 4270fe98a37838028a51c965a19bac043181b5b39336b4bddd3a1296e2ea1d2f
-    ssa_ast: 09545061987ed35afa4339061792a520d6551405953f48f1c1ccf563e975cd54
+    ssa_ast: 768e77996e01a99b637f670ac9733096c05df229b195dec55b0461f42586816d

tests/expectations/compiler/integers/u16/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: c82b4b7f26a3647900a1669a09055618ad25db71a06ad82171f22d66bad41351
     initial_ast: a3a93c102e43e31c9e9078731935cd7d95f78966d6fb946211e3e92870a2d358
     unrolled_ast: a3a93c102e43e31c9e9078731935cd7d95f78966d6fb946211e3e92870a2d358
-    ssa_ast: fe4604a41644816af9d35596f14f33dc2cf90df4adf45fad4f611733f1c95f84
+    ssa_ast: 0e6be078e8cfaa068995ba747e6a62d531e767a7f53ec71334cde15cc26fe539

tests/expectations/compiler/integers/u16/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 0987a244d41346dab2d168efa3179f87a6958346b68b69824aff427787b651f4
     initial_ast: c7ca0c096d01edeffe0a4ce946afb91b2309e4bb32a659d8b8593b9f67faf98e
     unrolled_ast: c7ca0c096d01edeffe0a4ce946afb91b2309e4bb32a659d8b8593b9f67faf98e
-    ssa_ast: f56b34abefc5becae418af83a22d1878b3bb6a3e3ed7c5b226bf5f3a5e463e02
+    ssa_ast: 29bac62b24425de132ec687722900874c8baa997a6f8d7b1675c51dcf2d82487

tests/expectations/compiler/integers/u16/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: e9cc8a1730f4606eb90ea0a382b059cf7ed7325f27281c6f9be7d7b8bf3132f1
     initial_ast: 5373376f39d8e6d0646f1ae2d8ac767dfc0ca2e99ee3399587d3e838c4c47a98
     unrolled_ast: 5373376f39d8e6d0646f1ae2d8ac767dfc0ca2e99ee3399587d3e838c4c47a98
-    ssa_ast: ce33f78ac43301bace3af834c16627549e91bed892d48d8faac28d39f09316ca
+    ssa_ast: b81dd38012af4457735416aabda70cb3b216bae2945d446860e99879d1a9d5ed

tests/expectations/compiler/integers/u32/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: eb2475c0dea8f30f22e8d59aeca4d60c94b5787c353cee86739e0fdf547cc5d7
     initial_ast: 900997a78ba49bc65d93948b0a4ec7808cdc87caa49ee6eb4a86ba9d20d17354
     unrolled_ast: 900997a78ba49bc65d93948b0a4ec7808cdc87caa49ee6eb4a86ba9d20d17354
-    ssa_ast: ef6aed0570d6f1693105d44b7bc617d265a26557a97160943dcd20c60d18473e
+    ssa_ast: ad999036db0c9a6a588417a4262d3ed13fcc73fa3ae91ea0c6f06095f236de6f

tests/expectations/compiler/integers/u32/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d7efb950b283e8043cb74d699f193749324f2fb6714df5fde527c348f849a179
     initial_ast: c89af557c57ce2e965f5ce5c113233bc2f468dcc327ed3e4b68e9c2ec7091eb6
     unrolled_ast: c89af557c57ce2e965f5ce5c113233bc2f468dcc327ed3e4b68e9c2ec7091eb6
-    ssa_ast: b1b3dc678bdf9ca0bf4fe5d2a2596565cde3fb62ace4eff3326f770c5935166f
+    ssa_ast: 4290737a36e4e2acbecff93988a424555d98f9af52f3d9fc194733d38ad86f3a

tests/expectations/compiler/integers/u32/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: c82b4b7f26a3647900a1669a09055618ad25db71a06ad82171f22d66bad41351
     initial_ast: 1a1393d473c9ec50c23f75687928162ec127d6aab03d8de8edc69f82ac4669a9
     unrolled_ast: 1a1393d473c9ec50c23f75687928162ec127d6aab03d8de8edc69f82ac4669a9
-    ssa_ast: 92dc325208d9a09eccd8223a9f689e80e7be94dafa5b4abe60b60f8a91e924f7
+    ssa_ast: f2640b304cad311c2948ed5c53fa5685ac1e849594a9656aa241c1d5956ed1d7

tests/expectations/compiler/integers/u32/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 8825dc0753febadfd6b526c47a0e5464912bc358708bd30ddf40e1d21cd76c2b
     initial_ast: f92d03f034bc79b9dc5837a1103d45e56dfb8c630bcede97fd0e409b78567671
     unrolled_ast: f92d03f034bc79b9dc5837a1103d45e56dfb8c630bcede97fd0e409b78567671
-    ssa_ast: a0d47d97cc90515a8e553bbd0eaf94d256703cf7bf708da6d0302a9fc5f57977
+    ssa_ast: f24c72cfdda24982b24f4d40bb79a47fb0d70a7f358dae9e49f85274f28c7ac8

tests/expectations/compiler/integers/u32/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: b4eee61b2e4659116aa928d7f44962cc640cc48fbdaf9a29422cae3de77b3a35
     initial_ast: e14ea6d8ce53ba4c7e8b3db4a6659ffcb23b068cfe63c90bc13951845ec767f5
     unrolled_ast: e14ea6d8ce53ba4c7e8b3db4a6659ffcb23b068cfe63c90bc13951845ec767f5
-    ssa_ast: 360425c5218785ecdb5b8adc105cc0c87408afcb4b9a4d2e4bc4b9f9c1c3b14a
+    ssa_ast: a09551e788bf2e0581348209313f4cf0a7346d60d1acb08c6a952d5b292b8fa8

tests/expectations/compiler/integers/u64/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: dd2aac4c6f630f7b4dbe5bfb5d78168b94e0901beec8736b770037ec96495802
     initial_ast: abfe6a8b4dd7e0f522b49cd5cf87a9bdc884a37d9b61ba5b2284e69e1958c99c
     unrolled_ast: abfe6a8b4dd7e0f522b49cd5cf87a9bdc884a37d9b61ba5b2284e69e1958c99c
-    ssa_ast: bdd77fc3bd8b349e63c13f8f74085e3ab5880c8da85da778a857cb0699781d1d
+    ssa_ast: 421fe12125d778b52d8cdce98cde62443af803a1fedb8c73d3ad48a135895751

tests/expectations/compiler/integers/u64/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: e1384263a1c0a020dfb2e479ac003bf88585716f7492d60429e4a030a81760e1
     initial_ast: 523b8d3d11a2d384860371f53a12af46fa314581767a6d6c7075a0de7d219ef6
     unrolled_ast: 523b8d3d11a2d384860371f53a12af46fa314581767a6d6c7075a0de7d219ef6
-    ssa_ast: ae9b205143f59c733bba6b7d21fec333fa09104bfa5fd9deabbdce6250bb380d
+    ssa_ast: a150b6c5b49f262234e524473b80352a2da459a0c5e535466d61036df28b1e7d

tests/expectations/compiler/integers/u64/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: c82b4b7f26a3647900a1669a09055618ad25db71a06ad82171f22d66bad41351
     initial_ast: 5e0a90e585de125ee9b2ca43ec70a662c71f8ad3f7ba714aa7d22a32311ab5a2
     unrolled_ast: 5e0a90e585de125ee9b2ca43ec70a662c71f8ad3f7ba714aa7d22a32311ab5a2
-    ssa_ast: 016194bbee3b3f2e10a2b7f8b704badbcbd1772a6323cfb7d4aaa2383b5d44b4
+    ssa_ast: d252f893f7fc80a06b6afccaa5fa47eb8b8ef5e4b3d01f2cd5cf22f3fb5349b4

tests/expectations/compiler/integers/u64/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 9dab1d380e32f26f89054c23ec40da61f704f51e980519eeb28176c7aea74ee2
     initial_ast: 6fa70d9cad84f9ae8711c2f28f647cf60742ce7d163fa5292e643e3f2955edeb
     unrolled_ast: 6fa70d9cad84f9ae8711c2f28f647cf60742ce7d163fa5292e643e3f2955edeb
-    ssa_ast: d1de33b13877511db4ba781df1b7dec12807e7f09e07709db01662f970469e7d
+    ssa_ast: 35059085e4452f09a864704acaa72521ab0f3081d81095322518c1e36153d385

tests/expectations/compiler/integers/u64/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 4ae6aaeb5d347247c9171908ba7c7bf7f93e6857cdb8743da9f97426ee3714d9
     initial_ast: ff3e99f2dd2819dd91af0fd72fabd57e462ff0fb243bb883b5b21a503b70f1a4
     unrolled_ast: ff3e99f2dd2819dd91af0fd72fabd57e462ff0fb243bb883b5b21a503b70f1a4
-    ssa_ast: 3e648c8729471af25703989cad7ad72ac0d642970ec44f44b058a3ae5cd0d73e
+    ssa_ast: 992eb8982b31fcfd584e3c73452fce12fe5a216d9bf6a7b9b5fef7df68504b91

tests/expectations/compiler/integers/u8/console_assert.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 1b807f417d2897a2bfcff5a92efc07455f077c76697d8f3bc0eeef1146c111b5
     initial_ast: 2dd5660737fc9b146c50d59ab2a162ba904ee5fff7c442294e9bbaae844e2b32
     unrolled_ast: 2dd5660737fc9b146c50d59ab2a162ba904ee5fff7c442294e9bbaae844e2b32
-    ssa_ast: ad2cd0a02a5a2894738c015995df5b94dff567761937a0e123a87d152fdcda77
+    ssa_ast: 8a24b95bfe48f5a12748520dd740cf2cf2c4b849567a5a3a736e2218010b7995

tests/expectations/compiler/integers/u8/max.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: c82b4b7f26a3647900a1669a09055618ad25db71a06ad82171f22d66bad41351
     initial_ast: 2e2d09567fb66dc788518d8a2580330969c22b8996840e6bac6f8f751ed10e71
     unrolled_ast: 2e2d09567fb66dc788518d8a2580330969c22b8996840e6bac6f8f751ed10e71
-    ssa_ast: 14f2e3f48132f6e4f0d3acb243ccff92265ac6758d37152df526fd25a4face9a
+    ssa_ast: b787135e4cedfaf8a7666f8b7df74201d0f4e37212643c2707065a7be312fbdd

tests/expectations/compiler/integers/u8/min.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a1a34a6c86c699c5d6619fb0a62bcba7304c61a47948782864b22feecedbd5dd
     initial_ast: 60aaca7e9034a71c1326134484408ef37388d5be4ffc98a1ec5e1abad16970a9
     unrolled_ast: 60aaca7e9034a71c1326134484408ef37388d5be4ffc98a1ec5e1abad16970a9
-    ssa_ast: 5ae7414d182c159b30a55f4e853ebd8dde83957ff9453158f9a97951a0c1d272
+    ssa_ast: 3441810b1906a17fa99987d57b90105d757edac7caae8916358c79f4131c4816

tests/expectations/compiler/integers/u8/operator_methods.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 5af325bba59f403fed6434398ef0e989ec325425782f6194891929734864866b
     initial_ast: 1f3a60bfccfb592bfdddda2081da7c5bed330602d3d84586dc88fa75bf0d1109
     unrolled_ast: 1f3a60bfccfb592bfdddda2081da7c5bed330602d3d84586dc88fa75bf0d1109
-    ssa_ast: a02e5f2e4586ba19ad61550f4d92b7f2dd40838f43fd09ebcf071479e1d1fb74
+    ssa_ast: cb5f1b759102b6a2ebaaac97d50b3d41ad2ee2dcde961302099d4703c5f33f39

tests/expectations/compiler/integers/u8/ternary.out

@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 283b3755126f6db462ffe0912b4f2aa42c7db0782b23995dd7d4c4aeda3103be
     initial_ast: ff17ab92b81db3319f9e5bceb2920e647ffcb0f41ccbc3da751135a5558fe160
     unrolled_ast: ff17ab92b81db3319f9e5bceb2920e647ffcb0f41ccbc3da751135a5558fe160
-    ssa_ast: 24967e92edcb1fe0fd7a68b1e072e71b72042f14a03eff2eba6e5cc8a8322f75
+    ssa_ast: d1fbf72956aa61a5268fd87f32f2aba1e94732517bcf0dcfb3dbc02520be1f4d

tests/expectations/compiler/records/init_expression.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: no input
     initial_ast: e735a6b80e361f2eaafc99e3adab1d8e952b9235e705f01c4176f3f87cfbd92b
     unrolled_ast: e735a6b80e361f2eaafc99e3adab1d8e952b9235e705f01c4176f3f87cfbd92b
-    ssa_ast: e0f5d16a27b1af372f5d464882c3ea4782b51e229d6aba80f8a91d4e56df63f9
+    ssa_ast: 75f50583ee1303a3de891277a03987ee97449cff38d938504ca1e3bbeedd3288

tests/expectations/compiler/records/init_expression_shorthand.out

@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: no input
     initial_ast: 042cc942051ac490f6242bd23c886f37cdfef1f72ba957233c8ecf8253cb89a6
     unrolled_ast: 042cc942051ac490f6242bd23c886f37cdfef1f72ba957233c8ecf8253cb89a6
-    ssa_ast: 19e0d31442d3d8cc599e2ad939093309f7158652ff7a30ca0e12eae7261979b0
+    ssa_ast: 2d77436767a56af5bdfae8f005634910c2b6ad126a78ee1173f41f49dcdb9252