tests auto-updated

Author: Mohammad Rezaei

test/cmdlineTests/ir_subobject_order/output

@@ -30,7 +30,7 @@ object "C_33" {
             if callvalue() { revert(0, 0) }
             let _2 := datasize("A_13")
             let _3 := add(_1, _2)
-            if or(gt(_3, sub(shl(64, 1), 1)), lt(_3, _1))
+            if or(gt(_3, shr(192, not(0))), lt(_3, _1))
             {
                 mstore(0, shl(224, 0x4e487b71))
                 mstore(4, 0x41)
@@ -44,11 +44,11 @@ object "C_33" {
                 returndatacopy(pos, 0, returndatasize())
                 revert(pos, returndatasize())
             }
-            sstore(0, or(and(sload(0), not(sub(shl(160, 1), 1))), and(expr_address, sub(shl(160, 1), 1))))
+            sstore(0, or(and(sload(0), not(shr(96, not(0)))), and(expr_address, shr(96, not(0)))))
             let _4 := mload(64)
             let _5 := datasize("B_7")
             let _6 := add(_4, _5)
-            if or(gt(_6, sub(shl(64, 1), 1)), lt(_6, _4))
+            if or(gt(_6, shr(192, not(0))), lt(_6, _4))
             {
                 mstore(0, shl(224, 0x4e487b71))
                 mstore(4, 0x41)
@@ -62,7 +62,7 @@ object "C_33" {
                 returndatacopy(pos_1, 0, returndatasize())
                 revert(pos_1, returndatasize())
             }
-            sstore(0x01, or(and(sload(0x01), not(sub(shl(160, 1), 1))), and(expr_address_1, sub(shl(160, 1), 1))))
+            sstore(0x01, or(and(sload(0x01), not(shr(96, not(0)))), and(expr_address_1, shr(96, not(0)))))
             let _7 := mload(64)
             let _8 := datasize("C_33_deployed")
             codecopy(_7, dataoffset("C_33_deployed"), _8)

test/cmdlineTests/optimizer_BlockDeDuplicator/output

@@ -7,11 +7,11 @@ EVM assembly:
   0x00
   dup1
   sload
-  not(sub(shl(0x40, 0x01), 0x01))
+  not(shr(0xc0, not(0x00)))
   and
     /* "input.sol":201:206  fun_x */
   or(tag_0_7, shl(0x20, tag_2))
-  sub(shl(0x40, 0x01), 0x01)
+  shr(0xc0, not(0x00))
     /* "input.sol":179:210  function() r = true ? fun_x : f */
   and
   or

test/cmdlineTests/optimizer_inliner_dynamic_reference_constructor/output

@@ -17,11 +17,11 @@ tag_1:
     /* "input.sol":93:98  x = f */
   dup1
   sload
-  not(sub(shl(0x40, 0x01), 0x01))
+  not(shr(0xc0, not(0x00)))
   and
     /* "input.sol":97:98  f */
   or(tag_0_12, shl(0x20, tag_4))
-  sub(shl(0x40, 0x01), 0x01)
+  shr(0xc0, not(0x00))
     /* "input.sol":93:98  x = f */
   and
   or

test/cmdlineTests/standard_debug_info_in_evm_asm_via_ir_location/output.json

@@ -20,7 +20,7 @@
   dup4
   add
   swap2
-  sub(shl(0x40, 0x01), 0x01)
+  shr(0xc0, not(0x00))
   dup4
   gt
   dup5
@@ -104,7 +104,7 @@ sub_0: assembly {
       jumpi(tag_26, callvalue)
       jumpi(tag_26, slt(add(not(0x03), calldatasize), 0x00))
       sload(0x00)
-      sub(shl(0xff, 0x01), 0x01)
+      shr(0x01, not(0x00))
       dup2
       eq
       tag_14
@@ -350,7 +350,7 @@ sub_0: assembly {
   dup4
   add
   swap2
-  sub(shl(0x40, 0x01), 0x01)
+  shr(0xc0, not(0x00))
   dup4
   gt
   dup5
@@ -450,7 +450,7 @@ sub_0: assembly {
       jumpi(tag_26, callvalue)
       jumpi(tag_26, slt(add(not(0x03), calldatasize), 0x00))
       sload(0x00)
-      sub(shl(0xff, 0x01), 0x01)
+      shr(0x01, not(0x00))
       dup2
       eq
       tag_14

test/cmdlineTests/standard_debug_info_in_yul_location/output.json

@@ -619,7 +619,7 @@ object \"C_54\" {
             let programSize := datasize(\"C_54\")
             let argSize := sub(codesize(), programSize)
             let newFreePtr := add(_1, and(add(argSize, 31), not(31)))
-            if or(gt(newFreePtr, sub(shl(64, 1), 1)), lt(newFreePtr, _1))
+            if or(gt(newFreePtr, shr(192, not(0))), lt(newFreePtr, _1))
             {
                 mstore(/** @src -1:-1:-1 */ 0, /** @src 0:79:510  \"contract C...\" */ shl(224, 0x4e487b71))
                 mstore(4, 0x41)
@@ -684,7 +684,7 @@ object \"C_54\" {
                         if callvalue() { revert(0, 0) }
                         if slt(add(calldatasize(), not(3)), 0) { revert(0, 0) }
                         let _3 := sload(0)
-                        if eq(_3, sub(shl(255, 1), 1))
+                        if eq(_3, shr(1, not(0)))
                         {
                             mstore(0, shl(224, 0x4e487b71))
                             mstore(4, 0x11)
@@ -1455,7 +1455,7 @@ object \"D_72\" {
             let programSize := datasize(\"D_72\")
             let argSize := sub(codesize(), programSize)
             let newFreePtr := add(_1, and(add(argSize, 31), not(31)))
-            if or(gt(newFreePtr, sub(shl(64, 1), 1)), lt(newFreePtr, _1))
+            if or(gt(newFreePtr, shr(192, not(0))), lt(newFreePtr, _1))
             {
                 mstore(/** @src -1:-1:-1 */ 0, /** @src 1:91:181  \"contract D is C(3)...\" */ shl(224, 0x4e487b71))
                 mstore(4, 0x41)
@@ -1527,7 +1527,7 @@ object \"D_72\" {
                         if callvalue() { revert(0, 0) }
                         if slt(add(calldatasize(), not(3)), 0) { revert(0, 0) }
                         let _3 := sload(0)
-                        if eq(_3, sub(shl(255, 1), 1))
+                        if eq(_3, shr(1, not(0)))
                         {
                             mstore(0, shl(224, 0x4e487b71))
                             mstore(4, 0x11)