{ "contractName": "FullMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.7.6+commit.7338295f\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Handles \\\"phantom overflow\\\" i.e., allows multiplication and division where an intermediate value overflows 256 bits\",\"kind\":\"dev\",\"methods\":{},\"title\":\"Contains 512-bit math functions\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"notice\":\"Facilitates multiplication and division that can have overflow of an intermediate value without any loss of precision\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/FullMath.sol\":\"FullMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/FullMath.sol\":{\"keccak256\":\"0xe511530871deaef86692cea9adb6076d26d7b47fd4815ce51af52af981026057\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://bc5a6ae776be3e7dcbd23d49ffbc9d792fed0ddf4b111ebb64b9bb2133ec263e\",\"dweb:/ipfs/QmbAUtWqvipzEARQpFpkzYKBELy3qeW5WXnZxHFU84sxG7\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220fb8b39d2d83b7038641fb0ecf6616026824f54e1dc42a9d2fc7925cdfd3105ea64736f6c63430007060033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220fb8b39d2d83b7038641fb0ecf6616026824f54e1dc42a9d2fc7925cdfd3105ea64736f6c63430007060033", "immutableReferences": {}, "generatedSources": [], "deployedGeneratedSources": [], "sourceMap": "355:4762:20:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "355:4762:20:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: MIT\npragma solidity >=0.4.0;\n\n/// @title Contains 512-bit math functions\n/// @notice Facilitates multiplication and division that can have overflow of an intermediate value without any loss of precision\n/// @dev Handles \"phantom overflow\" i.e., allows multiplication and division where an intermediate value overflows 256 bits\nlibrary FullMath {\n /// @notice Calculates floor(a×b÷denominator) with full precision. Throws if result overflows a uint256 or denominator == 0\n /// @param a The multiplicand\n /// @param b The multiplier\n /// @param denominator The divisor\n /// @return result The 256-bit result\n /// @dev Credit to Remco Bloemen under MIT license https://xn--2-umb.com/21/muldiv\n function mulDiv(\n uint256 a,\n uint256 b,\n uint256 denominator\n ) internal pure returns (uint256 result) {\n // 512-bit multiply [prod1 prod0] = a * b\n // Compute the product mod 2**256 and mod 2**256 - 1\n // then use the Chinese Remainder Theorem to reconstruct\n // the 512 bit result. The result is stored in two 256\n // variables such that product = prod1 * 2**256 + prod0\n uint256 prod0; // Least significant 256 bits of the product\n uint256 prod1; // Most significant 256 bits of the product\n assembly {\n let mm := mulmod(a, b, not(0))\n prod0 := mul(a, b)\n prod1 := sub(sub(mm, prod0), lt(mm, prod0))\n }\n\n // Handle non-overflow cases, 256 by 256 division\n if (prod1 == 0) {\n require(denominator > 0);\n assembly {\n result := div(prod0, denominator)\n }\n return result;\n }\n\n // Make sure the result is less than 2**256.\n // Also prevents denominator == 0\n require(denominator > prod1);\n\n ///////////////////////////////////////////////\n // 512 by 256 division.\n ///////////////////////////////////////////////\n\n // Make division exact by subtracting the remainder from [prod1 prod0]\n // Compute remainder using mulmod\n uint256 remainder;\n assembly {\n remainder := mulmod(a, b, denominator)\n }\n // Subtract 256 bit number from 512 bit number\n assembly {\n prod1 := sub(prod1, gt(remainder, prod0))\n prod0 := sub(prod0, remainder)\n }\n\n // Factor powers of two out of denominator\n // Compute largest power of two divisor of denominator.\n // Always >= 1.\n uint256 twos = -denominator & denominator;\n // Divide denominator by power of two\n assembly {\n denominator := div(denominator, twos)\n }\n\n // Divide [prod1 prod0] by the factors of two\n assembly {\n prod0 := div(prod0, twos)\n }\n // Shift in bits from prod1 into prod0. For this we need\n // to flip `twos` such that it is 2**256 / twos.\n // If twos is zero, then it becomes one\n assembly {\n twos := add(div(sub(0, twos), twos), 1)\n }\n prod0 |= prod1 * twos;\n\n // Invert denominator mod 2**256\n // Now that denominator is an odd number, it has an inverse\n // modulo 2**256 such that denominator * inv = 1 mod 2**256.\n // Compute the inverse by starting with a seed that is correct\n // correct for four bits. That is, denominator * inv = 1 mod 2**4\n uint256 inv = (3 * denominator) ^ 2;\n // Now use Newton-Raphson iteration to improve the precision.\n // Thanks to Hensel's lifting lemma, this also works in modular\n // arithmetic, doubling the correct bits in each step.\n inv *= 2 - denominator * inv; // inverse mod 2**8\n inv *= 2 - denominator * inv; // inverse mod 2**16\n inv *= 2 - denominator * inv; // inverse mod 2**32\n inv *= 2 - denominator * inv; // inverse mod 2**64\n inv *= 2 - denominator * inv; // inverse mod 2**128\n inv *= 2 - denominator * inv; // inverse mod 2**256\n\n // Because the division is now exact we can divide by multiplying\n // with the modular inverse of denominator. This will give us the\n // correct result modulo 2**256. Since the precoditions guarantee\n // that the outcome is less than 2**256, this is the final result.\n // We don't need to compute the high bits of the result and prod1\n // is no longer required.\n result = prod0 * inv;\n return result;\n }\n\n /// @notice Calculates ceil(a×b÷denominator) with full precision. Throws if result overflows a uint256 or denominator == 0\n /// @param a The multiplicand\n /// @param b The multiplier\n /// @param denominator The divisor\n /// @return result The 256-bit result\n function mulDivRoundingUp(\n uint256 a,\n uint256 b,\n uint256 denominator\n ) internal pure returns (uint256 result) {\n result = mulDiv(a, b, denominator);\n if (mulmod(a, b, denominator) > 0) {\n require(result < type(uint256).max);\n result++;\n }\n }\n}\n", "sourcePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/FullMath.sol", "ast": { "absolutePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/FullMath.sol", "exportedSymbols": { "FullMath": [ 3990 ] }, "id": 3991, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 3819, "literals": [ "solidity", ">=", "0.4", ".0" ], "nodeType": "PragmaDirective", "src": "32:24:20" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 3820, "nodeType": "StructuredDocumentation", "src": "58:297:20", "text": "@title Contains 512-bit math functions\n @notice Facilitates multiplication and division that can have overflow of an intermediate value without any loss of precision\n @dev Handles \"phantom overflow\" i.e., allows multiplication and division where an intermediate value overflows 256 bits" }, "fullyImplemented": true, "id": 3990, "linearizedBaseContracts": [ 3990 ], "name": "FullMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 3945, "nodeType": "Block", "src": "870:3648:20", "statements": [ { "assignments": [ 3833 ], "declarations": [ { "constant": false, "id": 3833, "mutability": "mutable", "name": "prod0", "nodeType": "VariableDeclaration", "scope": 3945, "src": "1183:13:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3832, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1183:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 3834, "nodeType": "VariableDeclarationStatement", "src": "1183:13:20" }, { "assignments": [ 3836 ], "declarations": [ { "constant": false, "id": 3836, "mutability": "mutable", "name": "prod1", "nodeType": "VariableDeclaration", "scope": 3945, "src": "1251:13:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3835, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1251:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 3837, "nodeType": "VariableDeclarationStatement", "src": "1251:13:20" }, { "AST": { "nodeType": "YulBlock", "src": "1327:141:20", "statements": [ { "nodeType": "YulVariableDeclaration", "src": "1341:30:20", "value": { "arguments": [ { "name": "a", "nodeType": "YulIdentifier", "src": "1358:1:20" }, { "name": "b", "nodeType": "YulIdentifier", "src": "1361:1:20" }, { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1368:1:20", "type": "", "value": "0" } ], "functionName": { "name": "not", "nodeType": "YulIdentifier", "src": "1364:3:20" }, "nodeType": "YulFunctionCall", "src": "1364:6:20" } ], "functionName": { "name": "mulmod", "nodeType": "YulIdentifier", "src": "1351:6:20" }, "nodeType": "YulFunctionCall", "src": "1351:20:20" }, "variables": [ { "name": "mm", "nodeType": "YulTypedName", "src": "1345:2:20", "type": "" } ] }, { "nodeType": "YulAssignment", "src": "1384:18:20", "value": { "arguments": [ { "name": "a", "nodeType": "YulIdentifier", "src": "1397:1:20" }, { "name": "b", "nodeType": "YulIdentifier", "src": "1400:1:20" } ], "functionName": { "name": "mul", "nodeType": "YulIdentifier", "src": "1393:3:20" }, "nodeType": "YulFunctionCall", "src": "1393:9:20" }, "variableNames": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "1384:5:20" } ] }, { "nodeType": "YulAssignment", "src": "1415:43:20", "value": { "arguments": [ { "arguments": [ { "name": "mm", "nodeType": "YulIdentifier", "src": "1432:2:20" }, { "name": "prod0", "nodeType": "YulIdentifier", "src": "1436:5:20" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "1428:3:20" }, "nodeType": "YulFunctionCall", "src": "1428:14:20" }, { "arguments": [ { "name": "mm", "nodeType": "YulIdentifier", "src": "1447:2:20" }, { "name": "prod0", "nodeType": "YulIdentifier", "src": "1451:5:20" } ], "functionName": { "name": "lt", "nodeType": "YulIdentifier", "src": "1444:2:20" }, "nodeType": "YulFunctionCall", "src": "1444:13:20" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "1424:3:20" }, "nodeType": "YulFunctionCall", "src": "1424:34:20" }, "variableNames": [ { "name": "prod1", "nodeType": "YulIdentifier", "src": "1415:5:20" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3823, "isOffset": false, "isSlot": false, "src": "1358:1:20", "valueSize": 1 }, { "declaration": 3823, "isOffset": false, "isSlot": false, "src": "1397:1:20", "valueSize": 1 }, { "declaration": 3825, "isOffset": false, "isSlot": false, "src": "1361:1:20", "valueSize": 1 }, { "declaration": 3825, "isOffset": false, "isSlot": false, "src": "1400:1:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "1384:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "1436:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "1451:5:20", "valueSize": 1 }, { "declaration": 3836, "isOffset": false, "isSlot": false, "src": "1415:5:20", "valueSize": 1 } ], "id": 3838, "nodeType": "InlineAssembly", "src": "1318:150:20" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3841, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3839, "name": "prod1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3836, "src": "1540:5:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 3840, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1549:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1540:10:20", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3852, "nodeType": "IfStatement", "src": "1536:179:20", "trueBody": { "id": 3851, "nodeType": "Block", "src": "1552:163:20", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3845, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3843, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "1574:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3844, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1588:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1574:15:20", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3842, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "1566:7:20", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3846, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1566:24:20", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3847, "nodeType": "ExpressionStatement", "src": "1566:24:20" }, { "AST": { "nodeType": "YulBlock", "src": "1613:65:20", "statements": [ { "nodeType": "YulAssignment", "src": "1631:33:20", "value": { "arguments": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "1645:5:20" }, { "name": "denominator", "nodeType": "YulIdentifier", "src": "1652:11:20" } ], "functionName": { "name": "div", "nodeType": "YulIdentifier", "src": "1641:3:20" }, "nodeType": "YulFunctionCall", "src": "1641:23:20" }, "variableNames": [ { "name": "result", "nodeType": "YulIdentifier", "src": "1631:6:20" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3827, "isOffset": false, "isSlot": false, "src": "1652:11:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "1645:5:20", "valueSize": 1 }, { "declaration": 3830, "isOffset": false, "isSlot": false, "src": "1631:6:20", "valueSize": 1 } ], "id": 3848, "nodeType": "InlineAssembly", "src": "1604:74:20" }, { "expression": { "id": 3849, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3830, "src": "1698:6:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3831, "id": 3850, "nodeType": "Return", "src": "1691:13:20" } ] } }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3856, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3854, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "1828:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "id": 3855, "name": "prod1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3836, "src": "1842:5:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1828:19:20", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3853, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "1820:7:20", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3857, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1820:28:20", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3858, "nodeType": "ExpressionStatement", "src": "1820:28:20" }, { "assignments": [ 3860 ], "declarations": [ { "constant": false, "id": 3860, "mutability": "mutable", "name": "remainder", "nodeType": "VariableDeclaration", "scope": 3945, "src": "2125:17:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3859, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2125:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 3861, "nodeType": "VariableDeclarationStatement", "src": "2125:17:20" }, { "AST": { "nodeType": "YulBlock", "src": "2161:62:20", "statements": [ { "nodeType": "YulAssignment", "src": "2175:38:20", "value": { "arguments": [ { "name": "a", "nodeType": "YulIdentifier", "src": "2195:1:20" }, { "name": "b", "nodeType": "YulIdentifier", "src": "2198:1:20" }, { "name": "denominator", "nodeType": "YulIdentifier", "src": "2201:11:20" } ], "functionName": { "name": "mulmod", "nodeType": "YulIdentifier", "src": "2188:6:20" }, "nodeType": "YulFunctionCall", "src": "2188:25:20" }, "variableNames": [ { "name": "remainder", "nodeType": "YulIdentifier", "src": "2175:9:20" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3823, "isOffset": false, "isSlot": false, "src": "2195:1:20", "valueSize": 1 }, { "declaration": 3825, "isOffset": false, "isSlot": false, "src": "2198:1:20", "valueSize": 1 }, { "declaration": 3827, "isOffset": false, "isSlot": false, "src": "2201:11:20", "valueSize": 1 }, { "declaration": 3860, "isOffset": false, "isSlot": false, "src": "2175:9:20", "valueSize": 1 } ], "id": 3862, "nodeType": "InlineAssembly", "src": "2152:71:20" }, { "AST": { "nodeType": "YulBlock", "src": "2296:108:20", "statements": [ { "nodeType": "YulAssignment", "src": "2310:41:20", "value": { "arguments": [ { "name": "prod1", "nodeType": "YulIdentifier", "src": "2323:5:20" }, { "arguments": [ { "name": "remainder", "nodeType": "YulIdentifier", "src": "2333:9:20" }, { "name": "prod0", "nodeType": "YulIdentifier", "src": "2344:5:20" } ], "functionName": { "name": "gt", "nodeType": "YulIdentifier", "src": "2330:2:20" }, "nodeType": "YulFunctionCall", "src": "2330:20:20" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "2319:3:20" }, "nodeType": "YulFunctionCall", "src": "2319:32:20" }, "variableNames": [ { "name": "prod1", "nodeType": "YulIdentifier", "src": "2310:5:20" } ] }, { "nodeType": "YulAssignment", "src": "2364:30:20", "value": { "arguments": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "2377:5:20" }, { "name": "remainder", "nodeType": "YulIdentifier", "src": "2384:9:20" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "2373:3:20" }, "nodeType": "YulFunctionCall", "src": "2373:21:20" }, "variableNames": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "2364:5:20" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2344:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2364:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2377:5:20", "valueSize": 1 }, { "declaration": 3836, "isOffset": false, "isSlot": false, "src": "2310:5:20", "valueSize": 1 }, { "declaration": 3836, "isOffset": false, "isSlot": false, "src": "2323:5:20", "valueSize": 1 }, { "declaration": 3860, "isOffset": false, "isSlot": false, "src": "2333:9:20", "valueSize": 1 }, { "declaration": 3860, "isOffset": false, "isSlot": false, "src": "2384:9:20", "valueSize": 1 } ], "id": 3863, "nodeType": "InlineAssembly", "src": "2287:117:20" }, { "assignments": [ 3865 ], "declarations": [ { "constant": false, "id": 3865, "mutability": "mutable", "name": "twos", "nodeType": "VariableDeclaration", "scope": 3945, "src": "2553:12:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3864, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2553:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 3870, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3869, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3867, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "2568:12:20", "subExpression": { "id": 3866, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "2569:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "id": 3868, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "2583:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2568:26:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2553:41:20" }, { "AST": { "nodeType": "YulBlock", "src": "2659:61:20", "statements": [ { "nodeType": "YulAssignment", "src": "2673:37:20", "value": { "arguments": [ { "name": "denominator", "nodeType": "YulIdentifier", "src": "2692:11:20" }, { "name": "twos", "nodeType": "YulIdentifier", "src": "2705:4:20" } ], "functionName": { "name": "div", "nodeType": "YulIdentifier", "src": "2688:3:20" }, "nodeType": "YulFunctionCall", "src": "2688:22:20" }, "variableNames": [ { "name": "denominator", "nodeType": "YulIdentifier", "src": "2673:11:20" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3827, "isOffset": false, "isSlot": false, "src": "2673:11:20", "valueSize": 1 }, { "declaration": 3827, "isOffset": false, "isSlot": false, "src": "2692:11:20", "valueSize": 1 }, { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "2705:4:20", "valueSize": 1 } ], "id": 3871, "nodeType": "InlineAssembly", "src": "2650:70:20" }, { "AST": { "nodeType": "YulBlock", "src": "2793:49:20", "statements": [ { "nodeType": "YulAssignment", "src": "2807:25:20", "value": { "arguments": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "2820:5:20" }, { "name": "twos", "nodeType": "YulIdentifier", "src": "2827:4:20" } ], "functionName": { "name": "div", "nodeType": "YulIdentifier", "src": "2816:3:20" }, "nodeType": "YulFunctionCall", "src": "2816:16:20" }, "variableNames": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "2807:5:20" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2807:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2820:5:20", "valueSize": 1 }, { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "2827:4:20", "valueSize": 1 } ], "id": 3872, "nodeType": "InlineAssembly", "src": "2784:58:20" }, { "AST": { "nodeType": "YulBlock", "src": "3030:63:20", "statements": [ { "nodeType": "YulAssignment", "src": "3044:39:20", "value": { "arguments": [ { "arguments": [ { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "3064:1:20", "type": "", "value": "0" }, { "name": "twos", "nodeType": "YulIdentifier", "src": "3067:4:20" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "3060:3:20" }, "nodeType": "YulFunctionCall", "src": "3060:12:20" }, { "name": "twos", "nodeType": "YulIdentifier", "src": "3074:4:20" } ], "functionName": { "name": "div", "nodeType": "YulIdentifier", "src": "3056:3:20" }, "nodeType": "YulFunctionCall", "src": "3056:23:20" }, { "kind": "number", "nodeType": "YulLiteral", "src": "3081:1:20", "type": "", "value": "1" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "3052:3:20" }, "nodeType": "YulFunctionCall", "src": "3052:31:20" }, "variableNames": [ { "name": "twos", "nodeType": "YulIdentifier", "src": "3044:4:20" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "3044:4:20", "valueSize": 1 }, { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "3067:4:20", "valueSize": 1 }, { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "3074:4:20", "valueSize": 1 } ], "id": 3873, "nodeType": "InlineAssembly", "src": "3021:72:20" }, { "expression": { "id": 3878, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3874, "name": "prod0", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3833, "src": "3102:5:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "|=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3877, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3875, "name": "prod1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3836, "src": "3111:5:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3876, "name": "twos", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3865, "src": "3119:4:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3111:12:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3102:21:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3879, "nodeType": "ExpressionStatement", "src": "3102:21:20" }, { "assignments": [ 3881 ], "declarations": [ { "constant": false, "id": 3881, "mutability": "mutable", "name": "inv", "nodeType": "VariableDeclaration", "scope": 3945, "src": "3457:11:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3880, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3457:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 3888, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3887, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "components": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3884, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "33", "id": 3882, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3472:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_3_by_1", "typeString": "int_const 3" }, "value": "3" }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3883, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "3476:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3472:15:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 3885, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "3471:17:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "^", "rightExpression": { "hexValue": "32", "id": 3886, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3491:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "3471:21:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3457:35:20" }, { "expression": { "id": 3895, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3889, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3707:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3894, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "32", "id": 3890, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3714:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3893, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3891, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "3718:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3892, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3732:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3718:17:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3714:21:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3707:28:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3896, "nodeType": "ExpressionStatement", "src": "3707:28:20" }, { "expression": { "id": 3903, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3897, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3765:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3902, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "32", "id": 3898, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3772:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3901, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3899, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "3776:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3900, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3790:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3776:17:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3772:21:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3765:28:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3904, "nodeType": "ExpressionStatement", "src": "3765:28:20" }, { "expression": { "id": 3911, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3905, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3824:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3910, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "32", "id": 3906, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3831:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3909, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3907, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "3835:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3908, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3849:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3835:17:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3831:21:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3824:28:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3912, "nodeType": "ExpressionStatement", "src": "3824:28:20" }, { "expression": { "id": 3919, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3913, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3883:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3918, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "32", "id": 3914, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3890:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3917, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3915, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "3894:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3916, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3908:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3894:17:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3890:21:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3883:28:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3920, "nodeType": "ExpressionStatement", "src": "3883:28:20" }, { "expression": { "id": 3927, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3921, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3942:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3926, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "32", "id": 3922, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3949:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3925, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3923, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "3953:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3924, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "3967:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3953:17:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3949:21:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3942:28:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3928, "nodeType": "ExpressionStatement", "src": "3942:28:20" }, { "expression": { "id": 3935, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3929, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "4002:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3934, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "hexValue": "32", "id": 3930, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4009:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3931, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3827, "src": "4013:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3932, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "4027:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4013:17:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4009:21:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4002:28:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3936, "nodeType": "ExpressionStatement", "src": "4002:28:20" }, { "expression": { "id": 3941, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3937, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3830, "src": "4468:6:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3940, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3938, "name": "prod0", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3833, "src": "4477:5:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 3939, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3881, "src": "4485:3:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4477:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4468:20:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3942, "nodeType": "ExpressionStatement", "src": "4468:20:20" }, { "expression": { "id": 3943, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3830, "src": "4505:6:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3831, "id": 3944, "nodeType": "Return", "src": "4498:13:20" } ] }, "documentation": { "id": 3821, "nodeType": "StructuredDocumentation", "src": "378:359:20", "text": "@notice Calculates floor(a×b÷denominator) with full precision. Throws if result overflows a uint256 or denominator == 0\n @param a The multiplicand\n @param b The multiplier\n @param denominator The divisor\n @return result The 256-bit result\n @dev Credit to Remco Bloemen under MIT license https://xn--2-umb.com/21/muldiv" }, "id": 3946, "implemented": true, "kind": "function", "modifiers": [], "name": "mulDiv", "nodeType": "FunctionDefinition", "parameters": { "id": 3828, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3823, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 3946, "src": "767:9:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3822, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "767:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3825, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 3946, "src": "786:9:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3824, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "786:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3827, "mutability": "mutable", "name": "denominator", "nodeType": "VariableDeclaration", "scope": 3946, "src": "805:19:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3826, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "805:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "757:73:20" }, "returnParameters": { "id": 3831, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3830, "mutability": "mutable", "name": "result", "nodeType": "VariableDeclaration", "scope": 3946, "src": "854:14:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3829, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "854:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "853:16:20" }, "scope": 3990, "src": "742:3776:20", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3988, "nodeType": "Block", "src": "4938:177:20", "statements": [ { "expression": { "id": 3964, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 3958, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3956, "src": "4948:6:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "arguments": [ { "id": 3960, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3949, "src": "4964:1:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "id": 3961, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3951, "src": "4967:1:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "id": 3962, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3953, "src": "4970:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3959, "name": "mulDiv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3946, "src": "4957:6:20", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 3963, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4957:25:20", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4948:34:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3965, "nodeType": "ExpressionStatement", "src": "4948:34:20" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3972, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "arguments": [ { "id": 3967, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3949, "src": "5003:1:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "id": 3968, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3951, "src": "5006:1:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "id": 3969, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3953, "src": "5009:11:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3966, "name": "mulmod", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967280, "src": "4996:6:20", "typeDescriptions": { "typeIdentifier": "t_function_mulmod_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 3970, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4996:25:20", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3971, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5024:1:20", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4996:29:20", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 3987, "nodeType": "IfStatement", "src": "4992:117:20", "trueBody": { "id": 3986, "nodeType": "Block", "src": "5027:82:20", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3980, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3974, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3956, "src": "5049:6:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "expression": { "arguments": [ { "id": 3977, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "5063:7:20", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 3976, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5063:7:20", "typeDescriptions": {} } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" } ], "id": 3975, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967269, "src": "5058:4:20", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 3978, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5058:13:20", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint256", "typeString": "type(uint256)" } }, "id": 3979, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "src": "5058:17:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5049:26:20", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3973, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5041:7:20", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3981, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5041:35:20", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3982, "nodeType": "ExpressionStatement", "src": "5041:35:20" }, { "expression": { "id": 3984, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "5090:8:20", "subExpression": { "id": 3983, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3956, "src": "5090:6:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 3985, "nodeType": "ExpressionStatement", "src": "5090:8:20" } ] } } ] }, "documentation": { "id": 3947, "nodeType": "StructuredDocumentation", "src": "4524:271:20", "text": "@notice Calculates ceil(a×b÷denominator) with full precision. Throws if result overflows a uint256 or denominator == 0\n @param a The multiplicand\n @param b The multiplier\n @param denominator The divisor\n @return result The 256-bit result" }, "id": 3989, "implemented": true, "kind": "function", "modifiers": [], "name": "mulDivRoundingUp", "nodeType": "FunctionDefinition", "parameters": { "id": 3954, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3949, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 3989, "src": "4835:9:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3948, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4835:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3951, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 3989, "src": "4854:9:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3950, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4854:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3953, "mutability": "mutable", "name": "denominator", "nodeType": "VariableDeclaration", "scope": 3989, "src": "4873:19:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3952, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4873:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4825:73:20" }, "returnParameters": { "id": 3957, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3956, "mutability": "mutable", "name": "result", "nodeType": "VariableDeclaration", "scope": 3989, "src": "4922:14:20", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3955, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4922:7:20", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4921:16:20" }, "scope": 3990, "src": "4800:315:20", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 3991, "src": "355:4762:20" } ], "src": "32:5086:20" }, "legacyAST": { "attributes": { "absolutePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/FullMath.sol", "exportedSymbols": { "FullMath": [ 3990 ] }, "license": "MIT" }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.4", ".0" ] }, "id": 3819, "name": "PragmaDirective", "src": "32:24:20" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "fullyImplemented": true, "linearizedBaseContracts": [ 3990 ], "name": "FullMath", "scope": 3991 }, "children": [ { "attributes": { "text": "@title Contains 512-bit math functions\n @notice Facilitates multiplication and division that can have overflow of an intermediate value without any loss of precision\n @dev Handles \"phantom overflow\" i.e., allows multiplication and division where an intermediate value overflows 256 bits" }, "id": 3820, "name": "StructuredDocumentation", "src": "58:297:20" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mulDiv", "scope": 3990, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Calculates floor(a×b÷denominator) with full precision. Throws if result overflows a uint256 or denominator == 0\n @param a The multiplicand\n @param b The multiplier\n @param denominator The divisor\n @return result The 256-bit result\n @dev Credit to Remco Bloemen under MIT license https://xn--2-umb.com/21/muldiv" }, "id": 3821, "name": "StructuredDocumentation", "src": "378:359:20" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 3946, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3822, "name": "ElementaryTypeName", "src": "767:7:20" } ], "id": 3823, "name": "VariableDeclaration", "src": "767:9:20" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 3946, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3824, "name": "ElementaryTypeName", "src": "786:7:20" } ], "id": 3825, "name": "VariableDeclaration", "src": "786:9:20" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "denominator", "scope": 3946, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3826, "name": "ElementaryTypeName", "src": "805:7:20" } ], "id": 3827, "name": "VariableDeclaration", "src": "805:19:20" } ], "id": 3828, "name": "ParameterList", "src": "757:73:20" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "result", "scope": 3946, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3829, "name": "ElementaryTypeName", "src": "854:7:20" } ], "id": 3830, "name": "VariableDeclaration", "src": "854:14:20" } ], "id": 3831, "name": "ParameterList", "src": "853:16:20" }, { "children": [ { "attributes": { "assignments": [ 3833 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "prod0", "scope": 3945, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3832, "name": "ElementaryTypeName", "src": "1183:7:20" } ], "id": 3833, "name": "VariableDeclaration", "src": "1183:13:20" } ], "id": 3834, "name": "VariableDeclarationStatement", "src": "1183:13:20" }, { "attributes": { "assignments": [ 3836 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "prod1", "scope": 3945, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3835, "name": "ElementaryTypeName", "src": "1251:7:20" } ], "id": 3836, "name": "VariableDeclaration", "src": "1251:13:20" } ], "id": 3837, "name": "VariableDeclarationStatement", "src": "1251:13:20" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3823, "isOffset": false, "isSlot": false, "src": "1358:1:20", "valueSize": 1 }, { "declaration": 3823, "isOffset": false, "isSlot": false, "src": "1397:1:20", "valueSize": 1 }, { "declaration": 3825, "isOffset": false, "isSlot": false, "src": "1361:1:20", "valueSize": 1 }, { "declaration": 3825, "isOffset": false, "isSlot": false, "src": "1400:1:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "1384:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "1436:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "1451:5:20", "valueSize": 1 }, { "declaration": 3836, "isOffset": false, "isSlot": false, "src": "1415:5:20", "valueSize": 1 } ], "operations": "{\n let mm := mulmod(a, b, not(0))\n prod0 := mul(a, b)\n prod1 := sub(sub(mm, prod0), lt(mm, prod0))\n}" }, "children": [], "id": 3838, "name": "InlineAssembly", "src": "1318:150:20" }, { "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": 3836, "type": "uint256", "value": "prod1" }, "id": 3839, "name": "Identifier", "src": "1540:5:20" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3840, "name": "Literal", "src": "1549:1:20" } ], "id": 3841, "name": "BinaryOperation", "src": "1540:10:20" }, { "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": 3842, "name": "Identifier", "src": "1566:7:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3843, "name": "Identifier", "src": "1574:11:20" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3844, "name": "Literal", "src": "1588:1:20" } ], "id": 3845, "name": "BinaryOperation", "src": "1574:15:20" } ], "id": 3846, "name": "FunctionCall", "src": "1566:24:20" } ], "id": 3847, "name": "ExpressionStatement", "src": "1566:24:20" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3827, "isOffset": false, "isSlot": false, "src": "1652:11:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "1645:5:20", "valueSize": 1 }, { "declaration": 3830, "isOffset": false, "isSlot": false, "src": "1631:6:20", "valueSize": 1 } ], "operations": "{\n result := div(prod0, denominator)\n}" }, "children": [], "id": 3848, "name": "InlineAssembly", "src": "1604:74:20" }, { "attributes": { "functionReturnParameters": 3831 }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3830, "type": "uint256", "value": "result" }, "id": 3849, "name": "Identifier", "src": "1698:6:20" } ], "id": 3850, "name": "Return", "src": "1691:13:20" } ], "id": 3851, "name": "Block", "src": "1552:163:20" } ], "id": 3852, "name": "IfStatement", "src": "1536:179:20" }, { "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": 3853, "name": "Identifier", "src": "1820:7:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3854, "name": "Identifier", "src": "1828:11:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3836, "type": "uint256", "value": "prod1" }, "id": 3855, "name": "Identifier", "src": "1842:5:20" } ], "id": 3856, "name": "BinaryOperation", "src": "1828:19:20" } ], "id": 3857, "name": "FunctionCall", "src": "1820:28:20" } ], "id": 3858, "name": "ExpressionStatement", "src": "1820:28:20" }, { "attributes": { "assignments": [ 3860 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "remainder", "scope": 3945, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3859, "name": "ElementaryTypeName", "src": "2125:7:20" } ], "id": 3860, "name": "VariableDeclaration", "src": "2125:17:20" } ], "id": 3861, "name": "VariableDeclarationStatement", "src": "2125:17:20" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3823, "isOffset": false, "isSlot": false, "src": "2195:1:20", "valueSize": 1 }, { "declaration": 3825, "isOffset": false, "isSlot": false, "src": "2198:1:20", "valueSize": 1 }, { "declaration": 3827, "isOffset": false, "isSlot": false, "src": "2201:11:20", "valueSize": 1 }, { "declaration": 3860, "isOffset": false, "isSlot": false, "src": "2175:9:20", "valueSize": 1 } ], "operations": "{\n remainder := mulmod(a, b, denominator)\n}" }, "children": [], "id": 3862, "name": "InlineAssembly", "src": "2152:71:20" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2344:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2364:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2377:5:20", "valueSize": 1 }, { "declaration": 3836, "isOffset": false, "isSlot": false, "src": "2310:5:20", "valueSize": 1 }, { "declaration": 3836, "isOffset": false, "isSlot": false, "src": "2323:5:20", "valueSize": 1 }, { "declaration": 3860, "isOffset": false, "isSlot": false, "src": "2333:9:20", "valueSize": 1 }, { "declaration": 3860, "isOffset": false, "isSlot": false, "src": "2384:9:20", "valueSize": 1 } ], "operations": "{\n prod1 := sub(prod1, gt(remainder, prod0))\n prod0 := sub(prod0, remainder)\n}" }, "children": [], "id": 3863, "name": "InlineAssembly", "src": "2287:117:20" }, { "attributes": { "assignments": [ 3865 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "twos", "scope": 3945, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3864, "name": "ElementaryTypeName", "src": "2553:7:20" } ], "id": 3865, "name": "VariableDeclaration", "src": "2553:12:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "prefix": true, "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3866, "name": "Identifier", "src": "2569:11:20" } ], "id": 3867, "name": "UnaryOperation", "src": "2568:12:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3868, "name": "Identifier", "src": "2583:11:20" } ], "id": 3869, "name": "BinaryOperation", "src": "2568:26:20" } ], "id": 3870, "name": "VariableDeclarationStatement", "src": "2553:41:20" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3827, "isOffset": false, "isSlot": false, "src": "2673:11:20", "valueSize": 1 }, { "declaration": 3827, "isOffset": false, "isSlot": false, "src": "2692:11:20", "valueSize": 1 }, { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "2705:4:20", "valueSize": 1 } ], "operations": "{\n denominator := div(denominator, twos)\n}" }, "children": [], "id": 3871, "name": "InlineAssembly", "src": "2650:70:20" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2807:5:20", "valueSize": 1 }, { "declaration": 3833, "isOffset": false, "isSlot": false, "src": "2820:5:20", "valueSize": 1 }, { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "2827:4:20", "valueSize": 1 } ], "operations": "{ prod0 := div(prod0, twos) }" }, "children": [], "id": 3872, "name": "InlineAssembly", "src": "2784:58:20" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "3044:4:20", "valueSize": 1 }, { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "3067:4:20", "valueSize": 1 }, { "declaration": 3865, "isOffset": false, "isSlot": false, "src": "3074:4:20", "valueSize": 1 } ], "operations": "{\n twos := add(div(sub(0, twos), twos), 1)\n}" }, "children": [], "id": 3873, "name": "InlineAssembly", "src": "3021:72:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "|=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3833, "type": "uint256", "value": "prod0" }, "id": 3874, "name": "Identifier", "src": "3102:5:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3836, "type": "uint256", "value": "prod1" }, "id": 3875, "name": "Identifier", "src": "3111:5:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3865, "type": "uint256", "value": "twos" }, "id": 3876, "name": "Identifier", "src": "3119:4:20" } ], "id": 3877, "name": "BinaryOperation", "src": "3111:12:20" } ], "id": 3878, "name": "Assignment", "src": "3102:21:20" } ], "id": 3879, "name": "ExpressionStatement", "src": "3102:21:20" }, { "attributes": { "assignments": [ 3881 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "inv", "scope": 3945, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3880, "name": "ElementaryTypeName", "src": "3457:7:20" } ], "id": 3881, "name": "VariableDeclaration", "src": "3457:11:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "^", "type": "uint256" }, "children": [ { "attributes": { "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "hexvalue": "33", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 3", "value": "3" }, "id": 3882, "name": "Literal", "src": "3472:1:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3883, "name": "Identifier", "src": "3476:11:20" } ], "id": 3884, "name": "BinaryOperation", "src": "3472:15:20" } ], "id": 3885, "name": "TupleExpression", "src": "3471:17:20" }, { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3886, "name": "Literal", "src": "3491:1:20" } ], "id": 3887, "name": "BinaryOperation", "src": "3471:21:20" } ], "id": 3888, "name": "VariableDeclarationStatement", "src": "3457:35:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3889, "name": "Identifier", "src": "3707:3:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3890, "name": "Literal", "src": "3714:1:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3891, "name": "Identifier", "src": "3718:11:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3892, "name": "Identifier", "src": "3732:3:20" } ], "id": 3893, "name": "BinaryOperation", "src": "3718:17:20" } ], "id": 3894, "name": "BinaryOperation", "src": "3714:21:20" } ], "id": 3895, "name": "Assignment", "src": "3707:28:20" } ], "id": 3896, "name": "ExpressionStatement", "src": "3707:28:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3897, "name": "Identifier", "src": "3765:3:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3898, "name": "Literal", "src": "3772:1:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3899, "name": "Identifier", "src": "3776:11:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3900, "name": "Identifier", "src": "3790:3:20" } ], "id": 3901, "name": "BinaryOperation", "src": "3776:17:20" } ], "id": 3902, "name": "BinaryOperation", "src": "3772:21:20" } ], "id": 3903, "name": "Assignment", "src": "3765:28:20" } ], "id": 3904, "name": "ExpressionStatement", "src": "3765:28:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3905, "name": "Identifier", "src": "3824:3:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3906, "name": "Literal", "src": "3831:1:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3907, "name": "Identifier", "src": "3835:11:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3908, "name": "Identifier", "src": "3849:3:20" } ], "id": 3909, "name": "BinaryOperation", "src": "3835:17:20" } ], "id": 3910, "name": "BinaryOperation", "src": "3831:21:20" } ], "id": 3911, "name": "Assignment", "src": "3824:28:20" } ], "id": 3912, "name": "ExpressionStatement", "src": "3824:28:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3913, "name": "Identifier", "src": "3883:3:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3914, "name": "Literal", "src": "3890:1:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3915, "name": "Identifier", "src": "3894:11:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3916, "name": "Identifier", "src": "3908:3:20" } ], "id": 3917, "name": "BinaryOperation", "src": "3894:17:20" } ], "id": 3918, "name": "BinaryOperation", "src": "3890:21:20" } ], "id": 3919, "name": "Assignment", "src": "3883:28:20" } ], "id": 3920, "name": "ExpressionStatement", "src": "3883:28:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3921, "name": "Identifier", "src": "3942:3:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3922, "name": "Literal", "src": "3949:1:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3923, "name": "Identifier", "src": "3953:11:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3924, "name": "Identifier", "src": "3967:3:20" } ], "id": 3925, "name": "BinaryOperation", "src": "3953:17:20" } ], "id": 3926, "name": "BinaryOperation", "src": "3949:21:20" } ], "id": 3927, "name": "Assignment", "src": "3942:28:20" } ], "id": 3928, "name": "ExpressionStatement", "src": "3942:28:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3929, "name": "Identifier", "src": "4002:3:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 2", "value": "2" }, "id": 3930, "name": "Literal", "src": "4009:1:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3827, "type": "uint256", "value": "denominator" }, "id": 3931, "name": "Identifier", "src": "4013:11:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3932, "name": "Identifier", "src": "4027:3:20" } ], "id": 3933, "name": "BinaryOperation", "src": "4013:17:20" } ], "id": 3934, "name": "BinaryOperation", "src": "4009:21:20" } ], "id": 3935, "name": "Assignment", "src": "4002:28:20" } ], "id": 3936, "name": "ExpressionStatement", "src": "4002:28:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3830, "type": "uint256", "value": "result" }, "id": 3937, "name": "Identifier", "src": "4468:6:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3833, "type": "uint256", "value": "prod0" }, "id": 3938, "name": "Identifier", "src": "4477:5:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3881, "type": "uint256", "value": "inv" }, "id": 3939, "name": "Identifier", "src": "4485:3:20" } ], "id": 3940, "name": "BinaryOperation", "src": "4477:11:20" } ], "id": 3941, "name": "Assignment", "src": "4468:20:20" } ], "id": 3942, "name": "ExpressionStatement", "src": "4468:20:20" }, { "attributes": { "functionReturnParameters": 3831 }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3830, "type": "uint256", "value": "result" }, "id": 3943, "name": "Identifier", "src": "4505:6:20" } ], "id": 3944, "name": "Return", "src": "4498:13:20" } ], "id": 3945, "name": "Block", "src": "870:3648:20" } ], "id": 3946, "name": "FunctionDefinition", "src": "742:3776:20" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mulDivRoundingUp", "scope": 3990, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Calculates ceil(a×b÷denominator) with full precision. Throws if result overflows a uint256 or denominator == 0\n @param a The multiplicand\n @param b The multiplier\n @param denominator The divisor\n @return result The 256-bit result" }, "id": 3947, "name": "StructuredDocumentation", "src": "4524:271:20" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 3989, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3948, "name": "ElementaryTypeName", "src": "4835:7:20" } ], "id": 3949, "name": "VariableDeclaration", "src": "4835:9:20" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 3989, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3950, "name": "ElementaryTypeName", "src": "4854:7:20" } ], "id": 3951, "name": "VariableDeclaration", "src": "4854:9:20" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "denominator", "scope": 3989, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3952, "name": "ElementaryTypeName", "src": "4873:7:20" } ], "id": 3953, "name": "VariableDeclaration", "src": "4873:19:20" } ], "id": 3954, "name": "ParameterList", "src": "4825:73:20" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "result", "scope": 3989, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3955, "name": "ElementaryTypeName", "src": "4922:7:20" } ], "id": 3956, "name": "VariableDeclaration", "src": "4922:14:20" } ], "id": 3957, "name": "ParameterList", "src": "4921:16:20" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3956, "type": "uint256", "value": "result" }, "id": 3958, "name": "Identifier", "src": "4948:6:20" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 3946, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "mulDiv" }, "id": 3959, "name": "Identifier", "src": "4957:6:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3949, "type": "uint256", "value": "a" }, "id": 3960, "name": "Identifier", "src": "4964:1:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3951, "type": "uint256", "value": "b" }, "id": 3961, "name": "Identifier", "src": "4967:1:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3953, "type": "uint256", "value": "denominator" }, "id": 3962, "name": "Identifier", "src": "4970:11:20" } ], "id": 3963, "name": "FunctionCall", "src": "4957:25:20" } ], "id": 3964, "name": "Assignment", "src": "4948:34:20" } ], "id": 3965, "name": "ExpressionStatement", "src": "4948:34:20" }, { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 4294967280, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "mulmod" }, "id": 3966, "name": "Identifier", "src": "4996:6:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3949, "type": "uint256", "value": "a" }, "id": 3967, "name": "Identifier", "src": "5003:1:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3951, "type": "uint256", "value": "b" }, "id": 3968, "name": "Identifier", "src": "5006:1:20" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3953, "type": "uint256", "value": "denominator" }, "id": 3969, "name": "Identifier", "src": "5009:11:20" } ], "id": 3970, "name": "FunctionCall", "src": "4996:25:20" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3971, "name": "Literal", "src": "5024:1:20" } ], "id": 3972, "name": "BinaryOperation", "src": "4996:29:20" }, { "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": 3973, "name": "Identifier", "src": "5041:7:20" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3956, "type": "uint256", "value": "result" }, "id": 3974, "name": "Identifier", "src": "5049:6:20" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "member_name": "max", "type": "uint256" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "type(uint256)", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 4294967269, "type": "function () pure", "value": "type" }, "id": 3975, "name": "Identifier", "src": "5058:4:20" }, { "attributes": { "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint256)" }, "children": [ { "attributes": { "name": "uint256" }, "id": 3976, "name": "ElementaryTypeName", "src": "5063:7:20" } ], "id": 3977, "name": "ElementaryTypeNameExpression", "src": "5063:7:20" } ], "id": 3978, "name": "FunctionCall", "src": "5058:13:20" } ], "id": 3979, "name": "MemberAccess", "src": "5058:17:20" } ], "id": 3980, "name": "BinaryOperation", "src": "5049:26:20" } ], "id": 3981, "name": "FunctionCall", "src": "5041:35:20" } ], "id": 3982, "name": "ExpressionStatement", "src": "5041:35:20" }, { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "++", "prefix": false, "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 3956, "type": "uint256", "value": "result" }, "id": 3983, "name": "Identifier", "src": "5090:6:20" } ], "id": 3984, "name": "UnaryOperation", "src": "5090:8:20" } ], "id": 3985, "name": "ExpressionStatement", "src": "5090:8:20" } ], "id": 3986, "name": "Block", "src": "5027:82:20" } ], "id": 3987, "name": "IfStatement", "src": "4992:117:20" } ], "id": 3988, "name": "Block", "src": "4938:177:20" } ], "id": 3989, "name": "FunctionDefinition", "src": "4800:315:20" } ], "id": 3990, "name": "ContractDefinition", "src": "355:4762:20" } ], "id": 3991, "name": "SourceUnit", "src": "32:5086:20" }, "compiler": { "name": "solc", "version": "0.7.6+commit.7338295f.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.1", "updatedAt": "2022-01-17T20:05:41.756Z", "devdoc": { "details": "Handles \"phantom overflow\" i.e., allows multiplication and division where an intermediate value overflows 256 bits", "kind": "dev", "methods": {}, "title": "Contains 512-bit math functions", "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "notice": "Facilitates multiplication and division that can have overflow of an intermediate value without any loss of precision", "version": 1 } }