Skip to content

Instantly share code, notes, and snippets.

@Dustin4444
Created October 19, 2025 08:40
Show Gist options
  • Save Dustin4444/b32926ff973226b5ed42bbd0f8e33ea3 to your computer and use it in GitHub Desktop.
Save Dustin4444/b32926ff973226b5ed42bbd0f8e33ea3 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.31-pre.1+commit.b59566f6.js&optimize=false&runs=200&gist=
{
"id": "8cf1c99d674cfdc6c02f4eafc0921e0f",
"_format": "hh-sol-build-info-1",
"solcVersion": "0.8.31-pre.1",
"solcLongVersion": "0.8.31-pre.1+commit.b59566f6",
"input": {
"language": "Solidity",
"sources": {
"contract-ffb251e418.sol": {
"content": "// SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.8.1;\ncontract C {\n function preincr_u8(uint8 a) public pure returns (uint8) {\n return ++a + a;\n }\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"
]
}
},
"remappings": []
}
},
"output": {
"contracts": {
"contract-ffb251e418.sol": {
"C": {
"abi": [
{
"inputs": [
{
"internalType": "uint8",
"name": "a",
"type": "uint8"
}
],
"name": "preincr_u8",
"outputs": [
{
"internalType": "uint8",
"name": "",
"type": "uint8"
}
],
"stateMutability": "pure",
"type": "function"
}
],
"devdoc": {
"kind": "dev",
"methods": {},
"version": 1
},
"evm": {
"assembly": " /* \"contract-ffb251e418.sol\":61:168 contract C {... */\n mstore(0x40, 0x80)\n callvalue\n dup1\n iszero\n tag_1\n jumpi\n revert(0x00, 0x00)\ntag_1:\n pop\n dataSize(sub_0)\n dup1\n dataOffset(sub_0)\n 0x00\n codecopy\n 0x00\n return\nstop\n\nsub_0: assembly {\n /* \"contract-ffb251e418.sol\":61:168 contract C {... */\n mstore(0x40, 0x80)\n callvalue\n dup1\n iszero\n tag_1\n jumpi\n revert(0x00, 0x00)\n tag_1:\n pop\n jumpi(tag_2, lt(calldatasize, 0x04))\n shr(0xe0, calldataload(0x00))\n dup1\n 0x66c49e68\n eq\n tag_3\n jumpi\n tag_2:\n revert(0x00, 0x00)\n /* \"contract-ffb251e418.sol\":78:166 function preincr_u8(uint8 a) public pure returns (uint8) {... */\n tag_3:\n tag_4\n 0x04\n dup1\n calldatasize\n sub\n dup2\n add\n swap1\n tag_5\n swap2\n swap1\n tag_6\n jump\t// in\n tag_5:\n tag_7\n jump\t// in\n tag_4:\n mload(0x40)\n tag_8\n swap2\n swap1\n tag_9\n jump\t// in\n tag_8:\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n tag_7:\n /* \"contract-ffb251e418.sol\":128:133 uint8 */\n 0x00\n /* \"contract-ffb251e418.sol\":158:159 a */\n dup2\n /* \"contract-ffb251e418.sol\":152:155 ++a */\n dup3\n tag_11\n swap1\n tag_12\n jump\t// in\n tag_11:\n swap3\n pop\n dup3\n /* \"contract-ffb251e418.sol\":152:159 ++a + a */\n tag_13\n swap2\n swap1\n tag_14\n jump\t// in\n tag_13:\n /* \"contract-ffb251e418.sol\":145:159 return ++a + a */\n swap1\n pop\n /* \"contract-ffb251e418.sol\":78:166 function preincr_u8(uint8 a) public pure returns (uint8) {... */\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":88:205 */\n tag_16:\n /* \"#utility.yul\":197:198 */\n 0x00\n /* \"#utility.yul\":194:195 */\n 0x00\n /* \"#utility.yul\":187:199 */\n revert\n /* \"#utility.yul\":334:420 */\n tag_18:\n /* \"#utility.yul\":369:376 */\n 0x00\n /* \"#utility.yul\":409:413 */\n 0xff\n /* \"#utility.yul\":402:407 */\n dup3\n /* \"#utility.yul\":398:414 */\n and\n /* \"#utility.yul\":387:414 */\n swap1\n pop\n /* \"#utility.yul\":334:420 */\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":426:544 */\n tag_19:\n /* \"#utility.yul\":497:519 */\n tag_29\n /* \"#utility.yul\":513:518 */\n dup2\n /* \"#utility.yul\":497:519 */\n tag_18\n jump\t// in\n tag_29:\n /* \"#utility.yul\":490:495 */\n dup2\n /* \"#utility.yul\":487:520 */\n eq\n /* \"#utility.yul\":477:538 */\n tag_30\n jumpi\n /* \"#utility.yul\":534:535 */\n 0x00\n /* \"#utility.yul\":531:532 */\n 0x00\n /* \"#utility.yul\":524:536 */\n revert\n /* \"#utility.yul\":477:538 */\n tag_30:\n /* \"#utility.yul\":426:544 */\n pop\n jump\t// out\n /* \"#utility.yul\":550:685 */\n tag_20:\n /* \"#utility.yul\":594:599 */\n 0x00\n /* \"#utility.yul\":632:638 */\n dup2\n /* \"#utility.yul\":619:639 */\n calldataload\n /* \"#utility.yul\":610:639 */\n swap1\n pop\n /* \"#utility.yul\":648:679 */\n tag_32\n /* \"#utility.yul\":673:678 */\n dup2\n /* \"#utility.yul\":648:679 */\n tag_19\n jump\t// in\n tag_32:\n /* \"#utility.yul\":550:685 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":691:1016 */\n tag_6:\n /* \"#utility.yul\":748:754 */\n 0x00\n /* \"#utility.yul\":797:799 */\n 0x20\n /* \"#utility.yul\":785:794 */\n dup3\n /* \"#utility.yul\":776:783 */\n dup5\n /* \"#utility.yul\":772:795 */\n sub\n /* \"#utility.yul\":768:800 */\n slt\n /* \"#utility.yul\":765:884 */\n iszero\n tag_34\n jumpi\n /* \"#utility.yul\":803:882 */\n tag_35\n tag_16\n jump\t// in\n tag_35:\n /* \"#utility.yul\":765:884 */\n tag_34:\n /* \"#utility.yul\":923:924 */\n 0x00\n /* \"#utility.yul\":948:999 */\n tag_36\n /* \"#utility.yul\":991:998 */\n dup5\n /* \"#utility.yul\":982:988 */\n dup3\n /* \"#utility.yul\":971:980 */\n dup6\n /* \"#utility.yul\":967:989 */\n add\n /* \"#utility.yul\":948:999 */\n tag_20\n jump\t// in\n tag_36:\n /* \"#utility.yul\":938:999 */\n swap2\n pop\n /* \"#utility.yul\":894:1009 */\n pop\n /* \"#utility.yul\":691:1016 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":1022:1134 */\n tag_21:\n /* \"#utility.yul\":1105:1127 */\n tag_38\n /* \"#utility.yul\":1121:1126 */\n dup2\n /* \"#utility.yul\":1105:1127 */\n tag_18\n jump\t// in\n tag_38:\n /* \"#utility.yul\":1100:1103 */\n dup3\n /* \"#utility.yul\":1093:1128 */\n mstore\n /* \"#utility.yul\":1022:1134 */\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":1140:1354 */\n tag_9:\n /* \"#utility.yul\":1229:1233 */\n 0x00\n /* \"#utility.yul\":1267:1269 */\n 0x20\n /* \"#utility.yul\":1256:1265 */\n dup3\n /* \"#utility.yul\":1252:1270 */\n add\n /* \"#utility.yul\":1244:1270 */\n swap1\n pop\n /* \"#utility.yul\":1280:1347 */\n tag_40\n /* \"#utility.yul\":1344:1345 */\n 0x00\n /* \"#utility.yul\":1333:1342 */\n dup4\n /* \"#utility.yul\":1329:1346 */\n add\n /* \"#utility.yul\":1320:1326 */\n dup5\n /* \"#utility.yul\":1280:1347 */\n tag_21\n jump\t// in\n tag_40:\n /* \"#utility.yul\":1140:1354 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":1360:1540 */\n tag_22:\n /* \"#utility.yul\":1408:1485 */\n 0x4e487b7100000000000000000000000000000000000000000000000000000000\n /* \"#utility.yul\":1405:1406 */\n 0x00\n /* \"#utility.yul\":1398:1486 */\n mstore\n /* \"#utility.yul\":1505:1509 */\n 0x11\n /* \"#utility.yul\":1502:1503 */\n 0x04\n /* \"#utility.yul\":1495:1510 */\n mstore\n /* \"#utility.yul\":1529:1533 */\n 0x24\n /* \"#utility.yul\":1526:1527 */\n 0x00\n /* \"#utility.yul\":1519:1534 */\n revert\n /* \"#utility.yul\":1546:1713 */\n tag_12:\n /* \"#utility.yul\":1583:1586 */\n 0x00\n /* \"#utility.yul\":1606:1628 */\n tag_43\n /* \"#utility.yul\":1622:1627 */\n dup3\n /* \"#utility.yul\":1606:1628 */\n tag_18\n jump\t// in\n tag_43:\n /* \"#utility.yul\":1597:1628 */\n swap2\n pop\n /* \"#utility.yul\":1650:1654 */\n 0xff\n /* \"#utility.yul\":1643:1648 */\n dup3\n /* \"#utility.yul\":1640:1655 */\n sub\n /* \"#utility.yul\":1637:1678 */\n tag_44\n jumpi\n /* \"#utility.yul\":1658:1676 */\n tag_45\n tag_22\n jump\t// in\n tag_45:\n /* \"#utility.yul\":1637:1678 */\n tag_44:\n /* \"#utility.yul\":1705:1706 */\n 0x01\n /* \"#utility.yul\":1698:1703 */\n dup3\n /* \"#utility.yul\":1694:1707 */\n add\n /* \"#utility.yul\":1687:1707 */\n swap1\n pop\n /* \"#utility.yul\":1546:1713 */\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":1719:1907 */\n tag_14:\n /* \"#utility.yul\":1757:1760 */\n 0x00\n /* \"#utility.yul\":1776:1794 */\n tag_47\n /* \"#utility.yul\":1792:1793 */\n dup3\n /* \"#utility.yul\":1776:1794 */\n tag_18\n jump\t// in\n tag_47:\n /* \"#utility.yul\":1771:1794 */\n swap2\n pop\n /* \"#utility.yul\":1808:1826 */\n tag_48\n /* \"#utility.yul\":1824:1825 */\n dup4\n /* \"#utility.yul\":1808:1826 */\n tag_18\n jump\t// in\n tag_48:\n /* \"#utility.yul\":1803:1826 */\n swap3\n pop\n /* \"#utility.yul\":1849:1850 */\n dup3\n /* \"#utility.yul\":1846:1847 */\n dup3\n /* \"#utility.yul\":1842:1851 */\n add\n /* \"#utility.yul\":1835:1851 */\n swap1\n pop\n /* \"#utility.yul\":1872:1876 */\n 0xff\n /* \"#utility.yul\":1867:1870 */\n dup2\n /* \"#utility.yul\":1864:1877 */\n gt\n /* \"#utility.yul\":1861:1900 */\n iszero\n tag_49\n jumpi\n /* \"#utility.yul\":1880:1898 */\n tag_50\n tag_22\n jump\t// in\n tag_50:\n /* \"#utility.yul\":1861:1900 */\n tag_49:\n /* \"#utility.yul\":1719:1907 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n\n auxdata: 0xa264697066735822122044aa33f166a5a70f186015eb7230417fc7515987304eb828444892e0471722c264736f6c63781c302e382e33312d7072652e312b636f6d6d69742e6235393536366636004d\n}\n",
"bytecode": {
"functionDebugData": {},
"generatedSources": [],
"linkReferences": {},
"object": "6080604052348015600e575f5ffd5b506101e38061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c806366c49e681461002d575b5f5ffd5b610047600480360381019061004291906100b7565b61005d565b60405161005491906100f1565b60405180910390f35b5f818261006990610137565b925082610076919061015f565b9050919050565b5f5ffd5b5f60ff82169050919050565b61009681610081565b81146100a0575f5ffd5b50565b5f813590506100b18161008d565b92915050565b5f602082840312156100cc576100cb61007d565b5b5f6100d9848285016100a3565b91505092915050565b6100eb81610081565b82525050565b5f6020820190506101045f8301846100e2565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61014182610081565b915060ff82036101545761015361010a565b5b600182019050919050565b5f61016982610081565b915061017483610081565b9250828201905060ff81111561018d5761018c61010a565b5b9291505056fea264697066735822122044aa33f166a5a70f186015eb7230417fc7515987304eb828444892e0471722c264736f6c63781c302e382e33312d7072652e312b636f6d6d69742e6235393536366636004d",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH1 0xE JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP PUSH2 0x1E3 DUP1 PUSH2 0x1C PUSH0 CODECOPY PUSH0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0xF JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x29 JUMPI PUSH0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x66C49E68 EQ PUSH2 0x2D JUMPI JUMPDEST PUSH0 PUSH0 REVERT JUMPDEST PUSH2 0x47 PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x42 SWAP2 SWAP1 PUSH2 0xB7 JUMP JUMPDEST PUSH2 0x5D JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x54 SWAP2 SWAP1 PUSH2 0xF1 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH0 DUP2 DUP3 PUSH2 0x69 SWAP1 PUSH2 0x137 JUMP JUMPDEST SWAP3 POP DUP3 PUSH2 0x76 SWAP2 SWAP1 PUSH2 0x15F JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH0 REVERT JUMPDEST PUSH0 PUSH1 0xFF DUP3 AND SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x96 DUP2 PUSH2 0x81 JUMP JUMPDEST DUP2 EQ PUSH2 0xA0 JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP JUMP JUMPDEST PUSH0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0xB1 DUP2 PUSH2 0x8D JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0xCC JUMPI PUSH2 0xCB PUSH2 0x7D JUMP JUMPDEST JUMPDEST PUSH0 PUSH2 0xD9 DUP5 DUP3 DUP6 ADD PUSH2 0xA3 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0xEB DUP2 PUSH2 0x81 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x104 PUSH0 DUP4 ADD DUP5 PUSH2 0xE2 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH0 REVERT JUMPDEST PUSH0 PUSH2 0x141 DUP3 PUSH2 0x81 JUMP JUMPDEST SWAP2 POP PUSH1 0xFF DUP3 SUB PUSH2 0x154 JUMPI PUSH2 0x153 PUSH2 0x10A JUMP JUMPDEST JUMPDEST PUSH1 0x1 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH2 0x169 DUP3 PUSH2 0x81 JUMP JUMPDEST SWAP2 POP PUSH2 0x174 DUP4 PUSH2 0x81 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 ADD SWAP1 POP PUSH1 0xFF DUP2 GT ISZERO PUSH2 0x18D JUMPI PUSH2 0x18C PUSH2 0x10A JUMP JUMPDEST JUMPDEST SWAP3 SWAP2 POP POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 PREVRANDAO 0xAA CALLER CALL PUSH7 0xA5A70F186015EB PUSH19 0x30417FC7515987304EB828444892E0471722C2 PUSH5 0x736F6C6378 SHR ADDRESS 0x2E CODESIZE 0x2E CALLER BALANCE 0x2D PUSH17 0x72652E312B636F6D6D69742E6235393536 CALLDATASIZE PUSH7 0x36004D00000000 ",
"sourceMap": "61:107:0:-:0;;;;;;;;;;;;;;;;;;;"
},
"deployedBytecode": {
"functionDebugData": {
"@preincr_u8_14": {
"entryPoint": 93,
"id": 14,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_decode_t_uint8": {
"entryPoint": 163,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_decode_tuple_t_uint8": {
"entryPoint": 183,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_encode_t_uint8_to_t_uint8_fromStack": {
"entryPoint": 226,
"id": null,
"parameterSlots": 2,
"returnSlots": 0
},
"abi_encode_tuple_t_uint8__to_t_uint8__fromStack_reversed": {
"entryPoint": 241,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"allocate_unbounded": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 1
},
"checked_add_t_uint8": {
"entryPoint": 351,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"cleanup_t_uint8": {
"entryPoint": 129,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"increment_t_uint8": {
"entryPoint": 311,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"panic_error_0x11": {
"entryPoint": 266,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b": {
"entryPoint": 125,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"validator_revert_t_uint8": {
"entryPoint": 141,
"id": null,
"parameterSlots": 1,
"returnSlots": 0
}
},
"generatedSources": [
{
"ast": {
"nativeSrc": "0:1910:1",
"nodeType": "YulBlock",
"src": "0:1910:1",
"statements": [
{
"body": {
"nativeSrc": "47:35:1",
"nodeType": "YulBlock",
"src": "47:35:1",
"statements": [
{
"nativeSrc": "57:19:1",
"nodeType": "YulAssignment",
"src": "57:19:1",
"value": {
"arguments": [
{
"kind": "number",
"nativeSrc": "73:2:1",
"nodeType": "YulLiteral",
"src": "73:2:1",
"type": "",
"value": "64"
}
],
"functionName": {
"name": "mload",
"nativeSrc": "67:5:1",
"nodeType": "YulIdentifier",
"src": "67:5:1"
},
"nativeSrc": "67:9:1",
"nodeType": "YulFunctionCall",
"src": "67:9:1"
},
"variableNames": [
{
"name": "memPtr",
"nativeSrc": "57:6:1",
"nodeType": "YulIdentifier",
"src": "57:6:1"
}
]
}
]
},
"name": "allocate_unbounded",
"nativeSrc": "7:75:1",
"nodeType": "YulFunctionDefinition",
"returnVariables": [
{
"name": "memPtr",
"nativeSrc": "40:6:1",
"nodeType": "YulTypedName",
"src": "40:6:1",
"type": ""
}
],
"src": "7:75:1"
},
{
"body": {
"nativeSrc": "177:28:1",
"nodeType": "YulBlock",
"src": "177:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "194:1:1",
"nodeType": "YulLiteral",
"src": "194:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "197:1:1",
"nodeType": "YulLiteral",
"src": "197:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "187:6:1",
"nodeType": "YulIdentifier",
"src": "187:6:1"
},
"nativeSrc": "187:12:1",
"nodeType": "YulFunctionCall",
"src": "187:12:1"
},
"nativeSrc": "187:12:1",
"nodeType": "YulExpressionStatement",
"src": "187:12:1"
}
]
},
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nativeSrc": "88:117:1",
"nodeType": "YulFunctionDefinition",
"src": "88:117:1"
},
{
"body": {
"nativeSrc": "300:28:1",
"nodeType": "YulBlock",
"src": "300:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "317:1:1",
"nodeType": "YulLiteral",
"src": "317:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "320:1:1",
"nodeType": "YulLiteral",
"src": "320:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "310:6:1",
"nodeType": "YulIdentifier",
"src": "310:6:1"
},
"nativeSrc": "310:12:1",
"nodeType": "YulFunctionCall",
"src": "310:12:1"
},
"nativeSrc": "310:12:1",
"nodeType": "YulExpressionStatement",
"src": "310:12:1"
}
]
},
"name": "revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db",
"nativeSrc": "211:117:1",
"nodeType": "YulFunctionDefinition",
"src": "211:117:1"
},
{
"body": {
"nativeSrc": "377:43:1",
"nodeType": "YulBlock",
"src": "377:43:1",
"statements": [
{
"nativeSrc": "387:27:1",
"nodeType": "YulAssignment",
"src": "387:27:1",
"value": {
"arguments": [
{
"name": "value",
"nativeSrc": "402:5:1",
"nodeType": "YulIdentifier",
"src": "402:5:1"
},
{
"kind": "number",
"nativeSrc": "409:4:1",
"nodeType": "YulLiteral",
"src": "409:4:1",
"type": "",
"value": "0xff"
}
],
"functionName": {
"name": "and",
"nativeSrc": "398:3:1",
"nodeType": "YulIdentifier",
"src": "398:3:1"
},
"nativeSrc": "398:16:1",
"nodeType": "YulFunctionCall",
"src": "398:16:1"
},
"variableNames": [
{
"name": "cleaned",
"nativeSrc": "387:7:1",
"nodeType": "YulIdentifier",
"src": "387:7:1"
}
]
}
]
},
"name": "cleanup_t_uint8",
"nativeSrc": "334:86:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "359:5:1",
"nodeType": "YulTypedName",
"src": "359:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "cleaned",
"nativeSrc": "369:7:1",
"nodeType": "YulTypedName",
"src": "369:7:1",
"type": ""
}
],
"src": "334:86:1"
},
{
"body": {
"nativeSrc": "467:77:1",
"nodeType": "YulBlock",
"src": "467:77:1",
"statements": [
{
"body": {
"nativeSrc": "522:16:1",
"nodeType": "YulBlock",
"src": "522:16:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "531:1:1",
"nodeType": "YulLiteral",
"src": "531:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "534:1:1",
"nodeType": "YulLiteral",
"src": "534:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "524:6:1",
"nodeType": "YulIdentifier",
"src": "524:6:1"
},
"nativeSrc": "524:12:1",
"nodeType": "YulFunctionCall",
"src": "524:12:1"
},
"nativeSrc": "524:12:1",
"nodeType": "YulExpressionStatement",
"src": "524:12:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nativeSrc": "490:5:1",
"nodeType": "YulIdentifier",
"src": "490:5:1"
},
{
"arguments": [
{
"name": "value",
"nativeSrc": "513:5:1",
"nodeType": "YulIdentifier",
"src": "513:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "497:15:1",
"nodeType": "YulIdentifier",
"src": "497:15:1"
},
"nativeSrc": "497:22:1",
"nodeType": "YulFunctionCall",
"src": "497:22:1"
}
],
"functionName": {
"name": "eq",
"nativeSrc": "487:2:1",
"nodeType": "YulIdentifier",
"src": "487:2:1"
},
"nativeSrc": "487:33:1",
"nodeType": "YulFunctionCall",
"src": "487:33:1"
}
],
"functionName": {
"name": "iszero",
"nativeSrc": "480:6:1",
"nodeType": "YulIdentifier",
"src": "480:6:1"
},
"nativeSrc": "480:41:1",
"nodeType": "YulFunctionCall",
"src": "480:41:1"
},
"nativeSrc": "477:61:1",
"nodeType": "YulIf",
"src": "477:61:1"
}
]
},
"name": "validator_revert_t_uint8",
"nativeSrc": "426:118:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "460:5:1",
"nodeType": "YulTypedName",
"src": "460:5:1",
"type": ""
}
],
"src": "426:118:1"
},
{
"body": {
"nativeSrc": "600:85:1",
"nodeType": "YulBlock",
"src": "600:85:1",
"statements": [
{
"nativeSrc": "610:29:1",
"nodeType": "YulAssignment",
"src": "610:29:1",
"value": {
"arguments": [
{
"name": "offset",
"nativeSrc": "632:6:1",
"nodeType": "YulIdentifier",
"src": "632:6:1"
}
],
"functionName": {
"name": "calldataload",
"nativeSrc": "619:12:1",
"nodeType": "YulIdentifier",
"src": "619:12:1"
},
"nativeSrc": "619:20:1",
"nodeType": "YulFunctionCall",
"src": "619:20:1"
},
"variableNames": [
{
"name": "value",
"nativeSrc": "610:5:1",
"nodeType": "YulIdentifier",
"src": "610:5:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value",
"nativeSrc": "673:5:1",
"nodeType": "YulIdentifier",
"src": "673:5:1"
}
],
"functionName": {
"name": "validator_revert_t_uint8",
"nativeSrc": "648:24:1",
"nodeType": "YulIdentifier",
"src": "648:24:1"
},
"nativeSrc": "648:31:1",
"nodeType": "YulFunctionCall",
"src": "648:31:1"
},
"nativeSrc": "648:31:1",
"nodeType": "YulExpressionStatement",
"src": "648:31:1"
}
]
},
"name": "abi_decode_t_uint8",
"nativeSrc": "550:135:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "offset",
"nativeSrc": "578:6:1",
"nodeType": "YulTypedName",
"src": "578:6:1",
"type": ""
},
{
"name": "end",
"nativeSrc": "586:3:1",
"nodeType": "YulTypedName",
"src": "586:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value",
"nativeSrc": "594:5:1",
"nodeType": "YulTypedName",
"src": "594:5:1",
"type": ""
}
],
"src": "550:135:1"
},
{
"body": {
"nativeSrc": "755:261:1",
"nodeType": "YulBlock",
"src": "755:261:1",
"statements": [
{
"body": {
"nativeSrc": "801:83:1",
"nodeType": "YulBlock",
"src": "801:83:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nativeSrc": "803:77:1",
"nodeType": "YulIdentifier",
"src": "803:77:1"
},
"nativeSrc": "803:79:1",
"nodeType": "YulFunctionCall",
"src": "803:79:1"
},
"nativeSrc": "803:79:1",
"nodeType": "YulExpressionStatement",
"src": "803:79:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "dataEnd",
"nativeSrc": "776:7:1",
"nodeType": "YulIdentifier",
"src": "776:7:1"
},
{
"name": "headStart",
"nativeSrc": "785:9:1",
"nodeType": "YulIdentifier",
"src": "785:9:1"
}
],
"functionName": {
"name": "sub",
"nativeSrc": "772:3:1",
"nodeType": "YulIdentifier",
"src": "772:3:1"
},
"nativeSrc": "772:23:1",
"nodeType": "YulFunctionCall",
"src": "772:23:1"
},
{
"kind": "number",
"nativeSrc": "797:2:1",
"nodeType": "YulLiteral",
"src": "797:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "slt",
"nativeSrc": "768:3:1",
"nodeType": "YulIdentifier",
"src": "768:3:1"
},
"nativeSrc": "768:32:1",
"nodeType": "YulFunctionCall",
"src": "768:32:1"
},
"nativeSrc": "765:119:1",
"nodeType": "YulIf",
"src": "765:119:1"
},
{
"nativeSrc": "894:115:1",
"nodeType": "YulBlock",
"src": "894:115:1",
"statements": [
{
"nativeSrc": "909:15:1",
"nodeType": "YulVariableDeclaration",
"src": "909:15:1",
"value": {
"kind": "number",
"nativeSrc": "923:1:1",
"nodeType": "YulLiteral",
"src": "923:1:1",
"type": "",
"value": "0"
},
"variables": [
{
"name": "offset",
"nativeSrc": "913:6:1",
"nodeType": "YulTypedName",
"src": "913:6:1",
"type": ""
}
]
},
{
"nativeSrc": "938:61:1",
"nodeType": "YulAssignment",
"src": "938:61:1",
"value": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nativeSrc": "971:9:1",
"nodeType": "YulIdentifier",
"src": "971:9:1"
},
{
"name": "offset",
"nativeSrc": "982:6:1",
"nodeType": "YulIdentifier",
"src": "982:6:1"
}
],
"functionName": {
"name": "add",
"nativeSrc": "967:3:1",
"nodeType": "YulIdentifier",
"src": "967:3:1"
},
"nativeSrc": "967:22:1",
"nodeType": "YulFunctionCall",
"src": "967:22:1"
},
{
"name": "dataEnd",
"nativeSrc": "991:7:1",
"nodeType": "YulIdentifier",
"src": "991:7:1"
}
],
"functionName": {
"name": "abi_decode_t_uint8",
"nativeSrc": "948:18:1",
"nodeType": "YulIdentifier",
"src": "948:18:1"
},
"nativeSrc": "948:51:1",
"nodeType": "YulFunctionCall",
"src": "948:51:1"
},
"variableNames": [
{
"name": "value0",
"nativeSrc": "938:6:1",
"nodeType": "YulIdentifier",
"src": "938:6:1"
}
]
}
]
}
]
},
"name": "abi_decode_tuple_t_uint8",
"nativeSrc": "691:325:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nativeSrc": "725:9:1",
"nodeType": "YulTypedName",
"src": "725:9:1",
"type": ""
},
{
"name": "dataEnd",
"nativeSrc": "736:7:1",
"nodeType": "YulTypedName",
"src": "736:7:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value0",
"nativeSrc": "748:6:1",
"nodeType": "YulTypedName",
"src": "748:6:1",
"type": ""
}
],
"src": "691:325:1"
},
{
"body": {
"nativeSrc": "1083:51:1",
"nodeType": "YulBlock",
"src": "1083:51:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nativeSrc": "1100:3:1",
"nodeType": "YulIdentifier",
"src": "1100:3:1"
},
{
"arguments": [
{
"name": "value",
"nativeSrc": "1121:5:1",
"nodeType": "YulIdentifier",
"src": "1121:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "1105:15:1",
"nodeType": "YulIdentifier",
"src": "1105:15:1"
},
"nativeSrc": "1105:22:1",
"nodeType": "YulFunctionCall",
"src": "1105:22:1"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1093:6:1",
"nodeType": "YulIdentifier",
"src": "1093:6:1"
},
"nativeSrc": "1093:35:1",
"nodeType": "YulFunctionCall",
"src": "1093:35:1"
},
"nativeSrc": "1093:35:1",
"nodeType": "YulExpressionStatement",
"src": "1093:35:1"
}
]
},
"name": "abi_encode_t_uint8_to_t_uint8_fromStack",
"nativeSrc": "1022:112:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "1071:5:1",
"nodeType": "YulTypedName",
"src": "1071:5:1",
"type": ""
},
{
"name": "pos",
"nativeSrc": "1078:3:1",
"nodeType": "YulTypedName",
"src": "1078:3:1",
"type": ""
}
],
"src": "1022:112:1"
},
{
"body": {
"nativeSrc": "1234:120:1",
"nodeType": "YulBlock",
"src": "1234:120:1",
"statements": [
{
"nativeSrc": "1244:26:1",
"nodeType": "YulAssignment",
"src": "1244:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nativeSrc": "1256:9:1",
"nodeType": "YulIdentifier",
"src": "1256:9:1"
},
{
"kind": "number",
"nativeSrc": "1267:2:1",
"nodeType": "YulLiteral",
"src": "1267:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1252:3:1",
"nodeType": "YulIdentifier",
"src": "1252:3:1"
},
"nativeSrc": "1252:18:1",
"nodeType": "YulFunctionCall",
"src": "1252:18:1"
},
"variableNames": [
{
"name": "tail",
"nativeSrc": "1244:4:1",
"nodeType": "YulIdentifier",
"src": "1244:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value0",
"nativeSrc": "1320:6:1",
"nodeType": "YulIdentifier",
"src": "1320:6:1"
},
{
"arguments": [
{
"name": "headStart",
"nativeSrc": "1333:9:1",
"nodeType": "YulIdentifier",
"src": "1333:9:1"
},
{
"kind": "number",
"nativeSrc": "1344:1:1",
"nodeType": "YulLiteral",
"src": "1344:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1329:3:1",
"nodeType": "YulIdentifier",
"src": "1329:3:1"
},
"nativeSrc": "1329:17:1",
"nodeType": "YulFunctionCall",
"src": "1329:17:1"
}
],
"functionName": {
"name": "abi_encode_t_uint8_to_t_uint8_fromStack",
"nativeSrc": "1280:39:1",
"nodeType": "YulIdentifier",
"src": "1280:39:1"
},
"nativeSrc": "1280:67:1",
"nodeType": "YulFunctionCall",
"src": "1280:67:1"
},
"nativeSrc": "1280:67:1",
"nodeType": "YulExpressionStatement",
"src": "1280:67:1"
}
]
},
"name": "abi_encode_tuple_t_uint8__to_t_uint8__fromStack_reversed",
"nativeSrc": "1140:214:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nativeSrc": "1206:9:1",
"nodeType": "YulTypedName",
"src": "1206:9:1",
"type": ""
},
{
"name": "value0",
"nativeSrc": "1218:6:1",
"nodeType": "YulTypedName",
"src": "1218:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nativeSrc": "1229:4:1",
"nodeType": "YulTypedName",
"src": "1229:4:1",
"type": ""
}
],
"src": "1140:214:1"
},
{
"body": {
"nativeSrc": "1388:152:1",
"nodeType": "YulBlock",
"src": "1388:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1405:1:1",
"nodeType": "YulLiteral",
"src": "1405:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "1408:77:1",
"nodeType": "YulLiteral",
"src": "1408:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1398:6:1",
"nodeType": "YulIdentifier",
"src": "1398:6:1"
},
"nativeSrc": "1398:88:1",
"nodeType": "YulFunctionCall",
"src": "1398:88:1"
},
"nativeSrc": "1398:88:1",
"nodeType": "YulExpressionStatement",
"src": "1398:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1502:1:1",
"nodeType": "YulLiteral",
"src": "1502:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nativeSrc": "1505:4:1",
"nodeType": "YulLiteral",
"src": "1505:4:1",
"type": "",
"value": "0x11"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1495:6:1",
"nodeType": "YulIdentifier",
"src": "1495:6:1"
},
"nativeSrc": "1495:15:1",
"nodeType": "YulFunctionCall",
"src": "1495:15:1"
},
"nativeSrc": "1495:15:1",
"nodeType": "YulExpressionStatement",
"src": "1495:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1526:1:1",
"nodeType": "YulLiteral",
"src": "1526:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "1529:4:1",
"nodeType": "YulLiteral",
"src": "1529:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "1519:6:1",
"nodeType": "YulIdentifier",
"src": "1519:6:1"
},
"nativeSrc": "1519:15:1",
"nodeType": "YulFunctionCall",
"src": "1519:15:1"
},
"nativeSrc": "1519:15:1",
"nodeType": "YulExpressionStatement",
"src": "1519:15:1"
}
]
},
"name": "panic_error_0x11",
"nativeSrc": "1360:180:1",
"nodeType": "YulFunctionDefinition",
"src": "1360:180:1"
},
{
"body": {
"nativeSrc": "1587:126:1",
"nodeType": "YulBlock",
"src": "1587:126:1",
"statements": [
{
"nativeSrc": "1597:31:1",
"nodeType": "YulAssignment",
"src": "1597:31:1",
"value": {
"arguments": [
{
"name": "value",
"nativeSrc": "1622:5:1",
"nodeType": "YulIdentifier",
"src": "1622:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "1606:15:1",
"nodeType": "YulIdentifier",
"src": "1606:15:1"
},
"nativeSrc": "1606:22:1",
"nodeType": "YulFunctionCall",
"src": "1606:22:1"
},
"variableNames": [
{
"name": "value",
"nativeSrc": "1597:5:1",
"nodeType": "YulIdentifier",
"src": "1597:5:1"
}
]
},
{
"body": {
"nativeSrc": "1656:22:1",
"nodeType": "YulBlock",
"src": "1656:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nativeSrc": "1658:16:1",
"nodeType": "YulIdentifier",
"src": "1658:16:1"
},
"nativeSrc": "1658:18:1",
"nodeType": "YulFunctionCall",
"src": "1658:18:1"
},
"nativeSrc": "1658:18:1",
"nodeType": "YulExpressionStatement",
"src": "1658:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "value",
"nativeSrc": "1643:5:1",
"nodeType": "YulIdentifier",
"src": "1643:5:1"
},
{
"kind": "number",
"nativeSrc": "1650:4:1",
"nodeType": "YulLiteral",
"src": "1650:4:1",
"type": "",
"value": "0xff"
}
],
"functionName": {
"name": "eq",
"nativeSrc": "1640:2:1",
"nodeType": "YulIdentifier",
"src": "1640:2:1"
},
"nativeSrc": "1640:15:1",
"nodeType": "YulFunctionCall",
"src": "1640:15:1"
},
"nativeSrc": "1637:41:1",
"nodeType": "YulIf",
"src": "1637:41:1"
},
{
"nativeSrc": "1687:20:1",
"nodeType": "YulAssignment",
"src": "1687:20:1",
"value": {
"arguments": [
{
"name": "value",
"nativeSrc": "1698:5:1",
"nodeType": "YulIdentifier",
"src": "1698:5:1"
},
{
"kind": "number",
"nativeSrc": "1705:1:1",
"nodeType": "YulLiteral",
"src": "1705:1:1",
"type": "",
"value": "1"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1694:3:1",
"nodeType": "YulIdentifier",
"src": "1694:3:1"
},
"nativeSrc": "1694:13:1",
"nodeType": "YulFunctionCall",
"src": "1694:13:1"
},
"variableNames": [
{
"name": "ret",
"nativeSrc": "1687:3:1",
"nodeType": "YulIdentifier",
"src": "1687:3:1"
}
]
}
]
},
"name": "increment_t_uint8",
"nativeSrc": "1546:167:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "1573:5:1",
"nodeType": "YulTypedName",
"src": "1573:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "ret",
"nativeSrc": "1583:3:1",
"nodeType": "YulTypedName",
"src": "1583:3:1",
"type": ""
}
],
"src": "1546:167:1"
},
{
"body": {
"nativeSrc": "1761:146:1",
"nodeType": "YulBlock",
"src": "1761:146:1",
"statements": [
{
"nativeSrc": "1771:23:1",
"nodeType": "YulAssignment",
"src": "1771:23:1",
"value": {
"arguments": [
{
"name": "x",
"nativeSrc": "1792:1:1",
"nodeType": "YulIdentifier",
"src": "1792:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "1776:15:1",
"nodeType": "YulIdentifier",
"src": "1776:15:1"
},
"nativeSrc": "1776:18:1",
"nodeType": "YulFunctionCall",
"src": "1776:18:1"
},
"variableNames": [
{
"name": "x",
"nativeSrc": "1771:1:1",
"nodeType": "YulIdentifier",
"src": "1771:1:1"
}
]
},
{
"nativeSrc": "1803:23:1",
"nodeType": "YulAssignment",
"src": "1803:23:1",
"value": {
"arguments": [
{
"name": "y",
"nativeSrc": "1824:1:1",
"nodeType": "YulIdentifier",
"src": "1824:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "1808:15:1",
"nodeType": "YulIdentifier",
"src": "1808:15:1"
},
"nativeSrc": "1808:18:1",
"nodeType": "YulFunctionCall",
"src": "1808:18:1"
},
"variableNames": [
{
"name": "y",
"nativeSrc": "1803:1:1",
"nodeType": "YulIdentifier",
"src": "1803:1:1"
}
]
},
{
"nativeSrc": "1835:16:1",
"nodeType": "YulAssignment",
"src": "1835:16:1",
"value": {
"arguments": [
{
"name": "x",
"nativeSrc": "1846:1:1",
"nodeType": "YulIdentifier",
"src": "1846:1:1"
},
{
"name": "y",
"nativeSrc": "1849:1:1",
"nodeType": "YulIdentifier",
"src": "1849:1:1"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1842:3:1",
"nodeType": "YulIdentifier",
"src": "1842:3:1"
},
"nativeSrc": "1842:9:1",
"nodeType": "YulFunctionCall",
"src": "1842:9:1"
},
"variableNames": [
{
"name": "sum",
"nativeSrc": "1835:3:1",
"nodeType": "YulIdentifier",
"src": "1835:3:1"
}
]
},
{
"body": {
"nativeSrc": "1878:22:1",
"nodeType": "YulBlock",
"src": "1878:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nativeSrc": "1880:16:1",
"nodeType": "YulIdentifier",
"src": "1880:16:1"
},
"nativeSrc": "1880:18:1",
"nodeType": "YulFunctionCall",
"src": "1880:18:1"
},
"nativeSrc": "1880:18:1",
"nodeType": "YulExpressionStatement",
"src": "1880:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "sum",
"nativeSrc": "1867:3:1",
"nodeType": "YulIdentifier",
"src": "1867:3:1"
},
{
"kind": "number",
"nativeSrc": "1872:4:1",
"nodeType": "YulLiteral",
"src": "1872:4:1",
"type": "",
"value": "0xff"
}
],
"functionName": {
"name": "gt",
"nativeSrc": "1864:2:1",
"nodeType": "YulIdentifier",
"src": "1864:2:1"
},
"nativeSrc": "1864:13:1",
"nodeType": "YulFunctionCall",
"src": "1864:13:1"
},
"nativeSrc": "1861:39:1",
"nodeType": "YulIf",
"src": "1861:39:1"
}
]
},
"name": "checked_add_t_uint8",
"nativeSrc": "1719:188:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "x",
"nativeSrc": "1748:1:1",
"nodeType": "YulTypedName",
"src": "1748:1:1",
"type": ""
},
{
"name": "y",
"nativeSrc": "1751:1:1",
"nodeType": "YulTypedName",
"src": "1751:1:1",
"type": ""
}
],
"returnVariables": [
{
"name": "sum",
"nativeSrc": "1757:3:1",
"nodeType": "YulTypedName",
"src": "1757:3:1",
"type": ""
}
],
"src": "1719:188:1"
}
]
},
"contents": "{\n\n function allocate_unbounded() -> memPtr {\n memPtr := mload(64)\n }\n\n function revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() {\n revert(0, 0)\n }\n\n function revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db() {\n revert(0, 0)\n }\n\n function cleanup_t_uint8(value) -> cleaned {\n cleaned := and(value, 0xff)\n }\n\n function validator_revert_t_uint8(value) {\n if iszero(eq(value, cleanup_t_uint8(value))) { revert(0, 0) }\n }\n\n function abi_decode_t_uint8(offset, end) -> value {\n value := calldataload(offset)\n validator_revert_t_uint8(value)\n }\n\n function abi_decode_tuple_t_uint8(headStart, dataEnd) -> value0 {\n if slt(sub(dataEnd, headStart), 32) { revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() }\n\n {\n\n let offset := 0\n\n value0 := abi_decode_t_uint8(add(headStart, offset), dataEnd)\n }\n\n }\n\n function abi_encode_t_uint8_to_t_uint8_fromStack(value, pos) {\n mstore(pos, cleanup_t_uint8(value))\n }\n\n function abi_encode_tuple_t_uint8__to_t_uint8__fromStack_reversed(headStart , value0) -> tail {\n tail := add(headStart, 32)\n\n abi_encode_t_uint8_to_t_uint8_fromStack(value0, add(headStart, 0))\n\n }\n\n function panic_error_0x11() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x11)\n revert(0, 0x24)\n }\n\n function increment_t_uint8(value) -> ret {\n value := cleanup_t_uint8(value)\n if eq(value, 0xff) { panic_error_0x11() }\n ret := add(value, 1)\n }\n\n function checked_add_t_uint8(x, y) -> sum {\n x := cleanup_t_uint8(x)\n y := cleanup_t_uint8(y)\n sum := add(x, y)\n\n if gt(sum, 0xff) { panic_error_0x11() }\n\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"immutableReferences": {},
"linkReferences": {},
"object": "608060405234801561000f575f5ffd5b5060043610610029575f3560e01c806366c49e681461002d575b5f5ffd5b610047600480360381019061004291906100b7565b61005d565b60405161005491906100f1565b60405180910390f35b5f818261006990610137565b925082610076919061015f565b9050919050565b5f5ffd5b5f60ff82169050919050565b61009681610081565b81146100a0575f5ffd5b50565b5f813590506100b18161008d565b92915050565b5f602082840312156100cc576100cb61007d565b5b5f6100d9848285016100a3565b91505092915050565b6100eb81610081565b82525050565b5f6020820190506101045f8301846100e2565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61014182610081565b915060ff82036101545761015361010a565b5b600182019050919050565b5f61016982610081565b915061017483610081565b9250828201905060ff81111561018d5761018c61010a565b5b9291505056fea264697066735822122044aa33f166a5a70f186015eb7230417fc7515987304eb828444892e0471722c264736f6c63781c302e382e33312d7072652e312b636f6d6d69742e6235393536366636004d",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0xF JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x29 JUMPI PUSH0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x66C49E68 EQ PUSH2 0x2D JUMPI JUMPDEST PUSH0 PUSH0 REVERT JUMPDEST PUSH2 0x47 PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x42 SWAP2 SWAP1 PUSH2 0xB7 JUMP JUMPDEST PUSH2 0x5D JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x54 SWAP2 SWAP1 PUSH2 0xF1 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH0 DUP2 DUP3 PUSH2 0x69 SWAP1 PUSH2 0x137 JUMP JUMPDEST SWAP3 POP DUP3 PUSH2 0x76 SWAP2 SWAP1 PUSH2 0x15F JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH0 REVERT JUMPDEST PUSH0 PUSH1 0xFF DUP3 AND SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x96 DUP2 PUSH2 0x81 JUMP JUMPDEST DUP2 EQ PUSH2 0xA0 JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP JUMP JUMPDEST PUSH0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0xB1 DUP2 PUSH2 0x8D JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0xCC JUMPI PUSH2 0xCB PUSH2 0x7D JUMP JUMPDEST JUMPDEST PUSH0 PUSH2 0xD9 DUP5 DUP3 DUP6 ADD PUSH2 0xA3 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0xEB DUP2 PUSH2 0x81 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x104 PUSH0 DUP4 ADD DUP5 PUSH2 0xE2 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH0 REVERT JUMPDEST PUSH0 PUSH2 0x141 DUP3 PUSH2 0x81 JUMP JUMPDEST SWAP2 POP PUSH1 0xFF DUP3 SUB PUSH2 0x154 JUMPI PUSH2 0x153 PUSH2 0x10A JUMP JUMPDEST JUMPDEST PUSH1 0x1 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH2 0x169 DUP3 PUSH2 0x81 JUMP JUMPDEST SWAP2 POP PUSH2 0x174 DUP4 PUSH2 0x81 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 ADD SWAP1 POP PUSH1 0xFF DUP2 GT ISZERO PUSH2 0x18D JUMPI PUSH2 0x18C PUSH2 0x10A JUMP JUMPDEST JUMPDEST SWAP3 SWAP2 POP POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 PREVRANDAO 0xAA CALLER CALL PUSH7 0xA5A70F186015EB PUSH19 0x30417FC7515987304EB828444892E0471722C2 PUSH5 0x736F6C6378 SHR ADDRESS 0x2E CODESIZE 0x2E CALLER BALANCE 0x2D PUSH17 0x72652E312B636F6D6D69742E6235393536 CALLDATASIZE PUSH7 0x36004D00000000 ",
"sourceMap": "61:107:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;78:88;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;;128:5;158:1;152:3;;;;:::i;:::-;;;;:7;;;;:::i;:::-;145:14;;78:88;;;:::o;88:117:1:-;197:1;194;187:12;334:86;369:7;409:4;402:5;398:16;387:27;;334:86;;;:::o;426:118::-;497:22;513:5;497:22;:::i;:::-;490:5;487:33;477:61;;534:1;531;524:12;477:61;426:118;:::o;550:135::-;594:5;632:6;619:20;610:29;;648:31;673:5;648:31;:::i;:::-;550:135;;;;:::o;691:325::-;748:6;797:2;785:9;776:7;772:23;768:32;765:119;;;803:79;;:::i;:::-;765:119;923:1;948:51;991:7;982:6;971:9;967:22;948:51;:::i;:::-;938:61;;894:115;691:325;;;;:::o;1022:112::-;1105:22;1121:5;1105:22;:::i;:::-;1100:3;1093:35;1022:112;;:::o;1140:214::-;1229:4;1267:2;1256:9;1252:18;1244:26;;1280:67;1344:1;1333:9;1329:17;1320:6;1280:67;:::i;:::-;1140:214;;;;:::o;1360:180::-;1408:77;1405:1;1398:88;1505:4;1502:1;1495:15;1529:4;1526:1;1519:15;1546:167;1583:3;1606:22;1622:5;1606:22;:::i;:::-;1597:31;;1650:4;1643:5;1640:15;1637:41;;1658:18;;:::i;:::-;1637:41;1705:1;1698:5;1694:13;1687:20;;1546:167;;;:::o;1719:188::-;1757:3;1776:18;1792:1;1776:18;:::i;:::-;1771:23;;1808:18;1824:1;1808:18;:::i;:::-;1803:23;;1849:1;1846;1842:9;1835:16;;1872:4;1867:3;1864:13;1861:39;;;1880:18;;:::i;:::-;1861:39;1719:188;;;;:::o"
},
"gasEstimates": {
"creation": {
"codeDepositCost": "96600",
"executionCost": "145",
"totalCost": "96745"
},
"external": {
"preincr_u8(uint8)": "infinite"
}
},
"legacyAssembly": {
".code": [
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "80"
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 61,
"end": 168,
"name": "MSTORE",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "CALLVALUE",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "DUP1",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "ISZERO",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH [tag]",
"source": 0,
"value": "1"
},
{
"begin": 61,
"end": 168,
"name": "JUMPI",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "REVERT",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "tag",
"source": 0,
"value": "1"
},
{
"begin": 61,
"end": 168,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "POP",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH #[$]",
"source": 0,
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 61,
"end": 168,
"name": "DUP1",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH [$]",
"source": 0,
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "CODECOPY",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "RETURN",
"source": 0
}
],
".data": {
"0": {
".auxdata": "a264697066735822122044aa33f166a5a70f186015eb7230417fc7515987304eb828444892e0471722c264736f6c63781c302e382e33312d7072652e312b636f6d6d69742e6235393536366636004d",
".code": [
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "80"
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 61,
"end": 168,
"name": "MSTORE",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "CALLVALUE",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "DUP1",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "ISZERO",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH [tag]",
"source": 0,
"value": "1"
},
{
"begin": 61,
"end": 168,
"name": "JUMPI",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "REVERT",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "tag",
"source": 0,
"value": "1"
},
{
"begin": 61,
"end": 168,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "POP",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "4"
},
{
"begin": 61,
"end": 168,
"name": "CALLDATASIZE",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "LT",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH [tag]",
"source": 0,
"value": "2"
},
{
"begin": 61,
"end": 168,
"name": "JUMPI",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "CALLDATALOAD",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "E0"
},
{
"begin": 61,
"end": 168,
"name": "SHR",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "DUP1",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "66C49E68"
},
{
"begin": 61,
"end": 168,
"name": "EQ",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH [tag]",
"source": 0,
"value": "3"
},
{
"begin": 61,
"end": 168,
"name": "JUMPI",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "tag",
"source": 0,
"value": "2"
},
{
"begin": 61,
"end": 168,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 61,
"end": 168,
"name": "REVERT",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "tag",
"source": 0,
"value": "3"
},
{
"begin": 78,
"end": 166,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "PUSH [tag]",
"source": 0,
"value": "4"
},
{
"begin": 78,
"end": 166,
"name": "PUSH",
"source": 0,
"value": "4"
},
{
"begin": 78,
"end": 166,
"name": "DUP1",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "CALLDATASIZE",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SUB",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "DUP2",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "ADD",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SWAP1",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "PUSH [tag]",
"source": 0,
"value": "5"
},
{
"begin": 78,
"end": 166,
"name": "SWAP2",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SWAP1",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "PUSH [tag]",
"source": 0,
"value": "6"
},
{
"begin": 78,
"end": 166,
"jumpType": "[in]",
"name": "JUMP",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "tag",
"source": 0,
"value": "5"
},
{
"begin": 78,
"end": 166,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "PUSH [tag]",
"source": 0,
"value": "7"
},
{
"begin": 78,
"end": 166,
"jumpType": "[in]",
"name": "JUMP",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "tag",
"source": 0,
"value": "4"
},
{
"begin": 78,
"end": 166,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 78,
"end": 166,
"name": "MLOAD",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "PUSH [tag]",
"source": 0,
"value": "8"
},
{
"begin": 78,
"end": 166,
"name": "SWAP2",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SWAP1",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "PUSH [tag]",
"source": 0,
"value": "9"
},
{
"begin": 78,
"end": 166,
"jumpType": "[in]",
"name": "JUMP",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "tag",
"source": 0,
"value": "8"
},
{
"begin": 78,
"end": 166,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 78,
"end": 166,
"name": "MLOAD",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "DUP1",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SWAP2",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SUB",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SWAP1",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "RETURN",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "tag",
"source": 0,
"value": "7"
},
{
"begin": 78,
"end": 166,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 128,
"end": 133,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 158,
"end": 159,
"name": "DUP2",
"source": 0
},
{
"begin": 152,
"end": 155,
"name": "DUP3",
"source": 0
},
{
"begin": 152,
"end": 155,
"name": "PUSH [tag]",
"source": 0,
"value": "11"
},
{
"begin": 152,
"end": 155,
"name": "SWAP1",
"source": 0
},
{
"begin": 152,
"end": 155,
"name": "PUSH [tag]",
"source": 0,
"value": "12"
},
{
"begin": 152,
"end": 155,
"jumpType": "[in]",
"name": "JUMP",
"source": 0
},
{
"begin": 152,
"end": 155,
"name": "tag",
"source": 0,
"value": "11"
},
{
"begin": 152,
"end": 155,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 152,
"end": 155,
"name": "SWAP3",
"source": 0
},
{
"begin": 152,
"end": 155,
"name": "POP",
"source": 0
},
{
"begin": 152,
"end": 155,
"name": "DUP3",
"source": 0
},
{
"begin": 152,
"end": 159,
"name": "PUSH [tag]",
"source": 0,
"value": "13"
},
{
"begin": 152,
"end": 159,
"name": "SWAP2",
"source": 0
},
{
"begin": 152,
"end": 159,
"name": "SWAP1",
"source": 0
},
{
"begin": 152,
"end": 159,
"name": "PUSH [tag]",
"source": 0,
"value": "14"
},
{
"begin": 152,
"end": 159,
"jumpType": "[in]",
"name": "JUMP",
"source": 0
},
{
"begin": 152,
"end": 159,
"name": "tag",
"source": 0,
"value": "13"
},
{
"begin": 152,
"end": 159,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 145,
"end": 159,
"name": "SWAP1",
"source": 0
},
{
"begin": 145,
"end": 159,
"name": "POP",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SWAP2",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "SWAP1",
"source": 0
},
{
"begin": 78,
"end": 166,
"name": "POP",
"source": 0
},
{
"begin": 78,
"end": 166,
"jumpType": "[out]",
"name": "JUMP",
"source": 0
},
{
"begin": 88,
"end": 205,
"name": "tag",
"source": 1,
"value": "16"
},
{
"begin": 88,
"end": 205,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 197,
"end": 198,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 194,
"end": 195,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 187,
"end": 199,
"name": "REVERT",
"source": 1
},
{
"begin": 334,
"end": 420,
"name": "tag",
"source": 1,
"value": "18"
},
{
"begin": 334,
"end": 420,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 369,
"end": 376,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 409,
"end": 413,
"name": "PUSH",
"source": 1,
"value": "FF"
},
{
"begin": 402,
"end": 407,
"name": "DUP3",
"source": 1
},
{
"begin": 398,
"end": 414,
"name": "AND",
"source": 1
},
{
"begin": 387,
"end": 414,
"name": "SWAP1",
"source": 1
},
{
"begin": 387,
"end": 414,
"name": "POP",
"source": 1
},
{
"begin": 334,
"end": 420,
"name": "SWAP2",
"source": 1
},
{
"begin": 334,
"end": 420,
"name": "SWAP1",
"source": 1
},
{
"begin": 334,
"end": 420,
"name": "POP",
"source": 1
},
{
"begin": 334,
"end": 420,
"jumpType": "[out]",
"name": "JUMP",
"source": 1
},
{
"begin": 426,
"end": 544,
"name": "tag",
"source": 1,
"value": "19"
},
{
"begin": 426,
"end": 544,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 497,
"end": 519,
"name": "PUSH [tag]",
"source": 1,
"value": "29"
},
{
"begin": 513,
"end": 518,
"name": "DUP2",
"source": 1
},
{
"begin": 497,
"end": 519,
"name": "PUSH [tag]",
"source": 1,
"value": "18"
},
{
"begin": 497,
"end": 519,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 497,
"end": 519,
"name": "tag",
"source": 1,
"value": "29"
},
{
"begin": 497,
"end": 519,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 490,
"end": 495,
"name": "DUP2",
"source": 1
},
{
"begin": 487,
"end": 520,
"name": "EQ",
"source": 1
},
{
"begin": 477,
"end": 538,
"name": "PUSH [tag]",
"source": 1,
"value": "30"
},
{
"begin": 477,
"end": 538,
"name": "JUMPI",
"source": 1
},
{
"begin": 534,
"end": 535,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 531,
"end": 532,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 524,
"end": 536,
"name": "REVERT",
"source": 1
},
{
"begin": 477,
"end": 538,
"name": "tag",
"source": 1,
"value": "30"
},
{
"begin": 477,
"end": 538,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 426,
"end": 544,
"name": "POP",
"source": 1
},
{
"begin": 426,
"end": 544,
"jumpType": "[out]",
"name": "JUMP",
"source": 1
},
{
"begin": 550,
"end": 685,
"name": "tag",
"source": 1,
"value": "20"
},
{
"begin": 550,
"end": 685,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 594,
"end": 599,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 632,
"end": 638,
"name": "DUP2",
"source": 1
},
{
"begin": 619,
"end": 639,
"name": "CALLDATALOAD",
"source": 1
},
{
"begin": 610,
"end": 639,
"name": "SWAP1",
"source": 1
},
{
"begin": 610,
"end": 639,
"name": "POP",
"source": 1
},
{
"begin": 648,
"end": 679,
"name": "PUSH [tag]",
"source": 1,
"value": "32"
},
{
"begin": 673,
"end": 678,
"name": "DUP2",
"source": 1
},
{
"begin": 648,
"end": 679,
"name": "PUSH [tag]",
"source": 1,
"value": "19"
},
{
"begin": 648,
"end": 679,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 648,
"end": 679,
"name": "tag",
"source": 1,
"value": "32"
},
{
"begin": 648,
"end": 679,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 550,
"end": 685,
"name": "SWAP3",
"source": 1
},
{
"begin": 550,
"end": 685,
"name": "SWAP2",
"source": 1
},
{
"begin": 550,
"end": 685,
"name": "POP",
"source": 1
},
{
"begin": 550,
"end": 685,
"name": "POP",
"source": 1
},
{
"begin": 550,
"end": 685,
"jumpType": "[out]",
"name": "JUMP",
"source": 1
},
{
"begin": 691,
"end": 1016,
"name": "tag",
"source": 1,
"value": "6"
},
{
"begin": 691,
"end": 1016,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 748,
"end": 754,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 797,
"end": 799,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 785,
"end": 794,
"name": "DUP3",
"source": 1
},
{
"begin": 776,
"end": 783,
"name": "DUP5",
"source": 1
},
{
"begin": 772,
"end": 795,
"name": "SUB",
"source": 1
},
{
"begin": 768,
"end": 800,
"name": "SLT",
"source": 1
},
{
"begin": 765,
"end": 884,
"name": "ISZERO",
"source": 1
},
{
"begin": 765,
"end": 884,
"name": "PUSH [tag]",
"source": 1,
"value": "34"
},
{
"begin": 765,
"end": 884,
"name": "JUMPI",
"source": 1
},
{
"begin": 803,
"end": 882,
"name": "PUSH [tag]",
"source": 1,
"value": "35"
},
{
"begin": 803,
"end": 882,
"name": "PUSH [tag]",
"source": 1,
"value": "16"
},
{
"begin": 803,
"end": 882,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 803,
"end": 882,
"name": "tag",
"source": 1,
"value": "35"
},
{
"begin": 803,
"end": 882,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 765,
"end": 884,
"name": "tag",
"source": 1,
"value": "34"
},
{
"begin": 765,
"end": 884,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 923,
"end": 924,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 948,
"end": 999,
"name": "PUSH [tag]",
"source": 1,
"value": "36"
},
{
"begin": 991,
"end": 998,
"name": "DUP5",
"source": 1
},
{
"begin": 982,
"end": 988,
"name": "DUP3",
"source": 1
},
{
"begin": 971,
"end": 980,
"name": "DUP6",
"source": 1
},
{
"begin": 967,
"end": 989,
"name": "ADD",
"source": 1
},
{
"begin": 948,
"end": 999,
"name": "PUSH [tag]",
"source": 1,
"value": "20"
},
{
"begin": 948,
"end": 999,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 948,
"end": 999,
"name": "tag",
"source": 1,
"value": "36"
},
{
"begin": 948,
"end": 999,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 938,
"end": 999,
"name": "SWAP2",
"source": 1
},
{
"begin": 938,
"end": 999,
"name": "POP",
"source": 1
},
{
"begin": 894,
"end": 1009,
"name": "POP",
"source": 1
},
{
"begin": 691,
"end": 1016,
"name": "SWAP3",
"source": 1
},
{
"begin": 691,
"end": 1016,
"name": "SWAP2",
"source": 1
},
{
"begin": 691,
"end": 1016,
"name": "POP",
"source": 1
},
{
"begin": 691,
"end": 1016,
"name": "POP",
"source": 1
},
{
"begin": 691,
"end": 1016,
"jumpType": "[out]",
"name": "JUMP",
"source": 1
},
{
"begin": 1022,
"end": 1134,
"name": "tag",
"source": 1,
"value": "21"
},
{
"begin": 1022,
"end": 1134,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1105,
"end": 1127,
"name": "PUSH [tag]",
"source": 1,
"value": "38"
},
{
"begin": 1121,
"end": 1126,
"name": "DUP2",
"source": 1
},
{
"begin": 1105,
"end": 1127,
"name": "PUSH [tag]",
"source": 1,
"value": "18"
},
{
"begin": 1105,
"end": 1127,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 1105,
"end": 1127,
"name": "tag",
"source": 1,
"value": "38"
},
{
"begin": 1105,
"end": 1127,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1100,
"end": 1103,
"name": "DUP3",
"source": 1
},
{
"begin": 1093,
"end": 1128,
"name": "MSTORE",
"source": 1
},
{
"begin": 1022,
"end": 1134,
"name": "POP",
"source": 1
},
{
"begin": 1022,
"end": 1134,
"name": "POP",
"source": 1
},
{
"begin": 1022,
"end": 1134,
"jumpType": "[out]",
"name": "JUMP",
"source": 1
},
{
"begin": 1140,
"end": 1354,
"name": "tag",
"source": 1,
"value": "9"
},
{
"begin": 1140,
"end": 1354,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1229,
"end": 1233,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1267,
"end": 1269,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 1256,
"end": 1265,
"name": "DUP3",
"source": 1
},
{
"begin": 1252,
"end": 1270,
"name": "ADD",
"source": 1
},
{
"begin": 1244,
"end": 1270,
"name": "SWAP1",
"source": 1
},
{
"begin": 1244,
"end": 1270,
"name": "POP",
"source": 1
},
{
"begin": 1280,
"end": 1347,
"name": "PUSH [tag]",
"source": 1,
"value": "40"
},
{
"begin": 1344,
"end": 1345,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1333,
"end": 1342,
"name": "DUP4",
"source": 1
},
{
"begin": 1329,
"end": 1346,
"name": "ADD",
"source": 1
},
{
"begin": 1320,
"end": 1326,
"name": "DUP5",
"source": 1
},
{
"begin": 1280,
"end": 1347,
"name": "PUSH [tag]",
"source": 1,
"value": "21"
},
{
"begin": 1280,
"end": 1347,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 1280,
"end": 1347,
"name": "tag",
"source": 1,
"value": "40"
},
{
"begin": 1280,
"end": 1347,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1140,
"end": 1354,
"name": "SWAP3",
"source": 1
},
{
"begin": 1140,
"end": 1354,
"name": "SWAP2",
"source": 1
},
{
"begin": 1140,
"end": 1354,
"name": "POP",
"source": 1
},
{
"begin": 1140,
"end": 1354,
"name": "POP",
"source": 1
},
{
"begin": 1140,
"end": 1354,
"jumpType": "[out]",
"name": "JUMP",
"source": 1
},
{
"begin": 1360,
"end": 1540,
"name": "tag",
"source": 1,
"value": "22"
},
{
"begin": 1360,
"end": 1540,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1408,
"end": 1485,
"name": "PUSH",
"source": 1,
"value": "4E487B7100000000000000000000000000000000000000000000000000000000"
},
{
"begin": 1405,
"end": 1406,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1398,
"end": 1486,
"name": "MSTORE",
"source": 1
},
{
"begin": 1505,
"end": 1509,
"name": "PUSH",
"source": 1,
"value": "11"
},
{
"begin": 1502,
"end": 1503,
"name": "PUSH",
"source": 1,
"value": "4"
},
{
"begin": 1495,
"end": 1510,
"name": "MSTORE",
"source": 1
},
{
"begin": 1529,
"end": 1533,
"name": "PUSH",
"source": 1,
"value": "24"
},
{
"begin": 1526,
"end": 1527,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1519,
"end": 1534,
"name": "REVERT",
"source": 1
},
{
"begin": 1546,
"end": 1713,
"name": "tag",
"source": 1,
"value": "12"
},
{
"begin": 1546,
"end": 1713,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1583,
"end": 1586,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1606,
"end": 1628,
"name": "PUSH [tag]",
"source": 1,
"value": "43"
},
{
"begin": 1622,
"end": 1627,
"name": "DUP3",
"source": 1
},
{
"begin": 1606,
"end": 1628,
"name": "PUSH [tag]",
"source": 1,
"value": "18"
},
{
"begin": 1606,
"end": 1628,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 1606,
"end": 1628,
"name": "tag",
"source": 1,
"value": "43"
},
{
"begin": 1606,
"end": 1628,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1597,
"end": 1628,
"name": "SWAP2",
"source": 1
},
{
"begin": 1597,
"end": 1628,
"name": "POP",
"source": 1
},
{
"begin": 1650,
"end": 1654,
"name": "PUSH",
"source": 1,
"value": "FF"
},
{
"begin": 1643,
"end": 1648,
"name": "DUP3",
"source": 1
},
{
"begin": 1640,
"end": 1655,
"name": "SUB",
"source": 1
},
{
"begin": 1637,
"end": 1678,
"name": "PUSH [tag]",
"source": 1,
"value": "44"
},
{
"begin": 1637,
"end": 1678,
"name": "JUMPI",
"source": 1
},
{
"begin": 1658,
"end": 1676,
"name": "PUSH [tag]",
"source": 1,
"value": "45"
},
{
"begin": 1658,
"end": 1676,
"name": "PUSH [tag]",
"source": 1,
"value": "22"
},
{
"begin": 1658,
"end": 1676,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 1658,
"end": 1676,
"name": "tag",
"source": 1,
"value": "45"
},
{
"begin": 1658,
"end": 1676,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1637,
"end": 1678,
"name": "tag",
"source": 1,
"value": "44"
},
{
"begin": 1637,
"end": 1678,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1705,
"end": 1706,
"name": "PUSH",
"source": 1,
"value": "1"
},
{
"begin": 1698,
"end": 1703,
"name": "DUP3",
"source": 1
},
{
"begin": 1694,
"end": 1707,
"name": "ADD",
"source": 1
},
{
"begin": 1687,
"end": 1707,
"name": "SWAP1",
"source": 1
},
{
"begin": 1687,
"end": 1707,
"name": "POP",
"source": 1
},
{
"begin": 1546,
"end": 1713,
"name": "SWAP2",
"source": 1
},
{
"begin": 1546,
"end": 1713,
"name": "SWAP1",
"source": 1
},
{
"begin": 1546,
"end": 1713,
"name": "POP",
"source": 1
},
{
"begin": 1546,
"end": 1713,
"jumpType": "[out]",
"name": "JUMP",
"source": 1
},
{
"begin": 1719,
"end": 1907,
"name": "tag",
"source": 1,
"value": "14"
},
{
"begin": 1719,
"end": 1907,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1757,
"end": 1760,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1776,
"end": 1794,
"name": "PUSH [tag]",
"source": 1,
"value": "47"
},
{
"begin": 1792,
"end": 1793,
"name": "DUP3",
"source": 1
},
{
"begin": 1776,
"end": 1794,
"name": "PUSH [tag]",
"source": 1,
"value": "18"
},
{
"begin": 1776,
"end": 1794,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 1776,
"end": 1794,
"name": "tag",
"source": 1,
"value": "47"
},
{
"begin": 1776,
"end": 1794,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1771,
"end": 1794,
"name": "SWAP2",
"source": 1
},
{
"begin": 1771,
"end": 1794,
"name": "POP",
"source": 1
},
{
"begin": 1808,
"end": 1826,
"name": "PUSH [tag]",
"source": 1,
"value": "48"
},
{
"begin": 1824,
"end": 1825,
"name": "DUP4",
"source": 1
},
{
"begin": 1808,
"end": 1826,
"name": "PUSH [tag]",
"source": 1,
"value": "18"
},
{
"begin": 1808,
"end": 1826,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 1808,
"end": 1826,
"name": "tag",
"source": 1,
"value": "48"
},
{
"begin": 1808,
"end": 1826,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1803,
"end": 1826,
"name": "SWAP3",
"source": 1
},
{
"begin": 1803,
"end": 1826,
"name": "POP",
"source": 1
},
{
"begin": 1849,
"end": 1850,
"name": "DUP3",
"source": 1
},
{
"begin": 1846,
"end": 1847,
"name": "DUP3",
"source": 1
},
{
"begin": 1842,
"end": 1851,
"name": "ADD",
"source": 1
},
{
"begin": 1835,
"end": 1851,
"name": "SWAP1",
"source": 1
},
{
"begin": 1835,
"end": 1851,
"name": "POP",
"source": 1
},
{
"begin": 1872,
"end": 1876,
"name": "PUSH",
"source": 1,
"value": "FF"
},
{
"begin": 1867,
"end": 1870,
"name": "DUP2",
"source": 1
},
{
"begin": 1864,
"end": 1877,
"name": "GT",
"source": 1
},
{
"begin": 1861,
"end": 1900,
"name": "ISZERO",
"source": 1
},
{
"begin": 1861,
"end": 1900,
"name": "PUSH [tag]",
"source": 1,
"value": "49"
},
{
"begin": 1861,
"end": 1900,
"name": "JUMPI",
"source": 1
},
{
"begin": 1880,
"end": 1898,
"name": "PUSH [tag]",
"source": 1,
"value": "50"
},
{
"begin": 1880,
"end": 1898,
"name": "PUSH [tag]",
"source": 1,
"value": "22"
},
{
"begin": 1880,
"end": 1898,
"jumpType": "[in]",
"name": "JUMP",
"source": 1
},
{
"begin": 1880,
"end": 1898,
"name": "tag",
"source": 1,
"value": "50"
},
{
"begin": 1880,
"end": 1898,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1861,
"end": 1900,
"name": "tag",
"source": 1,
"value": "49"
},
{
"begin": 1861,
"end": 1900,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1719,
"end": 1907,
"name": "SWAP3",
"source": 1
},
{
"begin": 1719,
"end": 1907,
"name": "SWAP2",
"source": 1
},
{
"begin": 1719,
"end": 1907,
"name": "POP",
"source": 1
},
{
"begin": 1719,
"end": 1907,
"name": "POP",
"source": 1
},
{
"begin": 1719,
"end": 1907,
"jumpType": "[out]",
"name": "JUMP",
"source": 1
}
]
}
},
"sourceList": [
"contract-ffb251e418.sol",
"#utility.yul"
]
},
"methodIdentifiers": {
"preincr_u8(uint8)": "66c49e68"
}
},
"metadata": "{\"compiler\":{\"version\":\"0.8.31-pre.1+commit.b59566f6\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"uint8\",\"name\":\"a\",\"type\":\"uint8\"}],\"name\":\"preincr_u8\",\"outputs\":[{\"internalType\":\"uint8\",\"name\":\"\",\"type\":\"uint8\"}],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contract-ffb251e418.sol\":\"C\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"contract-ffb251e418.sol\":{\"keccak256\":\"0x6bdc02a0e214a4403b7bab977034c5f98767a7897fda9cfc688bfef3b39ea016\",\"license\":\"GPL-3.0\",\"urls\":[\"bzz-raw://df2b6bff23f3eaf6426143558c002cca0a50d66b350a58f4825de5ac70fa756d\",\"dweb:/ipfs/QmQSSxP5YPmwmu8ctD3JLCqBecHTvsG9iXdNa8t6UQfzbd\"]}},\"version\":1}",
"storageLayout": {
"storage": [],
"types": null
},
"userdoc": {
"kind": "user",
"methods": {},
"version": 1
}
}
}
},
"errors": [
{
"component": "general",
"errorCode": "3805",
"formattedMessage": "Warning: This is a pre-release compiler version, please do not use it in production.\n\n",
"message": "This is a pre-release compiler version, please do not use it in production.",
"severity": "warning",
"type": "Warning"
}
],
"sources": {
"contract-ffb251e418.sol": {
"ast": {
"absolutePath": "contract-ffb251e418.sol",
"exportedSymbols": {
"C": [
15
]
},
"id": 16,
"license": "GPL-3.0",
"nodeType": "SourceUnit",
"nodes": [
{
"id": 1,
"literals": [
"solidity",
">=",
"0.8",
".1"
],
"nodeType": "PragmaDirective",
"src": "36:24:0"
},
{
"abstract": false,
"baseContracts": [],
"canonicalName": "C",
"contractDependencies": [],
"contractKind": "contract",
"fullyImplemented": true,
"id": 15,
"linearizedBaseContracts": [
15
],
"name": "C",
"nameLocation": "70:1:0",
"nodeType": "ContractDefinition",
"nodes": [
{
"body": {
"id": 13,
"nodeType": "Block",
"src": "135:31:0",
"statements": [
{
"expression": {
"commonType": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
},
"id": 11,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftExpression": {
"id": 9,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"nodeType": "UnaryOperation",
"operator": "++",
"prefix": true,
"src": "152:3:0",
"subExpression": {
"id": 8,
"name": "a",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 3,
"src": "154:1:0",
"typeDescriptions": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
}
},
"typeDescriptions": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
}
},
"nodeType": "BinaryOperation",
"operator": "+",
"rightExpression": {
"id": 10,
"name": "a",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 3,
"src": "158:1:0",
"typeDescriptions": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
}
},
"src": "152:7:0",
"typeDescriptions": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
}
},
"functionReturnParameters": 7,
"id": 12,
"nodeType": "Return",
"src": "145:14:0"
}
]
},
"functionSelector": "66c49e68",
"id": 14,
"implemented": true,
"kind": "function",
"modifiers": [],
"name": "preincr_u8",
"nameLocation": "87:10:0",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 4,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 3,
"mutability": "mutable",
"name": "a",
"nameLocation": "104:1:0",
"nodeType": "VariableDeclaration",
"scope": 14,
"src": "98:7:0",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
},
"typeName": {
"id": 2,
"name": "uint8",
"nodeType": "ElementaryTypeName",
"src": "98:5:0",
"typeDescriptions": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
}
},
"visibility": "internal"
}
],
"src": "97:9:0"
},
"returnParameters": {
"id": 7,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 6,
"mutability": "mutable",
"name": "",
"nameLocation": "-1:-1:-1",
"nodeType": "VariableDeclaration",
"scope": 14,
"src": "128:5:0",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
},
"typeName": {
"id": 5,
"name": "uint8",
"nodeType": "ElementaryTypeName",
"src": "128:5:0",
"typeDescriptions": {
"typeIdentifier": "t_uint8",
"typeString": "uint8"
}
},
"visibility": "internal"
}
],
"src": "127:7:0"
},
"scope": 15,
"src": "78:88:0",
"stateMutability": "pure",
"virtual": false,
"visibility": "public"
}
],
"scope": 16,
"src": "61:107:0",
"usedErrors": [],
"usedEvents": []
}
],
"src": "36:132: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": {
"functionDebugData": {},
"generatedSources": [],
"linkReferences": {},
"object": "6080604052348015600e575f5ffd5b506101e38061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c806366c49e681461002d575b5f5ffd5b610047600480360381019061004291906100b7565b61005d565b60405161005491906100f1565b60405180910390f35b5f818261006990610137565b925082610076919061015f565b9050919050565b5f5ffd5b5f60ff82169050919050565b61009681610081565b81146100a0575f5ffd5b50565b5f813590506100b18161008d565b92915050565b5f602082840312156100cc576100cb61007d565b5b5f6100d9848285016100a3565b91505092915050565b6100eb81610081565b82525050565b5f6020820190506101045f8301846100e2565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61014182610081565b915060ff82036101545761015361010a565b5b600182019050919050565b5f61016982610081565b915061017483610081565b9250828201905060ff81111561018d5761018c61010a565b5b9291505056fea264697066735822122044aa33f166a5a70f186015eb7230417fc7515987304eb828444892e0471722c264736f6c63781c302e382e33312d7072652e312b636f6d6d69742e6235393536366636004d",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH1 0xE JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP PUSH2 0x1E3 DUP1 PUSH2 0x1C PUSH0 CODECOPY PUSH0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0xF JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x29 JUMPI PUSH0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x66C49E68 EQ PUSH2 0x2D JUMPI JUMPDEST PUSH0 PUSH0 REVERT JUMPDEST PUSH2 0x47 PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x42 SWAP2 SWAP1 PUSH2 0xB7 JUMP JUMPDEST PUSH2 0x5D JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x54 SWAP2 SWAP1 PUSH2 0xF1 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH0 DUP2 DUP3 PUSH2 0x69 SWAP1 PUSH2 0x137 JUMP JUMPDEST SWAP3 POP DUP3 PUSH2 0x76 SWAP2 SWAP1 PUSH2 0x15F JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH0 REVERT JUMPDEST PUSH0 PUSH1 0xFF DUP3 AND SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x96 DUP2 PUSH2 0x81 JUMP JUMPDEST DUP2 EQ PUSH2 0xA0 JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP JUMP JUMPDEST PUSH0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0xB1 DUP2 PUSH2 0x8D JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0xCC JUMPI PUSH2 0xCB PUSH2 0x7D JUMP JUMPDEST JUMPDEST PUSH0 PUSH2 0xD9 DUP5 DUP3 DUP6 ADD PUSH2 0xA3 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0xEB DUP2 PUSH2 0x81 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x104 PUSH0 DUP4 ADD DUP5 PUSH2 0xE2 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH0 REVERT JUMPDEST PUSH0 PUSH2 0x141 DUP3 PUSH2 0x81 JUMP JUMPDEST SWAP2 POP PUSH1 0xFF DUP3 SUB PUSH2 0x154 JUMPI PUSH2 0x153 PUSH2 0x10A JUMP JUMPDEST JUMPDEST PUSH1 0x1 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH2 0x169 DUP3 PUSH2 0x81 JUMP JUMPDEST SWAP2 POP PUSH2 0x174 DUP4 PUSH2 0x81 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 ADD SWAP1 POP PUSH1 0xFF DUP2 GT ISZERO PUSH2 0x18D JUMPI PUSH2 0x18C PUSH2 0x10A JUMP JUMPDEST JUMPDEST SWAP3 SWAP2 POP POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 PREVRANDAO 0xAA CALLER CALL PUSH7 0xA5A70F186015EB PUSH19 0x30417FC7515987304EB828444892E0471722C2 PUSH5 0x736F6C6378 SHR ADDRESS 0x2E CODESIZE 0x2E CALLER BALANCE 0x2D PUSH17 0x72652E312B636F6D6D69742E6235393536 CALLDATASIZE PUSH7 0x36004D00000000 ",
"sourceMap": "61:107:0:-:0;;;;;;;;;;;;;;;;;;;"
},
"deployedBytecode": {
"functionDebugData": {
"@preincr_u8_14": {
"entryPoint": 93,
"id": 14,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_decode_t_uint8": {
"entryPoint": 163,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_decode_tuple_t_uint8": {
"entryPoint": 183,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_encode_t_uint8_to_t_uint8_fromStack": {
"entryPoint": 226,
"id": null,
"parameterSlots": 2,
"returnSlots": 0
},
"abi_encode_tuple_t_uint8__to_t_uint8__fromStack_reversed": {
"entryPoint": 241,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"allocate_unbounded": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 1
},
"checked_add_t_uint8": {
"entryPoint": 351,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"cleanup_t_uint8": {
"entryPoint": 129,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"increment_t_uint8": {
"entryPoint": 311,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"panic_error_0x11": {
"entryPoint": 266,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b": {
"entryPoint": 125,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"validator_revert_t_uint8": {
"entryPoint": 141,
"id": null,
"parameterSlots": 1,
"returnSlots": 0
}
},
"generatedSources": [
{
"ast": {
"nativeSrc": "0:1910:1",
"nodeType": "YulBlock",
"src": "0:1910:1",
"statements": [
{
"body": {
"nativeSrc": "47:35:1",
"nodeType": "YulBlock",
"src": "47:35:1",
"statements": [
{
"nativeSrc": "57:19:1",
"nodeType": "YulAssignment",
"src": "57:19:1",
"value": {
"arguments": [
{
"kind": "number",
"nativeSrc": "73:2:1",
"nodeType": "YulLiteral",
"src": "73:2:1",
"type": "",
"value": "64"
}
],
"functionName": {
"name": "mload",
"nativeSrc": "67:5:1",
"nodeType": "YulIdentifier",
"src": "67:5:1"
},
"nativeSrc": "67:9:1",
"nodeType": "YulFunctionCall",
"src": "67:9:1"
},
"variableNames": [
{
"name": "memPtr",
"nativeSrc": "57:6:1",
"nodeType": "YulIdentifier",
"src": "57:6:1"
}
]
}
]
},
"name": "allocate_unbounded",
"nativeSrc": "7:75:1",
"nodeType": "YulFunctionDefinition",
"returnVariables": [
{
"name": "memPtr",
"nativeSrc": "40:6:1",
"nodeType": "YulTypedName",
"src": "40:6:1",
"type": ""
}
],
"src": "7:75:1"
},
{
"body": {
"nativeSrc": "177:28:1",
"nodeType": "YulBlock",
"src": "177:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "194:1:1",
"nodeType": "YulLiteral",
"src": "194:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "197:1:1",
"nodeType": "YulLiteral",
"src": "197:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "187:6:1",
"nodeType": "YulIdentifier",
"src": "187:6:1"
},
"nativeSrc": "187:12:1",
"nodeType": "YulFunctionCall",
"src": "187:12:1"
},
"nativeSrc": "187:12:1",
"nodeType": "YulExpressionStatement",
"src": "187:12:1"
}
]
},
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nativeSrc": "88:117:1",
"nodeType": "YulFunctionDefinition",
"src": "88:117:1"
},
{
"body": {
"nativeSrc": "300:28:1",
"nodeType": "YulBlock",
"src": "300:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "317:1:1",
"nodeType": "YulLiteral",
"src": "317:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "320:1:1",
"nodeType": "YulLiteral",
"src": "320:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "310:6:1",
"nodeType": "YulIdentifier",
"src": "310:6:1"
},
"nativeSrc": "310:12:1",
"nodeType": "YulFunctionCall",
"src": "310:12:1"
},
"nativeSrc": "310:12:1",
"nodeType": "YulExpressionStatement",
"src": "310:12:1"
}
]
},
"name": "revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db",
"nativeSrc": "211:117:1",
"nodeType": "YulFunctionDefinition",
"src": "211:117:1"
},
{
"body": {
"nativeSrc": "377:43:1",
"nodeType": "YulBlock",
"src": "377:43:1",
"statements": [
{
"nativeSrc": "387:27:1",
"nodeType": "YulAssignment",
"src": "387:27:1",
"value": {
"arguments": [
{
"name": "value",
"nativeSrc": "402:5:1",
"nodeType": "YulIdentifier",
"src": "402:5:1"
},
{
"kind": "number",
"nativeSrc": "409:4:1",
"nodeType": "YulLiteral",
"src": "409:4:1",
"type": "",
"value": "0xff"
}
],
"functionName": {
"name": "and",
"nativeSrc": "398:3:1",
"nodeType": "YulIdentifier",
"src": "398:3:1"
},
"nativeSrc": "398:16:1",
"nodeType": "YulFunctionCall",
"src": "398:16:1"
},
"variableNames": [
{
"name": "cleaned",
"nativeSrc": "387:7:1",
"nodeType": "YulIdentifier",
"src": "387:7:1"
}
]
}
]
},
"name": "cleanup_t_uint8",
"nativeSrc": "334:86:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "359:5:1",
"nodeType": "YulTypedName",
"src": "359:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "cleaned",
"nativeSrc": "369:7:1",
"nodeType": "YulTypedName",
"src": "369:7:1",
"type": ""
}
],
"src": "334:86:1"
},
{
"body": {
"nativeSrc": "467:77:1",
"nodeType": "YulBlock",
"src": "467:77:1",
"statements": [
{
"body": {
"nativeSrc": "522:16:1",
"nodeType": "YulBlock",
"src": "522:16:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "531:1:1",
"nodeType": "YulLiteral",
"src": "531:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "534:1:1",
"nodeType": "YulLiteral",
"src": "534:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "524:6:1",
"nodeType": "YulIdentifier",
"src": "524:6:1"
},
"nativeSrc": "524:12:1",
"nodeType": "YulFunctionCall",
"src": "524:12:1"
},
"nativeSrc": "524:12:1",
"nodeType": "YulExpressionStatement",
"src": "524:12:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nativeSrc": "490:5:1",
"nodeType": "YulIdentifier",
"src": "490:5:1"
},
{
"arguments": [
{
"name": "value",
"nativeSrc": "513:5:1",
"nodeType": "YulIdentifier",
"src": "513:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "497:15:1",
"nodeType": "YulIdentifier",
"src": "497:15:1"
},
"nativeSrc": "497:22:1",
"nodeType": "YulFunctionCall",
"src": "497:22:1"
}
],
"functionName": {
"name": "eq",
"nativeSrc": "487:2:1",
"nodeType": "YulIdentifier",
"src": "487:2:1"
},
"nativeSrc": "487:33:1",
"nodeType": "YulFunctionCall",
"src": "487:33:1"
}
],
"functionName": {
"name": "iszero",
"nativeSrc": "480:6:1",
"nodeType": "YulIdentifier",
"src": "480:6:1"
},
"nativeSrc": "480:41:1",
"nodeType": "YulFunctionCall",
"src": "480:41:1"
},
"nativeSrc": "477:61:1",
"nodeType": "YulIf",
"src": "477:61:1"
}
]
},
"name": "validator_revert_t_uint8",
"nativeSrc": "426:118:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "460:5:1",
"nodeType": "YulTypedName",
"src": "460:5:1",
"type": ""
}
],
"src": "426:118:1"
},
{
"body": {
"nativeSrc": "600:85:1",
"nodeType": "YulBlock",
"src": "600:85:1",
"statements": [
{
"nativeSrc": "610:29:1",
"nodeType": "YulAssignment",
"src": "610:29:1",
"value": {
"arguments": [
{
"name": "offset",
"nativeSrc": "632:6:1",
"nodeType": "YulIdentifier",
"src": "632:6:1"
}
],
"functionName": {
"name": "calldataload",
"nativeSrc": "619:12:1",
"nodeType": "YulIdentifier",
"src": "619:12:1"
},
"nativeSrc": "619:20:1",
"nodeType": "YulFunctionCall",
"src": "619:20:1"
},
"variableNames": [
{
"name": "value",
"nativeSrc": "610:5:1",
"nodeType": "YulIdentifier",
"src": "610:5:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value",
"nativeSrc": "673:5:1",
"nodeType": "YulIdentifier",
"src": "673:5:1"
}
],
"functionName": {
"name": "validator_revert_t_uint8",
"nativeSrc": "648:24:1",
"nodeType": "YulIdentifier",
"src": "648:24:1"
},
"nativeSrc": "648:31:1",
"nodeType": "YulFunctionCall",
"src": "648:31:1"
},
"nativeSrc": "648:31:1",
"nodeType": "YulExpressionStatement",
"src": "648:31:1"
}
]
},
"name": "abi_decode_t_uint8",
"nativeSrc": "550:135:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "offset",
"nativeSrc": "578:6:1",
"nodeType": "YulTypedName",
"src": "578:6:1",
"type": ""
},
{
"name": "end",
"nativeSrc": "586:3:1",
"nodeType": "YulTypedName",
"src": "586:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value",
"nativeSrc": "594:5:1",
"nodeType": "YulTypedName",
"src": "594:5:1",
"type": ""
}
],
"src": "550:135:1"
},
{
"body": {
"nativeSrc": "755:261:1",
"nodeType": "YulBlock",
"src": "755:261:1",
"statements": [
{
"body": {
"nativeSrc": "801:83:1",
"nodeType": "YulBlock",
"src": "801:83:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nativeSrc": "803:77:1",
"nodeType": "YulIdentifier",
"src": "803:77:1"
},
"nativeSrc": "803:79:1",
"nodeType": "YulFunctionCall",
"src": "803:79:1"
},
"nativeSrc": "803:79:1",
"nodeType": "YulExpressionStatement",
"src": "803:79:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "dataEnd",
"nativeSrc": "776:7:1",
"nodeType": "YulIdentifier",
"src": "776:7:1"
},
{
"name": "headStart",
"nativeSrc": "785:9:1",
"nodeType": "YulIdentifier",
"src": "785:9:1"
}
],
"functionName": {
"name": "sub",
"nativeSrc": "772:3:1",
"nodeType": "YulIdentifier",
"src": "772:3:1"
},
"nativeSrc": "772:23:1",
"nodeType": "YulFunctionCall",
"src": "772:23:1"
},
{
"kind": "number",
"nativeSrc": "797:2:1",
"nodeType": "YulLiteral",
"src": "797:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "slt",
"nativeSrc": "768:3:1",
"nodeType": "YulIdentifier",
"src": "768:3:1"
},
"nativeSrc": "768:32:1",
"nodeType": "YulFunctionCall",
"src": "768:32:1"
},
"nativeSrc": "765:119:1",
"nodeType": "YulIf",
"src": "765:119:1"
},
{
"nativeSrc": "894:115:1",
"nodeType": "YulBlock",
"src": "894:115:1",
"statements": [
{
"nativeSrc": "909:15:1",
"nodeType": "YulVariableDeclaration",
"src": "909:15:1",
"value": {
"kind": "number",
"nativeSrc": "923:1:1",
"nodeType": "YulLiteral",
"src": "923:1:1",
"type": "",
"value": "0"
},
"variables": [
{
"name": "offset",
"nativeSrc": "913:6:1",
"nodeType": "YulTypedName",
"src": "913:6:1",
"type": ""
}
]
},
{
"nativeSrc": "938:61:1",
"nodeType": "YulAssignment",
"src": "938:61:1",
"value": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nativeSrc": "971:9:1",
"nodeType": "YulIdentifier",
"src": "971:9:1"
},
{
"name": "offset",
"nativeSrc": "982:6:1",
"nodeType": "YulIdentifier",
"src": "982:6:1"
}
],
"functionName": {
"name": "add",
"nativeSrc": "967:3:1",
"nodeType": "YulIdentifier",
"src": "967:3:1"
},
"nativeSrc": "967:22:1",
"nodeType": "YulFunctionCall",
"src": "967:22:1"
},
{
"name": "dataEnd",
"nativeSrc": "991:7:1",
"nodeType": "YulIdentifier",
"src": "991:7:1"
}
],
"functionName": {
"name": "abi_decode_t_uint8",
"nativeSrc": "948:18:1",
"nodeType": "YulIdentifier",
"src": "948:18:1"
},
"nativeSrc": "948:51:1",
"nodeType": "YulFunctionCall",
"src": "948:51:1"
},
"variableNames": [
{
"name": "value0",
"nativeSrc": "938:6:1",
"nodeType": "YulIdentifier",
"src": "938:6:1"
}
]
}
]
}
]
},
"name": "abi_decode_tuple_t_uint8",
"nativeSrc": "691:325:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nativeSrc": "725:9:1",
"nodeType": "YulTypedName",
"src": "725:9:1",
"type": ""
},
{
"name": "dataEnd",
"nativeSrc": "736:7:1",
"nodeType": "YulTypedName",
"src": "736:7:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value0",
"nativeSrc": "748:6:1",
"nodeType": "YulTypedName",
"src": "748:6:1",
"type": ""
}
],
"src": "691:325:1"
},
{
"body": {
"nativeSrc": "1083:51:1",
"nodeType": "YulBlock",
"src": "1083:51:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nativeSrc": "1100:3:1",
"nodeType": "YulIdentifier",
"src": "1100:3:1"
},
{
"arguments": [
{
"name": "value",
"nativeSrc": "1121:5:1",
"nodeType": "YulIdentifier",
"src": "1121:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "1105:15:1",
"nodeType": "YulIdentifier",
"src": "1105:15:1"
},
"nativeSrc": "1105:22:1",
"nodeType": "YulFunctionCall",
"src": "1105:22:1"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1093:6:1",
"nodeType": "YulIdentifier",
"src": "1093:6:1"
},
"nativeSrc": "1093:35:1",
"nodeType": "YulFunctionCall",
"src": "1093:35:1"
},
"nativeSrc": "1093:35:1",
"nodeType": "YulExpressionStatement",
"src": "1093:35:1"
}
]
},
"name": "abi_encode_t_uint8_to_t_uint8_fromStack",
"nativeSrc": "1022:112:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "1071:5:1",
"nodeType": "YulTypedName",
"src": "1071:5:1",
"type": ""
},
{
"name": "pos",
"nativeSrc": "1078:3:1",
"nodeType": "YulTypedName",
"src": "1078:3:1",
"type": ""
}
],
"src": "1022:112:1"
},
{
"body": {
"nativeSrc": "1234:120:1",
"nodeType": "YulBlock",
"src": "1234:120:1",
"statements": [
{
"nativeSrc": "1244:26:1",
"nodeType": "YulAssignment",
"src": "1244:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nativeSrc": "1256:9:1",
"nodeType": "YulIdentifier",
"src": "1256:9:1"
},
{
"kind": "number",
"nativeSrc": "1267:2:1",
"nodeType": "YulLiteral",
"src": "1267:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1252:3:1",
"nodeType": "YulIdentifier",
"src": "1252:3:1"
},
"nativeSrc": "1252:18:1",
"nodeType": "YulFunctionCall",
"src": "1252:18:1"
},
"variableNames": [
{
"name": "tail",
"nativeSrc": "1244:4:1",
"nodeType": "YulIdentifier",
"src": "1244:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value0",
"nativeSrc": "1320:6:1",
"nodeType": "YulIdentifier",
"src": "1320:6:1"
},
{
"arguments": [
{
"name": "headStart",
"nativeSrc": "1333:9:1",
"nodeType": "YulIdentifier",
"src": "1333:9:1"
},
{
"kind": "number",
"nativeSrc": "1344:1:1",
"nodeType": "YulLiteral",
"src": "1344:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1329:3:1",
"nodeType": "YulIdentifier",
"src": "1329:3:1"
},
"nativeSrc": "1329:17:1",
"nodeType": "YulFunctionCall",
"src": "1329:17:1"
}
],
"functionName": {
"name": "abi_encode_t_uint8_to_t_uint8_fromStack",
"nativeSrc": "1280:39:1",
"nodeType": "YulIdentifier",
"src": "1280:39:1"
},
"nativeSrc": "1280:67:1",
"nodeType": "YulFunctionCall",
"src": "1280:67:1"
},
"nativeSrc": "1280:67:1",
"nodeType": "YulExpressionStatement",
"src": "1280:67:1"
}
]
},
"name": "abi_encode_tuple_t_uint8__to_t_uint8__fromStack_reversed",
"nativeSrc": "1140:214:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nativeSrc": "1206:9:1",
"nodeType": "YulTypedName",
"src": "1206:9:1",
"type": ""
},
{
"name": "value0",
"nativeSrc": "1218:6:1",
"nodeType": "YulTypedName",
"src": "1218:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nativeSrc": "1229:4:1",
"nodeType": "YulTypedName",
"src": "1229:4:1",
"type": ""
}
],
"src": "1140:214:1"
},
{
"body": {
"nativeSrc": "1388:152:1",
"nodeType": "YulBlock",
"src": "1388:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1405:1:1",
"nodeType": "YulLiteral",
"src": "1405:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "1408:77:1",
"nodeType": "YulLiteral",
"src": "1408:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1398:6:1",
"nodeType": "YulIdentifier",
"src": "1398:6:1"
},
"nativeSrc": "1398:88:1",
"nodeType": "YulFunctionCall",
"src": "1398:88:1"
},
"nativeSrc": "1398:88:1",
"nodeType": "YulExpressionStatement",
"src": "1398:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1502:1:1",
"nodeType": "YulLiteral",
"src": "1502:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nativeSrc": "1505:4:1",
"nodeType": "YulLiteral",
"src": "1505:4:1",
"type": "",
"value": "0x11"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1495:6:1",
"nodeType": "YulIdentifier",
"src": "1495:6:1"
},
"nativeSrc": "1495:15:1",
"nodeType": "YulFunctionCall",
"src": "1495:15:1"
},
"nativeSrc": "1495:15:1",
"nodeType": "YulExpressionStatement",
"src": "1495:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1526:1:1",
"nodeType": "YulLiteral",
"src": "1526:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "1529:4:1",
"nodeType": "YulLiteral",
"src": "1529:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "1519:6:1",
"nodeType": "YulIdentifier",
"src": "1519:6:1"
},
"nativeSrc": "1519:15:1",
"nodeType": "YulFunctionCall",
"src": "1519:15:1"
},
"nativeSrc": "1519:15:1",
"nodeType": "YulExpressionStatement",
"src": "1519:15:1"
}
]
},
"name": "panic_error_0x11",
"nativeSrc": "1360:180:1",
"nodeType": "YulFunctionDefinition",
"src": "1360:180:1"
},
{
"body": {
"nativeSrc": "1587:126:1",
"nodeType": "YulBlock",
"src": "1587:126:1",
"statements": [
{
"nativeSrc": "1597:31:1",
"nodeType": "YulAssignment",
"src": "1597:31:1",
"value": {
"arguments": [
{
"name": "value",
"nativeSrc": "1622:5:1",
"nodeType": "YulIdentifier",
"src": "1622:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "1606:15:1",
"nodeType": "YulIdentifier",
"src": "1606:15:1"
},
"nativeSrc": "1606:22:1",
"nodeType": "YulFunctionCall",
"src": "1606:22:1"
},
"variableNames": [
{
"name": "value",
"nativeSrc": "1597:5:1",
"nodeType": "YulIdentifier",
"src": "1597:5:1"
}
]
},
{
"body": {
"nativeSrc": "1656:22:1",
"nodeType": "YulBlock",
"src": "1656:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nativeSrc": "1658:16:1",
"nodeType": "YulIdentifier",
"src": "1658:16:1"
},
"nativeSrc": "1658:18:1",
"nodeType": "YulFunctionCall",
"src": "1658:18:1"
},
"nativeSrc": "1658:18:1",
"nodeType": "YulExpressionStatement",
"src": "1658:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "value",
"nativeSrc": "1643:5:1",
"nodeType": "YulIdentifier",
"src": "1643:5:1"
},
{
"kind": "number",
"nativeSrc": "1650:4:1",
"nodeType": "YulLiteral",
"src": "1650:4:1",
"type": "",
"value": "0xff"
}
],
"functionName": {
"name": "eq",
"nativeSrc": "1640:2:1",
"nodeType": "YulIdentifier",
"src": "1640:2:1"
},
"nativeSrc": "1640:15:1",
"nodeType": "YulFunctionCall",
"src": "1640:15:1"
},
"nativeSrc": "1637:41:1",
"nodeType": "YulIf",
"src": "1637:41:1"
},
{
"nativeSrc": "1687:20:1",
"nodeType": "YulAssignment",
"src": "1687:20:1",
"value": {
"arguments": [
{
"name": "value",
"nativeSrc": "1698:5:1",
"nodeType": "YulIdentifier",
"src": "1698:5:1"
},
{
"kind": "number",
"nativeSrc": "1705:1:1",
"nodeType": "YulLiteral",
"src": "1705:1:1",
"type": "",
"value": "1"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1694:3:1",
"nodeType": "YulIdentifier",
"src": "1694:3:1"
},
"nativeSrc": "1694:13:1",
"nodeType": "YulFunctionCall",
"src": "1694:13:1"
},
"variableNames": [
{
"name": "ret",
"nativeSrc": "1687:3:1",
"nodeType": "YulIdentifier",
"src": "1687:3:1"
}
]
}
]
},
"name": "increment_t_uint8",
"nativeSrc": "1546:167:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "1573:5:1",
"nodeType": "YulTypedName",
"src": "1573:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "ret",
"nativeSrc": "1583:3:1",
"nodeType": "YulTypedName",
"src": "1583:3:1",
"type": ""
}
],
"src": "1546:167:1"
},
{
"body": {
"nativeSrc": "1761:146:1",
"nodeType": "YulBlock",
"src": "1761:146:1",
"statements": [
{
"nativeSrc": "1771:23:1",
"nodeType": "YulAssignment",
"src": "1771:23:1",
"value": {
"arguments": [
{
"name": "x",
"nativeSrc": "1792:1:1",
"nodeType": "YulIdentifier",
"src": "1792:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "1776:15:1",
"nodeType": "YulIdentifier",
"src": "1776:15:1"
},
"nativeSrc": "1776:18:1",
"nodeType": "YulFunctionCall",
"src": "1776:18:1"
},
"variableNames": [
{
"name": "x",
"nativeSrc": "1771:1:1",
"nodeType": "YulIdentifier",
"src": "1771:1:1"
}
]
},
{
"nativeSrc": "1803:23:1",
"nodeType": "YulAssignment",
"src": "1803:23:1",
"value": {
"arguments": [
{
"name": "y",
"nativeSrc": "1824:1:1",
"nodeType": "YulIdentifier",
"src": "1824:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint8",
"nativeSrc": "1808:15:1",
"nodeType": "YulIdentifier",
"src": "1808:15:1"
},
"nativeSrc": "1808:18:1",
"nodeType": "YulFunctionCall",
"src": "1808:18:1"
},
"variableNames": [
{
"name": "y",
"nativeSrc": "1803:1:1",
"nodeType": "YulIdentifier",
"src": "1803:1:1"
}
]
},
{
"nativeSrc": "1835:16:1",
"nodeType": "YulAssignment",
"src": "1835:16:1",
"value": {
"arguments": [
{
"name": "x",
"nativeSrc": "1846:1:1",
"nodeType": "YulIdentifier",
"src": "1846:1:1"
},
{
"name": "y",
"nativeSrc": "1849:1:1",
"nodeType": "YulIdentifier",
"src": "1849:1:1"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1842:3:1",
"nodeType": "YulIdentifier",
"src": "1842:3:1"
},
"nativeSrc": "1842:9:1",
"nodeType": "YulFunctionCall",
"src": "1842:9:1"
},
"variableNames": [
{
"name": "sum",
"nativeSrc": "1835:3:1",
"nodeType": "YulIdentifier",
"src": "1835:3:1"
}
]
},
{
"body": {
"nativeSrc": "1878:22:1",
"nodeType": "YulBlock",
"src": "1878:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nativeSrc": "1880:16:1",
"nodeType": "YulIdentifier",
"src": "1880:16:1"
},
"nativeSrc": "1880:18:1",
"nodeType": "YulFunctionCall",
"src": "1880:18:1"
},
"nativeSrc": "1880:18:1",
"nodeType": "YulExpressionStatement",
"src": "1880:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "sum",
"nativeSrc": "1867:3:1",
"nodeType": "YulIdentifier",
"src": "1867:3:1"
},
{
"kind": "number",
"nativeSrc": "1872:4:1",
"nodeType": "YulLiteral",
"src": "1872:4:1",
"type": "",
"value": "0xff"
}
],
"functionName": {
"name": "gt",
"nativeSrc": "1864:2:1",
"nodeType": "YulIdentifier",
"src": "1864:2:1"
},
"nativeSrc": "1864:13:1",
"nodeType": "YulFunctionCall",
"src": "1864:13:1"
},
"nativeSrc": "1861:39:1",
"nodeType": "YulIf",
"src": "1861:39:1"
}
]
},
"name": "checked_add_t_uint8",
"nativeSrc": "1719:188:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "x",
"nativeSrc": "1748:1:1",
"nodeType": "YulTypedName",
"src": "1748:1:1",
"type": ""
},
{
"name": "y",
"nativeSrc": "1751:1:1",
"nodeType": "YulTypedName",
"src": "1751:1:1",
"type": ""
}
],
"returnVariables": [
{
"name": "sum",
"nativeSrc": "1757:3:1",
"nodeType": "YulTypedName",
"src": "1757:3:1",
"type": ""
}
],
"src": "1719:188:1"
}
]
},
"contents": "{\n\n function allocate_unbounded() -> memPtr {\n memPtr := mload(64)\n }\n\n function revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() {\n revert(0, 0)\n }\n\n function revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db() {\n revert(0, 0)\n }\n\n function cleanup_t_uint8(value) -> cleaned {\n cleaned := and(value, 0xff)\n }\n\n function validator_revert_t_uint8(value) {\n if iszero(eq(value, cleanup_t_uint8(value))) { revert(0, 0) }\n }\n\n function abi_decode_t_uint8(offset, end) -> value {\n value := calldataload(offset)\n validator_revert_t_uint8(value)\n }\n\n function abi_decode_tuple_t_uint8(headStart, dataEnd) -> value0 {\n if slt(sub(dataEnd, headStart), 32) { revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() }\n\n {\n\n let offset := 0\n\n value0 := abi_decode_t_uint8(add(headStart, offset), dataEnd)\n }\n\n }\n\n function abi_encode_t_uint8_to_t_uint8_fromStack(value, pos) {\n mstore(pos, cleanup_t_uint8(value))\n }\n\n function abi_encode_tuple_t_uint8__to_t_uint8__fromStack_reversed(headStart , value0) -> tail {\n tail := add(headStart, 32)\n\n abi_encode_t_uint8_to_t_uint8_fromStack(value0, add(headStart, 0))\n\n }\n\n function panic_error_0x11() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x11)\n revert(0, 0x24)\n }\n\n function increment_t_uint8(value) -> ret {\n value := cleanup_t_uint8(value)\n if eq(value, 0xff) { panic_error_0x11() }\n ret := add(value, 1)\n }\n\n function checked_add_t_uint8(x, y) -> sum {\n x := cleanup_t_uint8(x)\n y := cleanup_t_uint8(y)\n sum := add(x, y)\n\n if gt(sum, 0xff) { panic_error_0x11() }\n\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"immutableReferences": {},
"linkReferences": {},
"object": "608060405234801561000f575f5ffd5b5060043610610029575f3560e01c806366c49e681461002d575b5f5ffd5b610047600480360381019061004291906100b7565b61005d565b60405161005491906100f1565b60405180910390f35b5f818261006990610137565b925082610076919061015f565b9050919050565b5f5ffd5b5f60ff82169050919050565b61009681610081565b81146100a0575f5ffd5b50565b5f813590506100b18161008d565b92915050565b5f602082840312156100cc576100cb61007d565b5b5f6100d9848285016100a3565b91505092915050565b6100eb81610081565b82525050565b5f6020820190506101045f8301846100e2565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61014182610081565b915060ff82036101545761015361010a565b5b600182019050919050565b5f61016982610081565b915061017483610081565b9250828201905060ff81111561018d5761018c61010a565b5b9291505056fea264697066735822122044aa33f166a5a70f186015eb7230417fc7515987304eb828444892e0471722c264736f6c63781c302e382e33312d7072652e312b636f6d6d69742e6235393536366636004d",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0xF JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x29 JUMPI PUSH0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x66C49E68 EQ PUSH2 0x2D JUMPI JUMPDEST PUSH0 PUSH0 REVERT JUMPDEST PUSH2 0x47 PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x42 SWAP2 SWAP1 PUSH2 0xB7 JUMP JUMPDEST PUSH2 0x5D JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x54 SWAP2 SWAP1 PUSH2 0xF1 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH0 DUP2 DUP3 PUSH2 0x69 SWAP1 PUSH2 0x137 JUMP JUMPDEST SWAP3 POP DUP3 PUSH2 0x76 SWAP2 SWAP1 PUSH2 0x15F JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH0 REVERT JUMPDEST PUSH0 PUSH1 0xFF DUP3 AND SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x96 DUP2 PUSH2 0x81 JUMP JUMPDEST DUP2 EQ PUSH2 0xA0 JUMPI PUSH0 PUSH0 REVERT JUMPDEST POP JUMP JUMPDEST PUSH0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0xB1 DUP2 PUSH2 0x8D JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0xCC JUMPI PUSH2 0xCB PUSH2 0x7D JUMP JUMPDEST JUMPDEST PUSH0 PUSH2 0xD9 DUP5 DUP3 DUP6 ADD PUSH2 0xA3 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0xEB DUP2 PUSH2 0x81 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x104 PUSH0 DUP4 ADD DUP5 PUSH2 0xE2 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH0 REVERT JUMPDEST PUSH0 PUSH2 0x141 DUP3 PUSH2 0x81 JUMP JUMPDEST SWAP2 POP PUSH1 0xFF DUP3 SUB PUSH2 0x154 JUMPI PUSH2 0x153 PUSH2 0x10A JUMP JUMPDEST JUMPDEST PUSH1 0x1 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH2 0x169 DUP3 PUSH2 0x81 JUMP JUMPDEST SWAP2 POP PUSH2 0x174 DUP4 PUSH2 0x81 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 ADD SWAP1 POP PUSH1 0xFF DUP2 GT ISZERO PUSH2 0x18D JUMPI PUSH2 0x18C PUSH2 0x10A JUMP JUMPDEST JUMPDEST SWAP3 SWAP2 POP POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 PREVRANDAO 0xAA CALLER CALL PUSH7 0xA5A70F186015EB PUSH19 0x30417FC7515987304EB828444892E0471722C2 PUSH5 0x736F6C6378 SHR ADDRESS 0x2E CODESIZE 0x2E CALLER BALANCE 0x2D PUSH17 0x72652E312B636F6D6D69742E6235393536 CALLDATASIZE PUSH7 0x36004D00000000 ",
"sourceMap": "61:107:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;78:88;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;;128:5;158:1;152:3;;;;:::i;:::-;;;;:7;;;;:::i;:::-;145:14;;78:88;;;:::o;88:117:1:-;197:1;194;187:12;334:86;369:7;409:4;402:5;398:16;387:27;;334:86;;;:::o;426:118::-;497:22;513:5;497:22;:::i;:::-;490:5;487:33;477:61;;534:1;531;524:12;477:61;426:118;:::o;550:135::-;594:5;632:6;619:20;610:29;;648:31;673:5;648:31;:::i;:::-;550:135;;;;:::o;691:325::-;748:6;797:2;785:9;776:7;772:23;768:32;765:119;;;803:79;;:::i;:::-;765:119;923:1;948:51;991:7;982:6;971:9;967:22;948:51;:::i;:::-;938:61;;894:115;691:325;;;;:::o;1022:112::-;1105:22;1121:5;1105:22;:::i;:::-;1100:3;1093:35;1022:112;;:::o;1140:214::-;1229:4;1267:2;1256:9;1252:18;1244:26;;1280:67;1344:1;1333:9;1329:17;1320:6;1280:67;:::i;:::-;1140:214;;;;:::o;1360:180::-;1408:77;1405:1;1398:88;1505:4;1502:1;1495:15;1529:4;1526:1;1519:15;1546:167;1583:3;1606:22;1622:5;1606:22;:::i;:::-;1597:31;;1650:4;1643:5;1640:15;1637:41;;1658:18;;:::i;:::-;1637:41;1705:1;1698:5;1694:13;1687:20;;1546:167;;;:::o;1719:188::-;1757:3;1776:18;1792:1;1776:18;:::i;:::-;1771:23;;1808:18;1824:1;1808:18;:::i;:::-;1803:23;;1849:1;1846;1842:9;1835:16;;1872:4;1867:3;1864:13;1861:39;;;1880:18;;:::i;:::-;1861:39;1719:188;;;;:::o"
},
"gasEstimates": {
"creation": {
"codeDepositCost": "96600",
"executionCost": "145",
"totalCost": "96745"
},
"external": {
"preincr_u8(uint8)": "infinite"
}
},
"methodIdentifiers": {
"preincr_u8(uint8)": "66c49e68"
}
},
"abi": [
{
"inputs": [
{
"internalType": "uint8",
"name": "a",
"type": "uint8"
}
],
"name": "preincr_u8",
"outputs": [
{
"internalType": "uint8",
"name": "",
"type": "uint8"
}
],
"stateMutability": "pure",
"type": "function"
}
]
}
{
"compiler": {
"version": "0.8.31-pre.1+commit.b59566f6"
},
"language": "Solidity",
"output": {
"abi": [
{
"inputs": [
{
"internalType": "uint8",
"name": "a",
"type": "uint8"
}
],
"name": "preincr_u8",
"outputs": [
{
"internalType": "uint8",
"name": "",
"type": "uint8"
}
],
"stateMutability": "pure",
"type": "function"
}
],
"devdoc": {
"kind": "dev",
"methods": {},
"version": 1
},
"userdoc": {
"kind": "user",
"methods": {},
"version": 1
}
},
"settings": {
"compilationTarget": {
"contract-ffb251e418.sol": "C"
},
"evmVersion": "prague",
"libraries": {},
"metadata": {
"bytecodeHash": "ipfs"
},
"optimizer": {
"enabled": false,
"runs": 200
},
"remappings": []
},
"sources": {
"contract-ffb251e418.sol": {
"keccak256": "0x6bdc02a0e214a4403b7bab977034c5f98767a7897fda9cfc688bfef3b39ea016",
"license": "GPL-3.0",
"urls": [
"bzz-raw://df2b6bff23f3eaf6426143558c002cca0a50d66b350a58f4825de5ac70fa756d",
"dweb:/ipfs/QmQSSxP5YPmwmu8ctD3JLCqBecHTvsG9iXdNa8t6UQfzbd"
]
}
},
"version": 1
}
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.8.1;
contract C {
function preincr_u8(uint8 a) public pure returns (uint8) {
return ++a + a;
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment