viper-lll: fix tests output

vyperlang · Jan 3, 2018 · 085b5fd · 085b5fd
1 parent 9e6d1b7
commit 085b5fd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tests/examples/token/ERC20.v.py.ast.out b/tests/examples/token/ERC20.v.py.ast.out
@@ -1 +1 @@
-$%seq ( $return ( 0 , $lll ( $%seq ( $%seq ( $mstore ( 28 , $calldataload ( 0 ) ) , $mstore ( 32 , 1461501637330902918203684832716283019655932542976 ) , $mstore ( 64 , 170141183460469231731687303715884105727 ) , $mstore ( 96 , -170141183460469231731687303715884105728 ) , $mstore ( 128 , 1701411834604692317316873037158841057270000000000 ) , $mstore ( 160 , -1701411834604692317316873037158841057280000000000 ) ) , $if ( $eq ( $mload ( 0 ) , 3504541104 ) , $%seq ( $pass , $mstore ( 320 , $clampge ( $callvalue , 0 ) ) , $mstore ( 352 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $or ( $iszero ( $mload ( 320 ) ) , $gt ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) ) , $sstore ( 2 , $%seq ( $assert ( $or ( $iszero ( $mload ( 320 ) ) , $gt ( $add ( $sload ( 2 ) , $mload ( 320 ) ) , $sload ( 2 ) ) ) ) , $add ( $sload ( 2 ) , $mload ( 320 ) ) ) ) , $%seq ( $%seq ( $mstore ( 384 , $mload ( 320 ) ) ) , $log3 ( 384 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , 0 , $mload ( 352 ) ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 773487949 ) , $%seq ( $calldatacopy ( 320 , 4 , 32 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $mstore ( 352 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) ) , $sstore ( 2 , $%seq ( $assert ( $ge ( $sload ( 2 ) , $mload ( 320 ) ) ) , $sub ( $sload ( 2 ) , $mload ( 320 ) ) ) ) , $assert ( $call ( 0 , $mload ( 352 ) , $mul ( $clamp ( $mload ( 96 ) , $mload ( 320 ) , $mload ( 64 ) ) , 1 ) , 0 , 0 , 0 , 0 ) ) , $%seq ( $%seq ( $mstore ( 384 , $mload ( 320 ) ) ) , $log3 ( 384 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 352 ) , 0 ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 404098525 ) , $%seq ( $pass , $assert ( $iszero ( $callvalue ) ) , $%seq ( $mstore ( 0 , $sload ( 2 ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 1889567281 ) , $%seq ( $calldatacopy ( 320 , 4 , 32 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $%seq ( $mstore ( 0 , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 2835717307 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 384 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) ) , $mload ( 352 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) ) , $mload ( 352 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) , $%seq ( $assert ( $or ( $iszero ( $mload ( 352 ) ) , $gt ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) ) ) , $%seq ( $%seq ( $mstore ( 416 , $mload ( 352 ) ) ) , $log3 ( 416 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 384 ) , $mload ( 320 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 599290589 ) , $%seq ( $calldatacopy ( 320 , 4 , 96 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $uclamplt ( $calldataload ( $add ( 4 , 32 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 416 , $caller ) , $mstore ( 448 , $sload ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 416 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 384 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 384 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $or ( $iszero ( $mload ( 384 ) ) , $gt ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 384 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 384 ) ) ) ) , $sstore ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 416 ) ) , $%seq ( $assert ( $ge ( $mload ( 448 ) , $mload ( 384 ) ) ) , $sub ( $mload ( 448 ) , $mload ( 384 ) ) ) ) , $%seq ( $%seq ( $mstore ( 480 , $mload ( 384 ) ) ) , $log3 ( 480 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 320 ) , $mload ( 352 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 157198259 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 384 , $caller ) , $sstore ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 384 ) ) ) , $mload ( 320 ) ) , $mload ( 352 ) ) , $%seq ( $%seq ( $mstore ( 416 , $mload ( 352 ) ) ) , $log3 ( 416 , 32 , 63486140976153616755203102783360879283472101686154884697241723088393386309925 , $mload ( 384 ) , $mload ( 320 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 3714247998 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $uclamplt ( $calldataload ( $add ( 4 , 32 ) ) , $mload ( 32 ) ) , $%seq ( $mstore ( 0 , $sload ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) ) , 0 ) ) )
+$%seq ( $return ( 0 , $lll ( $%seq ( $%seq ( $mstore ( 28 , $calldataload ( 0 ) ) , $mstore ( 32 , 1461501637330902918203684832716283019655932542976 ) , $mstore ( 64 , 170141183460469231731687303715884105727 ) , $mstore ( 96 , -170141183460469231731687303715884105728 ) , $mstore ( 128 , 1701411834604692317316873037158841057270000000000 ) , $mstore ( 160 , -1701411834604692317316873037158841057280000000000 ) ) , $if ( $eq ( $mload ( 0 ) , 3504541104 ) , $%seq ( $pass , $mstore ( 320 , $clampge ( $callvalue , 0 ) ) , $mstore ( 352 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $ge ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) ) , $sstore ( 2 , $%seq ( $assert ( $ge ( $add ( $sload ( 2 ) , $mload ( 320 ) ) , $sload ( 2 ) ) ) , $add ( $sload ( 2 ) , $mload ( 320 ) ) ) ) , $%seq ( $%seq ( $mstore ( 384 , $mload ( 320 ) ) ) , $log3 ( 384 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , 0 , $mload ( 352 ) ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 773487949 ) , $%seq ( $calldatacopy ( 320 , 4 , 32 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $mstore ( 352 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) ) , $sstore ( 2 , $%seq ( $assert ( $ge ( $sload ( 2 ) , $mload ( 320 ) ) ) , $sub ( $sload ( 2 ) , $mload ( 320 ) ) ) ) , $assert ( $call ( 0 , $mload ( 352 ) , $mul ( $clamp ( $mload ( 96 ) , $mload ( 320 ) , $mload ( 64 ) ) , 1 ) , 0 , 0 , 0 , 0 ) ) , $%seq ( $%seq ( $mstore ( 384 , $mload ( 320 ) ) ) , $log3 ( 384 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 352 ) , 0 ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 404098525 ) , $%seq ( $pass , $assert ( $iszero ( $callvalue ) ) , $%seq ( $mstore ( 0 , $sload ( 2 ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 1889567281 ) , $%seq ( $calldatacopy ( 320 , 4 , 32 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $%seq ( $mstore ( 0 , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 2835717307 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 384 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) ) , $mload ( 352 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) ) , $mload ( 352 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) , $%seq ( $assert ( $ge ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) ) ) , $%seq ( $%seq ( $mstore ( 416 , $mload ( 352 ) ) ) , $log3 ( 416 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 384 ) , $mload ( 320 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 599290589 ) , $%seq ( $calldatacopy ( 320 , 4 , 96 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $uclamplt ( $calldataload ( $add ( 4 , 32 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 416 , $caller ) , $mstore ( 448 , $sload ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 416 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 384 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 384 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $ge ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 384 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 384 ) ) ) ) , $sstore ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 416 ) ) , $%seq ( $assert ( $ge ( $mload ( 448 ) , $mload ( 384 ) ) ) , $sub ( $mload ( 448 ) , $mload ( 384 ) ) ) ) , $%seq ( $%seq ( $mstore ( 480 , $mload ( 384 ) ) ) , $log3 ( 480 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 320 ) , $mload ( 352 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 157198259 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 384 , $caller ) , $sstore ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 384 ) ) ) , $mload ( 320 ) ) , $mload ( 352 ) ) , $%seq ( $%seq ( $mstore ( 416 , $mload ( 352 ) ) ) , $log3 ( 416 , 32 , 63486140976153616755203102783360879283472101686154884697241723088393386309925 , $mload ( 384 ) , $mload ( 320 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 3714247998 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $uclamplt ( $calldataload ( $add ( 4 , 32 ) ) , $mload ( 32 ) ) , $%seq ( $mstore ( 0 , $sload ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) ) , 0 ) ) )
diff --git a/tests/viper-lll/parser/types/numbers/test_num256/test_num256_code.v.py.ast.out b/tests/viper-lll/parser/types/numbers/test_num256/test_num256_code.v.py.ast.out
@@ -1 +1 @@
-$%seq ( $return ( 0 , $lll ( $%seq ( $%seq ( $mstore ( 28 , $calldataload ( 0 ) ) , $mstore ( 32 , 1461501637330902918203684832716283019655932542976 ) , $mstore ( 64 , 170141183460469231731687303715884105727 ) , $mstore ( 96 , -170141183460469231731687303715884105728 ) , $mstore ( 128 , 1701411834604692317316873037158841057270000000000 ) , $mstore ( 160 , -1701411834604692317316873037158841057280000000000 ) ) , $if ( $eq ( $mload ( 0 ) , 2355078146 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $%seq ( $assert ( $or ( $iszero ( $mload ( 352 ) ) , $gt ( $add ( $mload ( 320 ) , $mload ( 352 ) ) , $mload ( 320 ) ) ) ) , $add ( $mload ( 320 ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 2923037113 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $%seq ( $assert ( $ge ( $mload ( 320 ) , $mload ( 352 ) ) ) , $sub ( $mload ( 320 ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 561936549 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $%seq ( $assert ( $or ( $iszero ( $mload ( 320 ) ) , $eq ( $div ( $mul ( $mload ( 320 ) , $mload ( 352 ) ) , $mload ( 320 ) ) , $mload ( 352 ) ) ) ) , $mul ( $mload ( 320 ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 4006702424 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $%seq ( $assert ( $mload ( 352 ) ) , $div ( $mload ( 320 ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 2892305865 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $gt ( $mload ( 320 ) , $mload ( 352 ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 4025745942 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $ge ( $mload ( 320 ) , $mload ( 352 ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 1352768697 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $lt ( $mload ( 320 ) , $mload ( 352 ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 871682203 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $le ( $mload ( 320 ) , $mload ( 352 ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) ) , 0 ) ) )
+$%seq ( $return ( 0 , $lll ( $%seq ( $%seq ( $mstore ( 28 , $calldataload ( 0 ) ) , $mstore ( 32 , 1461501637330902918203684832716283019655932542976 ) , $mstore ( 64 , 170141183460469231731687303715884105727 ) , $mstore ( 96 , -170141183460469231731687303715884105728 ) , $mstore ( 128 , 1701411834604692317316873037158841057270000000000 ) , $mstore ( 160 , -1701411834604692317316873037158841057280000000000 ) ) , $if ( $eq ( $mload ( 0 ) , 2355078146 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $%seq ( $assert ( $ge ( $add ( $mload ( 320 ) , $mload ( 352 ) ) , $mload ( 320 ) ) ) , $add ( $mload ( 320 ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 2923037113 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $%seq ( $assert ( $ge ( $mload ( 320 ) , $mload ( 352 ) ) ) , $sub ( $mload ( 320 ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 561936549 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $%seq ( $assert ( $or ( $iszero ( $mload ( 320 ) ) , $eq ( $div ( $mul ( $mload ( 320 ) , $mload ( 352 ) ) , $mload ( 320 ) ) , $mload ( 352 ) ) ) ) , $mul ( $mload ( 320 ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 4006702424 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $%seq ( $assert ( $mload ( 352 ) ) , $div ( $mload ( 320 ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 2892305865 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $gt ( $mload ( 320 ) , $mload ( 352 ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 4025745942 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $ge ( $mload ( 320 ) , $mload ( 352 ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 1352768697 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $lt ( $mload ( 320 ) , $mload ( 352 ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 871682203 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $pass , $%seq ( $mstore ( 0 , $le ( $mload ( 320 ) , $mload ( 352 ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) ) , 0 ) ) )
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		$%seq ( $return ( 0 , $lll ( $%seq ( $%seq ( $mstore ( 28 , $calldataload ( 0 ) ) , $mstore ( 32 , 1461501637330902918203684832716283019655932542976 ) , $mstore ( 64 , 170141183460469231731687303715884105727 ) , $mstore ( 96 , -170141183460469231731687303715884105728 ) , $mstore ( 128 , 1701411834604692317316873037158841057270000000000 ) , $mstore ( 160 , -1701411834604692317316873037158841057280000000000 ) ) , $if ( $eq ( $mload ( 0 ) , 3504541104 ) , $%seq ( $pass , $mstore ( 320 , $clampge ( $callvalue , 0 ) ) , $mstore ( 352 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $or ( $iszero ( $mload ( 320 ) ) , $gt ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) ) , $sstore ( 2 , $%seq ( $assert ( $or ( $iszero ( $mload ( 320 ) ) , $gt ( $add ( $sload ( 2 ) , $mload ( 320 ) ) , $sload ( 2 ) ) ) ) , $add ( $sload ( 2 ) , $mload ( 320 ) ) ) ) , $%seq ( $%seq ( $mstore ( 384 , $mload ( 320 ) ) ) , $log3 ( 384 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , 0 , $mload ( 352 ) ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 773487949 ) , $%seq ( $calldatacopy ( 320 , 4 , 32 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $mstore ( 352 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) ) , $sstore ( 2 , $%seq ( $assert ( $ge ( $sload ( 2 ) , $mload ( 320 ) ) ) , $sub ( $sload ( 2 ) , $mload ( 320 ) ) ) ) , $assert ( $call ( 0 , $mload ( 352 ) , $mul ( $clamp ( $mload ( 96 ) , $mload ( 320 ) , $mload ( 64 ) ) , 1 ) , 0 , 0 , 0 , 0 ) ) , $%seq ( $%seq ( $mstore ( 384 , $mload ( 320 ) ) ) , $log3 ( 384 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 352 ) , 0 ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 404098525 ) , $%seq ( $pass , $assert ( $iszero ( $callvalue ) ) , $%seq ( $mstore ( 0 , $sload ( 2 ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 1889567281 ) , $%seq ( $calldatacopy ( 320 , 4 , 32 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $%seq ( $mstore ( 0 , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 2835717307 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 384 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) ) , $mload ( 352 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) ) , $mload ( 352 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) , $%seq ( $assert ( $or ( $iszero ( $mload ( 352 ) ) , $gt ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) ) ) , $%seq ( $%seq ( $mstore ( 416 , $mload ( 352 ) ) ) , $log3 ( 416 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 384 ) , $mload ( 320 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 599290589 ) , $%seq ( $calldatacopy ( 320 , 4 , 96 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $uclamplt ( $calldataload ( $add ( 4 , 32 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 416 , $caller ) , $mstore ( 448 , $sload ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 416 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 384 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 384 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $or ( $iszero ( $mload ( 384 ) ) , $gt ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 384 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 384 ) ) ) ) , $sstore ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 416 ) ) , $%seq ( $assert ( $ge ( $mload ( 448 ) , $mload ( 384 ) ) ) , $sub ( $mload ( 448 ) , $mload ( 384 ) ) ) ) , $%seq ( $%seq ( $mstore ( 480 , $mload ( 384 ) ) ) , $log3 ( 480 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 320 ) , $mload ( 352 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 157198259 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 384 , $caller ) , $sstore ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 384 ) ) ) , $mload ( 320 ) ) , $mload ( 352 ) ) , $%seq ( $%seq ( $mstore ( 416 , $mload ( 352 ) ) ) , $log3 ( 416 , 32 , 63486140976153616755203102783360879283472101686154884697241723088393386309925 , $mload ( 384 ) , $mload ( 320 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 3714247998 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $uclamplt ( $calldataload ( $add ( 4 , 32 ) ) , $mload ( 32 ) ) , $%seq ( $mstore ( 0 , $sload ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) ) , 0 ) ) )
		$%seq ( $return ( 0 , $lll ( $%seq ( $%seq ( $mstore ( 28 , $calldataload ( 0 ) ) , $mstore ( 32 , 1461501637330902918203684832716283019655932542976 ) , $mstore ( 64 , 170141183460469231731687303715884105727 ) , $mstore ( 96 , -170141183460469231731687303715884105728 ) , $mstore ( 128 , 1701411834604692317316873037158841057270000000000 ) , $mstore ( 160 , -1701411834604692317316873037158841057280000000000 ) ) , $if ( $eq ( $mload ( 0 ) , 3504541104 ) , $%seq ( $pass , $mstore ( 320 , $clampge ( $callvalue , 0 ) ) , $mstore ( 352 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $ge ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) ) , $sstore ( 2 , $%seq ( $assert ( $ge ( $add ( $sload ( 2 ) , $mload ( 320 ) ) , $sload ( 2 ) ) ) , $add ( $sload ( 2 ) , $mload ( 320 ) ) ) ) , $%seq ( $%seq ( $mstore ( 384 , $mload ( 320 ) ) ) , $log3 ( 384 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , 0 , $mload ( 352 ) ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 773487949 ) , $%seq ( $calldatacopy ( 320 , 4 , 32 ) , $assert ( $iszero ( $callvalue ) ) , $pass , $mstore ( 352 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 320 ) ) ) ) , $sstore ( 2 , $%seq ( $assert ( $ge ( $sload ( 2 ) , $mload ( 320 ) ) ) , $sub ( $sload ( 2 ) , $mload ( 320 ) ) ) ) , $assert ( $call ( 0 , $mload ( 352 ) , $mul ( $clamp ( $mload ( 96 ) , $mload ( 320 ) , $mload ( 64 ) ) , 1 ) , 0 , 0 , 0 , 0 ) ) , $%seq ( $%seq ( $mstore ( 384 , $mload ( 320 ) ) ) , $log3 ( 384 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 352 ) , 0 ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 404098525 ) , $%seq ( $pass , $assert ( $iszero ( $callvalue ) ) , $%seq ( $mstore ( 0 , $sload ( 2 ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 1889567281 ) , $%seq ( $calldatacopy ( 320 , 4 , 32 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $%seq ( $mstore ( 0 , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 2835717307 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 384 , $caller ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) ) , $mload ( 352 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 384 ) ) ) , $mload ( 352 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) , $%seq ( $assert ( $ge ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) ) ) , $%seq ( $%seq ( $mstore ( 416 , $mload ( 352 ) ) ) , $log3 ( 416 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 384 ) , $mload ( 320 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 599290589 ) , $%seq ( $calldatacopy ( 320 , 4 , 96 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $uclamplt ( $calldataload ( $add ( 4 , 32 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 416 , $caller ) , $mstore ( 448 , $sload ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 416 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) , $%seq ( $assert ( $ge ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 384 ) ) ) , $sub ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 320 ) ) ) , $mload ( 384 ) ) ) ) , $sstore ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) , $%seq ( $assert ( $ge ( $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 384 ) ) , $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) ) ) , $add ( $sload ( $add ( $sha3_32 ( 0 ) , $mload ( 352 ) ) ) , $mload ( 384 ) ) ) ) , $sstore ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 416 ) ) , $%seq ( $assert ( $ge ( $mload ( 448 ) , $mload ( 384 ) ) ) , $sub ( $mload ( 448 ) , $mload ( 384 ) ) ) ) , $%seq ( $%seq ( $mstore ( 480 , $mload ( 384 ) ) ) , $log3 ( 480 , 32 , 100389287136786176327247604509743168900146139575972864366142685224231313322991 , $mload ( 320 ) , $mload ( 352 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 157198259 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $pass , $mstore ( 384 , $caller ) , $sstore ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 384 ) ) ) , $mload ( 320 ) ) , $mload ( 352 ) ) , $%seq ( $%seq ( $mstore ( 416 , $mload ( 352 ) ) ) , $log3 ( 416 , 32 , 63486140976153616755203102783360879283472101686154884697241723088393386309925 , $mload ( 384 ) , $mload ( 320 ) ) ) , $%seq ( $mstore ( 0 , 1 ) , $return ( 0 , 32 ) ) , $stop ) ) , $if ( $eq ( $mload ( 0 ) , 3714247998 ) , $%seq ( $calldatacopy ( 320 , 4 , 64 ) , $assert ( $iszero ( $callvalue ) ) , $uclamplt ( $calldataload ( $add ( 4 , 0 ) ) , $mload ( 32 ) ) , $uclamplt ( $calldataload ( $add ( 4 , 32 ) ) , $mload ( 32 ) ) , $%seq ( $mstore ( 0 , $sload ( $add ( $sha3_32 ( $add ( $sha3_32 ( 1 ) , $mload ( 320 ) ) ) , $mload ( 352 ) ) ) ) , $return ( 0 , 32 ) ) , $stop ) ) ) , 0 ) ) )