{ "contractName": "FullMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.8+commit.0bbfe453\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Handles \\\"phantom overflow\\\" i.e., allows multiplication and division where an intermediate value overflows 256 bits\",\"methods\":{},\"title\":\"Contains 512-bit math functions\"},\"userdoc\":{\"methods\":{},\"notice\":\"Facilitates multiplication and division that can have overflow of an intermediate value without any loss of precision\"}},\"settings\":{\"compilationTarget\":{\"project:/contracts/interfaces/uniswap/FullMath.sol\":\"FullMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":10000},\"remappings\":[]},\"sources\":{\"project:/contracts/interfaces/uniswap/FullMath.sol\":{\"keccak256\":\"0x50e87f7a3197525d1c6f7e04290060e848677c8a4e86c554bc6ace4a4d0d476d\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://3874093a6b37d8e68f9475a91f8eb0a1c808cb6153c84cfe6c37909505a4d24e\",\"dweb:/ipfs/QmUqGpQqvSHX4SwUvcBCs9g4ZhR9JPhgD3615oUigAhtjj\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220a38a83c7c9a90950aa9987acc02b856fc975bc23dfa5792b58eda9e3670e24ba64736f6c63430006080033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220a38a83c7c9a90950aa9987acc02b856fc975bc23dfa5792b58eda9e3670e24ba64736f6c63430006080033", "immutableReferences": {}, "sourceMap": "362:4762:25:-:0;;132:2:-1;166:7;155:9;146:7;137:37;255:7;249:14;246:1;241:23;235:4;232:33;222:2;;269:9;222:2;293:9;290:1;283:20;323:4;314:7;306:22;347:7;338;331:24", "deployedSourceMap": "362:4762:25:-:0;;;;;;12:1:-1;9;2:12", "source": "// SPDX-License-Identifier: MIT\npragma solidity >=0.4.0 <0.8.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": "/home/thezviad_gmail_com/src/swappa/contracts/interfaces/uniswap/FullMath.sol", "ast": { "absolutePath": "project:/contracts/interfaces/uniswap/FullMath.sol", "exportedSymbols": { "FullMath": [ 2345 ] }, "id": 2346, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 2174, "literals": [ "solidity", ">=", "0.4", ".0", "<", "0.8", ".0" ], "nodeType": "PragmaDirective", "src": "32:31:25" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 2175, "nodeType": "StructuredDocumentation", "src": "65:297:25", "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": 2345, "linearizedBaseContracts": [ 2345 ], "name": "FullMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 2300, "nodeType": "Block", "src": "877:3648:25", "statements": [ { "assignments": [ 2188 ], "declarations": [ { "constant": false, "id": 2188, "mutability": "mutable", "name": "prod0", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2300, "src": "1190:13:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2187, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1190:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 2189, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "1190:13:25" }, { "assignments": [ 2191 ], "declarations": [ { "constant": false, "id": 2191, "mutability": "mutable", "name": "prod1", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2300, "src": "1258:13:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2190, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1258:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 2192, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "1258:13:25" }, { "AST": { "nodeType": "YulBlock", "src": "1334:141:25", "statements": [ { "nodeType": "YulVariableDeclaration", "src": "1348:30:25", "value": { "arguments": [ { "name": "a", "nodeType": "YulIdentifier", "src": "1365:1:25" }, { "name": "b", "nodeType": "YulIdentifier", "src": "1368:1:25" }, { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1375:1:25", "type": "", "value": "0" } ], "functionName": { "name": "not", "nodeType": "YulIdentifier", "src": "1371:3:25" }, "nodeType": "YulFunctionCall", "src": "1371:6:25" } ], "functionName": { "name": "mulmod", "nodeType": "YulIdentifier", "src": "1358:6:25" }, "nodeType": "YulFunctionCall", "src": "1358:20:25" }, "variables": [ { "name": "mm", "nodeType": "YulTypedName", "src": "1352:2:25", "type": "" } ] }, { "nodeType": "YulAssignment", "src": "1391:18:25", "value": { "arguments": [ { "name": "a", "nodeType": "YulIdentifier", "src": "1404:1:25" }, { "name": "b", "nodeType": "YulIdentifier", "src": "1407:1:25" } ], "functionName": { "name": "mul", "nodeType": "YulIdentifier", "src": "1400:3:25" }, "nodeType": "YulFunctionCall", "src": "1400:9:25" }, "variableNames": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "1391:5:25" } ] }, { "nodeType": "YulAssignment", "src": "1422:43:25", "value": { "arguments": [ { "arguments": [ { "name": "mm", "nodeType": "YulIdentifier", "src": "1439:2:25" }, { "name": "prod0", "nodeType": "YulIdentifier", "src": "1443:5:25" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "1435:3:25" }, "nodeType": "YulFunctionCall", "src": "1435:14:25" }, { "arguments": [ { "name": "mm", "nodeType": "YulIdentifier", "src": "1454:2:25" }, { "name": "prod0", "nodeType": "YulIdentifier", "src": "1458:5:25" } ], "functionName": { "name": "lt", "nodeType": "YulIdentifier", "src": "1451:2:25" }, "nodeType": "YulFunctionCall", "src": "1451:13:25" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "1431:3:25" }, "nodeType": "YulFunctionCall", "src": "1431:34:25" }, "variableNames": [ { "name": "prod1", "nodeType": "YulIdentifier", "src": "1422:5:25" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2178, "isOffset": false, "isSlot": false, "src": "1365:1:25", "valueSize": 1 }, { "declaration": 2178, "isOffset": false, "isSlot": false, "src": "1404:1:25", "valueSize": 1 }, { "declaration": 2180, "isOffset": false, "isSlot": false, "src": "1368:1:25", "valueSize": 1 }, { "declaration": 2180, "isOffset": false, "isSlot": false, "src": "1407:1:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "1391:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "1443:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "1458:5:25", "valueSize": 1 }, { "declaration": 2191, "isOffset": false, "isSlot": false, "src": "1422:5:25", "valueSize": 1 } ], "id": 2193, "nodeType": "InlineAssembly", "src": "1325:150:25" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2196, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2194, "name": "prod1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2191, "src": "1547:5:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2195, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1556:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1547:10:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 2207, "nodeType": "IfStatement", "src": "1543:179:25", "trueBody": { "id": 2206, "nodeType": "Block", "src": "1559:163:25", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2200, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2198, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "1581:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2199, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1595:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1581:15:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 2197, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1573:7:25", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 2201, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1573:24:25", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2202, "nodeType": "ExpressionStatement", "src": "1573:24:25" }, { "AST": { "nodeType": "YulBlock", "src": "1620:65:25", "statements": [ { "nodeType": "YulAssignment", "src": "1638:33:25", "value": { "arguments": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "1652:5:25" }, { "name": "denominator", "nodeType": "YulIdentifier", "src": "1659:11:25" } ], "functionName": { "name": "div", "nodeType": "YulIdentifier", "src": "1648:3:25" }, "nodeType": "YulFunctionCall", "src": "1648:23:25" }, "variableNames": [ { "name": "result", "nodeType": "YulIdentifier", "src": "1638:6:25" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2182, "isOffset": false, "isSlot": false, "src": "1659:11:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "1652:5:25", "valueSize": 1 }, { "declaration": 2185, "isOffset": false, "isSlot": false, "src": "1638:6:25", "valueSize": 1 } ], "id": 2203, "nodeType": "InlineAssembly", "src": "1611:74:25" }, { "expression": { "argumentTypes": null, "id": 2204, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2185, "src": "1705:6:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2186, "id": 2205, "nodeType": "Return", "src": "1698:13:25" } ] } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2211, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2209, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "1835:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 2210, "name": "prod1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2191, "src": "1849:5:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1835:19:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 2208, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1827:7:25", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 2212, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1827:28:25", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2213, "nodeType": "ExpressionStatement", "src": "1827:28:25" }, { "assignments": [ 2215 ], "declarations": [ { "constant": false, "id": 2215, "mutability": "mutable", "name": "remainder", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2300, "src": "2132:17:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2214, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2132:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 2216, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "2132:17:25" }, { "AST": { "nodeType": "YulBlock", "src": "2168:62:25", "statements": [ { "nodeType": "YulAssignment", "src": "2182:38:25", "value": { "arguments": [ { "name": "a", "nodeType": "YulIdentifier", "src": "2202:1:25" }, { "name": "b", "nodeType": "YulIdentifier", "src": "2205:1:25" }, { "name": "denominator", "nodeType": "YulIdentifier", "src": "2208:11:25" } ], "functionName": { "name": "mulmod", "nodeType": "YulIdentifier", "src": "2195:6:25" }, "nodeType": "YulFunctionCall", "src": "2195:25:25" }, "variableNames": [ { "name": "remainder", "nodeType": "YulIdentifier", "src": "2182:9:25" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2178, "isOffset": false, "isSlot": false, "src": "2202:1:25", "valueSize": 1 }, { "declaration": 2180, "isOffset": false, "isSlot": false, "src": "2205:1:25", "valueSize": 1 }, { "declaration": 2182, "isOffset": false, "isSlot": false, "src": "2208:11:25", "valueSize": 1 }, { "declaration": 2215, "isOffset": false, "isSlot": false, "src": "2182:9:25", "valueSize": 1 } ], "id": 2217, "nodeType": "InlineAssembly", "src": "2159:71:25" }, { "AST": { "nodeType": "YulBlock", "src": "2303:108:25", "statements": [ { "nodeType": "YulAssignment", "src": "2317:41:25", "value": { "arguments": [ { "name": "prod1", "nodeType": "YulIdentifier", "src": "2330:5:25" }, { "arguments": [ { "name": "remainder", "nodeType": "YulIdentifier", "src": "2340:9:25" }, { "name": "prod0", "nodeType": "YulIdentifier", "src": "2351:5:25" } ], "functionName": { "name": "gt", "nodeType": "YulIdentifier", "src": "2337:2:25" }, "nodeType": "YulFunctionCall", "src": "2337:20:25" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "2326:3:25" }, "nodeType": "YulFunctionCall", "src": "2326:32:25" }, "variableNames": [ { "name": "prod1", "nodeType": "YulIdentifier", "src": "2317:5:25" } ] }, { "nodeType": "YulAssignment", "src": "2371:30:25", "value": { "arguments": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "2384:5:25" }, { "name": "remainder", "nodeType": "YulIdentifier", "src": "2391:9:25" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "2380:3:25" }, "nodeType": "YulFunctionCall", "src": "2380:21:25" }, "variableNames": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "2371:5:25" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2351:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2371:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2384:5:25", "valueSize": 1 }, { "declaration": 2191, "isOffset": false, "isSlot": false, "src": "2317:5:25", "valueSize": 1 }, { "declaration": 2191, "isOffset": false, "isSlot": false, "src": "2330:5:25", "valueSize": 1 }, { "declaration": 2215, "isOffset": false, "isSlot": false, "src": "2340:9:25", "valueSize": 1 }, { "declaration": 2215, "isOffset": false, "isSlot": false, "src": "2391:9:25", "valueSize": 1 } ], "id": 2218, "nodeType": "InlineAssembly", "src": "2294:117:25" }, { "assignments": [ 2220 ], "declarations": [ { "constant": false, "id": 2220, "mutability": "mutable", "name": "twos", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2300, "src": "2560:12:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2219, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2560:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 2225, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2224, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2222, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "2575:12:25", "subExpression": { "argumentTypes": null, "id": 2221, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "2576:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "argumentTypes": null, "id": 2223, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "2590:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2575:26:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2560:41:25" }, { "AST": { "nodeType": "YulBlock", "src": "2666:61:25", "statements": [ { "nodeType": "YulAssignment", "src": "2680:37:25", "value": { "arguments": [ { "name": "denominator", "nodeType": "YulIdentifier", "src": "2699:11:25" }, { "name": "twos", "nodeType": "YulIdentifier", "src": "2712:4:25" } ], "functionName": { "name": "div", "nodeType": "YulIdentifier", "src": "2695:3:25" }, "nodeType": "YulFunctionCall", "src": "2695:22:25" }, "variableNames": [ { "name": "denominator", "nodeType": "YulIdentifier", "src": "2680:11:25" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2182, "isOffset": false, "isSlot": false, "src": "2680:11:25", "valueSize": 1 }, { "declaration": 2182, "isOffset": false, "isSlot": false, "src": "2699:11:25", "valueSize": 1 }, { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "2712:4:25", "valueSize": 1 } ], "id": 2226, "nodeType": "InlineAssembly", "src": "2657:70:25" }, { "AST": { "nodeType": "YulBlock", "src": "2800:49:25", "statements": [ { "nodeType": "YulAssignment", "src": "2814:25:25", "value": { "arguments": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "2827:5:25" }, { "name": "twos", "nodeType": "YulIdentifier", "src": "2834:4:25" } ], "functionName": { "name": "div", "nodeType": "YulIdentifier", "src": "2823:3:25" }, "nodeType": "YulFunctionCall", "src": "2823:16:25" }, "variableNames": [ { "name": "prod0", "nodeType": "YulIdentifier", "src": "2814:5:25" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2814:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2827:5:25", "valueSize": 1 }, { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "2834:4:25", "valueSize": 1 } ], "id": 2227, "nodeType": "InlineAssembly", "src": "2791:58:25" }, { "AST": { "nodeType": "YulBlock", "src": "3037:63:25", "statements": [ { "nodeType": "YulAssignment", "src": "3051:39:25", "value": { "arguments": [ { "arguments": [ { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "3071:1:25", "type": "", "value": "0" }, { "name": "twos", "nodeType": "YulIdentifier", "src": "3074:4:25" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "3067:3:25" }, "nodeType": "YulFunctionCall", "src": "3067:12:25" }, { "name": "twos", "nodeType": "YulIdentifier", "src": "3081:4:25" } ], "functionName": { "name": "div", "nodeType": "YulIdentifier", "src": "3063:3:25" }, "nodeType": "YulFunctionCall", "src": "3063:23:25" }, { "kind": "number", "nodeType": "YulLiteral", "src": "3088:1:25", "type": "", "value": "1" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "3059:3:25" }, "nodeType": "YulFunctionCall", "src": "3059:31:25" }, "variableNames": [ { "name": "twos", "nodeType": "YulIdentifier", "src": "3051:4:25" } ] } ] }, "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "3051:4:25", "valueSize": 1 }, { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "3074:4:25", "valueSize": 1 }, { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "3081:4:25", "valueSize": 1 } ], "id": 2228, "nodeType": "InlineAssembly", "src": "3028:72:25" }, { "expression": { "argumentTypes": null, "id": 2233, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2229, "name": "prod0", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2188, "src": "3109:5:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "|=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2232, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2230, "name": "prod1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2191, "src": "3118:5:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2231, "name": "twos", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2220, "src": "3126:4:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3118:12:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3109:21:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2234, "nodeType": "ExpressionStatement", "src": "3109:21:25" }, { "assignments": [ 2236 ], "declarations": [ { "constant": false, "id": 2236, "mutability": "mutable", "name": "inv", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2300, "src": "3464:11:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2235, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3464:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 2243, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2242, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2239, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "33", "id": 2237, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3479:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_3_by_1", "typeString": "int_const 3" }, "value": "3" }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2238, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "3483:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3479:15:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2240, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "3478:17:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "^", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 2241, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3498:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "3478:21:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3464:35:25" }, { "expression": { "argumentTypes": null, "id": 2250, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2244, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3714:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2249, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 2245, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3721:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2248, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2246, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "3725:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2247, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3739:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3725:17:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3721:21:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3714:28:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2251, "nodeType": "ExpressionStatement", "src": "3714:28:25" }, { "expression": { "argumentTypes": null, "id": 2258, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2252, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3772:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2257, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 2253, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3779:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2256, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2254, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "3783:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2255, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3797:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3783:17:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3779:21:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3772:28:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2259, "nodeType": "ExpressionStatement", "src": "3772:28:25" }, { "expression": { "argumentTypes": null, "id": 2266, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2260, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3831:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2265, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 2261, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3838:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2264, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2262, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "3842:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2263, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3856:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3842:17:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3838:21:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3831:28:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2267, "nodeType": "ExpressionStatement", "src": "3831:28:25" }, { "expression": { "argumentTypes": null, "id": 2274, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2268, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3890:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2273, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 2269, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3897:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2272, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2270, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "3901:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2271, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3915:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3901:17:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3897:21:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3890:28:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2275, "nodeType": "ExpressionStatement", "src": "3890:28:25" }, { "expression": { "argumentTypes": null, "id": 2282, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2276, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3949:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2281, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 2277, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3956:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2280, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2278, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "3960:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2279, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "3974:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3960:17:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3956:21:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3949:28:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2283, "nodeType": "ExpressionStatement", "src": "3949:28:25" }, { "expression": { "argumentTypes": null, "id": 2290, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2284, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "4009:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2289, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 2285, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4016:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2288, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2286, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2182, "src": "4020:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2287, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "4034:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4020:17:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4016:21:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4009:28:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2291, "nodeType": "ExpressionStatement", "src": "4009:28:25" }, { "expression": { "argumentTypes": null, "id": 2296, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2292, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2185, "src": "4475:6:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2295, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2293, "name": "prod0", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2188, "src": "4484:5:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2294, "name": "inv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2236, "src": "4492:3:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4484:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4475:20:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2297, "nodeType": "ExpressionStatement", "src": "4475:20:25" }, { "expression": { "argumentTypes": null, "id": 2298, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2185, "src": "4512:6:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2186, "id": 2299, "nodeType": "Return", "src": "4505:13:25" } ] }, "documentation": { "id": 2176, "nodeType": "StructuredDocumentation", "src": "385:359:25", "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": 2301, "implemented": true, "kind": "function", "modifiers": [], "name": "mulDiv", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 2183, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2178, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2301, "src": "774:9:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2177, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "774:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2180, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2301, "src": "793:9:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2179, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "793:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2182, "mutability": "mutable", "name": "denominator", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2301, "src": "812:19:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2181, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "812:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "764:73:25" }, "returnParameters": { "id": 2186, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2185, "mutability": "mutable", "name": "result", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2301, "src": "861:14:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2184, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "861:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "860:16:25" }, "scope": 2345, "src": "749:3776:25", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2343, "nodeType": "Block", "src": "4945:177:25", "statements": [ { "expression": { "argumentTypes": null, "id": 2319, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2313, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2311, "src": "4955:6:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 2315, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2304, "src": "4971:1:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 2316, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2306, "src": "4974:1:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 2317, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2308, "src": "4977:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 2314, "name": "mulDiv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2301, "src": "4964:6:25", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 2318, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4964:25:25", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4955:34:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2320, "nodeType": "ExpressionStatement", "src": "4955:34:25" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2327, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 2322, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2304, "src": "5010:1:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 2323, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2306, "src": "5013:1:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 2324, "name": "denominator", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2308, "src": "5016:11:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 2321, "name": "mulmod", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -16, "src": "5003:6:25", "typeDescriptions": { "typeIdentifier": "t_function_mulmod_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 2325, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5003:25:25", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2326, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5031:1:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5003:29:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 2342, "nodeType": "IfStatement", "src": "4999:117:25", "trueBody": { "id": 2341, "nodeType": "Block", "src": "5034:82:25", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2335, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2329, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2311, "src": "5056:6:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 2332, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "5070:7:25", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 2331, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5070:7:25", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" } ], "id": 2330, "name": "type", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -27, "src": "5065:4:25", "typeDescriptions": { "typeIdentifier": "t_function_metatype_pure$__$returns$__$", "typeString": "function () pure" } }, "id": 2333, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5065:13:25", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_magic_meta_type_t_uint256", "typeString": "type(uint256)" } }, "id": 2334, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "max", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5065:17:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5056:26:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 2328, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "5048:7:25", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 2336, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5048:35:25", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2337, "nodeType": "ExpressionStatement", "src": "5048:35:25" }, { "expression": { "argumentTypes": null, "id": 2339, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "5097:8:25", "subExpression": { "argumentTypes": null, "id": 2338, "name": "result", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2311, "src": "5097:6:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2340, "nodeType": "ExpressionStatement", "src": "5097:8:25" } ] } } ] }, "documentation": { "id": 2302, "nodeType": "StructuredDocumentation", "src": "4531:271:25", "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": 2344, "implemented": true, "kind": "function", "modifiers": [], "name": "mulDivRoundingUp", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 2309, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2304, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2344, "src": "4842:9:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2303, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4842:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2306, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2344, "src": "4861:9:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2305, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4861:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2308, "mutability": "mutable", "name": "denominator", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2344, "src": "4880:19:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2307, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4880:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4832:73:25" }, "returnParameters": { "id": 2312, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2311, "mutability": "mutable", "name": "result", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2344, "src": "4929:14:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2310, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4929:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4928:16:25" }, "scope": 2345, "src": "4807:315:25", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 2346, "src": "362:4762:25" } ], "src": "32:5093:25" }, "legacyAST": { "attributes": { "absolutePath": "project:/contracts/interfaces/uniswap/FullMath.sol", "exportedSymbols": { "FullMath": [ 2345 ] }, "license": "MIT" }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.4", ".0", "<", "0.8", ".0" ] }, "id": 2174, "name": "PragmaDirective", "src": "32:31:25" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "fullyImplemented": true, "linearizedBaseContracts": [ 2345 ], "name": "FullMath", "scope": 2346 }, "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": 2175, "name": "StructuredDocumentation", "src": "65:297:25" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mulDiv", "overrides": null, "scope": 2345, "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": 2176, "name": "StructuredDocumentation", "src": "385:359:25" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 2301, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2177, "name": "ElementaryTypeName", "src": "774:7:25" } ], "id": 2178, "name": "VariableDeclaration", "src": "774:9:25" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 2301, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2179, "name": "ElementaryTypeName", "src": "793:7:25" } ], "id": 2180, "name": "VariableDeclaration", "src": "793:9:25" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "denominator", "overrides": null, "scope": 2301, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2181, "name": "ElementaryTypeName", "src": "812:7:25" } ], "id": 2182, "name": "VariableDeclaration", "src": "812:19:25" } ], "id": 2183, "name": "ParameterList", "src": "764:73:25" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "result", "overrides": null, "scope": 2301, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2184, "name": "ElementaryTypeName", "src": "861:7:25" } ], "id": 2185, "name": "VariableDeclaration", "src": "861:14:25" } ], "id": 2186, "name": "ParameterList", "src": "860:16:25" }, { "children": [ { "attributes": { "assignments": [ 2188 ], "initialValue": null }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "prod0", "overrides": null, "scope": 2300, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2187, "name": "ElementaryTypeName", "src": "1190:7:25" } ], "id": 2188, "name": "VariableDeclaration", "src": "1190:13:25" } ], "id": 2189, "name": "VariableDeclarationStatement", "src": "1190:13:25" }, { "attributes": { "assignments": [ 2191 ], "initialValue": null }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "prod1", "overrides": null, "scope": 2300, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2190, "name": "ElementaryTypeName", "src": "1258:7:25" } ], "id": 2191, "name": "VariableDeclaration", "src": "1258:13:25" } ], "id": 2192, "name": "VariableDeclarationStatement", "src": "1258:13:25" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2178, "isOffset": false, "isSlot": false, "src": "1365:1:25", "valueSize": 1 }, { "declaration": 2178, "isOffset": false, "isSlot": false, "src": "1404:1:25", "valueSize": 1 }, { "declaration": 2180, "isOffset": false, "isSlot": false, "src": "1368:1:25", "valueSize": 1 }, { "declaration": 2180, "isOffset": false, "isSlot": false, "src": "1407:1:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "1391:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "1443:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "1458:5:25", "valueSize": 1 }, { "declaration": 2191, "isOffset": false, "isSlot": false, "src": "1422:5:25", "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": 2193, "name": "InlineAssembly", "src": "1325:150:25" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2191, "type": "uint256", "value": "prod1" }, "id": 2194, "name": "Identifier", "src": "1547:5:25" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 2195, "name": "Literal", "src": "1556:1:25" } ], "id": 2196, "name": "BinaryOperation", "src": "1547:10:25" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 2197, "name": "Identifier", "src": "1573:7:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2198, "name": "Identifier", "src": "1581:11:25" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 2199, "name": "Literal", "src": "1595:1:25" } ], "id": 2200, "name": "BinaryOperation", "src": "1581:15:25" } ], "id": 2201, "name": "FunctionCall", "src": "1573:24:25" } ], "id": 2202, "name": "ExpressionStatement", "src": "1573:24:25" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2182, "isOffset": false, "isSlot": false, "src": "1659:11:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "1652:5:25", "valueSize": 1 }, { "declaration": 2185, "isOffset": false, "isSlot": false, "src": "1638:6:25", "valueSize": 1 } ], "operations": "{\n result := div(prod0, denominator)\n}" }, "children": [], "id": 2203, "name": "InlineAssembly", "src": "1611:74:25" }, { "attributes": { "functionReturnParameters": 2186 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2185, "type": "uint256", "value": "result" }, "id": 2204, "name": "Identifier", "src": "1705:6:25" } ], "id": 2205, "name": "Return", "src": "1698:13:25" } ], "id": 2206, "name": "Block", "src": "1559:163:25" } ], "id": 2207, "name": "IfStatement", "src": "1543:179:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 2208, "name": "Identifier", "src": "1827:7:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2209, "name": "Identifier", "src": "1835:11:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2191, "type": "uint256", "value": "prod1" }, "id": 2210, "name": "Identifier", "src": "1849:5:25" } ], "id": 2211, "name": "BinaryOperation", "src": "1835:19:25" } ], "id": 2212, "name": "FunctionCall", "src": "1827:28:25" } ], "id": 2213, "name": "ExpressionStatement", "src": "1827:28:25" }, { "attributes": { "assignments": [ 2215 ], "initialValue": null }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "remainder", "overrides": null, "scope": 2300, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2214, "name": "ElementaryTypeName", "src": "2132:7:25" } ], "id": 2215, "name": "VariableDeclaration", "src": "2132:17:25" } ], "id": 2216, "name": "VariableDeclarationStatement", "src": "2132:17:25" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2178, "isOffset": false, "isSlot": false, "src": "2202:1:25", "valueSize": 1 }, { "declaration": 2180, "isOffset": false, "isSlot": false, "src": "2205:1:25", "valueSize": 1 }, { "declaration": 2182, "isOffset": false, "isSlot": false, "src": "2208:11:25", "valueSize": 1 }, { "declaration": 2215, "isOffset": false, "isSlot": false, "src": "2182:9:25", "valueSize": 1 } ], "operations": "{\n remainder := mulmod(a, b, denominator)\n}" }, "children": [], "id": 2217, "name": "InlineAssembly", "src": "2159:71:25" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2351:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2371:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2384:5:25", "valueSize": 1 }, { "declaration": 2191, "isOffset": false, "isSlot": false, "src": "2317:5:25", "valueSize": 1 }, { "declaration": 2191, "isOffset": false, "isSlot": false, "src": "2330:5:25", "valueSize": 1 }, { "declaration": 2215, "isOffset": false, "isSlot": false, "src": "2340:9:25", "valueSize": 1 }, { "declaration": 2215, "isOffset": false, "isSlot": false, "src": "2391:9:25", "valueSize": 1 } ], "operations": "{\n prod1 := sub(prod1, gt(remainder, prod0))\n prod0 := sub(prod0, remainder)\n}" }, "children": [], "id": 2218, "name": "InlineAssembly", "src": "2294:117:25" }, { "attributes": { "assignments": [ 2220 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "twos", "overrides": null, "scope": 2300, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2219, "name": "ElementaryTypeName", "src": "2560:7:25" } ], "id": 2220, "name": "VariableDeclaration", "src": "2560:12:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "prefix": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2221, "name": "Identifier", "src": "2576:11:25" } ], "id": 2222, "name": "UnaryOperation", "src": "2575:12:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2223, "name": "Identifier", "src": "2590:11:25" } ], "id": 2224, "name": "BinaryOperation", "src": "2575:26:25" } ], "id": 2225, "name": "VariableDeclarationStatement", "src": "2560:41:25" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2182, "isOffset": false, "isSlot": false, "src": "2680:11:25", "valueSize": 1 }, { "declaration": 2182, "isOffset": false, "isSlot": false, "src": "2699:11:25", "valueSize": 1 }, { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "2712:4:25", "valueSize": 1 } ], "operations": "{\n denominator := div(denominator, twos)\n}" }, "children": [], "id": 2226, "name": "InlineAssembly", "src": "2657:70:25" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2814:5:25", "valueSize": 1 }, { "declaration": 2188, "isOffset": false, "isSlot": false, "src": "2827:5:25", "valueSize": 1 }, { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "2834:4:25", "valueSize": 1 } ], "operations": "{ prod0 := div(prod0, twos) }" }, "children": [], "id": 2227, "name": "InlineAssembly", "src": "2791:58:25" }, { "attributes": { "evmVersion": "istanbul", "externalReferences": [ { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "3051:4:25", "valueSize": 1 }, { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "3074:4:25", "valueSize": 1 }, { "declaration": 2220, "isOffset": false, "isSlot": false, "src": "3081:4:25", "valueSize": 1 } ], "operations": "{\n twos := add(div(sub(0, twos), twos), 1)\n}" }, "children": [], "id": 2228, "name": "InlineAssembly", "src": "3028:72:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "|=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2188, "type": "uint256", "value": "prod0" }, "id": 2229, "name": "Identifier", "src": "3109:5:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2191, "type": "uint256", "value": "prod1" }, "id": 2230, "name": "Identifier", "src": "3118:5:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2220, "type": "uint256", "value": "twos" }, "id": 2231, "name": "Identifier", "src": "3126:4:25" } ], "id": 2232, "name": "BinaryOperation", "src": "3118:12:25" } ], "id": 2233, "name": "Assignment", "src": "3109:21:25" } ], "id": 2234, "name": "ExpressionStatement", "src": "3109:21:25" }, { "attributes": { "assignments": [ 2236 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "inv", "overrides": null, "scope": 2300, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2235, "name": "ElementaryTypeName", "src": "3464:7:25" } ], "id": 2236, "name": "VariableDeclaration", "src": "3464:11:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "^", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "33", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 3", "value": "3" }, "id": 2237, "name": "Literal", "src": "3479:1:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2238, "name": "Identifier", "src": "3483:11:25" } ], "id": 2239, "name": "BinaryOperation", "src": "3479:15:25" } ], "id": 2240, "name": "TupleExpression", "src": "3478:17:25" }, { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2241, "name": "Literal", "src": "3498:1:25" } ], "id": 2242, "name": "BinaryOperation", "src": "3478:21:25" } ], "id": 2243, "name": "VariableDeclarationStatement", "src": "3464:35:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2244, "name": "Identifier", "src": "3714:3:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2245, "name": "Literal", "src": "3721:1:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2246, "name": "Identifier", "src": "3725:11:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2247, "name": "Identifier", "src": "3739:3:25" } ], "id": 2248, "name": "BinaryOperation", "src": "3725:17:25" } ], "id": 2249, "name": "BinaryOperation", "src": "3721:21:25" } ], "id": 2250, "name": "Assignment", "src": "3714:28:25" } ], "id": 2251, "name": "ExpressionStatement", "src": "3714:28:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2252, "name": "Identifier", "src": "3772:3:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2253, "name": "Literal", "src": "3779:1:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2254, "name": "Identifier", "src": "3783:11:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2255, "name": "Identifier", "src": "3797:3:25" } ], "id": 2256, "name": "BinaryOperation", "src": "3783:17:25" } ], "id": 2257, "name": "BinaryOperation", "src": "3779:21:25" } ], "id": 2258, "name": "Assignment", "src": "3772:28:25" } ], "id": 2259, "name": "ExpressionStatement", "src": "3772:28:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2260, "name": "Identifier", "src": "3831:3:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2261, "name": "Literal", "src": "3838:1:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2262, "name": "Identifier", "src": "3842:11:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2263, "name": "Identifier", "src": "3856:3:25" } ], "id": 2264, "name": "BinaryOperation", "src": "3842:17:25" } ], "id": 2265, "name": "BinaryOperation", "src": "3838:21:25" } ], "id": 2266, "name": "Assignment", "src": "3831:28:25" } ], "id": 2267, "name": "ExpressionStatement", "src": "3831:28:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2268, "name": "Identifier", "src": "3890:3:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2269, "name": "Literal", "src": "3897:1:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2270, "name": "Identifier", "src": "3901:11:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2271, "name": "Identifier", "src": "3915:3:25" } ], "id": 2272, "name": "BinaryOperation", "src": "3901:17:25" } ], "id": 2273, "name": "BinaryOperation", "src": "3897:21:25" } ], "id": 2274, "name": "Assignment", "src": "3890:28:25" } ], "id": 2275, "name": "ExpressionStatement", "src": "3890:28:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2276, "name": "Identifier", "src": "3949:3:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2277, "name": "Literal", "src": "3956:1:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2278, "name": "Identifier", "src": "3960:11:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2279, "name": "Identifier", "src": "3974:3:25" } ], "id": 2280, "name": "BinaryOperation", "src": "3960:17:25" } ], "id": 2281, "name": "BinaryOperation", "src": "3956:21:25" } ], "id": 2282, "name": "Assignment", "src": "3949:28:25" } ], "id": 2283, "name": "ExpressionStatement", "src": "3949:28:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2284, "name": "Identifier", "src": "4009:3:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2285, "name": "Literal", "src": "4016:1:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2182, "type": "uint256", "value": "denominator" }, "id": 2286, "name": "Identifier", "src": "4020:11:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2287, "name": "Identifier", "src": "4034:3:25" } ], "id": 2288, "name": "BinaryOperation", "src": "4020:17:25" } ], "id": 2289, "name": "BinaryOperation", "src": "4016:21:25" } ], "id": 2290, "name": "Assignment", "src": "4009:28:25" } ], "id": 2291, "name": "ExpressionStatement", "src": "4009:28:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2185, "type": "uint256", "value": "result" }, "id": 2292, "name": "Identifier", "src": "4475:6:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2188, "type": "uint256", "value": "prod0" }, "id": 2293, "name": "Identifier", "src": "4484:5:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2236, "type": "uint256", "value": "inv" }, "id": 2294, "name": "Identifier", "src": "4492:3:25" } ], "id": 2295, "name": "BinaryOperation", "src": "4484:11:25" } ], "id": 2296, "name": "Assignment", "src": "4475:20:25" } ], "id": 2297, "name": "ExpressionStatement", "src": "4475:20:25" }, { "attributes": { "functionReturnParameters": 2186 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2185, "type": "uint256", "value": "result" }, "id": 2298, "name": "Identifier", "src": "4512:6:25" } ], "id": 2299, "name": "Return", "src": "4505:13:25" } ], "id": 2300, "name": "Block", "src": "877:3648:25" } ], "id": 2301, "name": "FunctionDefinition", "src": "749:3776:25" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mulDivRoundingUp", "overrides": null, "scope": 2345, "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": 2302, "name": "StructuredDocumentation", "src": "4531:271:25" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 2344, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2303, "name": "ElementaryTypeName", "src": "4842:7:25" } ], "id": 2304, "name": "VariableDeclaration", "src": "4842:9:25" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 2344, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2305, "name": "ElementaryTypeName", "src": "4861:7:25" } ], "id": 2306, "name": "VariableDeclaration", "src": "4861:9:25" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "denominator", "overrides": null, "scope": 2344, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2307, "name": "ElementaryTypeName", "src": "4880:7:25" } ], "id": 2308, "name": "VariableDeclaration", "src": "4880:19:25" } ], "id": 2309, "name": "ParameterList", "src": "4832:73:25" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "result", "overrides": null, "scope": 2344, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2310, "name": "ElementaryTypeName", "src": "4929:7:25" } ], "id": 2311, "name": "VariableDeclaration", "src": "4929:14:25" } ], "id": 2312, "name": "ParameterList", "src": "4928:16:25" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2311, "type": "uint256", "value": "result" }, "id": 2313, "name": "Identifier", "src": "4955:6:25" }, { "attributes": { "argumentTypes": null, "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": 2301, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "mulDiv" }, "id": 2314, "name": "Identifier", "src": "4964:6:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2304, "type": "uint256", "value": "a" }, "id": 2315, "name": "Identifier", "src": "4971:1:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2306, "type": "uint256", "value": "b" }, "id": 2316, "name": "Identifier", "src": "4974:1:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2308, "type": "uint256", "value": "denominator" }, "id": 2317, "name": "Identifier", "src": "4977:11:25" } ], "id": 2318, "name": "FunctionCall", "src": "4964:25:25" } ], "id": 2319, "name": "Assignment", "src": "4955:34:25" } ], "id": 2320, "name": "ExpressionStatement", "src": "4955:34:25" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "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": -16, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "mulmod" }, "id": 2321, "name": "Identifier", "src": "5003:6:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2304, "type": "uint256", "value": "a" }, "id": 2322, "name": "Identifier", "src": "5010:1:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2306, "type": "uint256", "value": "b" }, "id": 2323, "name": "Identifier", "src": "5013:1:25" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2308, "type": "uint256", "value": "denominator" }, "id": 2324, "name": "Identifier", "src": "5016:11:25" } ], "id": 2325, "name": "FunctionCall", "src": "5003:25:25" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 2326, "name": "Literal", "src": "5031:1:25" } ], "id": 2327, "name": "BinaryOperation", "src": "5003:29:25" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 2328, "name": "Identifier", "src": "5048:7:25" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2311, "type": "uint256", "value": "result" }, "id": 2329, "name": "Identifier", "src": "5056:6:25" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "member_name": "max", "referencedDeclaration": null, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "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": -27, "type": "function () pure", "value": "type" }, "id": 2330, "name": "Identifier", "src": "5065:4:25" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint256)" }, "children": [ { "attributes": { "name": "uint256", "type": null }, "id": 2331, "name": "ElementaryTypeName", "src": "5070:7:25" } ], "id": 2332, "name": "ElementaryTypeNameExpression", "src": "5070:7:25" } ], "id": 2333, "name": "FunctionCall", "src": "5065:13:25" } ], "id": 2334, "name": "MemberAccess", "src": "5065:17:25" } ], "id": 2335, "name": "BinaryOperation", "src": "5056:26:25" } ], "id": 2336, "name": "FunctionCall", "src": "5048:35:25" } ], "id": 2337, "name": "ExpressionStatement", "src": "5048:35:25" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "++", "prefix": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2311, "type": "uint256", "value": "result" }, "id": 2338, "name": "Identifier", "src": "5097:6:25" } ], "id": 2339, "name": "UnaryOperation", "src": "5097:8:25" } ], "id": 2340, "name": "ExpressionStatement", "src": "5097:8:25" } ], "id": 2341, "name": "Block", "src": "5034:82:25" } ], "id": 2342, "name": "IfStatement", "src": "4999:117:25" } ], "id": 2343, "name": "Block", "src": "4945:177:25" } ], "id": 2344, "name": "FunctionDefinition", "src": "4807:315:25" } ], "id": 2345, "name": "ContractDefinition", "src": "362:4762:25" } ], "id": 2346, "name": "SourceUnit", "src": "32:5093:25" }, "compiler": { "name": "solc", "version": "0.6.8+commit.0bbfe453.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.16", "updatedAt": "2025-02-07T17:50:42.778Z", "devdoc": { "details": "Handles \"phantom overflow\" i.e., allows multiplication and division where an intermediate value overflows 256 bits", "methods": {}, "title": "Contains 512-bit math functions" }, "userdoc": { "methods": {}, "notice": "Facilitates multiplication and division that can have overflow of an intermediate value without any loss of precision" } }