Update tests.

Author: ekpyron

test/libyul/yulOptimizerTests/blockFlattener/basic.yul

@@ -1,21 +1,25 @@
 {
-  let _1 := mload(0)
-  let f_a := mload(1)
-  let f_r
   {
-    f_a := mload(f_a)
-    f_r := add(f_a, calldatasize())
+    let _1 := mload(0)
+    let f_a := mload(1)
+    let f_r
+    {
+      f_a := mload(f_a)
+      f_r := add(f_a, calldatasize())
+    }
+    let z := mload(2)
   }
-  let z := mload(2)
 }
 // ----
 // step: blockFlattener
 //
 // {
-//     let _1 := mload(0)
-//     let f_a := mload(1)
-//     let f_r
-//     f_a := mload(f_a)
-//     f_r := add(f_a, calldatasize())
-//     let z := mload(2)
+//     {
+//         let _1 := mload(0)
+//         let f_a := mload(1)
+//         let f_r
+//         f_a := mload(f_a)
+//         f_r := add(f_a, calldatasize())
+//         let z := mload(2)
+//     }
 // }

test/libyul/yulOptimizerTests/blockFlattener/for_stmt.yul

@@ -1,12 +1,16 @@
 {
-    for { let a := 1 } iszero(eq(a, 10)) { a := add(a, 1) } {
-        a := add(a, 1)
+    {
+        for { let a := 1 } iszero(eq(a, 10)) { a := add(a, 1) } {
+            a := add(a, 1)
+        }
     }
 }
 // ----
 // step: blockFlattener
 //
 // {
-//     for { let a := 1 } iszero(eq(a, 10)) { a := add(a, 1) }
-//     { a := add(a, 1) }
+//     {
+//         for { let a := 1 } iszero(eq(a, 10)) { a := add(a, 1) }
+//         { a := add(a, 1) }
+//     }
 // }

test/libyul/yulOptimizerTests/blockFlattener/if_stmt.yul

@@ -1,21 +1,25 @@
 {
-  if add(mload(7), sload(mload(3)))
   {
-    let y := add(mload(3), 3)
-	{
-      y := add(y, 7)
-	}
+    if add(mload(7), sload(mload(3)))
+    {
+      let y := add(mload(3), 3)
+      {
+        y := add(y, 7)
+      }
+    }
+    let t := add(3, 9)
   }
-  let t := add(3, 9)
 }
 // ----
 // step: blockFlattener
 //
 // {
-//     if add(mload(7), sload(mload(3)))
 //     {
-//         let y := add(mload(3), 3)
-//         y := add(y, 7)
+//         if add(mload(7), sload(mload(3)))
+//         {
+//             let y := add(mload(3), 3)
+//             y := add(y, 7)
+//         }
+//         let t := add(3, 9)
 //     }
-//     let t := add(3, 9)
 // }

test/libyul/yulOptimizerTests/blockFlattener/many_nested_blocks.yul

@@ -1,29 +1,33 @@
 {
-  let a := 3
-  let b := 4
   {
-    a := add(b, 3)
-    let c := 5
+    let a := 3
+    let b := 4
     {
-      b := add(b, 4)
+      a := add(b, 3)
+      let c := 5
       {
-        c := add(a, 5)
-	  }
-      b := add(a, b)
+        b := add(b, 4)
+        {
+          c := add(a, 5)
+        }
+        b := add(a, b)
+      }
+      a := add(a, c)
     }
-    a := add(a, c)
   }
 }
 // ----
 // step: blockFlattener
 //
 // {
-//     let a := 3
-//     let b := 4
-//     a := add(b, 3)
-//     let c := 5
-//     b := add(b, 4)
-//     c := add(a, 5)
-//     b := add(a, b)
-//     a := add(a, c)
+//     {
+//         let a := 3
+//         let b := 4
+//         a := add(b, 3)
+//         let c := 5
+//         b := add(b, 4)
+//         c := add(a, 5)
+//         b := add(a, b)
+//         a := add(a, c)
+//     }
 // }

test/libyul/yulOptimizerTests/blockFlattener/switch_stmt.yul

@@ -1,23 +1,27 @@
 {
+  {
     let a := 1
     switch calldataload(0)
     case 0 { { { mstore(0, 1) } } a := 8 }
     default { a := 3 { a := 4 } }
     a := 5
+  }
 }
 // ----
 // step: blockFlattener
 //
 // {
-//     let a := 1
-//     switch calldataload(0)
-//     case 0 {
-//         mstore(0, 1)
-//         a := 8
+//     {
+//         let a := 1
+//         switch calldataload(0)
+//         case 0 {
+//             mstore(0, 1)
+//             a := 8
+//         }
+//         default {
+//             a := 3
+//             a := 4
+//         }
+//         a := 5
 //     }
-//     default {
-//         a := 3
-//         a := 4
-//     }
-//     a := 5
 // }

test/libyul/yulOptimizerTests/circularReferencesPruner/called_from_non_function.yul

@@ -9,8 +9,10 @@
 // step: circularReferencesPruner
 //
 // {
-//     let a
-//     a := h()
+//     {
+//         let a
+//         a := h()
+//     }
 //     function f() -> x
 //     { x := g() }
 //     function g() -> y

test/libyul/yulOptimizerTests/circularReferencesPruner/nested_different_names.yul

@@ -11,4 +11,4 @@
 // ----
 // step: circularReferencesPruner
 //
-// { }
+// { { } }

test/libyul/yulOptimizerTests/circularReferencesPruner/nested_same_name.yul

@@ -11,4 +11,4 @@
 // ----
 // step: circularReferencesPruner
 //
-// { }
+// { { } }

test/libyul/yulOptimizerTests/circularReferencesPruner/trivial.yul

@@ -5,4 +5,4 @@
 // ----
 // step: circularReferencesPruner
 //
-// { }
+// { { } }

test/libyul/yulOptimizerTests/expressionJoiner/if_condition.yul

@@ -14,6 +14,8 @@
 // step: expressionJoiner
 //
 // {
-//     if add(mload(7), sload(mload(3))) { let y := add(mload(3), 3) }
-//     let t := add(3, 9)
+//     {
+//         if add(mload(7), sload(mload(3))) { let y := add(mload(3), 3) }
+//         let t := add(3, 9)
+//     }
 // }