Skip to content

Instantly share code, notes, and snippets.

@Tommylee1013
Created September 18, 2023 06:29
Show Gist options
  • Save Tommylee1013/363e7d837da7b8ae204957bc21c2ecf7 to your computer and use it in GitHub Desktop.
Save Tommylee1013/363e7d837da7b8ae204957bc21c2ecf7 to your computer and use it in GitHub Desktop.
Created using remix-ide: Realtime Ethereum Contract Compiler and Runtime. Load this file by pasting this gists URL or ID at https://remix.ethereum.org/#version=soljson-v0.8.0+commit.c7dfd78e.js&optimize=false&runs=200&gist=
[core]
repositoryformatversion = 0
filemode = false
bare = false
logallrefupdates = true
symlinks = false
ignorecase = true
ref: refs/heads/main
DIRCe�*��e�*�������o#q{K���Sc��X�W�n.prettierrc.json��a��<���X;e~�. �
x^��I!=󊾛z`f��ջ`ie1H��n?�X��r5��`@\��d���g�<p嵘C��R!��֢�z�P0�ۥ.pz��D�쮽�/�|�]��o\�{�I����\s��w���;�آI�+ma��(ߓi6�rc/�D
x^+)JMU01a040031Q�+(J-)�L-*J��*��cش4_���{v?���#����Ĩ
x^��A �0�;�+dǐ�P$��(�6}�j��� B���@C2)�;����&�p��gU6����,ۆ'w�N�oNʤr�/,* )$Q�|����HMG�ҵ��2�4����Fpi��E[ϸ�0bX�/
v%LX����/x���8���T�߿�O}ſ1�F�v��}����ǖ��A��̢�
42df34ab6194ed134446aafbff2ca0a09158ec96
{
"overrides": [
{
"files": "*.sol",
"options": {
"printWidth": 80,
"tabWidth": 4,
"useTabs": false,
"singleQuote": false,
"bracketSpacing": false
}
},
{
"files": "*.yml",
"options": {}
},
{
"files": "*.yaml",
"options": {}
},
{
"files": "*.toml",
"options": {}
},
{
"files": "*.json",
"options": {}
},
{
"files": "*.js",
"options": {}
},
{
"files": "*.ts",
"options": {}
}
]
}
{
"id": "939d41aba03644fc68ac3b5f45e8ae1e",
"_format": "hh-sol-build-info-1",
"solcVersion": "0.8.0",
"solcLongVersion": "0.8.0+commit.c7dfd78e",
"input": {
"language": "Solidity",
"sources": {
"HelloWOrld.sol": {
"content": "// SPDX-License-Identifier: MIT\npragma solidity ^0.8.0;\n\ncontract Helloworld {\n string public greet = \"Hello World!\";\n}"
}
},
"settings": {
"optimizer": {
"enabled": false,
"runs": 200
},
"outputSelection": {
"*": {
"": [
"ast"
],
"*": [
"abi",
"metadata",
"devdoc",
"userdoc",
"storageLayout",
"evm.legacyAssembly",
"evm.bytecode",
"evm.deployedBytecode",
"evm.methodIdentifiers",
"evm.gasEstimates",
"evm.assembly"
]
}
}
}
},
"output": {
"contracts": {
"HelloWOrld.sol": {
"Helloworld": {
"abi": [
{
"inputs": [],
"name": "greet",
"outputs": [
{
"internalType": "string",
"name": "",
"type": "string"
}
],
"stateMutability": "view",
"type": "function"
}
],
"devdoc": {
"kind": "dev",
"methods": {},
"version": 1
},
"evm": {
"assembly": " /* \"HelloWOrld.sol\":57:122 contract Helloworld {... */\n mstore(0x40, 0x80)\n /* \"HelloWOrld.sol\":83:119 string public greet = \"Hello World!\" */\n mload(0x40)\n dup1\n 0x40\n add\n 0x40\n mstore\n dup1\n 0x0c\n dup2\n mstore\n 0x20\n add\n 0x48656c6c6f20576f726c64210000000000000000000000000000000000000000\n dup2\n mstore\n pop\n 0x00\n swap1\n dup1\n mload\n swap1\n 0x20\n add\n swap1\n tag_1\n swap3\n swap2\n swap1\n tag_2\n jump\t// in\ntag_1:\n pop\n /* \"HelloWOrld.sol\":57:122 contract Helloworld {... */\n callvalue\n dup1\n iszero\n tag_3\n jumpi\n 0x00\n dup1\n revert\ntag_3:\n pop\n jump(tag_4)\ntag_2:\n dup3\n dup1\n sload\n tag_5\n swap1\n tag_6\n jump\t// in\ntag_5:\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x1f\n add\n 0x20\n swap1\n div\n dup2\n add\n swap3\n dup3\n tag_8\n jumpi\n 0x00\n dup6\n sstore\n jump(tag_7)\ntag_8:\n dup3\n 0x1f\n lt\n tag_9\n jumpi\n dup1\n mload\n not(0xff)\n and\n dup4\n dup1\n add\n or\n dup6\n sstore\n jump(tag_7)\ntag_9:\n dup3\n dup1\n add\n 0x01\n add\n dup6\n sstore\n dup3\n iszero\n tag_7\n jumpi\n swap2\n dup3\n add\ntag_10:\n dup3\n dup2\n gt\n iszero\n tag_11\n jumpi\n dup3\n mload\n dup3\n sstore\n swap2\n 0x20\n add\n swap2\n swap1\n 0x01\n add\n swap1\n jump(tag_10)\ntag_11:\ntag_7:\n pop\n swap1\n pop\n tag_12\n swap2\n swap1\n tag_13\n jump\t// in\ntag_12:\n pop\n swap1\n jump\t// out\ntag_13:\ntag_14:\n dup1\n dup3\n gt\n iszero\n tag_15\n jumpi\n 0x00\n dup2\n 0x00\n swap1\n sstore\n pop\n 0x01\n add\n jump(tag_14)\ntag_15:\n pop\n swap1\n jump\t// out\n /* \"#utility.yul\":7:327 */\ntag_6:\n 0x00\n /* \"#utility.yul\":88:89 */\n 0x02\n /* \"#utility.yul\":82:86 */\n dup3\n /* \"#utility.yul\":78:90 */\n div\n /* \"#utility.yul\":68:90 */\n swap1\n pop\n /* \"#utility.yul\":135:136 */\n 0x01\n /* \"#utility.yul\":129:133 */\n dup3\n /* \"#utility.yul\":125:137 */\n and\n /* \"#utility.yul\":156:174 */\n dup1\n /* \"#utility.yul\":146:148 */\n tag_18\n jumpi\n /* \"#utility.yul\":212:216 */\n 0x7f\n /* \"#utility.yul\":204:210 */\n dup3\n /* \"#utility.yul\":200:217 */\n and\n /* \"#utility.yul\":190:217 */\n swap2\n pop\n /* \"#utility.yul\":146:148 */\ntag_18:\n /* \"#utility.yul\":274:276 */\n 0x20\n /* \"#utility.yul\":266:272 */\n dup3\n /* \"#utility.yul\":263:277 */\n lt\n /* \"#utility.yul\":243:261 */\n dup2\n /* \"#utility.yul\":240:278 */\n eq\n /* \"#utility.yul\":237:239 */\n iszero\n tag_19\n jumpi\n /* \"#utility.yul\":293:311 */\n tag_20\n tag_21\n jump\t// in\ntag_20:\n /* \"#utility.yul\":237:239 */\ntag_19:\n /* \"#utility.yul\":58:327 */\n pop\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":333:513 */\ntag_21:\n /* \"#utility.yul\":381:458 */\n 0x4e487b7100000000000000000000000000000000000000000000000000000000\n /* \"#utility.yul\":378:379 */\n 0x00\n /* \"#utility.yul\":371:459 */\n mstore\n /* \"#utility.yul\":478:482 */\n 0x22\n /* \"#utility.yul\":475:476 */\n 0x04\n /* \"#utility.yul\":468:483 */\n mstore\n /* \"#utility.yul\":502:506 */\n 0x24\n /* \"#utility.yul\":499:500 */\n 0x00\n /* \"#utility.yul\":492:507 */\n revert\n /* \"HelloWOrld.sol\":57:122 contract Helloworld {... */\ntag_4:\n dataSize(sub_0)\n dup1\n dataOffset(sub_0)\n 0x00\n codecopy\n 0x00\n return\nstop\n\nsub_0: assembly {\n /* \"HelloWOrld.sol\":57:122 contract Helloworld {... */\n mstore(0x40, 0x80)\n callvalue\n dup1\n iszero\n tag_1\n jumpi\n 0x00\n dup1\n revert\n tag_1:\n pop\n jumpi(tag_2, lt(calldatasize, 0x04))\n shr(0xe0, calldataload(0x00))\n dup1\n 0xcfae3217\n eq\n tag_3\n jumpi\n tag_2:\n 0x00\n dup1\n revert\n /* \"HelloWOrld.sol\":83:119 string public greet = \"Hello World!\" */\n tag_3:\n tag_4\n tag_5\n jump\t// in\n tag_4:\n mload(0x40)\n tag_6\n swap2\n swap1\n tag_7\n jump\t// in\n tag_6:\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n tag_5:\n 0x00\n dup1\n sload\n tag_8\n swap1\n tag_9\n jump\t// in\n tag_8:\n dup1\n 0x1f\n add\n 0x20\n dup1\n swap2\n div\n mul\n 0x20\n add\n mload(0x40)\n swap1\n dup2\n add\n 0x40\n mstore\n dup1\n swap3\n swap2\n swap1\n dup2\n dup2\n mstore\n 0x20\n add\n dup3\n dup1\n sload\n tag_10\n swap1\n tag_9\n jump\t// in\n tag_10:\n dup1\n iszero\n tag_11\n jumpi\n dup1\n 0x1f\n lt\n tag_12\n jumpi\n 0x0100\n dup1\n dup4\n sload\n div\n mul\n dup4\n mstore\n swap2\n 0x20\n add\n swap2\n jump(tag_11)\n tag_12:\n dup3\n add\n swap2\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n tag_13:\n dup2\n sload\n dup2\n mstore\n swap1\n 0x01\n add\n swap1\n 0x20\n add\n dup1\n dup4\n gt\n tag_13\n jumpi\n dup3\n swap1\n sub\n 0x1f\n and\n dup3\n add\n swap2\n tag_11:\n pop\n pop\n pop\n pop\n pop\n dup2\n jump\t// out\n /* \"#utility.yul\":7:371 */\n tag_15:\n 0x00\n /* \"#utility.yul\":123:162 */\n tag_17\n /* \"#utility.yul\":156:161 */\n dup3\n /* \"#utility.yul\":123:162 */\n tag_18\n jump\t// in\n tag_17:\n /* \"#utility.yul\":178:249 */\n tag_19\n /* \"#utility.yul\":242:248 */\n dup2\n /* \"#utility.yul\":237:240 */\n dup6\n /* \"#utility.yul\":178:249 */\n tag_20\n jump\t// in\n tag_19:\n /* \"#utility.yul\":171:249 */\n swap4\n pop\n /* \"#utility.yul\":258:310 */\n tag_21\n /* \"#utility.yul\":303:309 */\n dup2\n /* \"#utility.yul\":298:301 */\n dup6\n /* \"#utility.yul\":291:295 */\n 0x20\n /* \"#utility.yul\":284:289 */\n dup7\n /* \"#utility.yul\":280:296 */\n add\n /* \"#utility.yul\":258:310 */\n tag_22\n jump\t// in\n tag_21:\n /* \"#utility.yul\":335:364 */\n tag_23\n /* \"#utility.yul\":357:363 */\n dup2\n /* \"#utility.yul\":335:364 */\n tag_24\n jump\t// in\n tag_23:\n /* \"#utility.yul\":330:333 */\n dup5\n /* \"#utility.yul\":326:365 */\n add\n /* \"#utility.yul\":319:365 */\n swap2\n pop\n /* \"#utility.yul\":99:371 */\n pop\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":377:690 */\n tag_7:\n 0x00\n /* \"#utility.yul\":528:530 */\n 0x20\n /* \"#utility.yul\":517:526 */\n dup3\n /* \"#utility.yul\":513:531 */\n add\n /* \"#utility.yul\":505:531 */\n swap1\n pop\n /* \"#utility.yul\":577:586 */\n dup2\n /* \"#utility.yul\":571:575 */\n dup2\n /* \"#utility.yul\":567:587 */\n sub\n /* \"#utility.yul\":563:564 */\n 0x00\n /* \"#utility.yul\":552:561 */\n dup4\n /* \"#utility.yul\":548:565 */\n add\n /* \"#utility.yul\":541:588 */\n mstore\n /* \"#utility.yul\":605:683 */\n tag_26\n /* \"#utility.yul\":678:682 */\n dup2\n /* \"#utility.yul\":669:675 */\n dup5\n /* \"#utility.yul\":605:683 */\n tag_15\n jump\t// in\n tag_26:\n /* \"#utility.yul\":597:683 */\n swap1\n pop\n /* \"#utility.yul\":495:690 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":696:795 */\n tag_18:\n 0x00\n /* \"#utility.yul\":782:787 */\n dup2\n /* \"#utility.yul\":776:788 */\n mload\n /* \"#utility.yul\":766:788 */\n swap1\n pop\n /* \"#utility.yul\":755:795 */\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":801:970 */\n tag_20:\n 0x00\n /* \"#utility.yul\":919:925 */\n dup3\n /* \"#utility.yul\":914:917 */\n dup3\n /* \"#utility.yul\":907:926 */\n mstore\n /* \"#utility.yul\":959:963 */\n 0x20\n /* \"#utility.yul\":954:957 */\n dup3\n /* \"#utility.yul\":950:964 */\n add\n /* \"#utility.yul\":935:964 */\n swap1\n pop\n /* \"#utility.yul\":897:970 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":976:1283 */\n tag_22:\n /* \"#utility.yul\":1044:1045 */\n 0x00\n /* \"#utility.yul\":1054:1167 */\n tag_30:\n /* \"#utility.yul\":1068:1074 */\n dup4\n /* \"#utility.yul\":1065:1066 */\n dup2\n /* \"#utility.yul\":1062:1075 */\n lt\n /* \"#utility.yul\":1054:1167 */\n iszero\n tag_32\n jumpi\n /* \"#utility.yul\":1153:1154 */\n dup1\n /* \"#utility.yul\":1148:1151 */\n dup3\n /* \"#utility.yul\":1144:1155 */\n add\n /* \"#utility.yul\":1138:1156 */\n mload\n /* \"#utility.yul\":1134:1135 */\n dup2\n /* \"#utility.yul\":1129:1132 */\n dup5\n /* \"#utility.yul\":1125:1136 */\n add\n /* \"#utility.yul\":1118:1157 */\n mstore\n /* \"#utility.yul\":1090:1092 */\n 0x20\n /* \"#utility.yul\":1087:1088 */\n dup2\n /* \"#utility.yul\":1083:1093 */\n add\n /* \"#utility.yul\":1078:1093 */\n swap1\n pop\n /* \"#utility.yul\":1054:1167 */\n jump(tag_30)\n tag_32:\n /* \"#utility.yul\":1185:1191 */\n dup4\n /* \"#utility.yul\":1182:1183 */\n dup2\n /* \"#utility.yul\":1179:1192 */\n gt\n /* \"#utility.yul\":1176:1178 */\n iszero\n tag_33\n jumpi\n /* \"#utility.yul\":1265:1266 */\n 0x00\n /* \"#utility.yul\":1256:1262 */\n dup5\n /* \"#utility.yul\":1251:1254 */\n dup5\n /* \"#utility.yul\":1247:1263 */\n add\n /* \"#utility.yul\":1240:1267 */\n mstore\n /* \"#utility.yul\":1176:1178 */\n tag_33:\n /* \"#utility.yul\":1025:1283 */\n pop\n pop\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":1289:1609 */\n tag_9:\n 0x00\n /* \"#utility.yul\":1370:1371 */\n 0x02\n /* \"#utility.yul\":1364:1368 */\n dup3\n /* \"#utility.yul\":1360:1372 */\n div\n /* \"#utility.yul\":1350:1372 */\n swap1\n pop\n /* \"#utility.yul\":1417:1418 */\n 0x01\n /* \"#utility.yul\":1411:1415 */\n dup3\n /* \"#utility.yul\":1407:1419 */\n and\n /* \"#utility.yul\":1438:1456 */\n dup1\n /* \"#utility.yul\":1428:1430 */\n tag_35\n jumpi\n /* \"#utility.yul\":1494:1498 */\n 0x7f\n /* \"#utility.yul\":1486:1492 */\n dup3\n /* \"#utility.yul\":1482:1499 */\n and\n /* \"#utility.yul\":1472:1499 */\n swap2\n pop\n /* \"#utility.yul\":1428:1430 */\n tag_35:\n /* \"#utility.yul\":1556:1558 */\n 0x20\n /* \"#utility.yul\":1548:1554 */\n dup3\n /* \"#utility.yul\":1545:1559 */\n lt\n /* \"#utility.yul\":1525:1543 */\n dup2\n /* \"#utility.yul\":1522:1560 */\n eq\n /* \"#utility.yul\":1519:1521 */\n iszero\n tag_36\n jumpi\n /* \"#utility.yul\":1575:1593 */\n tag_37\n tag_38\n jump\t// in\n tag_37:\n /* \"#utility.yul\":1519:1521 */\n tag_36:\n /* \"#utility.yul\":1340:1609 */\n pop\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":1615:1795 */\n tag_38:\n /* \"#utility.yul\":1663:1740 */\n 0x4e487b7100000000000000000000000000000000000000000000000000000000\n /* \"#utility.yul\":1660:1661 */\n 0x00\n /* \"#utility.yul\":1653:1741 */\n mstore\n /* \"#utility.yul\":1760:1764 */\n 0x22\n /* \"#utility.yul\":1757:1758 */\n 0x04\n /* \"#utility.yul\":1750:1765 */\n mstore\n /* \"#utility.yul\":1784:1788 */\n 0x24\n /* \"#utility.yul\":1781:1782 */\n 0x00\n /* \"#utility.yul\":1774:1789 */\n revert\n /* \"#utility.yul\":1801:1903 */\n tag_24:\n 0x00\n /* \"#utility.yul\":1893:1895 */\n 0x1f\n /* \"#utility.yul\":1889:1896 */\n not\n /* \"#utility.yul\":1884:1886 */\n 0x1f\n /* \"#utility.yul\":1877:1882 */\n dup4\n /* \"#utility.yul\":1873:1887 */\n add\n /* \"#utility.yul\":1869:1897 */\n and\n /* \"#utility.yul\":1859:1897 */\n swap1\n pop\n /* \"#utility.yul\":1849:1903 */\n swap2\n swap1\n pop\n jump\t// out\n\n auxdata: 0xa2646970667358221220bd7cf58fbfc3227039c1895f0bc579fb558bbdf19dd07860bc12320a1bebe3e164736f6c63430008000033\n}\n",
"bytecode": {
"generatedSources": [
{
"ast": {
"nodeType": "YulBlock",
"src": "0:516:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "58:269:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "68:22:1",
"value": {
"arguments": [
{
"name": "data",
"nodeType": "YulIdentifier",
"src": "82:4:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "88:1:1",
"type": "",
"value": "2"
}
],
"functionName": {
"name": "div",
"nodeType": "YulIdentifier",
"src": "78:3:1"
},
"nodeType": "YulFunctionCall",
"src": "78:12:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "68:6:1"
}
]
},
{
"nodeType": "YulVariableDeclaration",
"src": "99:38:1",
"value": {
"arguments": [
{
"name": "data",
"nodeType": "YulIdentifier",
"src": "129:4:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "135:1:1",
"type": "",
"value": "1"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "125:3:1"
},
"nodeType": "YulFunctionCall",
"src": "125:12:1"
},
"variables": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulTypedName",
"src": "103:18:1",
"type": ""
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "176:51:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "190:27:1",
"value": {
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "204:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "212:4:1",
"type": "",
"value": "0x7f"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "200:3:1"
},
"nodeType": "YulFunctionCall",
"src": "200:17:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "190:6:1"
}
]
}
]
},
"condition": {
"arguments": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulIdentifier",
"src": "156:18:1"
}
],
"functionName": {
"name": "iszero",
"nodeType": "YulIdentifier",
"src": "149:6:1"
},
"nodeType": "YulFunctionCall",
"src": "149:26:1"
},
"nodeType": "YulIf",
"src": "146:2:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "279:42:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x22",
"nodeType": "YulIdentifier",
"src": "293:16:1"
},
"nodeType": "YulFunctionCall",
"src": "293:18:1"
},
"nodeType": "YulExpressionStatement",
"src": "293:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulIdentifier",
"src": "243:18:1"
},
{
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "266:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "274:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "lt",
"nodeType": "YulIdentifier",
"src": "263:2:1"
},
"nodeType": "YulFunctionCall",
"src": "263:14:1"
}
],
"functionName": {
"name": "eq",
"nodeType": "YulIdentifier",
"src": "240:2:1"
},
"nodeType": "YulFunctionCall",
"src": "240:38:1"
},
"nodeType": "YulIf",
"src": "237:2:1"
}
]
},
"name": "extract_byte_array_length",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "data",
"nodeType": "YulTypedName",
"src": "42:4:1",
"type": ""
}
],
"returnVariables": [
{
"name": "length",
"nodeType": "YulTypedName",
"src": "51:6:1",
"type": ""
}
],
"src": "7:320:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "361:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "378:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "381:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "371:6:1"
},
"nodeType": "YulFunctionCall",
"src": "371:88:1"
},
"nodeType": "YulExpressionStatement",
"src": "371:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "475:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "478:4:1",
"type": "",
"value": "0x22"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "468:6:1"
},
"nodeType": "YulFunctionCall",
"src": "468:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "468:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "499:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "502:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "492:6:1"
},
"nodeType": "YulFunctionCall",
"src": "492:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "492:15:1"
}
]
},
"name": "panic_error_0x22",
"nodeType": "YulFunctionDefinition",
"src": "333:180:1"
}
]
},
"contents": "{\n\n function extract_byte_array_length(data) -> length {\n length := div(data, 2)\n let outOfPlaceEncoding := and(data, 1)\n if iszero(outOfPlaceEncoding) {\n length := and(length, 0x7f)\n }\n\n if eq(outOfPlaceEncoding, lt(length, 32)) {\n panic_error_0x22()\n }\n }\n\n function panic_error_0x22() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x22)\n revert(0, 0x24)\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"linkReferences": {},
"object": "60806040526040518060400160405280600c81526020017f48656c6c6f20576f726c642100000000000000000000000000000000000000008152506000908051906020019061004f929190610062565b5034801561005c57600080fd5b50610166565b82805461006e90610105565b90600052602060002090601f01602090048101928261009057600085556100d7565b82601f106100a957805160ff19168380011785556100d7565b828001600101855582156100d7579182015b828111156100d65782518255916020019190600101906100bb565b5b5090506100e491906100e8565b5090565b5b808211156101015760008160009055506001016100e9565b5090565b6000600282049050600182168061011d57607f821691505b6020821081141561013157610130610137565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b61022e806101756000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c8063cfae321714610030575b600080fd5b61003861004e565b6040516100459190610115565b60405180910390f35b6000805461005b90610186565b80601f016020809104026020016040519081016040528092919081815260200182805461008790610186565b80156100d45780601f106100a9576101008083540402835291602001916100d4565b820191906000526020600020905b8154815290600101906020018083116100b757829003601f168201915b505050505081565b60006100e782610137565b6100f18185610142565b9350610101818560208601610153565b61010a816101e7565b840191505092915050565b6000602082019050818103600083015261012f81846100dc565b905092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610171578082015181840152602081019050610156565b83811115610180576000848401525b50505050565b6000600282049050600182168061019e57607f821691505b602082108114156101b2576101b16101b8565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f830116905091905056fea2646970667358221220bd7cf58fbfc3227039c1895f0bc579fb558bbdf19dd07860bc12320a1bebe3e164736f6c63430008000033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x40 MLOAD DUP1 PUSH1 0x40 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0xC DUP2 MSTORE PUSH1 0x20 ADD PUSH32 0x48656C6C6F20576F726C64210000000000000000000000000000000000000000 DUP2 MSTORE POP PUSH1 0x0 SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH2 0x4F SWAP3 SWAP2 SWAP1 PUSH2 0x62 JUMP JUMPDEST POP CALLVALUE DUP1 ISZERO PUSH2 0x5C JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x166 JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH2 0x6E SWAP1 PUSH2 0x105 JUMP JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH2 0x90 JUMPI PUSH1 0x0 DUP6 SSTORE PUSH2 0xD7 JUMP JUMPDEST DUP3 PUSH1 0x1F LT PUSH2 0xA9 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0xD7 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0xD7 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0xD6 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0xBB JUMP JUMPDEST JUMPDEST POP SWAP1 POP PUSH2 0xE4 SWAP2 SWAP1 PUSH2 0xE8 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x101 JUMPI PUSH1 0x0 DUP2 PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0xE9 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST PUSH1 0x0 PUSH1 0x2 DUP3 DIV SWAP1 POP PUSH1 0x1 DUP3 AND DUP1 PUSH2 0x11D JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 EQ ISZERO PUSH2 0x131 JUMPI PUSH2 0x130 PUSH2 0x137 JUMP JUMPDEST JUMPDEST POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH2 0x22E DUP1 PUSH2 0x175 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x2B JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0xCFAE3217 EQ PUSH2 0x30 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x38 PUSH2 0x4E JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x45 SWAP2 SWAP1 PUSH2 0x115 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x0 DUP1 SLOAD PUSH2 0x5B SWAP1 PUSH2 0x186 JUMP JUMPDEST DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH2 0x87 SWAP1 PUSH2 0x186 JUMP JUMPDEST DUP1 ISZERO PUSH2 0xD4 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0xA9 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0xD4 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0xB7 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST PUSH1 0x0 PUSH2 0xE7 DUP3 PUSH2 0x137 JUMP JUMPDEST PUSH2 0xF1 DUP2 DUP6 PUSH2 0x142 JUMP JUMPDEST SWAP4 POP PUSH2 0x101 DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x153 JUMP JUMPDEST PUSH2 0x10A DUP2 PUSH2 0x1E7 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x12F DUP2 DUP5 PUSH2 0xDC JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 MLOAD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x171 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x156 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x180 JUMPI PUSH1 0x0 DUP5 DUP5 ADD MSTORE JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x2 DUP3 DIV SWAP1 POP PUSH1 0x1 DUP3 AND DUP1 PUSH2 0x19E JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 EQ ISZERO PUSH2 0x1B2 JUMPI PUSH2 0x1B1 PUSH2 0x1B8 JUMP JUMPDEST JUMPDEST POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 PUSH1 0x1F NOT PUSH1 0x1F DUP4 ADD AND SWAP1 POP SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xBD PUSH29 0xF58FBFC3227039C1895F0BC579FB558BBDF19DD07860BC12320A1BEBE3 0xE1 PUSH5 0x736F6C6343 STOP ADDMOD STOP STOP CALLER ",
"sourceMap": "57:65:0:-:0;;;83:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;57:65;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:320:1:-;;88:1;82:4;78:12;68:22;;135:1;129:4;125:12;156:18;146:2;;212:4;204:6;200:17;190:27;;146:2;274;266:6;263:14;243:18;240:38;237:2;;;293:18;;:::i;:::-;237:2;58:269;;;;:::o;333:180::-;381:77;378:1;371:88;478:4;475:1;468:15;502:4;499:1;492:15;57:65:0;;;;;;;"
},
"deployedBytecode": {
"generatedSources": [
{
"ast": {
"nodeType": "YulBlock",
"src": "0:1906:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "99:272:1",
"statements": [
{
"nodeType": "YulVariableDeclaration",
"src": "109:53:1",
"value": {
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "156:5:1"
}
],
"functionName": {
"name": "array_length_t_string_memory_ptr",
"nodeType": "YulIdentifier",
"src": "123:32:1"
},
"nodeType": "YulFunctionCall",
"src": "123:39:1"
},
"variables": [
{
"name": "length",
"nodeType": "YulTypedName",
"src": "113:6:1",
"type": ""
}
]
},
{
"nodeType": "YulAssignment",
"src": "171:78:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "237:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "242:6:1"
}
],
"functionName": {
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nodeType": "YulIdentifier",
"src": "178:58:1"
},
"nodeType": "YulFunctionCall",
"src": "178:71:1"
},
"variableNames": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "171:3:1"
}
]
},
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "284:5:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "291:4:1",
"type": "",
"value": "0x20"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "280:3:1"
},
"nodeType": "YulFunctionCall",
"src": "280:16:1"
},
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "298:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "303:6:1"
}
],
"functionName": {
"name": "copy_memory_to_memory",
"nodeType": "YulIdentifier",
"src": "258:21:1"
},
"nodeType": "YulFunctionCall",
"src": "258:52:1"
},
"nodeType": "YulExpressionStatement",
"src": "258:52:1"
},
{
"nodeType": "YulAssignment",
"src": "319:46:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "330:3:1"
},
{
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "357:6:1"
}
],
"functionName": {
"name": "round_up_to_mul_of_32",
"nodeType": "YulIdentifier",
"src": "335:21:1"
},
"nodeType": "YulFunctionCall",
"src": "335:29:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "326:3:1"
},
"nodeType": "YulFunctionCall",
"src": "326:39:1"
},
"variableNames": [
{
"name": "end",
"nodeType": "YulIdentifier",
"src": "319:3:1"
}
]
}
]
},
"name": "abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "80:5:1",
"type": ""
},
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "87:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "end",
"nodeType": "YulTypedName",
"src": "95:3:1",
"type": ""
}
],
"src": "7:364:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "495:195:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "505:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "517:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "528:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "513:3:1"
},
"nodeType": "YulFunctionCall",
"src": "513:18:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "505:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "552:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "563:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "548:3:1"
},
"nodeType": "YulFunctionCall",
"src": "548:17:1"
},
{
"arguments": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "571:4:1"
},
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "577:9:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "567:3:1"
},
"nodeType": "YulFunctionCall",
"src": "567:20:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "541:6:1"
},
"nodeType": "YulFunctionCall",
"src": "541:47:1"
},
"nodeType": "YulExpressionStatement",
"src": "541:47:1"
},
{
"nodeType": "YulAssignment",
"src": "597:86:1",
"value": {
"arguments": [
{
"name": "value0",
"nodeType": "YulIdentifier",
"src": "669:6:1"
},
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "678:4:1"
}
],
"functionName": {
"name": "abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack",
"nodeType": "YulIdentifier",
"src": "605:63:1"
},
"nodeType": "YulFunctionCall",
"src": "605:78:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "597:4:1"
}
]
}
]
},
"name": "abi_encode_tuple_t_string_memory_ptr__to_t_string_memory_ptr__fromStack_reversed",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nodeType": "YulTypedName",
"src": "467:9:1",
"type": ""
},
{
"name": "value0",
"nodeType": "YulTypedName",
"src": "479:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nodeType": "YulTypedName",
"src": "490:4:1",
"type": ""
}
],
"src": "377:313:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "755:40:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "766:22:1",
"value": {
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "782:5:1"
}
],
"functionName": {
"name": "mload",
"nodeType": "YulIdentifier",
"src": "776:5:1"
},
"nodeType": "YulFunctionCall",
"src": "776:12:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "766:6:1"
}
]
}
]
},
"name": "array_length_t_string_memory_ptr",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "738:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "length",
"nodeType": "YulTypedName",
"src": "748:6:1",
"type": ""
}
],
"src": "696:99:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "897:73:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "914:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "919:6:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "907:6:1"
},
"nodeType": "YulFunctionCall",
"src": "907:19:1"
},
"nodeType": "YulExpressionStatement",
"src": "907:19:1"
},
{
"nodeType": "YulAssignment",
"src": "935:29:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "954:3:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "959:4:1",
"type": "",
"value": "0x20"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "950:3:1"
},
"nodeType": "YulFunctionCall",
"src": "950:14:1"
},
"variableNames": [
{
"name": "updated_pos",
"nodeType": "YulIdentifier",
"src": "935:11:1"
}
]
}
]
},
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "869:3:1",
"type": ""
},
{
"name": "length",
"nodeType": "YulTypedName",
"src": "874:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "updated_pos",
"nodeType": "YulTypedName",
"src": "885:11:1",
"type": ""
}
],
"src": "801:169:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1025:258:1",
"statements": [
{
"nodeType": "YulVariableDeclaration",
"src": "1035:10:1",
"value": {
"kind": "number",
"nodeType": "YulLiteral",
"src": "1044:1:1",
"type": "",
"value": "0"
},
"variables": [
{
"name": "i",
"nodeType": "YulTypedName",
"src": "1039:1:1",
"type": ""
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "1104:63:1",
"statements": [
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "dst",
"nodeType": "YulIdentifier",
"src": "1129:3:1"
},
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1134:1:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1125:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1125:11:1"
},
{
"arguments": [
{
"arguments": [
{
"name": "src",
"nodeType": "YulIdentifier",
"src": "1148:3:1"
},
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1153:1:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1144:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1144:11:1"
}
],
"functionName": {
"name": "mload",
"nodeType": "YulIdentifier",
"src": "1138:5:1"
},
"nodeType": "YulFunctionCall",
"src": "1138:18:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1118:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1118:39:1"
},
"nodeType": "YulExpressionStatement",
"src": "1118:39:1"
}
]
},
"condition": {
"arguments": [
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1065:1:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1068:6:1"
}
],
"functionName": {
"name": "lt",
"nodeType": "YulIdentifier",
"src": "1062:2:1"
},
"nodeType": "YulFunctionCall",
"src": "1062:13:1"
},
"nodeType": "YulForLoop",
"post": {
"nodeType": "YulBlock",
"src": "1076:19:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1078:15:1",
"value": {
"arguments": [
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1087:1:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1090:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1083:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1083:10:1"
},
"variableNames": [
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1078:1:1"
}
]
}
]
},
"pre": {
"nodeType": "YulBlock",
"src": "1058:3:1",
"statements": []
},
"src": "1054:113:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1201:76:1",
"statements": [
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "dst",
"nodeType": "YulIdentifier",
"src": "1251:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1256:6:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1247:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1247:16:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1265:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1240:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1240:27:1"
},
"nodeType": "YulExpressionStatement",
"src": "1240:27:1"
}
]
},
"condition": {
"arguments": [
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1182:1:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1185:6:1"
}
],
"functionName": {
"name": "gt",
"nodeType": "YulIdentifier",
"src": "1179:2:1"
},
"nodeType": "YulFunctionCall",
"src": "1179:13:1"
},
"nodeType": "YulIf",
"src": "1176:2:1"
}
]
},
"name": "copy_memory_to_memory",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "src",
"nodeType": "YulTypedName",
"src": "1007:3:1",
"type": ""
},
{
"name": "dst",
"nodeType": "YulTypedName",
"src": "1012:3:1",
"type": ""
},
{
"name": "length",
"nodeType": "YulTypedName",
"src": "1017:6:1",
"type": ""
}
],
"src": "976:307:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1340:269:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1350:22:1",
"value": {
"arguments": [
{
"name": "data",
"nodeType": "YulIdentifier",
"src": "1364:4:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1370:1:1",
"type": "",
"value": "2"
}
],
"functionName": {
"name": "div",
"nodeType": "YulIdentifier",
"src": "1360:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1360:12:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1350:6:1"
}
]
},
{
"nodeType": "YulVariableDeclaration",
"src": "1381:38:1",
"value": {
"arguments": [
{
"name": "data",
"nodeType": "YulIdentifier",
"src": "1411:4:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1417:1:1",
"type": "",
"value": "1"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "1407:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1407:12:1"
},
"variables": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulTypedName",
"src": "1385:18:1",
"type": ""
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "1458:51:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1472:27:1",
"value": {
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1486:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1494:4:1",
"type": "",
"value": "0x7f"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "1482:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1482:17:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1472:6:1"
}
]
}
]
},
"condition": {
"arguments": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulIdentifier",
"src": "1438:18:1"
}
],
"functionName": {
"name": "iszero",
"nodeType": "YulIdentifier",
"src": "1431:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1431:26:1"
},
"nodeType": "YulIf",
"src": "1428:2:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1561:42:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x22",
"nodeType": "YulIdentifier",
"src": "1575:16:1"
},
"nodeType": "YulFunctionCall",
"src": "1575:18:1"
},
"nodeType": "YulExpressionStatement",
"src": "1575:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulIdentifier",
"src": "1525:18:1"
},
{
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1548:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1556:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "lt",
"nodeType": "YulIdentifier",
"src": "1545:2:1"
},
"nodeType": "YulFunctionCall",
"src": "1545:14:1"
}
],
"functionName": {
"name": "eq",
"nodeType": "YulIdentifier",
"src": "1522:2:1"
},
"nodeType": "YulFunctionCall",
"src": "1522:38:1"
},
"nodeType": "YulIf",
"src": "1519:2:1"
}
]
},
"name": "extract_byte_array_length",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "data",
"nodeType": "YulTypedName",
"src": "1324:4:1",
"type": ""
}
],
"returnVariables": [
{
"name": "length",
"nodeType": "YulTypedName",
"src": "1333:6:1",
"type": ""
}
],
"src": "1289:320:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1643:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1660:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1663:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1653:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1653:88:1"
},
"nodeType": "YulExpressionStatement",
"src": "1653:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1757:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1760:4:1",
"type": "",
"value": "0x22"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1750:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1750:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "1750:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1781:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1784:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "1774:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1774:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "1774:15:1"
}
]
},
"name": "panic_error_0x22",
"nodeType": "YulFunctionDefinition",
"src": "1615:180:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1849:54:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1859:38:1",
"value": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "1877:5:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1884:2:1",
"type": "",
"value": "31"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1873:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1873:14:1"
},
{
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1893:2:1",
"type": "",
"value": "31"
}
],
"functionName": {
"name": "not",
"nodeType": "YulIdentifier",
"src": "1889:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1889:7:1"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "1869:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1869:28:1"
},
"variableNames": [
{
"name": "result",
"nodeType": "YulIdentifier",
"src": "1859:6:1"
}
]
}
]
},
"name": "round_up_to_mul_of_32",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "1832:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "result",
"nodeType": "YulTypedName",
"src": "1842:6:1",
"type": ""
}
],
"src": "1801:102:1"
}
]
},
"contents": "{\n\n function abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack(value, pos) -> end {\n let length := array_length_t_string_memory_ptr(value)\n pos := array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, length)\n copy_memory_to_memory(add(value, 0x20), pos, length)\n end := add(pos, round_up_to_mul_of_32(length))\n }\n\n function abi_encode_tuple_t_string_memory_ptr__to_t_string_memory_ptr__fromStack_reversed(headStart , value0) -> tail {\n tail := add(headStart, 32)\n\n mstore(add(headStart, 0), sub(tail, headStart))\n tail := abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack(value0, tail)\n\n }\n\n function array_length_t_string_memory_ptr(value) -> length {\n\n length := mload(value)\n\n }\n\n function array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, length) -> updated_pos {\n mstore(pos, length)\n updated_pos := add(pos, 0x20)\n }\n\n function copy_memory_to_memory(src, dst, length) {\n let i := 0\n for { } lt(i, length) { i := add(i, 32) }\n {\n mstore(add(dst, i), mload(add(src, i)))\n }\n if gt(i, length)\n {\n // clear end\n mstore(add(dst, length), 0)\n }\n }\n\n function extract_byte_array_length(data) -> length {\n length := div(data, 2)\n let outOfPlaceEncoding := and(data, 1)\n if iszero(outOfPlaceEncoding) {\n length := and(length, 0x7f)\n }\n\n if eq(outOfPlaceEncoding, lt(length, 32)) {\n panic_error_0x22()\n }\n }\n\n function panic_error_0x22() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x22)\n revert(0, 0x24)\n }\n\n function round_up_to_mul_of_32(value) -> result {\n result := and(add(value, 31), not(31))\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"immutableReferences": {},
"linkReferences": {},
"object": "608060405234801561001057600080fd5b506004361061002b5760003560e01c8063cfae321714610030575b600080fd5b61003861004e565b6040516100459190610115565b60405180910390f35b6000805461005b90610186565b80601f016020809104026020016040519081016040528092919081815260200182805461008790610186565b80156100d45780601f106100a9576101008083540402835291602001916100d4565b820191906000526020600020905b8154815290600101906020018083116100b757829003601f168201915b505050505081565b60006100e782610137565b6100f18185610142565b9350610101818560208601610153565b61010a816101e7565b840191505092915050565b6000602082019050818103600083015261012f81846100dc565b905092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610171578082015181840152602081019050610156565b83811115610180576000848401525b50505050565b6000600282049050600182168061019e57607f821691505b602082108114156101b2576101b16101b8565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f830116905091905056fea2646970667358221220bd7cf58fbfc3227039c1895f0bc579fb558bbdf19dd07860bc12320a1bebe3e164736f6c63430008000033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x2B JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0xCFAE3217 EQ PUSH2 0x30 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x38 PUSH2 0x4E JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x45 SWAP2 SWAP1 PUSH2 0x115 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x0 DUP1 SLOAD PUSH2 0x5B SWAP1 PUSH2 0x186 JUMP JUMPDEST DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH2 0x87 SWAP1 PUSH2 0x186 JUMP JUMPDEST DUP1 ISZERO PUSH2 0xD4 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0xA9 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0xD4 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0xB7 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST PUSH1 0x0 PUSH2 0xE7 DUP3 PUSH2 0x137 JUMP JUMPDEST PUSH2 0xF1 DUP2 DUP6 PUSH2 0x142 JUMP JUMPDEST SWAP4 POP PUSH2 0x101 DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x153 JUMP JUMPDEST PUSH2 0x10A DUP2 PUSH2 0x1E7 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x12F DUP2 DUP5 PUSH2 0xDC JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 MLOAD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x171 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x156 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x180 JUMPI PUSH1 0x0 DUP5 DUP5 ADD MSTORE JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x2 DUP3 DIV SWAP1 POP PUSH1 0x1 DUP3 AND DUP1 PUSH2 0x19E JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 EQ ISZERO PUSH2 0x1B2 JUMPI PUSH2 0x1B1 PUSH2 0x1B8 JUMP JUMPDEST JUMPDEST POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 PUSH1 0x1F NOT PUSH1 0x1F DUP4 ADD AND SWAP1 POP SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xBD PUSH29 0xF58FBFC3227039C1895F0BC579FB558BBDF19DD07860BC12320A1BEBE3 0xE1 PUSH5 0x736F6C6343 STOP ADDMOD STOP STOP CALLER ",
"sourceMap": "57:65:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;83:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:364:1:-;;123:39;156:5;123:39;:::i;:::-;178:71;242:6;237:3;178:71;:::i;:::-;171:78;;258:52;303:6;298:3;291:4;284:5;280:16;258:52;:::i;:::-;335:29;357:6;335:29;:::i;:::-;330:3;326:39;319:46;;99:272;;;;;:::o;377:313::-;;528:2;517:9;513:18;505:26;;577:9;571:4;567:20;563:1;552:9;548:17;541:47;605:78;678:4;669:6;605:78;:::i;:::-;597:86;;495:195;;;;:::o;696:99::-;;782:5;776:12;766:22;;755:40;;;:::o;801:169::-;;919:6;914:3;907:19;959:4;954:3;950:14;935:29;;897:73;;;;:::o;976:307::-;1044:1;1054:113;1068:6;1065:1;1062:13;1054:113;;;1153:1;1148:3;1144:11;1138:18;1134:1;1129:3;1125:11;1118:39;1090:2;1087:1;1083:10;1078:15;;1054:113;;;1185:6;1182:1;1179:13;1176:2;;;1265:1;1256:6;1251:3;1247:16;1240:27;1176:2;1025:258;;;;:::o;1289:320::-;;1370:1;1364:4;1360:12;1350:22;;1417:1;1411:4;1407:12;1438:18;1428:2;;1494:4;1486:6;1482:17;1472:27;;1428:2;1556;1548:6;1545:14;1525:18;1522:38;1519:2;;;1575:18;;:::i;:::-;1519:2;1340:269;;;;:::o;1615:180::-;1663:77;1660:1;1653:88;1760:4;1757:1;1750:15;1784:4;1781:1;1774:15;1801:102;;1893:2;1889:7;1884:2;1877:5;1873:14;1869:28;1859:38;;1849:54;;;:::o"
},
"gasEstimates": {
"creation": {
"codeDepositCost": "111600",
"executionCost": "infinite",
"totalCost": "infinite"
},
"external": {
"greet()": "infinite"
}
},
"legacyAssembly": {
".code": [
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "80"
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 57,
"end": 122,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 83,
"end": 119,
"name": "MLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 83,
"end": 119,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "C"
},
{
"begin": 83,
"end": 119,
"name": "DUP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "48656C6C6F20576F726C64210000000000000000000000000000000000000000"
},
{
"begin": 83,
"end": 119,
"name": "DUP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "POP",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "MLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "1"
},
{
"begin": 83,
"end": 119,
"name": "SWAP3",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "2"
},
{
"begin": 83,
"end": 119,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "1"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "POP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "CALLVALUE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ISZERO",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "3"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "REVERT",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "3"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "POP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "4"
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "2"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SLOAD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "5"
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "6"
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "5"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "MSTORE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "KECCAK256",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "1F"
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DIV",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP2",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "8"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "DUP6",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SSTORE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "7"
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "8"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "1F"
},
{
"begin": 57,
"end": 122,
"name": "LT",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "9"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "MLOAD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "FF"
},
{
"begin": 57,
"end": 122,
"name": "NOT",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "AND",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP4",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "OR",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP6",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SSTORE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "7"
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "9"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "1"
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP6",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SSTORE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ISZERO",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "7"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP2",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "10"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP2",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "GT",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ISZERO",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "11"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "MLOAD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SSTORE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP2",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP2",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "1"
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "10"
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "11"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "7"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "POP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "POP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "12"
},
{
"begin": 57,
"end": 122,
"name": "SWAP2",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "13"
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "12"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "POP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0,
"value": "[out]"
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "13"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "14"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP3",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "GT",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ISZERO",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "15"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "DUP2",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SSTORE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "POP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "1"
},
{
"begin": 57,
"end": 122,
"name": "ADD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "14"
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "15"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "POP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "SWAP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "JUMP",
"source": 0,
"value": "[out]"
},
{
"begin": 7,
"end": 327,
"name": "tag",
"source": 1,
"value": "6"
},
{
"begin": 7,
"end": 327,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 7,
"end": 327,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 88,
"end": 89,
"name": "PUSH",
"source": 1,
"value": "2"
},
{
"begin": 82,
"end": 86,
"name": "DUP3",
"source": 1
},
{
"begin": 78,
"end": 90,
"name": "DIV",
"source": 1
},
{
"begin": 68,
"end": 90,
"name": "SWAP1",
"source": 1
},
{
"begin": 68,
"end": 90,
"name": "POP",
"source": 1
},
{
"begin": 135,
"end": 136,
"name": "PUSH",
"source": 1,
"value": "1"
},
{
"begin": 129,
"end": 133,
"name": "DUP3",
"source": 1
},
{
"begin": 125,
"end": 137,
"name": "AND",
"source": 1
},
{
"begin": 156,
"end": 174,
"name": "DUP1",
"source": 1
},
{
"begin": 146,
"end": 148,
"name": "PUSH [tag]",
"source": 1,
"value": "18"
},
{
"begin": 146,
"end": 148,
"name": "JUMPI",
"source": 1
},
{
"begin": 212,
"end": 216,
"name": "PUSH",
"source": 1,
"value": "7F"
},
{
"begin": 204,
"end": 210,
"name": "DUP3",
"source": 1
},
{
"begin": 200,
"end": 217,
"name": "AND",
"source": 1
},
{
"begin": 190,
"end": 217,
"name": "SWAP2",
"source": 1
},
{
"begin": 190,
"end": 217,
"name": "POP",
"source": 1
},
{
"begin": 146,
"end": 148,
"name": "tag",
"source": 1,
"value": "18"
},
{
"begin": 146,
"end": 148,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 274,
"end": 276,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 266,
"end": 272,
"name": "DUP3",
"source": 1
},
{
"begin": 263,
"end": 277,
"name": "LT",
"source": 1
},
{
"begin": 243,
"end": 261,
"name": "DUP2",
"source": 1
},
{
"begin": 240,
"end": 278,
"name": "EQ",
"source": 1
},
{
"begin": 237,
"end": 239,
"name": "ISZERO",
"source": 1
},
{
"begin": 237,
"end": 239,
"name": "PUSH [tag]",
"source": 1,
"value": "19"
},
{
"begin": 237,
"end": 239,
"name": "JUMPI",
"source": 1
},
{
"begin": 293,
"end": 311,
"name": "PUSH [tag]",
"source": 1,
"value": "20"
},
{
"begin": 293,
"end": 311,
"name": "PUSH [tag]",
"source": 1,
"value": "21"
},
{
"begin": 293,
"end": 311,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 293,
"end": 311,
"name": "tag",
"source": 1,
"value": "20"
},
{
"begin": 293,
"end": 311,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 237,
"end": 239,
"name": "tag",
"source": 1,
"value": "19"
},
{
"begin": 237,
"end": 239,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 58,
"end": 327,
"name": "POP",
"source": 1
},
{
"begin": 58,
"end": 327,
"name": "SWAP2",
"source": 1
},
{
"begin": 58,
"end": 327,
"name": "SWAP1",
"source": 1
},
{
"begin": 58,
"end": 327,
"name": "POP",
"source": 1
},
{
"begin": 58,
"end": 327,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 333,
"end": 513,
"name": "tag",
"source": 1,
"value": "21"
},
{
"begin": 333,
"end": 513,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 381,
"end": 458,
"name": "PUSH",
"source": 1,
"value": "4E487B7100000000000000000000000000000000000000000000000000000000"
},
{
"begin": 378,
"end": 379,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 371,
"end": 459,
"name": "MSTORE",
"source": 1
},
{
"begin": 478,
"end": 482,
"name": "PUSH",
"source": 1,
"value": "22"
},
{
"begin": 475,
"end": 476,
"name": "PUSH",
"source": 1,
"value": "4"
},
{
"begin": 468,
"end": 483,
"name": "MSTORE",
"source": 1
},
{
"begin": 502,
"end": 506,
"name": "PUSH",
"source": 1,
"value": "24"
},
{
"begin": 499,
"end": 500,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 492,
"end": 507,
"name": "REVERT",
"source": 1
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "4"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH #[$]",
"source": 0,
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [$]",
"source": 0,
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "CODECOPY",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "RETURN",
"source": 0
}
],
".data": {
"0": {
".auxdata": "a2646970667358221220bd7cf58fbfc3227039c1895f0bc579fb558bbdf19dd07860bc12320a1bebe3e164736f6c63430008000033",
".code": [
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "80"
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 57,
"end": 122,
"name": "MSTORE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "CALLVALUE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "ISZERO",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "1"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "REVERT",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "1"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "POP",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "4"
},
{
"begin": 57,
"end": 122,
"name": "CALLDATASIZE",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "LT",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "2"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "CALLDATALOAD",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "E0"
},
{
"begin": 57,
"end": 122,
"name": "SHR",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "CFAE3217"
},
{
"begin": 57,
"end": 122,
"name": "EQ",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH [tag]",
"source": 0,
"value": "3"
},
{
"begin": 57,
"end": 122,
"name": "JUMPI",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "tag",
"source": 0,
"value": "2"
},
{
"begin": 57,
"end": 122,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 57,
"end": 122,
"name": "DUP1",
"source": 0
},
{
"begin": 57,
"end": 122,
"name": "REVERT",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "3"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "4"
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "5"
},
{
"begin": 83,
"end": 119,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "4"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 83,
"end": 119,
"name": "MLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "6"
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "7"
},
{
"begin": 83,
"end": 119,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "6"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 83,
"end": 119,
"name": "MLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SUB",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "RETURN",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "5"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "8"
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "9"
},
{
"begin": 83,
"end": 119,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "8"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "1F"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DIV",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "MUL",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 83,
"end": 119,
"name": "MLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 83,
"end": 119,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP3",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP3",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "10"
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "9"
},
{
"begin": 83,
"end": 119,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "10"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "ISZERO",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "11"
},
{
"begin": 83,
"end": 119,
"name": "JUMPI",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "1F"
},
{
"begin": 83,
"end": 119,
"name": "LT",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "12"
},
{
"begin": 83,
"end": 119,
"name": "JUMPI",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "100"
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP4",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DIV",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "MUL",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP4",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "11"
},
{
"begin": 83,
"end": 119,
"name": "JUMP",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "12"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP3",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 83,
"end": 119,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 83,
"end": 119,
"name": "KECCAK256",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "13"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SLOAD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "MSTORE",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "1"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "20"
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP4",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "GT",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH [tag]",
"source": 0,
"value": "13"
},
{
"begin": 83,
"end": 119,
"name": "JUMPI",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP3",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP1",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SUB",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "PUSH",
"source": 0,
"value": "1F"
},
{
"begin": 83,
"end": 119,
"name": "AND",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP3",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "ADD",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "SWAP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "tag",
"source": 0,
"value": "11"
},
{
"begin": 83,
"end": 119,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "POP",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "POP",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "POP",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "POP",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "POP",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "DUP2",
"source": 0
},
{
"begin": 83,
"end": 119,
"name": "JUMP",
"source": 0,
"value": "[out]"
},
{
"begin": 7,
"end": 371,
"name": "tag",
"source": 1,
"value": "15"
},
{
"begin": 7,
"end": 371,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 7,
"end": 371,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 123,
"end": 162,
"name": "PUSH [tag]",
"source": 1,
"value": "17"
},
{
"begin": 156,
"end": 161,
"name": "DUP3",
"source": 1
},
{
"begin": 123,
"end": 162,
"name": "PUSH [tag]",
"source": 1,
"value": "18"
},
{
"begin": 123,
"end": 162,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 123,
"end": 162,
"name": "tag",
"source": 1,
"value": "17"
},
{
"begin": 123,
"end": 162,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 178,
"end": 249,
"name": "PUSH [tag]",
"source": 1,
"value": "19"
},
{
"begin": 242,
"end": 248,
"name": "DUP2",
"source": 1
},
{
"begin": 237,
"end": 240,
"name": "DUP6",
"source": 1
},
{
"begin": 178,
"end": 249,
"name": "PUSH [tag]",
"source": 1,
"value": "20"
},
{
"begin": 178,
"end": 249,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 178,
"end": 249,
"name": "tag",
"source": 1,
"value": "19"
},
{
"begin": 178,
"end": 249,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 171,
"end": 249,
"name": "SWAP4",
"source": 1
},
{
"begin": 171,
"end": 249,
"name": "POP",
"source": 1
},
{
"begin": 258,
"end": 310,
"name": "PUSH [tag]",
"source": 1,
"value": "21"
},
{
"begin": 303,
"end": 309,
"name": "DUP2",
"source": 1
},
{
"begin": 298,
"end": 301,
"name": "DUP6",
"source": 1
},
{
"begin": 291,
"end": 295,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 284,
"end": 289,
"name": "DUP7",
"source": 1
},
{
"begin": 280,
"end": 296,
"name": "ADD",
"source": 1
},
{
"begin": 258,
"end": 310,
"name": "PUSH [tag]",
"source": 1,
"value": "22"
},
{
"begin": 258,
"end": 310,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 258,
"end": 310,
"name": "tag",
"source": 1,
"value": "21"
},
{
"begin": 258,
"end": 310,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 335,
"end": 364,
"name": "PUSH [tag]",
"source": 1,
"value": "23"
},
{
"begin": 357,
"end": 363,
"name": "DUP2",
"source": 1
},
{
"begin": 335,
"end": 364,
"name": "PUSH [tag]",
"source": 1,
"value": "24"
},
{
"begin": 335,
"end": 364,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 335,
"end": 364,
"name": "tag",
"source": 1,
"value": "23"
},
{
"begin": 335,
"end": 364,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 330,
"end": 333,
"name": "DUP5",
"source": 1
},
{
"begin": 326,
"end": 365,
"name": "ADD",
"source": 1
},
{
"begin": 319,
"end": 365,
"name": "SWAP2",
"source": 1
},
{
"begin": 319,
"end": 365,
"name": "POP",
"source": 1
},
{
"begin": 99,
"end": 371,
"name": "POP",
"source": 1
},
{
"begin": 99,
"end": 371,
"name": "SWAP3",
"source": 1
},
{
"begin": 99,
"end": 371,
"name": "SWAP2",
"source": 1
},
{
"begin": 99,
"end": 371,
"name": "POP",
"source": 1
},
{
"begin": 99,
"end": 371,
"name": "POP",
"source": 1
},
{
"begin": 99,
"end": 371,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 377,
"end": 690,
"name": "tag",
"source": 1,
"value": "7"
},
{
"begin": 377,
"end": 690,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 377,
"end": 690,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 528,
"end": 530,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 517,
"end": 526,
"name": "DUP3",
"source": 1
},
{
"begin": 513,
"end": 531,
"name": "ADD",
"source": 1
},
{
"begin": 505,
"end": 531,
"name": "SWAP1",
"source": 1
},
{
"begin": 505,
"end": 531,
"name": "POP",
"source": 1
},
{
"begin": 577,
"end": 586,
"name": "DUP2",
"source": 1
},
{
"begin": 571,
"end": 575,
"name": "DUP2",
"source": 1
},
{
"begin": 567,
"end": 587,
"name": "SUB",
"source": 1
},
{
"begin": 563,
"end": 564,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 552,
"end": 561,
"name": "DUP4",
"source": 1
},
{
"begin": 548,
"end": 565,
"name": "ADD",
"source": 1
},
{
"begin": 541,
"end": 588,
"name": "MSTORE",
"source": 1
},
{
"begin": 605,
"end": 683,
"name": "PUSH [tag]",
"source": 1,
"value": "26"
},
{
"begin": 678,
"end": 682,
"name": "DUP2",
"source": 1
},
{
"begin": 669,
"end": 675,
"name": "DUP5",
"source": 1
},
{
"begin": 605,
"end": 683,
"name": "PUSH [tag]",
"source": 1,
"value": "15"
},
{
"begin": 605,
"end": 683,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 605,
"end": 683,
"name": "tag",
"source": 1,
"value": "26"
},
{
"begin": 605,
"end": 683,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 597,
"end": 683,
"name": "SWAP1",
"source": 1
},
{
"begin": 597,
"end": 683,
"name": "POP",
"source": 1
},
{
"begin": 495,
"end": 690,
"name": "SWAP3",
"source": 1
},
{
"begin": 495,
"end": 690,
"name": "SWAP2",
"source": 1
},
{
"begin": 495,
"end": 690,
"name": "POP",
"source": 1
},
{
"begin": 495,
"end": 690,
"name": "POP",
"source": 1
},
{
"begin": 495,
"end": 690,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 696,
"end": 795,
"name": "tag",
"source": 1,
"value": "18"
},
{
"begin": 696,
"end": 795,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 696,
"end": 795,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 782,
"end": 787,
"name": "DUP2",
"source": 1
},
{
"begin": 776,
"end": 788,
"name": "MLOAD",
"source": 1
},
{
"begin": 766,
"end": 788,
"name": "SWAP1",
"source": 1
},
{
"begin": 766,
"end": 788,
"name": "POP",
"source": 1
},
{
"begin": 755,
"end": 795,
"name": "SWAP2",
"source": 1
},
{
"begin": 755,
"end": 795,
"name": "SWAP1",
"source": 1
},
{
"begin": 755,
"end": 795,
"name": "POP",
"source": 1
},
{
"begin": 755,
"end": 795,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 801,
"end": 970,
"name": "tag",
"source": 1,
"value": "20"
},
{
"begin": 801,
"end": 970,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 801,
"end": 970,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 919,
"end": 925,
"name": "DUP3",
"source": 1
},
{
"begin": 914,
"end": 917,
"name": "DUP3",
"source": 1
},
{
"begin": 907,
"end": 926,
"name": "MSTORE",
"source": 1
},
{
"begin": 959,
"end": 963,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 954,
"end": 957,
"name": "DUP3",
"source": 1
},
{
"begin": 950,
"end": 964,
"name": "ADD",
"source": 1
},
{
"begin": 935,
"end": 964,
"name": "SWAP1",
"source": 1
},
{
"begin": 935,
"end": 964,
"name": "POP",
"source": 1
},
{
"begin": 897,
"end": 970,
"name": "SWAP3",
"source": 1
},
{
"begin": 897,
"end": 970,
"name": "SWAP2",
"source": 1
},
{
"begin": 897,
"end": 970,
"name": "POP",
"source": 1
},
{
"begin": 897,
"end": 970,
"name": "POP",
"source": 1
},
{
"begin": 897,
"end": 970,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 976,
"end": 1283,
"name": "tag",
"source": 1,
"value": "22"
},
{
"begin": 976,
"end": 1283,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1044,
"end": 1045,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1054,
"end": 1167,
"name": "tag",
"source": 1,
"value": "30"
},
{
"begin": 1054,
"end": 1167,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1068,
"end": 1074,
"name": "DUP4",
"source": 1
},
{
"begin": 1065,
"end": 1066,
"name": "DUP2",
"source": 1
},
{
"begin": 1062,
"end": 1075,
"name": "LT",
"source": 1
},
{
"begin": 1054,
"end": 1167,
"name": "ISZERO",
"source": 1
},
{
"begin": 1054,
"end": 1167,
"name": "PUSH [tag]",
"source": 1,
"value": "32"
},
{
"begin": 1054,
"end": 1167,
"name": "JUMPI",
"source": 1
},
{
"begin": 1153,
"end": 1154,
"name": "DUP1",
"source": 1
},
{
"begin": 1148,
"end": 1151,
"name": "DUP3",
"source": 1
},
{
"begin": 1144,
"end": 1155,
"name": "ADD",
"source": 1
},
{
"begin": 1138,
"end": 1156,
"name": "MLOAD",
"source": 1
},
{
"begin": 1134,
"end": 1135,
"name": "DUP2",
"source": 1
},
{
"begin": 1129,
"end": 1132,
"name": "DUP5",
"source": 1
},
{
"begin": 1125,
"end": 1136,
"name": "ADD",
"source": 1
},
{
"begin": 1118,
"end": 1157,
"name": "MSTORE",
"source": 1
},
{
"begin": 1090,
"end": 1092,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 1087,
"end": 1088,
"name": "DUP2",
"source": 1
},
{
"begin": 1083,
"end": 1093,
"name": "ADD",
"source": 1
},
{
"begin": 1078,
"end": 1093,
"name": "SWAP1",
"source": 1
},
{
"begin": 1078,
"end": 1093,
"name": "POP",
"source": 1
},
{
"begin": 1054,
"end": 1167,
"name": "PUSH [tag]",
"source": 1,
"value": "30"
},
{
"begin": 1054,
"end": 1167,
"name": "JUMP",
"source": 1
},
{
"begin": 1054,
"end": 1167,
"name": "tag",
"source": 1,
"value": "32"
},
{
"begin": 1054,
"end": 1167,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1185,
"end": 1191,
"name": "DUP4",
"source": 1
},
{
"begin": 1182,
"end": 1183,
"name": "DUP2",
"source": 1
},
{
"begin": 1179,
"end": 1192,
"name": "GT",
"source": 1
},
{
"begin": 1176,
"end": 1178,
"name": "ISZERO",
"source": 1
},
{
"begin": 1176,
"end": 1178,
"name": "PUSH [tag]",
"source": 1,
"value": "33"
},
{
"begin": 1176,
"end": 1178,
"name": "JUMPI",
"source": 1
},
{
"begin": 1265,
"end": 1266,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1256,
"end": 1262,
"name": "DUP5",
"source": 1
},
{
"begin": 1251,
"end": 1254,
"name": "DUP5",
"source": 1
},
{
"begin": 1247,
"end": 1263,
"name": "ADD",
"source": 1
},
{
"begin": 1240,
"end": 1267,
"name": "MSTORE",
"source": 1
},
{
"begin": 1176,
"end": 1178,
"name": "tag",
"source": 1,
"value": "33"
},
{
"begin": 1176,
"end": 1178,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1025,
"end": 1283,
"name": "POP",
"source": 1
},
{
"begin": 1025,
"end": 1283,
"name": "POP",
"source": 1
},
{
"begin": 1025,
"end": 1283,
"name": "POP",
"source": 1
},
{
"begin": 1025,
"end": 1283,
"name": "POP",
"source": 1
},
{
"begin": 1025,
"end": 1283,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 1289,
"end": 1609,
"name": "tag",
"source": 1,
"value": "9"
},
{
"begin": 1289,
"end": 1609,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1289,
"end": 1609,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1370,
"end": 1371,
"name": "PUSH",
"source": 1,
"value": "2"
},
{
"begin": 1364,
"end": 1368,
"name": "DUP3",
"source": 1
},
{
"begin": 1360,
"end": 1372,
"name": "DIV",
"source": 1
},
{
"begin": 1350,
"end": 1372,
"name": "SWAP1",
"source": 1
},
{
"begin": 1350,
"end": 1372,
"name": "POP",
"source": 1
},
{
"begin": 1417,
"end": 1418,
"name": "PUSH",
"source": 1,
"value": "1"
},
{
"begin": 1411,
"end": 1415,
"name": "DUP3",
"source": 1
},
{
"begin": 1407,
"end": 1419,
"name": "AND",
"source": 1
},
{
"begin": 1438,
"end": 1456,
"name": "DUP1",
"source": 1
},
{
"begin": 1428,
"end": 1430,
"name": "PUSH [tag]",
"source": 1,
"value": "35"
},
{
"begin": 1428,
"end": 1430,
"name": "JUMPI",
"source": 1
},
{
"begin": 1494,
"end": 1498,
"name": "PUSH",
"source": 1,
"value": "7F"
},
{
"begin": 1486,
"end": 1492,
"name": "DUP3",
"source": 1
},
{
"begin": 1482,
"end": 1499,
"name": "AND",
"source": 1
},
{
"begin": 1472,
"end": 1499,
"name": "SWAP2",
"source": 1
},
{
"begin": 1472,
"end": 1499,
"name": "POP",
"source": 1
},
{
"begin": 1428,
"end": 1430,
"name": "tag",
"source": 1,
"value": "35"
},
{
"begin": 1428,
"end": 1430,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1556,
"end": 1558,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 1548,
"end": 1554,
"name": "DUP3",
"source": 1
},
{
"begin": 1545,
"end": 1559,
"name": "LT",
"source": 1
},
{
"begin": 1525,
"end": 1543,
"name": "DUP2",
"source": 1
},
{
"begin": 1522,
"end": 1560,
"name": "EQ",
"source": 1
},
{
"begin": 1519,
"end": 1521,
"name": "ISZERO",
"source": 1
},
{
"begin": 1519,
"end": 1521,
"name": "PUSH [tag]",
"source": 1,
"value": "36"
},
{
"begin": 1519,
"end": 1521,
"name": "JUMPI",
"source": 1
},
{
"begin": 1575,
"end": 1593,
"name": "PUSH [tag]",
"source": 1,
"value": "37"
},
{
"begin": 1575,
"end": 1593,
"name": "PUSH [tag]",
"source": 1,
"value": "38"
},
{
"begin": 1575,
"end": 1593,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 1575,
"end": 1593,
"name": "tag",
"source": 1,
"value": "37"
},
{
"begin": 1575,
"end": 1593,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1519,
"end": 1521,
"name": "tag",
"source": 1,
"value": "36"
},
{
"begin": 1519,
"end": 1521,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1340,
"end": 1609,
"name": "POP",
"source": 1
},
{
"begin": 1340,
"end": 1609,
"name": "SWAP2",
"source": 1
},
{
"begin": 1340,
"end": 1609,
"name": "SWAP1",
"source": 1
},
{
"begin": 1340,
"end": 1609,
"name": "POP",
"source": 1
},
{
"begin": 1340,
"end": 1609,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 1615,
"end": 1795,
"name": "tag",
"source": 1,
"value": "38"
},
{
"begin": 1615,
"end": 1795,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1663,
"end": 1740,
"name": "PUSH",
"source": 1,
"value": "4E487B7100000000000000000000000000000000000000000000000000000000"
},
{
"begin": 1660,
"end": 1661,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1653,
"end": 1741,
"name": "MSTORE",
"source": 1
},
{
"begin": 1760,
"end": 1764,
"name": "PUSH",
"source": 1,
"value": "22"
},
{
"begin": 1757,
"end": 1758,
"name": "PUSH",
"source": 1,
"value": "4"
},
{
"begin": 1750,
"end": 1765,
"name": "MSTORE",
"source": 1
},
{
"begin": 1784,
"end": 1788,
"name": "PUSH",
"source": 1,
"value": "24"
},
{
"begin": 1781,
"end": 1782,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1774,
"end": 1789,
"name": "REVERT",
"source": 1
},
{
"begin": 1801,
"end": 1903,
"name": "tag",
"source": 1,
"value": "24"
},
{
"begin": 1801,
"end": 1903,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1801,
"end": 1903,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1893,
"end": 1895,
"name": "PUSH",
"source": 1,
"value": "1F"
},
{
"begin": 1889,
"end": 1896,
"name": "NOT",
"source": 1
},
{
"begin": 1884,
"end": 1886,
"name": "PUSH",
"source": 1,
"value": "1F"
},
{
"begin": 1877,
"end": 1882,
"name": "DUP4",
"source": 1
},
{
"begin": 1873,
"end": 1887,
"name": "ADD",
"source": 1
},
{
"begin": 1869,
"end": 1897,
"name": "AND",
"source": 1
},
{
"begin": 1859,
"end": 1897,
"name": "SWAP1",
"source": 1
},
{
"begin": 1859,
"end": 1897,
"name": "POP",
"source": 1
},
{
"begin": 1849,
"end": 1903,
"name": "SWAP2",
"source": 1
},
{
"begin": 1849,
"end": 1903,
"name": "SWAP1",
"source": 1
},
{
"begin": 1849,
"end": 1903,
"name": "POP",
"source": 1
},
{
"begin": 1849,
"end": 1903,
"name": "JUMP",
"source": 1,
"value": "[out]"
}
]
}
}
},
"methodIdentifiers": {
"greet()": "cfae3217"
}
},
"metadata": "{\"compiler\":{\"version\":\"0.8.0+commit.c7dfd78e\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"greet\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"HelloWOrld.sol\":\"Helloworld\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"HelloWOrld.sol\":{\"keccak256\":\"0x6aed9a683d245654d3d89fed2f9eaf757182077ea29c2b3f544cd27fcc8f37bd\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://e420577750de02a2887779554b194d2eef0d0444989a622aa5f3f3db89f3bd8f\",\"dweb:/ipfs/QmW2AJjkgf2A17kEvjYbWMZ9sEUVWPBgmQv4ti9A5rMEii\"]}},\"version\":1}",
"storageLayout": {
"storage": [
{
"astId": 4,
"contract": "HelloWOrld.sol:Helloworld",
"label": "greet",
"offset": 0,
"slot": "0",
"type": "t_string_storage"
}
],
"types": {
"t_string_storage": {
"encoding": "bytes",
"label": "string",
"numberOfBytes": "32"
}
}
},
"userdoc": {
"kind": "user",
"methods": {},
"version": 1
}
}
}
},
"sources": {
"HelloWOrld.sol": {
"ast": {
"absolutePath": "HelloWOrld.sol",
"exportedSymbols": {
"Helloworld": [
5
]
},
"id": 6,
"license": "MIT",
"nodeType": "SourceUnit",
"nodes": [
{
"id": 1,
"literals": [
"solidity",
"^",
"0.8",
".0"
],
"nodeType": "PragmaDirective",
"src": "32:23:0"
},
{
"abstract": false,
"baseContracts": [],
"contractDependencies": [],
"contractKind": "contract",
"fullyImplemented": true,
"id": 5,
"linearizedBaseContracts": [
5
],
"name": "Helloworld",
"nodeType": "ContractDefinition",
"nodes": [
{
"constant": false,
"functionSelector": "cfae3217",
"id": 4,
"mutability": "mutable",
"name": "greet",
"nodeType": "VariableDeclaration",
"scope": 5,
"src": "83:36:0",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_string_storage",
"typeString": "string"
},
"typeName": {
"id": 2,
"name": "string",
"nodeType": "ElementaryTypeName",
"src": "83:6:0",
"typeDescriptions": {
"typeIdentifier": "t_string_storage_ptr",
"typeString": "string"
}
},
"value": {
"hexValue": "48656c6c6f20576f726c6421",
"id": 3,
"isConstant": false,
"isLValue": false,
"isPure": true,
"kind": "string",
"lValueRequested": false,
"nodeType": "Literal",
"src": "105:14:0",
"typeDescriptions": {
"typeIdentifier": "t_stringliteral_3ea2f1d0abf3fc66cf29eebb70cbd4e7fe762ef8a09bcc06c8edf641230afec0",
"typeString": "literal_string \"Hello World!\""
},
"value": "Hello World!"
},
"visibility": "public"
}
],
"scope": 6,
"src": "57:65:0"
}
],
"src": "32:90:0"
},
"id": 0
}
}
}
}
{
"deploy": {
"VM:-": {
"linkReferences": {},
"autoDeployLib": true
},
"main:1": {
"linkReferences": {},
"autoDeployLib": true
},
"ropsten:3": {
"linkReferences": {},
"autoDeployLib": true
},
"rinkeby:4": {
"linkReferences": {},
"autoDeployLib": true
},
"kovan:42": {
"linkReferences": {},
"autoDeployLib": true
},
"goerli:5": {
"linkReferences": {},
"autoDeployLib": true
},
"Custom": {
"linkReferences": {},
"autoDeployLib": true
}
},
"data": {
"bytecode": {
"generatedSources": [
{
"ast": {
"nodeType": "YulBlock",
"src": "0:516:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "58:269:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "68:22:1",
"value": {
"arguments": [
{
"name": "data",
"nodeType": "YulIdentifier",
"src": "82:4:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "88:1:1",
"type": "",
"value": "2"
}
],
"functionName": {
"name": "div",
"nodeType": "YulIdentifier",
"src": "78:3:1"
},
"nodeType": "YulFunctionCall",
"src": "78:12:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "68:6:1"
}
]
},
{
"nodeType": "YulVariableDeclaration",
"src": "99:38:1",
"value": {
"arguments": [
{
"name": "data",
"nodeType": "YulIdentifier",
"src": "129:4:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "135:1:1",
"type": "",
"value": "1"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "125:3:1"
},
"nodeType": "YulFunctionCall",
"src": "125:12:1"
},
"variables": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulTypedName",
"src": "103:18:1",
"type": ""
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "176:51:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "190:27:1",
"value": {
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "204:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "212:4:1",
"type": "",
"value": "0x7f"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "200:3:1"
},
"nodeType": "YulFunctionCall",
"src": "200:17:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "190:6:1"
}
]
}
]
},
"condition": {
"arguments": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulIdentifier",
"src": "156:18:1"
}
],
"functionName": {
"name": "iszero",
"nodeType": "YulIdentifier",
"src": "149:6:1"
},
"nodeType": "YulFunctionCall",
"src": "149:26:1"
},
"nodeType": "YulIf",
"src": "146:2:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "279:42:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x22",
"nodeType": "YulIdentifier",
"src": "293:16:1"
},
"nodeType": "YulFunctionCall",
"src": "293:18:1"
},
"nodeType": "YulExpressionStatement",
"src": "293:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulIdentifier",
"src": "243:18:1"
},
{
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "266:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "274:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "lt",
"nodeType": "YulIdentifier",
"src": "263:2:1"
},
"nodeType": "YulFunctionCall",
"src": "263:14:1"
}
],
"functionName": {
"name": "eq",
"nodeType": "YulIdentifier",
"src": "240:2:1"
},
"nodeType": "YulFunctionCall",
"src": "240:38:1"
},
"nodeType": "YulIf",
"src": "237:2:1"
}
]
},
"name": "extract_byte_array_length",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "data",
"nodeType": "YulTypedName",
"src": "42:4:1",
"type": ""
}
],
"returnVariables": [
{
"name": "length",
"nodeType": "YulTypedName",
"src": "51:6:1",
"type": ""
}
],
"src": "7:320:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "361:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "378:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "381:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "371:6:1"
},
"nodeType": "YulFunctionCall",
"src": "371:88:1"
},
"nodeType": "YulExpressionStatement",
"src": "371:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "475:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "478:4:1",
"type": "",
"value": "0x22"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "468:6:1"
},
"nodeType": "YulFunctionCall",
"src": "468:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "468:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "499:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "502:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "492:6:1"
},
"nodeType": "YulFunctionCall",
"src": "492:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "492:15:1"
}
]
},
"name": "panic_error_0x22",
"nodeType": "YulFunctionDefinition",
"src": "333:180:1"
}
]
},
"contents": "{\n\n function extract_byte_array_length(data) -> length {\n length := div(data, 2)\n let outOfPlaceEncoding := and(data, 1)\n if iszero(outOfPlaceEncoding) {\n length := and(length, 0x7f)\n }\n\n if eq(outOfPlaceEncoding, lt(length, 32)) {\n panic_error_0x22()\n }\n }\n\n function panic_error_0x22() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x22)\n revert(0, 0x24)\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"linkReferences": {},
"object": "60806040526040518060400160405280600c81526020017f48656c6c6f20576f726c642100000000000000000000000000000000000000008152506000908051906020019061004f929190610062565b5034801561005c57600080fd5b50610166565b82805461006e90610105565b90600052602060002090601f01602090048101928261009057600085556100d7565b82601f106100a957805160ff19168380011785556100d7565b828001600101855582156100d7579182015b828111156100d65782518255916020019190600101906100bb565b5b5090506100e491906100e8565b5090565b5b808211156101015760008160009055506001016100e9565b5090565b6000600282049050600182168061011d57607f821691505b6020821081141561013157610130610137565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b61022e806101756000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c8063cfae321714610030575b600080fd5b61003861004e565b6040516100459190610115565b60405180910390f35b6000805461005b90610186565b80601f016020809104026020016040519081016040528092919081815260200182805461008790610186565b80156100d45780601f106100a9576101008083540402835291602001916100d4565b820191906000526020600020905b8154815290600101906020018083116100b757829003601f168201915b505050505081565b60006100e782610137565b6100f18185610142565b9350610101818560208601610153565b61010a816101e7565b840191505092915050565b6000602082019050818103600083015261012f81846100dc565b905092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610171578082015181840152602081019050610156565b83811115610180576000848401525b50505050565b6000600282049050600182168061019e57607f821691505b602082108114156101b2576101b16101b8565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f830116905091905056fea2646970667358221220bd7cf58fbfc3227039c1895f0bc579fb558bbdf19dd07860bc12320a1bebe3e164736f6c63430008000033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x40 MLOAD DUP1 PUSH1 0x40 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0xC DUP2 MSTORE PUSH1 0x20 ADD PUSH32 0x48656C6C6F20576F726C64210000000000000000000000000000000000000000 DUP2 MSTORE POP PUSH1 0x0 SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH2 0x4F SWAP3 SWAP2 SWAP1 PUSH2 0x62 JUMP JUMPDEST POP CALLVALUE DUP1 ISZERO PUSH2 0x5C JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x166 JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH2 0x6E SWAP1 PUSH2 0x105 JUMP JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH2 0x90 JUMPI PUSH1 0x0 DUP6 SSTORE PUSH2 0xD7 JUMP JUMPDEST DUP3 PUSH1 0x1F LT PUSH2 0xA9 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0xD7 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0xD7 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0xD6 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0xBB JUMP JUMPDEST JUMPDEST POP SWAP1 POP PUSH2 0xE4 SWAP2 SWAP1 PUSH2 0xE8 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x101 JUMPI PUSH1 0x0 DUP2 PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0xE9 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST PUSH1 0x0 PUSH1 0x2 DUP3 DIV SWAP1 POP PUSH1 0x1 DUP3 AND DUP1 PUSH2 0x11D JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 EQ ISZERO PUSH2 0x131 JUMPI PUSH2 0x130 PUSH2 0x137 JUMP JUMPDEST JUMPDEST POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH2 0x22E DUP1 PUSH2 0x175 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x2B JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0xCFAE3217 EQ PUSH2 0x30 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x38 PUSH2 0x4E JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x45 SWAP2 SWAP1 PUSH2 0x115 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x0 DUP1 SLOAD PUSH2 0x5B SWAP1 PUSH2 0x186 JUMP JUMPDEST DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH2 0x87 SWAP1 PUSH2 0x186 JUMP JUMPDEST DUP1 ISZERO PUSH2 0xD4 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0xA9 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0xD4 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0xB7 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST PUSH1 0x0 PUSH2 0xE7 DUP3 PUSH2 0x137 JUMP JUMPDEST PUSH2 0xF1 DUP2 DUP6 PUSH2 0x142 JUMP JUMPDEST SWAP4 POP PUSH2 0x101 DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x153 JUMP JUMPDEST PUSH2 0x10A DUP2 PUSH2 0x1E7 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x12F DUP2 DUP5 PUSH2 0xDC JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 MLOAD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x171 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x156 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x180 JUMPI PUSH1 0x0 DUP5 DUP5 ADD MSTORE JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x2 DUP3 DIV SWAP1 POP PUSH1 0x1 DUP3 AND DUP1 PUSH2 0x19E JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 EQ ISZERO PUSH2 0x1B2 JUMPI PUSH2 0x1B1 PUSH2 0x1B8 JUMP JUMPDEST JUMPDEST POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 PUSH1 0x1F NOT PUSH1 0x1F DUP4 ADD AND SWAP1 POP SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xBD PUSH29 0xF58FBFC3227039C1895F0BC579FB558BBDF19DD07860BC12320A1BEBE3 0xE1 PUSH5 0x736F6C6343 STOP ADDMOD STOP STOP CALLER ",
"sourceMap": "57:65:0:-:0;;;83:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;57:65;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:320:1:-;;88:1;82:4;78:12;68:22;;135:1;129:4;125:12;156:18;146:2;;212:4;204:6;200:17;190:27;;146:2;274;266:6;263:14;243:18;240:38;237:2;;;293:18;;:::i;:::-;237:2;58:269;;;;:::o;333:180::-;381:77;378:1;371:88;478:4;475:1;468:15;502:4;499:1;492:15;57:65:0;;;;;;;"
},
"deployedBytecode": {
"generatedSources": [
{
"ast": {
"nodeType": "YulBlock",
"src": "0:1906:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "99:272:1",
"statements": [
{
"nodeType": "YulVariableDeclaration",
"src": "109:53:1",
"value": {
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "156:5:1"
}
],
"functionName": {
"name": "array_length_t_string_memory_ptr",
"nodeType": "YulIdentifier",
"src": "123:32:1"
},
"nodeType": "YulFunctionCall",
"src": "123:39:1"
},
"variables": [
{
"name": "length",
"nodeType": "YulTypedName",
"src": "113:6:1",
"type": ""
}
]
},
{
"nodeType": "YulAssignment",
"src": "171:78:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "237:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "242:6:1"
}
],
"functionName": {
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nodeType": "YulIdentifier",
"src": "178:58:1"
},
"nodeType": "YulFunctionCall",
"src": "178:71:1"
},
"variableNames": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "171:3:1"
}
]
},
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "284:5:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "291:4:1",
"type": "",
"value": "0x20"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "280:3:1"
},
"nodeType": "YulFunctionCall",
"src": "280:16:1"
},
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "298:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "303:6:1"
}
],
"functionName": {
"name": "copy_memory_to_memory",
"nodeType": "YulIdentifier",
"src": "258:21:1"
},
"nodeType": "YulFunctionCall",
"src": "258:52:1"
},
"nodeType": "YulExpressionStatement",
"src": "258:52:1"
},
{
"nodeType": "YulAssignment",
"src": "319:46:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "330:3:1"
},
{
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "357:6:1"
}
],
"functionName": {
"name": "round_up_to_mul_of_32",
"nodeType": "YulIdentifier",
"src": "335:21:1"
},
"nodeType": "YulFunctionCall",
"src": "335:29:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "326:3:1"
},
"nodeType": "YulFunctionCall",
"src": "326:39:1"
},
"variableNames": [
{
"name": "end",
"nodeType": "YulIdentifier",
"src": "319:3:1"
}
]
}
]
},
"name": "abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "80:5:1",
"type": ""
},
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "87:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "end",
"nodeType": "YulTypedName",
"src": "95:3:1",
"type": ""
}
],
"src": "7:364:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "495:195:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "505:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "517:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "528:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "513:3:1"
},
"nodeType": "YulFunctionCall",
"src": "513:18:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "505:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "552:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "563:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "548:3:1"
},
"nodeType": "YulFunctionCall",
"src": "548:17:1"
},
{
"arguments": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "571:4:1"
},
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "577:9:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "567:3:1"
},
"nodeType": "YulFunctionCall",
"src": "567:20:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "541:6:1"
},
"nodeType": "YulFunctionCall",
"src": "541:47:1"
},
"nodeType": "YulExpressionStatement",
"src": "541:47:1"
},
{
"nodeType": "YulAssignment",
"src": "597:86:1",
"value": {
"arguments": [
{
"name": "value0",
"nodeType": "YulIdentifier",
"src": "669:6:1"
},
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "678:4:1"
}
],
"functionName": {
"name": "abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack",
"nodeType": "YulIdentifier",
"src": "605:63:1"
},
"nodeType": "YulFunctionCall",
"src": "605:78:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "597:4:1"
}
]
}
]
},
"name": "abi_encode_tuple_t_string_memory_ptr__to_t_string_memory_ptr__fromStack_reversed",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nodeType": "YulTypedName",
"src": "467:9:1",
"type": ""
},
{
"name": "value0",
"nodeType": "YulTypedName",
"src": "479:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nodeType": "YulTypedName",
"src": "490:4:1",
"type": ""
}
],
"src": "377:313:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "755:40:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "766:22:1",
"value": {
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "782:5:1"
}
],
"functionName": {
"name": "mload",
"nodeType": "YulIdentifier",
"src": "776:5:1"
},
"nodeType": "YulFunctionCall",
"src": "776:12:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "766:6:1"
}
]
}
]
},
"name": "array_length_t_string_memory_ptr",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "738:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "length",
"nodeType": "YulTypedName",
"src": "748:6:1",
"type": ""
}
],
"src": "696:99:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "897:73:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "914:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "919:6:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "907:6:1"
},
"nodeType": "YulFunctionCall",
"src": "907:19:1"
},
"nodeType": "YulExpressionStatement",
"src": "907:19:1"
},
{
"nodeType": "YulAssignment",
"src": "935:29:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "954:3:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "959:4:1",
"type": "",
"value": "0x20"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "950:3:1"
},
"nodeType": "YulFunctionCall",
"src": "950:14:1"
},
"variableNames": [
{
"name": "updated_pos",
"nodeType": "YulIdentifier",
"src": "935:11:1"
}
]
}
]
},
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "869:3:1",
"type": ""
},
{
"name": "length",
"nodeType": "YulTypedName",
"src": "874:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "updated_pos",
"nodeType": "YulTypedName",
"src": "885:11:1",
"type": ""
}
],
"src": "801:169:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1025:258:1",
"statements": [
{
"nodeType": "YulVariableDeclaration",
"src": "1035:10:1",
"value": {
"kind": "number",
"nodeType": "YulLiteral",
"src": "1044:1:1",
"type": "",
"value": "0"
},
"variables": [
{
"name": "i",
"nodeType": "YulTypedName",
"src": "1039:1:1",
"type": ""
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "1104:63:1",
"statements": [
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "dst",
"nodeType": "YulIdentifier",
"src": "1129:3:1"
},
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1134:1:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1125:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1125:11:1"
},
{
"arguments": [
{
"arguments": [
{
"name": "src",
"nodeType": "YulIdentifier",
"src": "1148:3:1"
},
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1153:1:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1144:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1144:11:1"
}
],
"functionName": {
"name": "mload",
"nodeType": "YulIdentifier",
"src": "1138:5:1"
},
"nodeType": "YulFunctionCall",
"src": "1138:18:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1118:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1118:39:1"
},
"nodeType": "YulExpressionStatement",
"src": "1118:39:1"
}
]
},
"condition": {
"arguments": [
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1065:1:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1068:6:1"
}
],
"functionName": {
"name": "lt",
"nodeType": "YulIdentifier",
"src": "1062:2:1"
},
"nodeType": "YulFunctionCall",
"src": "1062:13:1"
},
"nodeType": "YulForLoop",
"post": {
"nodeType": "YulBlock",
"src": "1076:19:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1078:15:1",
"value": {
"arguments": [
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1087:1:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1090:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1083:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1083:10:1"
},
"variableNames": [
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1078:1:1"
}
]
}
]
},
"pre": {
"nodeType": "YulBlock",
"src": "1058:3:1",
"statements": []
},
"src": "1054:113:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1201:76:1",
"statements": [
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "dst",
"nodeType": "YulIdentifier",
"src": "1251:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1256:6:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1247:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1247:16:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1265:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1240:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1240:27:1"
},
"nodeType": "YulExpressionStatement",
"src": "1240:27:1"
}
]
},
"condition": {
"arguments": [
{
"name": "i",
"nodeType": "YulIdentifier",
"src": "1182:1:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1185:6:1"
}
],
"functionName": {
"name": "gt",
"nodeType": "YulIdentifier",
"src": "1179:2:1"
},
"nodeType": "YulFunctionCall",
"src": "1179:13:1"
},
"nodeType": "YulIf",
"src": "1176:2:1"
}
]
},
"name": "copy_memory_to_memory",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "src",
"nodeType": "YulTypedName",
"src": "1007:3:1",
"type": ""
},
{
"name": "dst",
"nodeType": "YulTypedName",
"src": "1012:3:1",
"type": ""
},
{
"name": "length",
"nodeType": "YulTypedName",
"src": "1017:6:1",
"type": ""
}
],
"src": "976:307:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1340:269:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1350:22:1",
"value": {
"arguments": [
{
"name": "data",
"nodeType": "YulIdentifier",
"src": "1364:4:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1370:1:1",
"type": "",
"value": "2"
}
],
"functionName": {
"name": "div",
"nodeType": "YulIdentifier",
"src": "1360:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1360:12:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1350:6:1"
}
]
},
{
"nodeType": "YulVariableDeclaration",
"src": "1381:38:1",
"value": {
"arguments": [
{
"name": "data",
"nodeType": "YulIdentifier",
"src": "1411:4:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1417:1:1",
"type": "",
"value": "1"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "1407:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1407:12:1"
},
"variables": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulTypedName",
"src": "1385:18:1",
"type": ""
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "1458:51:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1472:27:1",
"value": {
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1486:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1494:4:1",
"type": "",
"value": "0x7f"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "1482:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1482:17:1"
},
"variableNames": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1472:6:1"
}
]
}
]
},
"condition": {
"arguments": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulIdentifier",
"src": "1438:18:1"
}
],
"functionName": {
"name": "iszero",
"nodeType": "YulIdentifier",
"src": "1431:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1431:26:1"
},
"nodeType": "YulIf",
"src": "1428:2:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1561:42:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x22",
"nodeType": "YulIdentifier",
"src": "1575:16:1"
},
"nodeType": "YulFunctionCall",
"src": "1575:18:1"
},
"nodeType": "YulExpressionStatement",
"src": "1575:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "outOfPlaceEncoding",
"nodeType": "YulIdentifier",
"src": "1525:18:1"
},
{
"arguments": [
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1548:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1556:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "lt",
"nodeType": "YulIdentifier",
"src": "1545:2:1"
},
"nodeType": "YulFunctionCall",
"src": "1545:14:1"
}
],
"functionName": {
"name": "eq",
"nodeType": "YulIdentifier",
"src": "1522:2:1"
},
"nodeType": "YulFunctionCall",
"src": "1522:38:1"
},
"nodeType": "YulIf",
"src": "1519:2:1"
}
]
},
"name": "extract_byte_array_length",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "data",
"nodeType": "YulTypedName",
"src": "1324:4:1",
"type": ""
}
],
"returnVariables": [
{
"name": "length",
"nodeType": "YulTypedName",
"src": "1333:6:1",
"type": ""
}
],
"src": "1289:320:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1643:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1660:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1663:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1653:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1653:88:1"
},
"nodeType": "YulExpressionStatement",
"src": "1653:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1757:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1760:4:1",
"type": "",
"value": "0x22"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1750:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1750:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "1750:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1781:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1784:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "1774:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1774:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "1774:15:1"
}
]
},
"name": "panic_error_0x22",
"nodeType": "YulFunctionDefinition",
"src": "1615:180:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1849:54:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1859:38:1",
"value": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "1877:5:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1884:2:1",
"type": "",
"value": "31"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1873:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1873:14:1"
},
{
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1893:2:1",
"type": "",
"value": "31"
}
],
"functionName": {
"name": "not",
"nodeType": "YulIdentifier",
"src": "1889:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1889:7:1"
}
],
"functionName": {
"name": "and",
"nodeType": "YulIdentifier",
"src": "1869:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1869:28:1"
},
"variableNames": [
{
"name": "result",
"nodeType": "YulIdentifier",
"src": "1859:6:1"
}
]
}
]
},
"name": "round_up_to_mul_of_32",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "1832:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "result",
"nodeType": "YulTypedName",
"src": "1842:6:1",
"type": ""
}
],
"src": "1801:102:1"
}
]
},
"contents": "{\n\n function abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack(value, pos) -> end {\n let length := array_length_t_string_memory_ptr(value)\n pos := array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, length)\n copy_memory_to_memory(add(value, 0x20), pos, length)\n end := add(pos, round_up_to_mul_of_32(length))\n }\n\n function abi_encode_tuple_t_string_memory_ptr__to_t_string_memory_ptr__fromStack_reversed(headStart , value0) -> tail {\n tail := add(headStart, 32)\n\n mstore(add(headStart, 0), sub(tail, headStart))\n tail := abi_encode_t_string_memory_ptr_to_t_string_memory_ptr_fromStack(value0, tail)\n\n }\n\n function array_length_t_string_memory_ptr(value) -> length {\n\n length := mload(value)\n\n }\n\n function array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, length) -> updated_pos {\n mstore(pos, length)\n updated_pos := add(pos, 0x20)\n }\n\n function copy_memory_to_memory(src, dst, length) {\n let i := 0\n for { } lt(i, length) { i := add(i, 32) }\n {\n mstore(add(dst, i), mload(add(src, i)))\n }\n if gt(i, length)\n {\n // clear end\n mstore(add(dst, length), 0)\n }\n }\n\n function extract_byte_array_length(data) -> length {\n length := div(data, 2)\n let outOfPlaceEncoding := and(data, 1)\n if iszero(outOfPlaceEncoding) {\n length := and(length, 0x7f)\n }\n\n if eq(outOfPlaceEncoding, lt(length, 32)) {\n panic_error_0x22()\n }\n }\n\n function panic_error_0x22() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x22)\n revert(0, 0x24)\n }\n\n function round_up_to_mul_of_32(value) -> result {\n result := and(add(value, 31), not(31))\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"immutableReferences": {},
"linkReferences": {},
"object": "608060405234801561001057600080fd5b506004361061002b5760003560e01c8063cfae321714610030575b600080fd5b61003861004e565b6040516100459190610115565b60405180910390f35b6000805461005b90610186565b80601f016020809104026020016040519081016040528092919081815260200182805461008790610186565b80156100d45780601f106100a9576101008083540402835291602001916100d4565b820191906000526020600020905b8154815290600101906020018083116100b757829003601f168201915b505050505081565b60006100e782610137565b6100f18185610142565b9350610101818560208601610153565b61010a816101e7565b840191505092915050565b6000602082019050818103600083015261012f81846100dc565b905092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610171578082015181840152602081019050610156565b83811115610180576000848401525b50505050565b6000600282049050600182168061019e57607f821691505b602082108114156101b2576101b16101b8565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f830116905091905056fea2646970667358221220bd7cf58fbfc3227039c1895f0bc579fb558bbdf19dd07860bc12320a1bebe3e164736f6c63430008000033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x2B JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0xCFAE3217 EQ PUSH2 0x30 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x38 PUSH2 0x4E JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x45 SWAP2 SWAP1 PUSH2 0x115 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x0 DUP1 SLOAD PUSH2 0x5B SWAP1 PUSH2 0x186 JUMP JUMPDEST DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH2 0x87 SWAP1 PUSH2 0x186 JUMP JUMPDEST DUP1 ISZERO PUSH2 0xD4 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0xA9 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0xD4 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0xB7 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST PUSH1 0x0 PUSH2 0xE7 DUP3 PUSH2 0x137 JUMP JUMPDEST PUSH2 0xF1 DUP2 DUP6 PUSH2 0x142 JUMP JUMPDEST SWAP4 POP PUSH2 0x101 DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x153 JUMP JUMPDEST PUSH2 0x10A DUP2 PUSH2 0x1E7 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x12F DUP2 DUP5 PUSH2 0xDC JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 MLOAD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x171 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x156 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x180 JUMPI PUSH1 0x0 DUP5 DUP5 ADD MSTORE JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x2 DUP3 DIV SWAP1 POP PUSH1 0x1 DUP3 AND DUP1 PUSH2 0x19E JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 EQ ISZERO PUSH2 0x1B2 JUMPI PUSH2 0x1B1 PUSH2 0x1B8 JUMP JUMPDEST JUMPDEST POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 PUSH1 0x1F NOT PUSH1 0x1F DUP4 ADD AND SWAP1 POP SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xBD PUSH29 0xF58FBFC3227039C1895F0BC579FB558BBDF19DD07860BC12320A1BEBE3 0xE1 PUSH5 0x736F6C6343 STOP ADDMOD STOP STOP CALLER ",
"sourceMap": "57:65:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;83:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:364:1:-;;123:39;156:5;123:39;:::i;:::-;178:71;242:6;237:3;178:71;:::i;:::-;171:78;;258:52;303:6;298:3;291:4;284:5;280:16;258:52;:::i;:::-;335:29;357:6;335:29;:::i;:::-;330:3;326:39;319:46;;99:272;;;;;:::o;377:313::-;;528:2;517:9;513:18;505:26;;577:9;571:4;567:20;563:1;552:9;548:17;541:47;605:78;678:4;669:6;605:78;:::i;:::-;597:86;;495:195;;;;:::o;696:99::-;;782:5;776:12;766:22;;755:40;;;:::o;801:169::-;;919:6;914:3;907:19;959:4;954:3;950:14;935:29;;897:73;;;;:::o;976:307::-;1044:1;1054:113;1068:6;1065:1;1062:13;1054:113;;;1153:1;1148:3;1144:11;1138:18;1134:1;1129:3;1125:11;1118:39;1090:2;1087:1;1083:10;1078:15;;1054:113;;;1185:6;1182:1;1179:13;1176:2;;;1265:1;1256:6;1251:3;1247:16;1240:27;1176:2;1025:258;;;;:::o;1289:320::-;;1370:1;1364:4;1360:12;1350:22;;1417:1;1411:4;1407:12;1438:18;1428:2;;1494:4;1486:6;1482:17;1472:27;;1428:2;1556;1548:6;1545:14;1525:18;1522:38;1519:2;;;1575:18;;:::i;:::-;1519:2;1340:269;;;;:::o;1615:180::-;1663:77;1660:1;1653:88;1760:4;1757:1;1750:15;1784:4;1781:1;1774:15;1801:102;;1893:2;1889:7;1884:2;1877:5;1873:14;1869:28;1859:38;;1849:54;;;:::o"
},
"gasEstimates": {
"creation": {
"codeDepositCost": "111600",
"executionCost": "infinite",
"totalCost": "infinite"
},
"external": {
"greet()": "infinite"
}
},
"methodIdentifiers": {
"greet()": "cfae3217"
}
},
"abi": [
{
"inputs": [],
"name": "greet",
"outputs": [
{
"internalType": "string",
"name": "",
"type": "string"
}
],
"stateMutability": "view",
"type": "function"
}
]
}
{
"compiler": {
"version": "0.8.0+commit.c7dfd78e"
},
"language": "Solidity",
"output": {
"abi": [
{
"inputs": [],
"name": "greet",
"outputs": [
{
"internalType": "string",
"name": "",
"type": "string"
}
],
"stateMutability": "view",
"type": "function"
}
],
"devdoc": {
"kind": "dev",
"methods": {},
"version": 1
},
"userdoc": {
"kind": "user",
"methods": {},
"version": 1
}
},
"settings": {
"compilationTarget": {
"HelloWOrld.sol": "Helloworld"
},
"evmVersion": "istanbul",
"libraries": {},
"metadata": {
"bytecodeHash": "ipfs"
},
"optimizer": {
"enabled": false,
"runs": 200
},
"remappings": []
},
"sources": {
"HelloWOrld.sol": {
"keccak256": "0x6aed9a683d245654d3d89fed2f9eaf757182077ea29c2b3f544cd27fcc8f37bd",
"license": "MIT",
"urls": [
"bzz-raw://e420577750de02a2887779554b194d2eef0d0444989a622aa5f3f3db89f3bd8f",
"dweb:/ipfs/QmW2AJjkgf2A17kEvjYbWMZ9sEUVWPBgmQv4ti9A5rMEii"
]
}
},
"version": 1
}
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
contract Helloworld {
string public greet = "Hello World!";
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment