dev: loop profiling

solidity_contracts/src/PlainOpcodes/PlainOpcodes.sol

@@ -207,6 +207,14 @@ contract PlainOpcodes {
         return hash;
     }
 
+    function loopProfiling(uint256 max) public pure returns (uint256) {
+        uint256 val = 0;
+        for (uint256 i = 0; i < max; i++) {
+            val += i;
+        }
+        return val;
+    }
+
     receive() external payable {}
     fallback() external payable {}
 }

tests/src/kakarot/test_kakarot.py

@@ -385,3 +385,24 @@ async def test_failing_contract(self, cairo_run):
                     data="0xADD_DATA",
                 )
             assert not evm["reverted"]
+
+    class TestLoopProfiling:
+        @pytest.mark.slow
+        @pytest.mark.parametrize("max", [10, 50, 100, 200])
+        @SyscallHandler.patch(
+            "IAccount.is_valid_jumpdest",
+            lambda addr, data: [1],
+        )
+        def test_loop_profiling(self, get_contract, max):
+            plain_opcodes = get_contract("PlainOpcodes", "PlainOpcodes")
+            initial_state = {
+                CONTRACT_ADDRESS: {
+                    "code": list(plain_opcodes.bytecode_runtime),
+                    "storage": {},
+                    "balance": 0,
+                    "nonce": 0,
+                }
+            }
+            with SyscallHandler.patch_state(parse_state(initial_state)):
+                res = plain_opcodes.loopProfiling(max)
+            assert res == sum(x for x in range(max))