{ "contractName": "BitMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.10+commit.00c0fcaf\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"@uniswap/lib/contracts/libraries/BitMath.sol\":\"BitMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":2000000},\"remappings\":[]},\"sources\":{\"@uniswap/lib/contracts/libraries/BitMath.sol\":{\"keccak256\":\"0x0ef2d7cd41b3f1818fa41019b38948489238efccebe428d4b04919174378abf5\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://696ac37d8731506cbac9b428afb7bdfa35a490df139022be2b04ab3815113cf4\",\"dweb:/ipfs/QmUQ5ty49YATw4Gf5PrtFkxNErcnwhNUpRF3WFaVJxATf9\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220ba778e3b1e5048e8909c4c9284e2543b0360ed01239b34f055fbc84003e3d39864736f6c634300060a0033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220ba778e3b1e5048e8909c4c9284e2543b0360ed01239b34f055fbc84003e3d39864736f6c634300060a0033", "immutableReferences": {}, "sourceMap": "71:772:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "71:772:3:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: GPL-3.0-or-later\npragma solidity >=0.5.0;\n\nlibrary BitMath {\n function mostSignificantBit(uint256 x) internal pure returns (uint8 r) {\n require(x > 0, 'BitMath: ZERO');\n\n if (x >= 0x100000000000000000000000000000000) {\n x >>= 128;\n r += 128;\n }\n if (x >= 0x10000000000000000) {\n x >>= 64;\n r += 64;\n }\n if (x >= 0x100000000) {\n x >>= 32;\n r += 32;\n }\n if (x >= 0x10000) {\n x >>= 16;\n r += 16;\n }\n if (x >= 0x100) {\n x >>= 8;\n r += 8;\n }\n if (x >= 0x10) {\n x >>= 4;\n r += 4;\n }\n if (x >= 0x4) {\n x >>= 2;\n r += 2;\n }\n if (x >= 0x2) r += 1;\n }\n}\n", "sourcePath": "@uniswap/lib/contracts/libraries/BitMath.sol", "ast": { "absolutePath": "@uniswap/lib/contracts/libraries/BitMath.sol", "exportedSymbols": { "BitMath": [ 606 ] }, "id": 607, "license": "GPL-3.0-or-later", "nodeType": "SourceUnit", "nodes": [ { "id": 491, "literals": [ "solidity", ">=", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "45:24:3" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": null, "fullyImplemented": true, "id": 606, "linearizedBaseContracts": [ 606 ], "name": "BitMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 604, "nodeType": "Block", "src": "164:677:3", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 501, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 499, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "182:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 500, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "186:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "182:5:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4269744d6174683a205a45524f", "id": 502, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "189:15:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_85bd0830670701c13cffe320a9f226938b6a134f38f69bbab3366caf568c72c4", "typeString": "literal_string \"BitMath: ZERO\"" }, "value": "BitMath: ZERO" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_85bd0830670701c13cffe320a9f226938b6a134f38f69bbab3366caf568c72c4", "typeString": "literal_string \"BitMath: ZERO\"" } ], "id": 498, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "174:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 503, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "174:31:3", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 504, "nodeType": "ExpressionStatement", "src": "174:31:3" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 507, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 505, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "220:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "3078313030303030303030303030303030303030303030303030303030303030303030", "id": 506, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "225:35:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" }, "value": "0x100000000000000000000000000000000" }, "src": "220:40:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 517, "nodeType": "IfStatement", "src": "216:102:3", "trueBody": { "id": 516, "nodeType": "Block", "src": "262:56:3", "statements": [ { "expression": { "argumentTypes": null, "id": 510, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 508, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "276:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "313238", "id": 509, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "282:3:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "276:9:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 511, "nodeType": "ExpressionStatement", "src": "276:9:3" }, { "expression": { "argumentTypes": null, "id": 514, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 512, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 496, "src": "299:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "313238", "id": 513, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "304:3:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "299:8:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 515, "nodeType": "ExpressionStatement", "src": "299:8:3" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 520, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 518, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "331:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30783130303030303030303030303030303030", "id": 519, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "336:19:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18446744073709551616_by_1", "typeString": "int_const 18446744073709551616" }, "value": "0x10000000000000000" }, "src": "331:24:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 530, "nodeType": "IfStatement", "src": "327:84:3", "trueBody": { "id": 529, "nodeType": "Block", "src": "357:54:3", "statements": [ { "expression": { "argumentTypes": null, "id": 523, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 521, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "371:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "3634", "id": 522, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "377:2:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_64_by_1", "typeString": "int_const 64" }, "value": "64" }, "src": "371:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 524, "nodeType": "ExpressionStatement", "src": "371:8:3" }, { "expression": { "argumentTypes": null, "id": 527, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 525, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 496, "src": "393:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "3634", "id": 526, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "398:2:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_64_by_1", "typeString": "int_const 64" }, "value": "64" }, "src": "393:7:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 528, "nodeType": "ExpressionStatement", "src": "393:7:3" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 533, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 531, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "424:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "3078313030303030303030", "id": 532, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "429:11:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4294967296_by_1", "typeString": "int_const 4294967296" }, "value": "0x100000000" }, "src": "424:16:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 543, "nodeType": "IfStatement", "src": "420:76:3", "trueBody": { "id": 542, "nodeType": "Block", "src": "442:54:3", "statements": [ { "expression": { "argumentTypes": null, "id": 536, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 534, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "456:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "3332", "id": 535, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "462:2:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "456:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 537, "nodeType": "ExpressionStatement", "src": "456:8:3" }, { "expression": { "argumentTypes": null, "id": 540, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 538, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 496, "src": "478:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "3332", "id": 539, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "483:2:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "478:7:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 541, "nodeType": "ExpressionStatement", "src": "478:7:3" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 546, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 544, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "509:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30783130303030", "id": 545, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "514:7:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_65536_by_1", "typeString": "int_const 65536" }, "value": "0x10000" }, "src": "509:12:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 556, "nodeType": "IfStatement", "src": "505:72:3", "trueBody": { "id": 555, "nodeType": "Block", "src": "523:54:3", "statements": [ { "expression": { "argumentTypes": null, "id": 549, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 547, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "537:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "3136", "id": 548, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "543:2:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "537:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 550, "nodeType": "ExpressionStatement", "src": "537:8:3" }, { "expression": { "argumentTypes": null, "id": 553, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 551, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 496, "src": "559:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "3136", "id": 552, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "564:2:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "559:7:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 554, "nodeType": "ExpressionStatement", "src": "559:7:3" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 559, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 557, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "590:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "3078313030", "id": 558, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "595:5:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_256_by_1", "typeString": "int_const 256" }, "value": "0x100" }, "src": "590:10:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 569, "nodeType": "IfStatement", "src": "586:68:3", "trueBody": { "id": 568, "nodeType": "Block", "src": "602:52:3", "statements": [ { "expression": { "argumentTypes": null, "id": 562, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 560, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "616:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "38", "id": 561, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "622:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "616:7:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 563, "nodeType": "ExpressionStatement", "src": "616:7:3" }, { "expression": { "argumentTypes": null, "id": 566, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 564, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 496, "src": "637:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "38", "id": 565, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "642:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "637:6:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 567, "nodeType": "ExpressionStatement", "src": "637:6:3" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 572, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 570, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "667:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30783130", "id": 571, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "672:4:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "0x10" }, "src": "667:9:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 582, "nodeType": "IfStatement", "src": "663:67:3", "trueBody": { "id": 581, "nodeType": "Block", "src": "678:52:3", "statements": [ { "expression": { "argumentTypes": null, "id": 575, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 573, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "692:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "34", "id": 574, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "698:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "692:7:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 576, "nodeType": "ExpressionStatement", "src": "692:7:3" }, { "expression": { "argumentTypes": null, "id": 579, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 577, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 496, "src": "713:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "34", "id": 578, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "718:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "713:6:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 580, "nodeType": "ExpressionStatement", "src": "713:6:3" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 585, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 583, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "743:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "307834", "id": 584, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "748:3:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "0x4" }, "src": "743:8:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 595, "nodeType": "IfStatement", "src": "739:66:3", "trueBody": { "id": 594, "nodeType": "Block", "src": "753:52:3", "statements": [ { "expression": { "argumentTypes": null, "id": 588, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 586, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "767:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "argumentTypes": null, "hexValue": "32", "id": 587, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "773:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "767:7:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 589, "nodeType": "ExpressionStatement", "src": "767:7:3" }, { "expression": { "argumentTypes": null, "id": 592, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 590, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 496, "src": "788:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "32", "id": 591, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "793:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "788:6:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 593, "nodeType": "ExpressionStatement", "src": "788:6:3" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 598, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 596, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 493, "src": "818:1:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "307832", "id": 597, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "823:3:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "0x2" }, "src": "818:8:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 603, "nodeType": "IfStatement", "src": "814:20:3", "trueBody": { "expression": { "argumentTypes": null, "id": 601, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 599, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 496, "src": "828:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 600, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "833:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "828:6:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 602, "nodeType": "ExpressionStatement", "src": "828:6:3" } } ] }, "documentation": null, "id": 605, "implemented": true, "kind": "function", "modifiers": [], "name": "mostSignificantBit", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 494, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 493, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 605, "src": "121:9:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 492, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "121:7:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "120:11:3" }, "returnParameters": { "id": 497, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 496, "mutability": "mutable", "name": "r", "nodeType": "VariableDeclaration", "overrides": null, "scope": 605, "src": "155:7:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 495, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "155:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "154:9:3" }, "scope": 606, "src": "93:748:3", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 607, "src": "71:772:3" } ], "src": "45:799:3" }, "legacyAST": { "attributes": { "absolutePath": "@uniswap/lib/contracts/libraries/BitMath.sol", "exportedSymbols": { "BitMath": [ 606 ] }, "license": "GPL-3.0-or-later" }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.5", ".0" ] }, "id": 491, "name": "PragmaDirective", "src": "45:24:3" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": null, "fullyImplemented": true, "linearizedBaseContracts": [ 606 ], "name": "BitMath", "scope": 607 }, "children": [ { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mostSignificantBit", "overrides": null, "scope": 606, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 605, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 492, "name": "ElementaryTypeName", "src": "121:7:3" } ], "id": 493, "name": "VariableDeclaration", "src": "121:9:3" } ], "id": 494, "name": "ParameterList", "src": "120:11:3" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "r", "overrides": null, "scope": 605, "stateVariable": false, "storageLocation": "default", "type": "uint8", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint8", "type": "uint8" }, "id": 495, "name": "ElementaryTypeName", "src": "155:5:3" } ], "id": 496, "name": "VariableDeclaration", "src": "155:7:3" } ], "id": 497, "name": "ParameterList", "src": "154:9:3" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_85bd0830670701c13cffe320a9f226938b6a134f38f69bbab3366caf568c72c4", "typeString": "literal_string \"BitMath: ZERO\"" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 498, "name": "Identifier", "src": "174:7:3" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 499, "name": "Identifier", "src": "182:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 500, "name": "Literal", "src": "186:1:3" } ], "id": 501, "name": "BinaryOperation", "src": "182:5:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "4269744d6174683a205a45524f", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"BitMath: ZERO\"", "value": "BitMath: ZERO" }, "id": 502, "name": "Literal", "src": "189:15:3" } ], "id": 503, "name": "FunctionCall", "src": "174:31:3" } ], "id": 504, "name": "ExpressionStatement", "src": "174:31:3" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 505, "name": "Identifier", "src": "220:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3078313030303030303030303030303030303030303030303030303030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 3402...(31 digits omitted)...1456", "value": "0x100000000000000000000000000000000" }, "id": 506, "name": "Literal", "src": "225:35:3" } ], "id": 507, "name": "BinaryOperation", "src": "220:40:3" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 508, "name": "Identifier", "src": "276:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "313238", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 128", "value": "128" }, "id": 509, "name": "Literal", "src": "282:3:3" } ], "id": 510, "name": "Assignment", "src": "276:9:3" } ], "id": 511, "name": "ExpressionStatement", "src": "276:9:3" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 496, "type": "uint8", "value": "r" }, "id": 512, "name": "Identifier", "src": "299:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "313238", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 128", "value": "128" }, "id": 513, "name": "Literal", "src": "304:3:3" } ], "id": 514, "name": "Assignment", "src": "299:8:3" } ], "id": 515, "name": "ExpressionStatement", "src": "299:8:3" } ], "id": 516, "name": "Block", "src": "262:56:3" } ], "id": 517, "name": "IfStatement", "src": "216:102:3" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 518, "name": "Identifier", "src": "331:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "30783130303030303030303030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 18446744073709551616", "value": "0x10000000000000000" }, "id": 519, "name": "Literal", "src": "336:19:3" } ], "id": 520, "name": "BinaryOperation", "src": "331:24:3" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 521, "name": "Identifier", "src": "371:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3634", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 64", "value": "64" }, "id": 522, "name": "Literal", "src": "377:2:3" } ], "id": 523, "name": "Assignment", "src": "371:8:3" } ], "id": 524, "name": "ExpressionStatement", "src": "371:8:3" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 496, "type": "uint8", "value": "r" }, "id": 525, "name": "Identifier", "src": "393:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3634", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 64", "value": "64" }, "id": 526, "name": "Literal", "src": "398:2:3" } ], "id": 527, "name": "Assignment", "src": "393:7:3" } ], "id": 528, "name": "ExpressionStatement", "src": "393:7:3" } ], "id": 529, "name": "Block", "src": "357:54:3" } ], "id": 530, "name": "IfStatement", "src": "327:84:3" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 531, "name": "Identifier", "src": "424:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3078313030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 4294967296", "value": "0x100000000" }, "id": 532, "name": "Literal", "src": "429:11:3" } ], "id": 533, "name": "BinaryOperation", "src": "424:16:3" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 534, "name": "Identifier", "src": "456:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3332", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 32", "value": "32" }, "id": 535, "name": "Literal", "src": "462:2:3" } ], "id": 536, "name": "Assignment", "src": "456:8:3" } ], "id": 537, "name": "ExpressionStatement", "src": "456:8:3" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 496, "type": "uint8", "value": "r" }, "id": 538, "name": "Identifier", "src": "478:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3332", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 32", "value": "32" }, "id": 539, "name": "Literal", "src": "483:2:3" } ], "id": 540, "name": "Assignment", "src": "478:7:3" } ], "id": 541, "name": "ExpressionStatement", "src": "478:7:3" } ], "id": 542, "name": "Block", "src": "442:54:3" } ], "id": 543, "name": "IfStatement", "src": "420:76:3" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 544, "name": "Identifier", "src": "509:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "30783130303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 65536", "value": "0x10000" }, "id": 545, "name": "Literal", "src": "514:7:3" } ], "id": 546, "name": "BinaryOperation", "src": "509:12:3" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 547, "name": "Identifier", "src": "537:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3136", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 16", "value": "16" }, "id": 548, "name": "Literal", "src": "543:2:3" } ], "id": 549, "name": "Assignment", "src": "537:8:3" } ], "id": 550, "name": "ExpressionStatement", "src": "537:8:3" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 496, "type": "uint8", "value": "r" }, "id": 551, "name": "Identifier", "src": "559:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3136", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 16", "value": "16" }, "id": 552, "name": "Literal", "src": "564:2:3" } ], "id": 553, "name": "Assignment", "src": "559:7:3" } ], "id": 554, "name": "ExpressionStatement", "src": "559:7:3" } ], "id": 555, "name": "Block", "src": "523:54:3" } ], "id": 556, "name": "IfStatement", "src": "505:72:3" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 557, "name": "Identifier", "src": "590:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "3078313030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 256", "value": "0x100" }, "id": 558, "name": "Literal", "src": "595:5:3" } ], "id": 559, "name": "BinaryOperation", "src": "590:10:3" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 560, "name": "Identifier", "src": "616:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "38", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 8", "value": "8" }, "id": 561, "name": "Literal", "src": "622:1:3" } ], "id": 562, "name": "Assignment", "src": "616:7:3" } ], "id": 563, "name": "ExpressionStatement", "src": "616:7:3" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 496, "type": "uint8", "value": "r" }, "id": 564, "name": "Identifier", "src": "637:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "38", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 8", "value": "8" }, "id": 565, "name": "Literal", "src": "642:1:3" } ], "id": 566, "name": "Assignment", "src": "637:6:3" } ], "id": 567, "name": "ExpressionStatement", "src": "637:6:3" } ], "id": 568, "name": "Block", "src": "602:52:3" } ], "id": 569, "name": "IfStatement", "src": "586:68:3" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 570, "name": "Identifier", "src": "667:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "30783130", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 16", "value": "0x10" }, "id": 571, "name": "Literal", "src": "672:4:3" } ], "id": 572, "name": "BinaryOperation", "src": "667:9:3" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 573, "name": "Identifier", "src": "692:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "34", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 4", "value": "4" }, "id": 574, "name": "Literal", "src": "698:1:3" } ], "id": 575, "name": "Assignment", "src": "692:7:3" } ], "id": 576, "name": "ExpressionStatement", "src": "692:7:3" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 496, "type": "uint8", "value": "r" }, "id": 577, "name": "Identifier", "src": "713:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "34", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 4", "value": "4" }, "id": 578, "name": "Literal", "src": "718:1:3" } ], "id": 579, "name": "Assignment", "src": "713:6:3" } ], "id": 580, "name": "ExpressionStatement", "src": "713:6:3" } ], "id": 581, "name": "Block", "src": "678:52:3" } ], "id": 582, "name": "IfStatement", "src": "663:67:3" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 583, "name": "Identifier", "src": "743:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "307834", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 4", "value": "0x4" }, "id": 584, "name": "Literal", "src": "748:3:3" } ], "id": 585, "name": "BinaryOperation", "src": "743:8:3" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 586, "name": "Identifier", "src": "767:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 587, "name": "Literal", "src": "773:1:3" } ], "id": 588, "name": "Assignment", "src": "767:7:3" } ], "id": 589, "name": "ExpressionStatement", "src": "767:7:3" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 496, "type": "uint8", "value": "r" }, "id": 590, "name": "Identifier", "src": "788:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 591, "name": "Literal", "src": "793:1:3" } ], "id": 592, "name": "Assignment", "src": "788:6:3" } ], "id": 593, "name": "ExpressionStatement", "src": "788:6:3" } ], "id": 594, "name": "Block", "src": "753:52:3" } ], "id": 595, "name": "IfStatement", "src": "739:66:3" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 493, "type": "uint256", "value": "x" }, "id": 596, "name": "Identifier", "src": "818:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "307832", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "0x2" }, "id": 597, "name": "Literal", "src": "823:3:3" } ], "id": 598, "name": "BinaryOperation", "src": "818:8:3" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 496, "type": "uint8", "value": "r" }, "id": 599, "name": "Identifier", "src": "828:1:3" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 600, "name": "Literal", "src": "833:1:3" } ], "id": 601, "name": "Assignment", "src": "828:6:3" } ], "id": 602, "name": "ExpressionStatement", "src": "828:6:3" } ], "id": 603, "name": "IfStatement", "src": "814:20:3" } ], "id": 604, "name": "Block", "src": "164:677:3" } ], "id": 605, "name": "FunctionDefinition", "src": "93:748:3" } ], "id": 606, "name": "ContractDefinition", "src": "71:772:3" } ], "id": 607, "name": "SourceUnit", "src": "45:799:3" }, "compiler": { "name": "solc", "version": "0.6.10+commit.00c0fcaf.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.1", "updatedAt": "2021-07-08T17:04:13.710Z", "devdoc": { "methods": {} }, "userdoc": { "methods": {} } }