{ "contractName": "BitMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.7.6+commit.7338295f\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"This library provides functionality for computing bit properties of an unsigned integer\",\"kind\":\"dev\",\"methods\":{},\"title\":\"BitMath\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/BitMath.sol\":\"BitMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/BitMath.sol\":{\"keccak256\":\"0xfdb9011d56f4fc6dbf7dfa9bd191d13c405dc1ef5f295e222d402fedd7b78b4a\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://635d12ff3353f4996357c4c8798051c49755de9a9431c8068fdd45364c8359f4\",\"dweb:/ipfs/QmfTTffPWDnN1aBeNXgcdozJeBxa9Q6CWJJ2bZh7ZoymKz\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220c636c374d1125fbebdf4041931eebb5f19eb0e4483652d34f07b229b12f4f96264736f6c63430007060033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220c636c374d1125fbebdf4041931eebb5f19eb0e4483652d34f07b229b12f4f96264736f6c63430007060033", "immutableReferences": {}, "generatedSources": [], "deployedGeneratedSources": [], "sourceMap": "174:2602:17:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "174:2602:17:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: MIT\npragma solidity >=0.5.0;\n\n/// @title BitMath\n/// @dev This library provides functionality for computing bit properties of an unsigned integer\nlibrary BitMath {\n /// @notice Returns the index of the most significant bit of the number,\n /// where the least significant bit is at index 0 and the most significant bit is at index 255\n /// @dev The function satisfies the property:\n /// x >= 2**mostSignificantBit(x) and x < 2**(mostSignificantBit(x)+1)\n /// @param x the value for which to compute the most significant bit, must be greater than 0\n /// @return r the index of the most significant bit\n function mostSignificantBit(uint256 x) internal pure returns (uint8 r) {\n require(x > 0);\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 /// @notice Returns the index of the least significant bit of the number,\n /// where the least significant bit is at index 0 and the most significant bit is at index 255\n /// @dev The function satisfies the property:\n /// (x & 2**leastSignificantBit(x)) != 0 and (x & (2**(leastSignificantBit(x)) - 1)) == 0)\n /// @param x the value for which to compute the least significant bit, must be greater than 0\n /// @return r the index of the least significant bit\n function leastSignificantBit(uint256 x) internal pure returns (uint8 r) {\n require(x > 0);\n\n r = 255;\n if (x & type(uint128).max > 0) {\n r -= 128;\n } else {\n x >>= 128;\n }\n if (x & type(uint64).max > 0) {\n r -= 64;\n } else {\n x >>= 64;\n }\n if (x & type(uint32).max > 0) {\n r -= 32;\n } else {\n x >>= 32;\n }\n if (x & type(uint16).max > 0) {\n r -= 16;\n } else {\n x >>= 16;\n }\n if (x & type(uint8).max > 0) {\n r -= 8;\n } else {\n x >>= 8;\n }\n if (x & 0xf > 0) {\n r -= 4;\n } else {\n x >>= 4;\n }\n if (x & 0x3 > 0) {\n r -= 2;\n } else {\n x >>= 2;\n }\n if (x & 0x1 > 0) r -= 1;\n }\n}\n", "sourcePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/BitMath.sol", "ast": { "absolutePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/BitMath.sol", "exportedSymbols": { "BitMath": [ 3800 ] }, "id": 3801, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 3523, "literals": [ "solidity", ">=", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "32:24:17" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 3524, "nodeType": "StructuredDocumentation", "src": "58:116:17", "text": "@title BitMath\n @dev This library provides functionality for computing bit properties of an unsigned integer" }, "fullyImplemented": true, "id": 3800, "linearizedBaseContracts": [ 3800 ], "name": "BitMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 3637, "nodeType": "Block", "src": "729:660:17", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3535, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3533, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "747:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3534, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "751:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "747:5:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3532, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "739:7:17", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3536, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "739:14:17", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3537, "nodeType": "ExpressionStatement", "src": "739:14:17" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3540, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3538, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "768:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "3078313030303030303030303030303030303030303030303030303030303030303030", "id": 3539, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "773:35:17", "typeDescriptions": { "typeIdentifier": "t_rational_340282366920938463463374607431768211456_by_1", "typeString": "int_const 3402...(31 digits omitted)...1456" }, "value": "0x100000000000000000000000000000000" }, "src": "768:40:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3550, "nodeType": "IfStatement", "src": "764:102:17", "trueBody": { "id": 3549, "nodeType": "Block", "src": "810:56:17", "statements": [ { "expression": { "id": 3543, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3541, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "824:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "313238", "id": 3542, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "830:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "824:9:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3544, "nodeType": "ExpressionStatement", "src": "824:9:17" }, { "expression": { "id": 3547, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3545, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3530, "src": "847:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "313238", "id": 3546, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "852:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "847:8:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3548, "nodeType": "ExpressionStatement", "src": "847:8:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3553, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3551, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "879:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "30783130303030303030303030303030303030", "id": 3552, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "884:19:17", "typeDescriptions": { "typeIdentifier": "t_rational_18446744073709551616_by_1", "typeString": "int_const 18446744073709551616" }, "value": "0x10000000000000000" }, "src": "879:24:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3563, "nodeType": "IfStatement", "src": "875:84:17", "trueBody": { "id": 3562, "nodeType": "Block", "src": "905:54:17", "statements": [ { "expression": { "id": 3556, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3554, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "919:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "3634", "id": 3555, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "925:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_64_by_1", "typeString": "int_const 64" }, "value": "64" }, "src": "919:8:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3557, "nodeType": "ExpressionStatement", "src": "919:8:17" }, { "expression": { "id": 3560, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3558, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3530, "src": "941:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "3634", "id": 3559, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "946:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_64_by_1", "typeString": "int_const 64" }, "value": "64" }, "src": "941:7:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3561, "nodeType": "ExpressionStatement", "src": "941:7:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3566, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3564, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "972:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "3078313030303030303030", "id": 3565, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "977:11:17", "typeDescriptions": { "typeIdentifier": "t_rational_4294967296_by_1", "typeString": "int_const 4294967296" }, "value": "0x100000000" }, "src": "972:16:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3576, "nodeType": "IfStatement", "src": "968:76:17", "trueBody": { "id": 3575, "nodeType": "Block", "src": "990:54:17", "statements": [ { "expression": { "id": 3569, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3567, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1004:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "3332", "id": 3568, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1010:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "1004:8:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3570, "nodeType": "ExpressionStatement", "src": "1004:8:17" }, { "expression": { "id": 3573, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3571, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3530, "src": "1026:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "3332", "id": 3572, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1031:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "1026:7:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3574, "nodeType": "ExpressionStatement", "src": "1026:7:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3579, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3577, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1057:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "30783130303030", "id": 3578, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1062:7:17", "typeDescriptions": { "typeIdentifier": "t_rational_65536_by_1", "typeString": "int_const 65536" }, "value": "0x10000" }, "src": "1057:12:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3589, "nodeType": "IfStatement", "src": "1053:72:17", "trueBody": { "id": 3588, "nodeType": "Block", "src": "1071:54:17", "statements": [ { "expression": { "id": 3582, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3580, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1085:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "3136", "id": 3581, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1091:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "1085:8:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3583, "nodeType": "ExpressionStatement", "src": "1085:8:17" }, { "expression": { "id": 3586, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3584, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3530, "src": "1107:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "3136", "id": 3585, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1112:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "1107:7:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3587, "nodeType": "ExpressionStatement", "src": "1107:7:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3592, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3590, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1138:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "3078313030", "id": 3591, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1143:5:17", "typeDescriptions": { "typeIdentifier": "t_rational_256_by_1", "typeString": "int_const 256" }, "value": "0x100" }, "src": "1138:10:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3602, "nodeType": "IfStatement", "src": "1134:68:17", "trueBody": { "id": 3601, "nodeType": "Block", "src": "1150:52:17", "statements": [ { "expression": { "id": 3595, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3593, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1164:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "38", "id": 3594, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1170:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "1164:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3596, "nodeType": "ExpressionStatement", "src": "1164:7:17" }, { "expression": { "id": 3599, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3597, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3530, "src": "1185:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "38", "id": 3598, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1190:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "1185:6:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3600, "nodeType": "ExpressionStatement", "src": "1185:6:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3605, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3603, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1215:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "30783130", "id": 3604, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1220:4:17", "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "0x10" }, "src": "1215:9:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3615, "nodeType": "IfStatement", "src": "1211:67:17", "trueBody": { "id": 3614, "nodeType": "Block", "src": "1226:52:17", "statements": [ { "expression": { "id": 3608, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3606, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1240:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "34", "id": 3607, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1246:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "1240:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3609, "nodeType": "ExpressionStatement", "src": "1240:7:17" }, { "expression": { "id": 3612, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3610, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3530, "src": "1261:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "34", "id": 3611, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1266:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "1261:6:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3613, "nodeType": "ExpressionStatement", "src": "1261:6:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3618, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3616, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1291:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "307834", "id": 3617, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1296:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "0x4" }, "src": "1291:8:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3628, "nodeType": "IfStatement", "src": "1287:66:17", "trueBody": { "id": 3627, "nodeType": "Block", "src": "1301:52:17", "statements": [ { "expression": { "id": 3621, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3619, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1315:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "32", "id": 3620, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1321:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "1315:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3622, "nodeType": "ExpressionStatement", "src": "1315:7:17" }, { "expression": { "id": 3625, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3623, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3530, "src": "1336:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "32", "id": 3624, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1341:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "1336:6:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3626, "nodeType": "ExpressionStatement", "src": "1336:6:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3631, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3629, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3527, "src": "1366:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "307832", "id": 3630, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1371:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "0x2" }, "src": "1366:8:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3636, "nodeType": "IfStatement", "src": "1362:20:17", "trueBody": { "expression": { "id": 3634, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3632, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3530, "src": "1376:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "hexValue": "31", "id": 3633, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1381:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1376:6:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3635, "nodeType": "ExpressionStatement", "src": "1376:6:17" } } ] }, "documentation": { "id": 3525, "nodeType": "StructuredDocumentation", "src": "196:457:17", "text": "@notice Returns the index of the most significant bit of the number,\n where the least significant bit is at index 0 and the most significant bit is at index 255\n @dev The function satisfies the property:\n x >= 2**mostSignificantBit(x) and x < 2**(mostSignificantBit(x)+1)\n @param x the value for which to compute the most significant bit, must be greater than 0\n @return r the index of the most significant bit" }, "id": 3638, "implemented": true, "kind": "function", "modifiers": [], "name": "mostSignificantBit", "nodeType": "FunctionDefinition", "parameters": { "id": 3528, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3527, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "scope": 3638, "src": "686:9:17", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3526, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "686:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "685:11:17" }, "returnParameters": { "id": 3531, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3530, "mutability": "mutable", "name": "r", "nodeType": "VariableDeclaration", "scope": 3638, "src": "720:7:17", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 3529, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "720:5:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "visibility": "internal" } ], "src": "719:9:17" }, "scope": 3800, "src": "658:731:17", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3798, "nodeType": "Block", "src": "1952:822:17", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3649, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3647, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "1970:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3648, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1974:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1970:5:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3646, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "1962:7:17", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3650, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1962:14:17", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3651, "nodeType": "ExpressionStatement", "src": "1962:14:17" }, { "expression": { "id": 3654, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3652, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "1987:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "hexValue": "323535", "id": 3653, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1991:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "1987:7:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3655, "nodeType": "ExpressionStatement", "src": "1987:7:17" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3664, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3662, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3656, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2008:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 3659, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2017:7:17", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint128_$", "typeString": "type(uint128)" }, "typeName": { "id": 3658, "name": "uint128", "nodeType": "ElementaryTypeName", "src": "2017:7:17", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint128_$", "typeString": "type(uint128)" } ], "id": 3657, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967269, "src": "2012:4:17", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 3660, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2012:13:17", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint128", "typeString": "type(uint128)" } }, "id": 3661, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "2012:17:17", "typeDescriptions": { "typeIdentifier": "t_uint128", "typeString": "uint128" } }, "src": "2008:21:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3663, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2032:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2008:25:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3674, "nodeType": "Block", "src": "2074:34:17", "statements": [ { "expression": { "id": 3672, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3670, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2088:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "313238", "id": 3671, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2094:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "2088:9:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3673, "nodeType": "ExpressionStatement", "src": "2088:9:17" } ] }, "id": 3675, "nodeType": "IfStatement", "src": "2004:104:17", "trueBody": { "id": 3669, "nodeType": "Block", "src": "2035:33:17", "statements": [ { "expression": { "id": 3667, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3665, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "2049:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "313238", "id": 3666, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2054:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_128_by_1", "typeString": "int_const 128" }, "value": "128" }, "src": "2049:8:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3668, "nodeType": "ExpressionStatement", "src": "2049:8:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3684, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3682, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3676, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2121:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 3679, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2130:6:17", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" }, "typeName": { "id": 3678, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2130:6:17", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" } ], "id": 3677, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967269, "src": "2125:4:17", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 3680, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2125:12:17", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint64", "typeString": "type(uint64)" } }, "id": 3681, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "2125:16:17", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2121:20:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3683, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2144:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2121:24:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3694, "nodeType": "Block", "src": "2185:33:17", "statements": [ { "expression": { "id": 3692, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3690, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2199:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "3634", "id": 3691, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2205:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_64_by_1", "typeString": "int_const 64" }, "value": "64" }, "src": "2199:8:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3693, "nodeType": "ExpressionStatement", "src": "2199:8:17" } ] }, "id": 3695, "nodeType": "IfStatement", "src": "2117:101:17", "trueBody": { "id": 3689, "nodeType": "Block", "src": "2147:32:17", "statements": [ { "expression": { "id": 3687, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3685, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "2161:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "3634", "id": 3686, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2166:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_64_by_1", "typeString": "int_const 64" }, "value": "64" }, "src": "2161:7:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3688, "nodeType": "ExpressionStatement", "src": "2161:7:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3704, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3702, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3696, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2231:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 3699, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2240:6:17", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" }, "typeName": { "id": 3698, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "2240:6:17", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" } ], "id": 3697, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967269, "src": "2235:4:17", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 3700, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2235:12:17", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint32", "typeString": "type(uint32)" } }, "id": 3701, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "2235:16:17", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "2231:20:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3703, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2254:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2231:24:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3714, "nodeType": "Block", "src": "2295:33:17", "statements": [ { "expression": { "id": 3712, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3710, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2309:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "3332", "id": 3711, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2315:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "2309:8:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3713, "nodeType": "ExpressionStatement", "src": "2309:8:17" } ] }, "id": 3715, "nodeType": "IfStatement", "src": "2227:101:17", "trueBody": { "id": 3709, "nodeType": "Block", "src": "2257:32:17", "statements": [ { "expression": { "id": 3707, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3705, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "2271:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "3332", "id": 3706, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2276:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "src": "2271:7:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3708, "nodeType": "ExpressionStatement", "src": "2271:7:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3724, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3722, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3716, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2341:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 3719, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2350:6:17", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint16_$", "typeString": "type(uint16)" }, "typeName": { "id": 3718, "name": "uint16", "nodeType": "ElementaryTypeName", "src": "2350:6:17", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint16_$", "typeString": "type(uint16)" } ], "id": 3717, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967269, "src": "2345:4:17", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 3720, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2345:12:17", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint16", "typeString": "type(uint16)" } }, "id": 3721, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "2345:16:17", "typeDescriptions": { "typeIdentifier": "t_uint16", "typeString": "uint16" } }, "src": "2341:20:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3723, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2364:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2341:24:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3734, "nodeType": "Block", "src": "2405:33:17", "statements": [ { "expression": { "id": 3732, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3730, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2419:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "3136", "id": 3731, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2425:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "2419:8:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3733, "nodeType": "ExpressionStatement", "src": "2419:8:17" } ] }, "id": 3735, "nodeType": "IfStatement", "src": "2337:101:17", "trueBody": { "id": 3729, "nodeType": "Block", "src": "2367:32:17", "statements": [ { "expression": { "id": 3727, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3725, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "2381:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "3136", "id": 3726, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2386:2:17", "typeDescriptions": { "typeIdentifier": "t_rational_16_by_1", "typeString": "int_const 16" }, "value": "16" }, "src": "2381:7:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3728, "nodeType": "ExpressionStatement", "src": "2381:7:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3744, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3742, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3736, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2451:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "expression": { "arguments": [ { "id": 3739, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2460:5:17", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint8_$", "typeString": "type(uint8)" }, "typeName": { "id": 3738, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "2460:5:17", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint8_$", "typeString": "type(uint8)" } ], "id": 3737, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967269, "src": "2455:4:17", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 3740, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2455:11:17", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint8", "typeString": "type(uint8)" } }, "id": 3741, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "2455:15:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "src": "2451:19:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3743, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2473:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2451:23:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3754, "nodeType": "Block", "src": "2513:32:17", "statements": [ { "expression": { "id": 3752, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3750, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2527:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "38", "id": 3751, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2533:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "2527:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3753, "nodeType": "ExpressionStatement", "src": "2527:7:17" } ] }, "id": 3755, "nodeType": "IfStatement", "src": "2447:98:17", "trueBody": { "id": 3749, "nodeType": "Block", "src": "2476:31:17", "statements": [ { "expression": { "id": 3747, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3745, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "2490:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "38", "id": 3746, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2495:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_8_by_1", "typeString": "int_const 8" }, "value": "8" }, "src": "2490:6:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3748, "nodeType": "ExpressionStatement", "src": "2490:6:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3760, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3758, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3756, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2558:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "hexValue": "307866", "id": 3757, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2562:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_15_by_1", "typeString": "int_const 15" }, "value": "0xf" }, "src": "2558:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3759, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2568:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2558:11:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3770, "nodeType": "Block", "src": "2608:32:17", "statements": [ { "expression": { "id": 3768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3766, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2622:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "34", "id": 3767, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2628:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "2622:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3769, "nodeType": "ExpressionStatement", "src": "2622:7:17" } ] }, "id": 3771, "nodeType": "IfStatement", "src": "2554:86:17", "trueBody": { "id": 3765, "nodeType": "Block", "src": "2571:31:17", "statements": [ { "expression": { "id": 3763, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3761, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "2585:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "34", "id": 3762, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2590:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_4_by_1", "typeString": "int_const 4" }, "value": "4" }, "src": "2585:6:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3764, "nodeType": "ExpressionStatement", "src": "2585:6:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3774, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3772, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2653:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "hexValue": "307833", "id": 3773, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2657:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_3_by_1", "typeString": "int_const 3" }, "value": "0x3" }, "src": "2653:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3775, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2663:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2653:11:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 3786, "nodeType": "Block", "src": "2703:32:17", "statements": [ { "expression": { "id": 3784, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3782, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2717:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": ">>=", "rightHandSide": { "hexValue": "32", "id": 3783, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2723:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "2717:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3785, "nodeType": "ExpressionStatement", "src": "2717:7:17" } ] }, "id": 3787, "nodeType": "IfStatement", "src": "2649:86:17", "trueBody": { "id": 3781, "nodeType": "Block", "src": "2666:31:17", "statements": [ { "expression": { "id": 3779, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3777, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "2680:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "32", "id": 3778, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2685:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "2680:6:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3780, "nodeType": "ExpressionStatement", "src": "2680:6:17" } ] } }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3792, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3790, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3788, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3641, "src": "2748:1:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "hexValue": "307831", "id": 3789, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2752:3:17", "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "0x1" }, "src": "2748:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3791, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2758:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2748:11:17", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3797, "nodeType": "IfStatement", "src": "2744:23:17", "trueBody": { "expression": { "id": 3795, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3793, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3644, "src": "2761:1:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "hexValue": "31", "id": 3794, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2766:1:17", "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2761:6:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 3796, "nodeType": "ExpressionStatement", "src": "2761:6:17" } } ] }, "documentation": { "id": 3639, "nodeType": "StructuredDocumentation", "src": "1395:480:17", "text": "@notice Returns the index of the least significant bit of the number,\n where the least significant bit is at index 0 and the most significant bit is at index 255\n @dev The function satisfies the property:\n (x & 2**leastSignificantBit(x)) != 0 and (x & (2**(leastSignificantBit(x)) - 1)) == 0)\n @param x the value for which to compute the least significant bit, must be greater than 0\n @return r the index of the least significant bit" }, "id": 3799, "implemented": true, "kind": "function", "modifiers": [], "name": "leastSignificantBit", "nodeType": "FunctionDefinition", "parameters": { "id": 3642, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3641, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "scope": 3799, "src": "1909:9:17", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3640, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1909:7:17", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1908:11:17" }, "returnParameters": { "id": 3645, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3644, "mutability": "mutable", "name": "r", "nodeType": "VariableDeclaration", "scope": 3799, "src": "1943:7:17", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 3643, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "1943:5:17", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "visibility": "internal" } ], "src": "1942:9:17" }, "scope": 3800, "src": "1880:894:17", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 3801, "src": "174:2602:17" } ], "src": "32:2745:17" }, "legacyAST": { "attributes": { "absolutePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/BitMath.sol", "exportedSymbols": { "BitMath": [ 3800 ] }, "license": "MIT" }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.5", ".0" ] }, "id": 3523, "name": "PragmaDirective", "src": "32:24:17" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "fullyImplemented": true, "linearizedBaseContracts": [ 3800 ], "name": "BitMath", "scope": 3801 }, "children": [ { "attributes": { "text": "@title BitMath\n @dev This library provides functionality for computing bit properties of an unsigned integer" }, "id": 3524, "name": "StructuredDocumentation", "src": "58:116:17" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mostSignificantBit", "scope": 3800, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Returns the index of the most significant bit of the number,\n where the least significant bit is at index 0 and the most significant bit is at index 255\n @dev The function satisfies the property:\n x >= 2**mostSignificantBit(x) and x < 2**(mostSignificantBit(x)+1)\n @param x the value for which to compute the most significant bit, must be greater than 0\n @return r the index of the most significant bit" }, "id": 3525, "name": "StructuredDocumentation", "src": "196:457:17" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "scope": 3638, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3526, "name": "ElementaryTypeName", "src": "686:7:17" } ], "id": 3527, "name": "VariableDeclaration", "src": "686:9:17" } ], "id": 3528, "name": "ParameterList", "src": "685:11:17" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "r", "scope": 3638, "stateVariable": false, "storageLocation": "default", "type": "uint8", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint8", "type": "uint8" }, "id": 3529, "name": "ElementaryTypeName", "src": "720:5:17" } ], "id": 3530, "name": "VariableDeclaration", "src": "720:7:17" } ], "id": 3531, "name": "ParameterList", "src": "719:9:17" }, { "children": [ { "children": [ { "attributes": { "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" } ], "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "type": "function (bool) pure", "value": "require" }, "id": 3532, "name": "Identifier", "src": "739:7:17" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3533, "name": "Identifier", "src": "747:1:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3534, "name": "Literal", "src": "751:1:17" } ], "id": 3535, "name": "BinaryOperation", "src": "747:5:17" } ], "id": 3536, "name": "FunctionCall", "src": "739:14:17" } ], "id": 3537, "name": "ExpressionStatement", "src": "739:14:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3538, "name": "Identifier", "src": "768:1:17" }, { "attributes": { "hexvalue": "3078313030303030303030303030303030303030303030303030303030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 3402...(31 digits omitted)...1456", "value": "0x100000000000000000000000000000000" }, "id": 3539, "name": "Literal", "src": "773:35:17" } ], "id": 3540, "name": "BinaryOperation", "src": "768:40:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3541, "name": "Identifier", "src": "824:1:17" }, { "attributes": { "hexvalue": "313238", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 128", "value": "128" }, "id": 3542, "name": "Literal", "src": "830:3:17" } ], "id": 3543, "name": "Assignment", "src": "824:9:17" } ], "id": 3544, "name": "ExpressionStatement", "src": "824:9:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3530, "type": "uint8", "value": "r" }, "id": 3545, "name": "Identifier", "src": "847:1:17" }, { "attributes": { "hexvalue": "313238", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 128", "value": "128" }, "id": 3546, "name": "Literal", "src": "852:3:17" } ], "id": 3547, "name": "Assignment", "src": "847:8:17" } ], "id": 3548, "name": "ExpressionStatement", "src": "847:8:17" } ], "id": 3549, "name": "Block", "src": "810:56:17" } ], "id": 3550, "name": "IfStatement", "src": "764:102:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3551, "name": "Identifier", "src": "879:1:17" }, { "attributes": { "hexvalue": "30783130303030303030303030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 18446744073709551616", "value": "0x10000000000000000" }, "id": 3552, "name": "Literal", "src": "884:19:17" } ], "id": 3553, "name": "BinaryOperation", "src": "879:24:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3554, "name": "Identifier", "src": "919:1:17" }, { "attributes": { "hexvalue": "3634", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 64", "value": "64" }, "id": 3555, "name": "Literal", "src": "925:2:17" } ], "id": 3556, "name": "Assignment", "src": "919:8:17" } ], "id": 3557, "name": "ExpressionStatement", "src": "919:8:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3530, "type": "uint8", "value": "r" }, "id": 3558, "name": "Identifier", "src": "941:1:17" }, { "attributes": { "hexvalue": "3634", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 64", "value": "64" }, "id": 3559, "name": "Literal", "src": "946:2:17" } ], "id": 3560, "name": "Assignment", "src": "941:7:17" } ], "id": 3561, "name": "ExpressionStatement", "src": "941:7:17" } ], "id": 3562, "name": "Block", "src": "905:54:17" } ], "id": 3563, "name": "IfStatement", "src": "875:84:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3564, "name": "Identifier", "src": "972:1:17" }, { "attributes": { "hexvalue": "3078313030303030303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 4294967296", "value": "0x100000000" }, "id": 3565, "name": "Literal", "src": "977:11:17" } ], "id": 3566, "name": "BinaryOperation", "src": "972:16:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3567, "name": "Identifier", "src": "1004:1:17" }, { "attributes": { "hexvalue": "3332", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 32", "value": "32" }, "id": 3568, "name": "Literal", "src": "1010:2:17" } ], "id": 3569, "name": "Assignment", "src": "1004:8:17" } ], "id": 3570, "name": "ExpressionStatement", "src": "1004:8:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3530, "type": "uint8", "value": "r" }, "id": 3571, "name": "Identifier", "src": "1026:1:17" }, { "attributes": { "hexvalue": "3332", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 32", "value": "32" }, "id": 3572, "name": "Literal", "src": "1031:2:17" } ], "id": 3573, "name": "Assignment", "src": "1026:7:17" } ], "id": 3574, "name": "ExpressionStatement", "src": "1026:7:17" } ], "id": 3575, "name": "Block", "src": "990:54:17" } ], "id": 3576, "name": "IfStatement", "src": "968:76:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3577, "name": "Identifier", "src": "1057:1:17" }, { "attributes": { "hexvalue": "30783130303030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 65536", "value": "0x10000" }, "id": 3578, "name": "Literal", "src": "1062:7:17" } ], "id": 3579, "name": "BinaryOperation", "src": "1057:12:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3580, "name": "Identifier", "src": "1085:1:17" }, { "attributes": { "hexvalue": "3136", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 16", "value": "16" }, "id": 3581, "name": "Literal", "src": "1091:2:17" } ], "id": 3582, "name": "Assignment", "src": "1085:8:17" } ], "id": 3583, "name": "ExpressionStatement", "src": "1085:8:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3530, "type": "uint8", "value": "r" }, "id": 3584, "name": "Identifier", "src": "1107:1:17" }, { "attributes": { "hexvalue": "3136", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 16", "value": "16" }, "id": 3585, "name": "Literal", "src": "1112:2:17" } ], "id": 3586, "name": "Assignment", "src": "1107:7:17" } ], "id": 3587, "name": "ExpressionStatement", "src": "1107:7:17" } ], "id": 3588, "name": "Block", "src": "1071:54:17" } ], "id": 3589, "name": "IfStatement", "src": "1053:72:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3590, "name": "Identifier", "src": "1138:1:17" }, { "attributes": { "hexvalue": "3078313030", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 256", "value": "0x100" }, "id": 3591, "name": "Literal", "src": "1143:5:17" } ], "id": 3592, "name": "BinaryOperation", "src": "1138:10:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3593, "name": "Identifier", "src": "1164:1:17" }, { "attributes": { "hexvalue": "38", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 8", "value": "8" }, "id": 3594, "name": "Literal", "src": "1170:1:17" } ], "id": 3595, "name": "Assignment", "src": "1164:7:17" } ], "id": 3596, "name": "ExpressionStatement", "src": "1164:7:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3530, "type": "uint8", "value": "r" }, "id": 3597, "name": "Identifier", "src": "1185:1:17" }, { "attributes": { "hexvalue": "38", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 8", "value": "8" }, "id": 3598, "name": "Literal", "src": "1190:1:17" } ], "id": 3599, "name": "Assignment", "src": "1185:6:17" } ], "id": 3600, "name": "ExpressionStatement", "src": "1185:6:17" } ], "id": 3601, "name": "Block", "src": "1150:52:17" } ], "id": 3602, "name": "IfStatement", "src": "1134:68:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3603, "name": "Identifier", "src": "1215:1:17" }, { "attributes": { "hexvalue": "30783130", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 16", "value": "0x10" }, "id": 3604, "name": "Literal", "src": "1220:4:17" } ], "id": 3605, "name": "BinaryOperation", "src": "1215:9:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3606, "name": "Identifier", "src": "1240:1:17" }, { "attributes": { "hexvalue": "34", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 4", "value": "4" }, "id": 3607, "name": "Literal", "src": "1246:1:17" } ], "id": 3608, "name": "Assignment", "src": "1240:7:17" } ], "id": 3609, "name": "ExpressionStatement", "src": "1240:7:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3530, "type": "uint8", "value": "r" }, "id": 3610, "name": "Identifier", "src": "1261:1:17" }, { "attributes": { "hexvalue": "34", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 4", "value": "4" }, "id": 3611, "name": "Literal", "src": "1266:1:17" } ], "id": 3612, "name": "Assignment", "src": "1261:6:17" } ], "id": 3613, "name": "ExpressionStatement", "src": "1261:6:17" } ], "id": 3614, "name": "Block", "src": "1226:52:17" } ], "id": 3615, "name": "IfStatement", "src": "1211:67:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3616, "name": "Identifier", "src": "1291:1:17" }, { "attributes": { "hexvalue": "307834", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 4", "value": "0x4" }, "id": 3617, "name": "Literal", "src": "1296:3:17" } ], "id": 3618, "name": "BinaryOperation", "src": "1291:8:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3619, "name": "Identifier", "src": "1315:1:17" }, { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3620, "name": "Literal", "src": "1321:1:17" } ], "id": 3621, "name": "Assignment", "src": "1315:7:17" } ], "id": 3622, "name": "ExpressionStatement", "src": "1315:7:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3530, "type": "uint8", "value": "r" }, "id": 3623, "name": "Identifier", "src": "1336:1:17" }, { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3624, "name": "Literal", "src": "1341:1:17" } ], "id": 3625, "name": "Assignment", "src": "1336:6:17" } ], "id": 3626, "name": "ExpressionStatement", "src": "1336:6:17" } ], "id": 3627, "name": "Block", "src": "1301:52:17" } ], "id": 3628, "name": "IfStatement", "src": "1287:66:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3527, "type": "uint256", "value": "x" }, "id": 3629, "name": "Identifier", "src": "1366:1:17" }, { "attributes": { "hexvalue": "307832", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "0x2" }, "id": 3630, "name": "Literal", "src": "1371:3:17" } ], "id": 3631, "name": "BinaryOperation", "src": "1366:8:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3530, "type": "uint8", "value": "r" }, "id": 3632, "name": "Identifier", "src": "1376:1:17" }, { "attributes": { "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 1", "value": "1" }, "id": 3633, "name": "Literal", "src": "1381:1:17" } ], "id": 3634, "name": "Assignment", "src": "1376:6:17" } ], "id": 3635, "name": "ExpressionStatement", "src": "1376:6:17" } ], "id": 3636, "name": "IfStatement", "src": "1362:20:17" } ], "id": 3637, "name": "Block", "src": "729:660:17" } ], "id": 3638, "name": "FunctionDefinition", "src": "658:731:17" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "leastSignificantBit", "scope": 3800, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Returns the index of the least significant bit of the number,\n where the least significant bit is at index 0 and the most significant bit is at index 255\n @dev The function satisfies the property:\n (x & 2**leastSignificantBit(x)) != 0 and (x & (2**(leastSignificantBit(x)) - 1)) == 0)\n @param x the value for which to compute the least significant bit, must be greater than 0\n @return r the index of the least significant bit" }, "id": 3639, "name": "StructuredDocumentation", "src": "1395:480:17" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "scope": 3799, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3640, "name": "ElementaryTypeName", "src": "1909:7:17" } ], "id": 3641, "name": "VariableDeclaration", "src": "1909:9:17" } ], "id": 3642, "name": "ParameterList", "src": "1908:11:17" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "r", "scope": 3799, "stateVariable": false, "storageLocation": "default", "type": "uint8", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint8", "type": "uint8" }, "id": 3643, "name": "ElementaryTypeName", "src": "1943:5:17" } ], "id": 3644, "name": "VariableDeclaration", "src": "1943:7:17" } ], "id": 3645, "name": "ParameterList", "src": "1942:9:17" }, { "children": [ { "children": [ { "attributes": { "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" } ], "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "type": "function (bool) pure", "value": "require" }, "id": 3646, "name": "Identifier", "src": "1962:7:17" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3647, "name": "Identifier", "src": "1970:1:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3648, "name": "Literal", "src": "1974:1:17" } ], "id": 3649, "name": "BinaryOperation", "src": "1970:5:17" } ], "id": 3650, "name": "FunctionCall", "src": "1962:14:17" } ], "id": 3651, "name": "ExpressionStatement", "src": "1962:14:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3652, "name": "Identifier", "src": "1987:1:17" }, { "attributes": { "hexvalue": "323535", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 255", "value": "255" }, "id": 3653, "name": "Literal", "src": "1991:3:17" } ], "id": 3654, "name": "Assignment", "src": "1987:7:17" } ], "id": 3655, "name": "ExpressionStatement", "src": "1987:7:17" }, { "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3656, "name": "Identifier", "src": "2008:1:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "member_name": "max", "type": "uint128" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "type(uint128)", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint128_$", "typeString": "type(uint128)" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 4294967269, "type": "function () pure", "value": "type" }, "id": 3657, "name": "Identifier", "src": "2012:4:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint128)" }, "children": [ { "attributes": { "name": "uint128" }, "id": 3658, "name": "ElementaryTypeName", "src": "2017:7:17" } ], "id": 3659, "name": "ElementaryTypeNameExpression", "src": "2017:7:17" } ], "id": 3660, "name": "FunctionCall", "src": "2012:13:17" } ], "id": 3661, "name": "MemberAccess", "src": "2012:17:17" } ], "id": 3662, "name": "BinaryOperation", "src": "2008:21:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3663, "name": "Literal", "src": "2032:1:17" } ], "id": 3664, "name": "BinaryOperation", "src": "2008:25:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3665, "name": "Identifier", "src": "2049:1:17" }, { "attributes": { "hexvalue": "313238", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 128", "value": "128" }, "id": 3666, "name": "Literal", "src": "2054:3:17" } ], "id": 3667, "name": "Assignment", "src": "2049:8:17" } ], "id": 3668, "name": "ExpressionStatement", "src": "2049:8:17" } ], "id": 3669, "name": "Block", "src": "2035:33:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3670, "name": "Identifier", "src": "2088:1:17" }, { "attributes": { "hexvalue": "313238", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 128", "value": "128" }, "id": 3671, "name": "Literal", "src": "2094:3:17" } ], "id": 3672, "name": "Assignment", "src": "2088:9:17" } ], "id": 3673, "name": "ExpressionStatement", "src": "2088:9:17" } ], "id": 3674, "name": "Block", "src": "2074:34:17" } ], "id": 3675, "name": "IfStatement", "src": "2004:104:17" }, { "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3676, "name": "Identifier", "src": "2121:1:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "member_name": "max", "type": "uint64" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "type(uint64)", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 4294967269, "type": "function () pure", "value": "type" }, "id": 3677, "name": "Identifier", "src": "2125:4:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint64)" }, "children": [ { "attributes": { "name": "uint64" }, "id": 3678, "name": "ElementaryTypeName", "src": "2130:6:17" } ], "id": 3679, "name": "ElementaryTypeNameExpression", "src": "2130:6:17" } ], "id": 3680, "name": "FunctionCall", "src": "2125:12:17" } ], "id": 3681, "name": "MemberAccess", "src": "2125:16:17" } ], "id": 3682, "name": "BinaryOperation", "src": "2121:20:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3683, "name": "Literal", "src": "2144:1:17" } ], "id": 3684, "name": "BinaryOperation", "src": "2121:24:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3685, "name": "Identifier", "src": "2161:1:17" }, { "attributes": { "hexvalue": "3634", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 64", "value": "64" }, "id": 3686, "name": "Literal", "src": "2166:2:17" } ], "id": 3687, "name": "Assignment", "src": "2161:7:17" } ], "id": 3688, "name": "ExpressionStatement", "src": "2161:7:17" } ], "id": 3689, "name": "Block", "src": "2147:32:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3690, "name": "Identifier", "src": "2199:1:17" }, { "attributes": { "hexvalue": "3634", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 64", "value": "64" }, "id": 3691, "name": "Literal", "src": "2205:2:17" } ], "id": 3692, "name": "Assignment", "src": "2199:8:17" } ], "id": 3693, "name": "ExpressionStatement", "src": "2199:8:17" } ], "id": 3694, "name": "Block", "src": "2185:33:17" } ], "id": 3695, "name": "IfStatement", "src": "2117:101:17" }, { "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3696, "name": "Identifier", "src": "2231:1:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "member_name": "max", "type": "uint32" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "type(uint32)", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint32_$", "typeString": "type(uint32)" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 4294967269, "type": "function () pure", "value": "type" }, "id": 3697, "name": "Identifier", "src": "2235:4:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint32)" }, "children": [ { "attributes": { "name": "uint32" }, "id": 3698, "name": "ElementaryTypeName", "src": "2240:6:17" } ], "id": 3699, "name": "ElementaryTypeNameExpression", "src": "2240:6:17" } ], "id": 3700, "name": "FunctionCall", "src": "2235:12:17" } ], "id": 3701, "name": "MemberAccess", "src": "2235:16:17" } ], "id": 3702, "name": "BinaryOperation", "src": "2231:20:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3703, "name": "Literal", "src": "2254:1:17" } ], "id": 3704, "name": "BinaryOperation", "src": "2231:24:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3705, "name": "Identifier", "src": "2271:1:17" }, { "attributes": { "hexvalue": "3332", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 32", "value": "32" }, "id": 3706, "name": "Literal", "src": "2276:2:17" } ], "id": 3707, "name": "Assignment", "src": "2271:7:17" } ], "id": 3708, "name": "ExpressionStatement", "src": "2271:7:17" } ], "id": 3709, "name": "Block", "src": "2257:32:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3710, "name": "Identifier", "src": "2309:1:17" }, { "attributes": { "hexvalue": "3332", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 32", "value": "32" }, "id": 3711, "name": "Literal", "src": "2315:2:17" } ], "id": 3712, "name": "Assignment", "src": "2309:8:17" } ], "id": 3713, "name": "ExpressionStatement", "src": "2309:8:17" } ], "id": 3714, "name": "Block", "src": "2295:33:17" } ], "id": 3715, "name": "IfStatement", "src": "2227:101:17" }, { "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3716, "name": "Identifier", "src": "2341:1:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "member_name": "max", "type": "uint16" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "type(uint16)", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint16_$", "typeString": "type(uint16)" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 4294967269, "type": "function () pure", "value": "type" }, "id": 3717, "name": "Identifier", "src": "2345:4:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint16)" }, "children": [ { "attributes": { "name": "uint16" }, "id": 3718, "name": "ElementaryTypeName", "src": "2350:6:17" } ], "id": 3719, "name": "ElementaryTypeNameExpression", "src": "2350:6:17" } ], "id": 3720, "name": "FunctionCall", "src": "2345:12:17" } ], "id": 3721, "name": "MemberAccess", "src": "2345:16:17" } ], "id": 3722, "name": "BinaryOperation", "src": "2341:20:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3723, "name": "Literal", "src": "2364:1:17" } ], "id": 3724, "name": "BinaryOperation", "src": "2341:24:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3725, "name": "Identifier", "src": "2381:1:17" }, { "attributes": { "hexvalue": "3136", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 16", "value": "16" }, "id": 3726, "name": "Literal", "src": "2386:2:17" } ], "id": 3727, "name": "Assignment", "src": "2381:7:17" } ], "id": 3728, "name": "ExpressionStatement", "src": "2381:7:17" } ], "id": 3729, "name": "Block", "src": "2367:32:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3730, "name": "Identifier", "src": "2419:1:17" }, { "attributes": { "hexvalue": "3136", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 16", "value": "16" }, "id": 3731, "name": "Literal", "src": "2425:2:17" } ], "id": 3732, "name": "Assignment", "src": "2419:8:17" } ], "id": 3733, "name": "ExpressionStatement", "src": "2419:8:17" } ], "id": 3734, "name": "Block", "src": "2405:33:17" } ], "id": 3735, "name": "IfStatement", "src": "2337:101:17" }, { "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3736, "name": "Identifier", "src": "2451:1:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "member_name": "max", "type": "uint8" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "type(uint8)", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint8_$", "typeString": "type(uint8)" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 4294967269, "type": "function () pure", "value": "type" }, "id": 3737, "name": "Identifier", "src": "2455:4:17" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint8)" }, "children": [ { "attributes": { "name": "uint8" }, "id": 3738, "name": "ElementaryTypeName", "src": "2460:5:17" } ], "id": 3739, "name": "ElementaryTypeNameExpression", "src": "2460:5:17" } ], "id": 3740, "name": "FunctionCall", "src": "2455:11:17" } ], "id": 3741, "name": "MemberAccess", "src": "2455:15:17" } ], "id": 3742, "name": "BinaryOperation", "src": "2451:19:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3743, "name": "Literal", "src": "2473:1:17" } ], "id": 3744, "name": "BinaryOperation", "src": "2451:23:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3745, "name": "Identifier", "src": "2490:1:17" }, { "attributes": { "hexvalue": "38", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 8", "value": "8" }, "id": 3746, "name": "Literal", "src": "2495:1:17" } ], "id": 3747, "name": "Assignment", "src": "2490:6:17" } ], "id": 3748, "name": "ExpressionStatement", "src": "2490:6:17" } ], "id": 3749, "name": "Block", "src": "2476:31:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3750, "name": "Identifier", "src": "2527:1:17" }, { "attributes": { "hexvalue": "38", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 8", "value": "8" }, "id": 3751, "name": "Literal", "src": "2533:1:17" } ], "id": 3752, "name": "Assignment", "src": "2527:7:17" } ], "id": 3753, "name": "ExpressionStatement", "src": "2527:7:17" } ], "id": 3754, "name": "Block", "src": "2513:32:17" } ], "id": 3755, "name": "IfStatement", "src": "2447:98:17" }, { "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3756, "name": "Identifier", "src": "2558:1:17" }, { "attributes": { "hexvalue": "307866", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 15", "value": "0xf" }, "id": 3757, "name": "Literal", "src": "2562:3:17" } ], "id": 3758, "name": "BinaryOperation", "src": "2558:7:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3759, "name": "Literal", "src": "2568:1:17" } ], "id": 3760, "name": "BinaryOperation", "src": "2558:11:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3761, "name": "Identifier", "src": "2585:1:17" }, { "attributes": { "hexvalue": "34", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 4", "value": "4" }, "id": 3762, "name": "Literal", "src": "2590:1:17" } ], "id": 3763, "name": "Assignment", "src": "2585:6:17" } ], "id": 3764, "name": "ExpressionStatement", "src": "2585:6:17" } ], "id": 3765, "name": "Block", "src": "2571:31:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3766, "name": "Identifier", "src": "2622:1:17" }, { "attributes": { "hexvalue": "34", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 4", "value": "4" }, "id": 3767, "name": "Literal", "src": "2628:1:17" } ], "id": 3768, "name": "Assignment", "src": "2622:7:17" } ], "id": 3769, "name": "ExpressionStatement", "src": "2622:7:17" } ], "id": 3770, "name": "Block", "src": "2608:32:17" } ], "id": 3771, "name": "IfStatement", "src": "2554:86:17" }, { "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3772, "name": "Identifier", "src": "2653:1:17" }, { "attributes": { "hexvalue": "307833", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 3", "value": "0x3" }, "id": 3773, "name": "Literal", "src": "2657:3:17" } ], "id": 3774, "name": "BinaryOperation", "src": "2653:7:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3775, "name": "Literal", "src": "2663:1:17" } ], "id": 3776, "name": "BinaryOperation", "src": "2653:11:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3777, "name": "Identifier", "src": "2680:1:17" }, { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3778, "name": "Literal", "src": "2685:1:17" } ], "id": 3779, "name": "Assignment", "src": "2680:6:17" } ], "id": 3780, "name": "ExpressionStatement", "src": "2680:6:17" } ], "id": 3781, "name": "Block", "src": "2666:31:17" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">>=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3782, "name": "Identifier", "src": "2717:1:17" }, { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3783, "name": "Literal", "src": "2723:1:17" } ], "id": 3784, "name": "Assignment", "src": "2717:7:17" } ], "id": 3785, "name": "ExpressionStatement", "src": "2717:7:17" } ], "id": 3786, "name": "Block", "src": "2703:32:17" } ], "id": 3787, "name": "IfStatement", "src": "2649:86:17" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3641, "type": "uint256", "value": "x" }, "id": 3788, "name": "Identifier", "src": "2748:1:17" }, { "attributes": { "hexvalue": "307831", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 1", "value": "0x1" }, "id": 3789, "name": "Literal", "src": "2752:3:17" } ], "id": 3790, "name": "BinaryOperation", "src": "2748:7:17" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3791, "name": "Literal", "src": "2758:1:17" } ], "id": 3792, "name": "BinaryOperation", "src": "2748:11:17" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint8" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3644, "type": "uint8", "value": "r" }, "id": 3793, "name": "Identifier", "src": "2761:1:17" }, { "attributes": { "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 1", "value": "1" }, "id": 3794, "name": "Literal", "src": "2766:1:17" } ], "id": 3795, "name": "Assignment", "src": "2761:6:17" } ], "id": 3796, "name": "ExpressionStatement", "src": "2761:6:17" } ], "id": 3797, "name": "IfStatement", "src": "2744:23:17" } ], "id": 3798, "name": "Block", "src": "1952:822:17" } ], "id": 3799, "name": "FunctionDefinition", "src": "1880:894:17" } ], "id": 3800, "name": "ContractDefinition", "src": "174:2602:17" } ], "id": 3801, "name": "SourceUnit", "src": "32:2745:17" }, "compiler": { "name": "solc", "version": "0.7.6+commit.7338295f.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.1", "updatedAt": "2022-01-17T20:05:41.710Z", "devdoc": { "details": "This library provides functionality for computing bit properties of an unsigned integer", "kind": "dev", "methods": {}, "title": "BitMath", "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }