From 6dd29f5d49d0e03d6de8d4df4cc8205574d3d490 Mon Sep 17 00:00:00 2001 From: Dori Medini Date: Tue, 6 Aug 2024 17:36:09 +0300 Subject: [PATCH] chore(blockifier): recompile cairo1 contracts Signed-off-by: Dori Medini --- .../cairo1/compiled/test_contract.casm.json | 1016 ++++++++--------- .../src/execution/syscalls/syscalls_test.rs | 6 +- 2 files changed, 457 insertions(+), 565 deletions(-) diff --git a/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json b/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json index 6b8a8f42a8..c470c611c6 100644 --- a/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json +++ b/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json @@ -100,9 +100,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x454f", + "0x4529", "0x482480017fff8000", - "0x454e", + "0x4528", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -275,9 +275,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x44a0", + "0x447a", "0x482480017fff8000", - "0x449f", + "0x4479", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -588,9 +588,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4367", + "0x4341", "0x482480017fff8000", - "0x4366", + "0x4340", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -749,10 +749,10 @@ "0x0", "0x20680017fff7ffe", "0x10f", - "0x400180007fff8002", + "0x400180007fff8000", "0xa0680017fff8000", "0x12", - "0x4825800180008002", + "0x4825800180008000", "0x10000000000000000", "0x4844800180008002", "0x8000000000000110000000000000000", @@ -768,8 +768,8 @@ "0xfa", "0x402780017fff7fff", "0x1", - "0x400180007ff98002", - "0x4826800180028000", + "0x400180007ff98000", + "0x4826800180008000", "0xffffffffffffffff0000000000000000", "0x400080017ff87fff", "0x482480017ff88000", @@ -837,8 +837,8 @@ "0x0", "0x20680017fff7ffd", "0xa5", - "0x40137ffe7fff8000", - "0x40137fff7fff8001", + "0x40137ffe7fff8001", + "0x40137fff7fff8002", "0x48307ffb80007ffc", "0x20680017fff7fff", "0x4", @@ -922,9 +922,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4219", + "0x41f3", "0x482480017fff8000", - "0x4218", + "0x41f2", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -944,11 +944,11 @@ "0x480a7ffb7fff8000", "0x480680017fff8000", "0x0", - "0x480a80027fff8000", + "0x48127ff37fff8000", + "0x48127ff37fff8000", "0x480a80007fff8000", "0x480a80017fff8000", - "0x48127ff07fff8000", - "0x48127ff07fff8000", + "0x480a80027fff8000", "0x1104800180018000", "0x1501", "0x20680017fff7ffd", @@ -1128,9 +1128,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x414b", + "0x4125", "0x482480017fff8000", - "0x414a", + "0x4124", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1344,9 +1344,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4073", + "0x404d", "0x482480017fff8000", - "0x4072", + "0x404c", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1682,9 +1682,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3f21", + "0x3efb", "0x482480017fff8000", - "0x3f20", + "0x3efa", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1969,9 +1969,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3e02", + "0x3ddc", "0x482480017fff8000", - "0x3e01", + "0x3ddb", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2186,9 +2186,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3d29", + "0x3d03", "0x482480017fff8000", - "0x3d28", + "0x3d02", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2402,9 +2402,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3c51", + "0x3c2b", "0x482480017fff8000", - "0x3c50", + "0x3c2a", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2541,9 +2541,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3bc6", + "0x3ba0", "0x482480017fff8000", - "0x3bc5", + "0x3b9f", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2814,9 +2814,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3ab5", + "0x3a8f", "0x482480017fff8000", - "0x3ab4", + "0x3a8e", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2992,21 +2992,21 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3a03", + "0x39dd", "0x482480017fff8000", - "0x3a02", + "0x39dc", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff8", - "0x7b3e", + "0x76ca", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff77fff", "0x10780017fff7fff", "0x1f", "0x4824800180007ff8", - "0x7b3e", + "0x76ca", "0x400080007ff87fff", "0x482480017ff88000", "0x1", @@ -3096,21 +3096,21 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x399b", + "0x3975", "0x482480017fff8000", - "0x399a", + "0x3974", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff8", - "0x3a02", + "0x3c5a", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff77fff", "0x10780017fff7fff", "0x1f", "0x4824800180007ff8", - "0x3a02", + "0x3c5a", "0x400080007ff87fff", "0x482480017ff88000", "0x1", @@ -3201,15 +3201,15 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3932", + "0x390c", "0x482480017fff8000", - "0x3931", + "0x390b", "0x480080007fff8000", "0x480080017fff8000", "0x484480017fff8000", "0x8", "0x482480017fff8000", - "0x418a2", + "0x4142e", "0xa0680017fff8000", "0x8", "0x48307ffe80007ff5", @@ -3313,9 +3313,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x38c2", + "0x389c", "0x482480017fff8000", - "0x38c1", + "0x389b", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3459,9 +3459,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3830", + "0x380a", "0x482480017fff8000", - "0x382f", + "0x3809", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3661,9 +3661,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3766", + "0x3740", "0x482480017fff8000", - "0x3765", + "0x373f", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3783,9 +3783,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x36ec", + "0x36c6", "0x482480017fff8000", - "0x36eb", + "0x36c5", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3897,9 +3897,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x367a", + "0x3654", "0x482480017fff8000", - "0x3679", + "0x3653", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4036,9 +4036,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x35ef", + "0x35c9", "0x482480017fff8000", - "0x35ee", + "0x35c8", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4241,9 +4241,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3522", + "0x34fc", "0x482480017fff8000", - "0x3521", + "0x34fb", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4485,9 +4485,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x342e", + "0x3408", "0x482480017fff8000", - "0x342d", + "0x3407", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -4653,9 +4653,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3386", + "0x3360", "0x482480017fff8000", - "0x3385", + "0x335f", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -4844,9 +4844,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x32c7", + "0x32a1", "0x482480017fff8000", - "0x32c6", + "0x32a0", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -5001,9 +5001,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x322a", + "0x3204", "0x482480017fff8000", - "0x3229", + "0x3203", "0x480080007fff8000", "0x480080027fff8000", "0x482480017fff8000", @@ -5133,9 +5133,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x31a6", + "0x3180", "0x482480017fff8000", - "0x31a5", + "0x317f", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -5282,9 +5282,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3111", + "0x30eb", "0x482480017fff8000", - "0x3110", + "0x30ea", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -5420,9 +5420,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3087", + "0x3061", "0x482480017fff8000", - "0x3086", + "0x3060", "0x480080007fff8000", "0x480080047fff8000", "0x484480017fff8000", @@ -5546,9 +5546,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3009", + "0x2fe3", "0x482480017fff8000", - "0x3008", + "0x2fe2", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -5710,9 +5710,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x2f65", + "0x2f3f", "0x482480017fff8000", - "0x2f64", + "0x2f3e", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -5916,9 +5916,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x2e97", + "0x2e71", "0x482480017fff8000", - "0x2e96", + "0x2e70", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -6121,9 +6121,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x2dca", + "0x2da4", "0x482480017fff8000", - "0x2dc9", + "0x2da3", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -6338,7 +6338,7 @@ "0x400280007ff57fff", "0x482680017ff58000", "0x1", - "0x48297ff980007ff8", + "0x48297ffb80007ff8", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", @@ -6347,10 +6347,10 @@ "0x456d69744576656e74", "0x400280007ff77fff", "0x400280017ff77ffc", - "0x400380027ff77ffa", - "0x400380037ff77ffb", - "0x400380047ff77ffc", - "0x400380057ff77ffd", + "0x400380027ff77ffc", + "0x400380037ff77ffd", + "0x400380047ff77ff9", + "0x400380057ff77ffa", "0x480280077ff78000", "0x20680017fff7fff", "0x2f", @@ -8698,13 +8698,13 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0xf72", + "0xf3d", "0x20680017fff7ffd", "0x37", "0x1104800180018000", - "0x2399", + "0x2373", "0x482480017fff8000", - "0x2398", + "0x2372", "0x48127ff97fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", @@ -8712,7 +8712,7 @@ "0x48127ff87fff8000", "0x48127ffa7fff8000", "0x1104800180018000", - "0x1066", + "0x1031", "0x20680017fff7ffc", "0x22", "0x48127fff7fff8000", @@ -9006,7 +9006,7 @@ "0x482480017ff48000", "0xbb448978bd42b984d7de5970bcaf5c43", "0x1104800180018000", - "0xfa1", + "0xf6c", "0x20680017fff7ffd", "0x17", "0x20680017fff7ffe", @@ -9382,7 +9382,7 @@ "0x177e60492c5a8242f76f07bfe3661bd", "0x48127ff47fff8000", "0x1104800180018000", - "0xf05", + "0xed0", "0x20680017fff7ffd", "0xc", "0x48127ffa7fff8000", @@ -11304,9 +11304,9 @@ "0x20680017fff7fff", "0x14d", "0x1104800180018000", - "0x1978", + "0x1952", "0x482480017fff8000", - "0x1977", + "0x1951", "0x480680017fff8000", "0x2", "0x482480017ffe8000", @@ -11388,7 +11388,7 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0xa46", + "0xa11", "0x402580017fd38005", "0x1", "0x20680017fff7fff", @@ -11407,7 +11407,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xa52", + "0xa1d", "0x20680017fff7ffb", "0x70", "0x48127ffa7fff8000", @@ -11420,7 +11420,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xa45", + "0xa10", "0x20680017fff7ffb", "0x59", "0x48127ffa7fff8000", @@ -11433,7 +11433,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xa38", + "0xa03", "0x20680017fff7ffb", "0x42", "0x48127ffa7fff8000", @@ -11446,7 +11446,7 @@ "0x480680017fff8000", "0x2", "0x1104800180018000", - "0xa2b", + "0x9f6", "0x20680017fff7ffb", "0x2b", "0x40780017fff7fff", @@ -11468,7 +11468,7 @@ "0x482480017ff88000", "0x2", "0x1104800180018000", - "0xe85", + "0xe50", "0x20680017fff7ffd", "0x9", "0x400180007fff8003", @@ -11925,7 +11925,7 @@ "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x1104800180018000", - "0xcfe", + "0xcc9", "0x20680017fff7ffc", "0x11", "0x400280007ffc7ffd", @@ -12295,7 +12295,7 @@ "0x480080007ffc8000", "0x480080017ffb8000", "0x1104800180018000", - "0xc3c", + "0xc07", "0x20680017fff7ffd", "0xb", "0x48127ffc7fff8000", @@ -12516,74 +12516,35 @@ "0x48127fee7fff8000", "0x480680017fff8000", "0x1", - "0x480680017fff8000", - "0x11", - "0x480680017fff8000", - "0x1", - "0x48307fff80017ffe", - "0xa0680017fff7fff", - "0x7", - "0x482480017fff8000", - "0x100000000000000000000000000000000", - "0x400080007ff97fff", - "0x10780017fff7fff", - "0x6f", - "0x400080007ffa7fff", - "0x482480017ffa8000", - "0x1", - "0x48307ffe80007fe6", + "0x4824800180007feb", + "0x10", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0x41", - "0x400280007ffb7ff9", - "0x480680017fff8000", - "0x11", + "0x28", + "0x400280007ffb7ffe", "0x480680017fff8000", - "0x1", + "0x10", "0x480a7ffa7fff8000", "0x482680017ffb8000", "0x1", - "0x48307ffd80017ffc", + "0x48307fe780017ffd", "0xa0680017fff7fff", "0x7", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff77fff", "0x10780017fff7fff", - "0x23", - "0x400080007ff87fff", - "0x48307fdf80017fff", - "0xa0680017fff7fff", - "0x7", - "0x482480017fff8000", - "0x100000000000000000000000000000000", - "0x400080017ff57fff", - "0x10780017fff7fff", "0xc", - "0x400080017ff67fff", - "0x482480017ff68000", - "0x2", - "0x480a7ff97fff8000", - "0x48127ff87fff8000", - "0x48127ff87fff8000", - "0x48127ffb7fff8000", - "0x1104800180018000", - "0xbc7", - "0x208b7fff7fff7ffe", - "0x40780017fff7fff", + "0x400080007ff87fff", + "0x482480017ff88000", "0x1", - "0x480680017fff8000", - "0x7533325f737562204f766572666c6f77", - "0x400080007ffe7fff", - "0x482480017ff38000", - "0x2", "0x480a7ff97fff8000", - "0x480680017fff8000", - "0x1", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", "0x48127ffb7fff8000", - "0x482480017ffa8000", - "0x1", + "0x1104800180018000", + "0xbab", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", @@ -12603,18 +12564,18 @@ "0x8000000000000000", "0xa0680017fff8000", "0x8", - "0x48307ff77ffe8000", + "0x48307ffc7ffe8000", "0x4824800180007fff", "0x10000000000000000", - "0x400080007ffa7fff", + "0x400080007ff97fff", "0x10780017fff7fff", "0x10", - "0x48307ff77ffe8001", + "0x48307ffc7ffe8001", "0x4824800180007fff", "0xffffffffffffffff0000000000000000", - "0x400080007ffa7ffe", + "0x400080007ff97ffe", "0x400280007ffb7fff", - "0x482480017ffa8000", + "0x482480017ff98000", "0x1", "0x480a7ff97fff8000", "0x480680017fff8000", @@ -12628,20 +12589,6 @@ "0x480680017fff8000", "0x7536345f616464204f766572666c6f77", "0x400080007ffe7fff", - "0x482480017ff88000", - "0x1", - "0x480a7ff97fff8000", - "0x480680017fff8000", - "0x1", - "0x48127ffb7fff8000", - "0x482480017ffa8000", - "0x1", - "0x208b7fff7fff7ffe", - "0x40780017fff7fff", - "0x1", - "0x480680017fff8000", - "0x7533325f737562204f766572666c6f77", - "0x400080007ffe7fff", "0x482480017ff78000", "0x1", "0x480a7ff97fff8000", @@ -12734,7 +12681,7 @@ "0x10780017fff7fff", "0x29", "0x40780017fff7fff", - "0x58", + "0x5c", "0x40780017fff7fff", "0x1", "0x480680017fff8000", @@ -12749,7 +12696,7 @@ "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0x5b", + "0x5f", "0x40780017fff7fff", "0x1", "0x480680017fff8000", @@ -12804,46 +12751,46 @@ "0x48307ffc80007ffd", "0x1104800180018000", "0xb30", - "0x484480017f9f8000", + "0x484480017f9b8000", "0x20", "0xa0680017fff8000", "0x7", "0x4824800180007ffe", "0x100000000", - "0x400080047fae7fff", + "0x400080047faa7fff", "0x10780017fff7fff", "0x44", "0x482480017ffe8000", "0xffffffffffffffffffffffff00000000", - "0x400080047fae7fff", + "0x400080047faa7fff", "0x484680017ffd8000", "0x8", "0xa0680017fff8000", "0x7", "0x4824800180007ffe", "0x100000000", - "0x400080057fab7fff", + "0x400080057fa77fff", "0x10780017fff7fff", "0x29", "0x482480017ffe8000", "0xffffffffffffffffffffffff00000000", - "0x400080057fab7fff", + "0x400080057fa77fff", "0xa0680017fff8000", "0x8", "0x48307ffc7ff98000", "0x4824800180007fff", "0x100000000", - "0x400080067fa87fff", + "0x400080067fa47fff", "0x10780017fff7fff", "0x11", "0x48307ffc7ff98001", "0x4824800180007fff", "0xffffffffffffffffffffffff00000000", - "0x400080067fa87ffe", + "0x400080067fa47ffe", "0x40780017fff7fff", "0x2", "0x400080007ff47ffd", - "0x482480017fa68000", + "0x482480017fa28000", "0x7", "0x480680017fff8000", "0x0", @@ -12856,7 +12803,7 @@ "0x480680017fff8000", "0x7533325f616464204f766572666c6f77", "0x400080007ffe7fff", - "0x482480017fa68000", + "0x482480017fa28000", "0x7", "0x480680017fff8000", "0x1", @@ -12871,7 +12818,7 @@ "0x480680017fff8000", "0x7533325f6d756c204f766572666c6f77", "0x400080007ffe7fff", - "0x482480017fa68000", + "0x482480017fa28000", "0x6", "0x480680017fff8000", "0x1", @@ -12886,7 +12833,7 @@ "0x480680017fff8000", "0x7533325f6d756c204f766572666c6f77", "0x400080007ffe7fff", - "0x482480017fa68000", + "0x482480017fa28000", "0x5", "0x480680017fff8000", "0x1", @@ -12895,13 +12842,13 @@ "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0x50", + "0x54", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x7533325f616464204f766572666c6f77", "0x400080007ffe7fff", - "0x482480017fa68000", + "0x482480017fa28000", "0x1", "0x480680017fff8000", "0x1", @@ -13132,7 +13079,7 @@ "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", - "0xac7", + "0xad6", "0x20680017fff7ffd", "0x3e", "0x20680017fff7ffe", @@ -13143,7 +13090,7 @@ "0x48127ff97fff8000", "0x48127ffb7fff8000", "0x1104800180018000", - "0xd7e", + "0xd8d", "0x20680017fff7ffd", "0x1b", "0x48317fff80007ffd", @@ -13733,7 +13680,7 @@ "0x480680017fff8000", "0xffffffff00000000ffffffffffffffff", "0x1104800180018000", - "0xbf7", + "0xc06", "0x48127ffd7fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", @@ -13744,7 +13691,7 @@ "0x480680017fff8000", "0xffffffff00000000ffffffffffffffff", "0x1104800180018000", - "0xbec", + "0xbfb", "0x480680017fff8000", "0x77037d812deb33a0f4a13945d898c296", "0x480680017fff8000", @@ -14168,7 +14115,7 @@ "0x1", "0x48127ffe7fff8000", "0x1104800180018000", - "0xc6c", + "0xc7b", "0x20680017fff7ffd", "0xb7", "0x20680017fff7fff", @@ -14243,7 +14190,7 @@ "0x7", "0x48127ffe7fff8000", "0x1104800180018000", - "0xc21", + "0xc30", "0x20680017fff7ffd", "0x7", "0x48127ffc7fff8000", @@ -14278,7 +14225,7 @@ "0x6", "0x48127ff67fff8000", "0x1104800180018000", - "0xbfe", + "0xc0d", "0x20680017fff7ffd", "0x34", "0x48127ffc7fff8000", @@ -14420,7 +14367,7 @@ "0x48127ffd7fff8000", "0x48127fef7fff8000", "0x1104800180018000", - "0xb70", + "0xb7f", "0x20680017fff7ffd", "0xdd", "0x20680017fff7fff", @@ -14470,7 +14417,7 @@ "0x5", "0x48127ffe7fff8000", "0x1104800180018000", - "0xb3e", + "0xb4d", "0x20680017fff7ffd", "0x96", "0x480680017fff8000", @@ -14512,7 +14459,7 @@ "0x3", "0x48127ffe7fff8000", "0x1104800180018000", - "0xb14", + "0xb23", "0x20680017fff7ffd", "0x7", "0x48127ffc7fff8000", @@ -14547,7 +14494,7 @@ "0x2", "0x48127ff67fff8000", "0x1104800180018000", - "0xaf1", + "0xb00", "0x20680017fff7ffd", "0x34", "0x48127ffc7fff8000", @@ -14732,7 +14679,7 @@ "0x3", "0x48127ffe7fff8000", "0x1104800180018000", - "0xa38", + "0xa47", "0x20680017fff7ffd", "0x7", "0x48127ffc7fff8000", @@ -14767,7 +14714,7 @@ "0x2", "0x48127ff87fff8000", "0x1104800180018000", - "0xa15", + "0xa24", "0x20680017fff7ffd", "0x3a", "0x48127ffc7fff8000", @@ -14902,7 +14849,7 @@ "0x2", "0x48127ffe7fff8000", "0x1104800180018000", - "0x98e", + "0x99d", "0x20680017fff7ffd", "0x7", "0x48127ffc7fff8000", @@ -14937,7 +14884,7 @@ "0x1", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x96b", + "0x97a", "0x20680017fff7ffd", "0x3c", "0x48127ffc7fff8000", @@ -15049,7 +14996,7 @@ "0x2", "0x48127ffe7fff8000", "0x1104800180018000", - "0x8fb", + "0x90a", "0x20680017fff7ffd", "0x7", "0x48127ffc7fff8000", @@ -15084,7 +15031,7 @@ "0x1", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x8d8", + "0x8e7", "0x20680017fff7ffd", "0x2d", "0x48127ffc7fff8000", @@ -15669,7 +15616,7 @@ "0x20780017fff7ffd", "0x7", "0x40780017fff7fff", - "0x39", + "0x3d", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x208b7fff7fff7ffe", @@ -15684,6 +15631,21 @@ "0x20680017fff7ffd", "0x7", "0x40780017fff7fff", + "0x39", + "0x48127fc57fff8000", + "0x48127fc57fff8000", + "0x208b7fff7fff7ffe", + "0x480680017fff8000", + "0x0", + "0x400080007ffe7fff", + "0x4825800180007ffd", + "0x2", + "0x48127ffc7fff8000", + "0x482480017ffc8000", + "0x1", + "0x20680017fff7ffd", + "0x7", + "0x40780017fff7fff", "0x35", "0x48127fc97fff8000", "0x48127fc97fff8000", @@ -15692,7 +15654,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0x2", + "0x3", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15707,7 +15669,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0x3", + "0x4", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15722,7 +15684,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0x4", + "0x5", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15737,7 +15699,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0x5", + "0x6", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15752,7 +15714,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0x6", + "0x7", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15767,7 +15729,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0x7", + "0x8", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15782,7 +15744,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0x8", + "0x9", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15797,7 +15759,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0x9", + "0xa", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15812,7 +15774,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0xa", + "0xb", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15827,7 +15789,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0xb", + "0xc", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15842,7 +15804,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0xc", + "0xd", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15857,7 +15819,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0xd", + "0xe", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -15872,7 +15834,7 @@ "0x0", "0x400080007ffe7fff", "0x4825800180007ffd", - "0xe", + "0xf", "0x48127ffc7fff8000", "0x482480017ffc8000", "0x1", @@ -16640,7 +16602,7 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffef3b", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffef61", "0x20680017fff7ffd", "0x7b", "0x480680017fff8000", @@ -17903,7 +17865,7 @@ 129, 151, 89, - 306, + 253, 258, 97, 220, @@ -17914,7 +17876,7 @@ 176, 157, 83, - 224, + 239, 706, 199, 552, @@ -18650,7 +18612,7 @@ "op": "Add", "a": { "register": "FP", - "offset": 2 + "offset": 0 }, "b": { "Immediate": "0x0" @@ -20398,7 +20360,7 @@ { "TestLessThanOrEqual": { "lhs": { - "Immediate": "0x7b3e" + "Immediate": "0x76ca" }, "rhs": { "Deref": { @@ -20494,7 +20456,7 @@ { "TestLessThanOrEqual": { "lhs": { - "Immediate": "0x3a02" + "Immediate": "0x3c5a" }, "rhs": { "Deref": { @@ -26841,51 +26803,7 @@ ] ], [ - 12519, - [ - { - "TestLessThan": { - "lhs": { - "Deref": { - "register": "AP", - "offset": 0 - } - }, - "rhs": { - "Immediate": "0x100000000" - }, - "dst": { - "register": "AP", - "offset": -1 - } - } - } - ] - ], - [ - 12543, - [ - { - "TestLessThan": { - "lhs": { - "Deref": { - "register": "AP", - "offset": 0 - } - }, - "rhs": { - "Immediate": "0x100000000" - }, - "dst": { - "register": "AP", - "offset": -1 - } - } - } - ] - ], - [ - 12552, + 12527, [ { "TestLessThan": { @@ -26907,7 +26825,7 @@ ] ], [ - 12569, + 12544, [ { "AllocSegment": { @@ -26920,20 +26838,7 @@ ] ], [ - 12583, - [ - { - "AllocSegment": { - "dst": { - "register": "AP", - "offset": 0 - } - } - } - ] - ], - [ - 12599, + 12560, [ { "TestLessThan": { @@ -26947,7 +26852,7 @@ "b": { "Deref": { "register": "AP", - "offset": -8 + "offset": -3 } } } @@ -26964,20 +26869,7 @@ ] ], [ - 12621, - [ - { - "AllocSegment": { - "dst": { - "register": "AP", - "offset": 0 - } - } - } - ] - ], - [ - 12635, + 12582, [ { "AllocSegment": { @@ -26990,7 +26882,7 @@ ] ], [ - 12692, + 12639, [ { "DivMod": { @@ -27019,7 +26911,7 @@ ] ], [ - 12701, + 12648, [ { "TestLessThan": { @@ -27041,7 +26933,7 @@ ] ], [ - 12711, + 12658, [ { "TestLessThan": { @@ -27072,7 +26964,7 @@ ] ], [ - 12733, + 12680, [ { "AllocSegment": { @@ -27085,7 +26977,7 @@ ] ], [ - 12748, + 12695, [ { "AllocSegment": { @@ -27098,7 +26990,7 @@ ] ], [ - 12773, + 12720, [ { "TestLessThan": { @@ -27129,7 +27021,7 @@ ] ], [ - 12787, + 12734, [ { "DivMod": { @@ -27158,7 +27050,7 @@ ] ], [ - 12804, + 12751, [ { "TestLessThan": { @@ -27180,7 +27072,7 @@ ] ], [ - 12816, + 12763, [ { "TestLessThan": { @@ -27202,7 +27094,7 @@ ] ], [ - 12826, + 12773, [ { "TestLessThan": { @@ -27233,7 +27125,7 @@ ] ], [ - 12849, + 12796, [ { "AllocSegment": { @@ -27246,7 +27138,7 @@ ] ], [ - 12864, + 12811, [ { "AllocSegment": { @@ -27259,7 +27151,7 @@ ] ], [ - 12879, + 12826, [ { "AllocSegment": { @@ -27272,7 +27164,7 @@ ] ], [ - 12894, + 12841, [ { "AllocSegment": { @@ -27285,7 +27177,7 @@ ] ], [ - 12907, + 12854, [ { "TestLessThanOrEqual": { @@ -27307,7 +27199,7 @@ ] ], [ - 12917, + 12864, [ { "TestLessThanOrEqualAddress": { @@ -27338,7 +27230,7 @@ ] ], [ - 12954, + 12901, [ { "SystemCall": { @@ -27353,7 +27245,7 @@ ] ], [ - 12987, + 12934, [ { "AllocSegment": { @@ -27366,7 +27258,7 @@ ] ], [ - 13021, + 12968, [ { "TestLessThan": { @@ -27388,7 +27280,7 @@ ] ], [ - 13043, + 12990, [ { "TestLessThan": { @@ -27410,7 +27302,7 @@ ] ], [ - 13080, + 13027, [ { "TestLessThan": { @@ -27432,7 +27324,7 @@ ] ], [ - 13102, + 13049, [ { "TestLessThan": { @@ -27454,7 +27346,7 @@ ] ], [ - 13178, + 13125, [ { "AllocSegment": { @@ -27467,7 +27359,7 @@ ] ], [ - 13243, + 13190, [ { "TestLessThan": { @@ -27489,7 +27381,7 @@ ] ], [ - 13267, + 13214, [ { "TestLessThan": { @@ -27511,7 +27403,7 @@ ] ], [ - 13308, + 13255, [ { "TestLessThan": { @@ -27533,7 +27425,7 @@ ] ], [ - 13334, + 13281, [ { "TestLessThan": { @@ -27555,7 +27447,7 @@ ] ], [ - 13378, + 13325, [ { "U256InvModN": { @@ -27612,7 +27504,7 @@ ] ], [ - 13396, + 13343, [ { "WideMul128": { @@ -27809,7 +27701,7 @@ ] ], [ - 13449, + 13396, [ { "WideMul128": { @@ -27862,7 +27754,7 @@ ] ], [ - 13453, + 13400, [ { "TestLessThan": { @@ -27884,7 +27776,7 @@ ] ], [ - 13467, + 13414, [ { "TestLessThan": { @@ -27906,7 +27798,7 @@ ] ], [ - 13480, + 13427, [ { "DivMod": { @@ -27932,7 +27824,7 @@ ] ], [ - 13490, + 13437, [ { "DivMod": { @@ -27958,7 +27850,7 @@ ] ], [ - 13501, + 13448, [ { "DivMod": { @@ -27984,7 +27876,7 @@ ] ], [ - 13510, + 13457, [ { "DivMod": { @@ -28010,7 +27902,7 @@ ] ], [ - 13520, + 13467, [ { "DivMod": { @@ -28036,7 +27928,7 @@ ] ], [ - 13531, + 13478, [ { "DivMod": { @@ -28062,7 +27954,7 @@ ] ], [ - 13540, + 13487, [ { "DivMod": { @@ -28088,7 +27980,7 @@ ] ], [ - 13550, + 13497, [ { "DivMod": { @@ -28114,7 +28006,7 @@ ] ], [ - 13561, + 13508, [ { "DivMod": { @@ -28140,7 +28032,7 @@ ] ], [ - 13570, + 13517, [ { "DivMod": { @@ -28166,7 +28058,7 @@ ] ], [ - 13580, + 13527, [ { "DivMod": { @@ -28192,7 +28084,7 @@ ] ], [ - 13591, + 13538, [ { "DivMod": { @@ -28218,7 +28110,7 @@ ] ], [ - 13600, + 13547, [ { "DivMod": { @@ -28244,7 +28136,7 @@ ] ], [ - 13610, + 13557, [ { "DivMod": { @@ -28270,7 +28162,7 @@ ] ], [ - 13621, + 13568, [ { "DivMod": { @@ -28296,7 +28188,7 @@ ] ], [ - 13630, + 13577, [ { "DivMod": { @@ -28322,7 +28214,7 @@ ] ], [ - 13640, + 13587, [ { "DivMod": { @@ -28348,7 +28240,7 @@ ] ], [ - 13651, + 13598, [ { "DivMod": { @@ -28374,7 +28266,7 @@ ] ], [ - 13660, + 13607, [ { "DivMod": { @@ -28400,7 +28292,7 @@ ] ], [ - 13670, + 13617, [ { "DivMod": { @@ -28426,7 +28318,7 @@ ] ], [ - 13681, + 13628, [ { "DivMod": { @@ -28452,7 +28344,7 @@ ] ], [ - 13690, + 13637, [ { "DivMod": { @@ -28478,7 +28370,7 @@ ] ], [ - 13700, + 13647, [ { "DivMod": { @@ -28504,7 +28396,7 @@ ] ], [ - 13711, + 13658, [ { "DivMod": { @@ -28530,7 +28422,7 @@ ] ], [ - 13759, + 13706, [ { "SystemCall": { @@ -28545,7 +28437,7 @@ ] ], [ - 13776, + 13723, [ { "SystemCall": { @@ -28560,7 +28452,7 @@ ] ], [ - 13788, + 13735, [ { "SystemCall": { @@ -28581,7 +28473,7 @@ ] ], [ - 13799, + 13746, [ { "SystemCall": { @@ -28602,7 +28494,7 @@ ] ], [ - 13809, + 13756, [ { "SystemCall": { @@ -28623,7 +28515,7 @@ ] ], [ - 13894, + 13841, [ { "AllocSegment": { @@ -28636,7 +28528,7 @@ ] ], [ - 13923, + 13870, [ { "DivMod": { @@ -28662,7 +28554,7 @@ ] ], [ - 13933, + 13880, [ { "DivMod": { @@ -28688,7 +28580,7 @@ ] ], [ - 13944, + 13891, [ { "DivMod": { @@ -28714,7 +28606,7 @@ ] ], [ - 13953, + 13900, [ { "DivMod": { @@ -28740,7 +28632,7 @@ ] ], [ - 13963, + 13910, [ { "DivMod": { @@ -28766,7 +28658,7 @@ ] ], [ - 13974, + 13921, [ { "DivMod": { @@ -28792,7 +28684,7 @@ ] ], [ - 13983, + 13930, [ { "AllocSegment": { @@ -28805,7 +28697,7 @@ ] ], [ - 14052, + 13999, [ { "TestLessThan": { @@ -28836,7 +28728,7 @@ ] ], [ - 14067, + 14014, [ { "TestLessThan": { @@ -28858,7 +28750,7 @@ ] ], [ - 14086, + 14033, [ { "TestLessThan": { @@ -28880,7 +28772,7 @@ ] ], [ - 14105, + 14052, [ { "TestLessThan": { @@ -28902,7 +28794,7 @@ ] ], [ - 14115, + 14062, [ { "TestLessThan": { @@ -28924,7 +28816,7 @@ ] ], [ - 14117, + 14064, [ { "DivMod": { @@ -28950,7 +28842,7 @@ ] ], [ - 14154, + 14101, [ { "TestLessThan": { @@ -28972,7 +28864,7 @@ ] ], [ - 14173, + 14120, [ { "AllocSegment": { @@ -28985,7 +28877,7 @@ ] ], [ - 14184, + 14131, [ { "DivMod": { @@ -29014,7 +28906,7 @@ ] ], [ - 14190, + 14137, [ { "TestLessThan": { @@ -29036,7 +28928,7 @@ ] ], [ - 14204, + 14151, [ { "TestLessThan": { @@ -29058,7 +28950,7 @@ ] ], [ - 14218, + 14165, [ { "TestLessThan": { @@ -29080,7 +28972,7 @@ ] ], [ - 14229, + 14176, [ { "TestLessThan": { @@ -29102,7 +28994,7 @@ ] ], [ - 14258, + 14205, [ { "AllocSegment": { @@ -29115,7 +29007,7 @@ ] ], [ - 14283, + 14230, [ { "TestLessThan": { @@ -29137,7 +29029,7 @@ ] ], [ - 14287, + 14234, [ { "LinearSplit": { @@ -29166,7 +29058,7 @@ ] ], [ - 14297, + 14244, [ { "LinearSplit": { @@ -29195,7 +29087,7 @@ ] ], [ - 14317, + 14264, [ { "AllocSegment": { @@ -29208,7 +29100,7 @@ ] ], [ - 14338, + 14285, [ { "AllocSegment": { @@ -29221,7 +29113,7 @@ ] ], [ - 14359, + 14306, [ { "AllocSegment": { @@ -29234,7 +29126,7 @@ ] ], [ - 14379, + 14326, [ { "TestLessThan": { @@ -29256,7 +29148,7 @@ ] ], [ - 14381, + 14328, [ { "DivMod": { @@ -29282,7 +29174,7 @@ ] ], [ - 14425, + 14372, [ { "AllocSegment": { @@ -29295,7 +29187,7 @@ ] ], [ - 14436, + 14383, [ { "DivMod": { @@ -29324,7 +29216,7 @@ ] ], [ - 14442, + 14389, [ { "TestLessThan": { @@ -29346,7 +29238,7 @@ ] ], [ - 14456, + 14403, [ { "TestLessThan": { @@ -29368,7 +29260,7 @@ ] ], [ - 14474, + 14421, [ { "TestLessThan": { @@ -29390,7 +29282,7 @@ ] ], [ - 14487, + 14434, [ { "TestLessThan": { @@ -29412,7 +29304,7 @@ ] ], [ - 14498, + 14445, [ { "TestLessThan": { @@ -29434,7 +29326,7 @@ ] ], [ - 14527, + 14474, [ { "AllocSegment": { @@ -29447,7 +29339,7 @@ ] ], [ - 14552, + 14499, [ { "TestLessThan": { @@ -29469,7 +29361,7 @@ ] ], [ - 14556, + 14503, [ { "LinearSplit": { @@ -29498,7 +29390,7 @@ ] ], [ - 14566, + 14513, [ { "LinearSplit": { @@ -29527,7 +29419,7 @@ ] ], [ - 14586, + 14533, [ { "AllocSegment": { @@ -29540,7 +29432,7 @@ ] ], [ - 14607, + 14554, [ { "AllocSegment": { @@ -29553,7 +29445,7 @@ ] ], [ - 14628, + 14575, [ { "AllocSegment": { @@ -29566,7 +29458,7 @@ ] ], [ - 14657, + 14604, [ { "TestLessThan": { @@ -29588,7 +29480,7 @@ ] ], [ - 14659, + 14606, [ { "DivMod": { @@ -29614,7 +29506,7 @@ ] ], [ - 14696, + 14643, [ { "TestLessThan": { @@ -29636,7 +29528,7 @@ ] ], [ - 14707, + 14654, [ { "TestLessThan": { @@ -29658,7 +29550,7 @@ ] ], [ - 14718, + 14665, [ { "TestLessThan": { @@ -29680,7 +29572,7 @@ ] ], [ - 14747, + 14694, [ { "AllocSegment": { @@ -29693,7 +29585,7 @@ ] ], [ - 14772, + 14719, [ { "TestLessThan": { @@ -29715,7 +29607,7 @@ ] ], [ - 14776, + 14723, [ { "LinearSplit": { @@ -29744,7 +29636,7 @@ ] ], [ - 14786, + 14733, [ { "LinearSplit": { @@ -29773,7 +29665,7 @@ ] ], [ - 14812, + 14759, [ { "AllocSegment": { @@ -29786,7 +29678,7 @@ ] ], [ - 14833, + 14780, [ { "AllocSegment": { @@ -29799,7 +29691,7 @@ ] ], [ - 14855, + 14802, [ { "AllocSegment": { @@ -29812,7 +29704,7 @@ ] ], [ - 14877, + 14824, [ { "TestLessThan": { @@ -29834,7 +29726,7 @@ ] ], [ - 14888, + 14835, [ { "TestLessThan": { @@ -29856,7 +29748,7 @@ ] ], [ - 14917, + 14864, [ { "AllocSegment": { @@ -29869,7 +29761,7 @@ ] ], [ - 14942, + 14889, [ { "TestLessThan": { @@ -29891,7 +29783,7 @@ ] ], [ - 14946, + 14893, [ { "LinearSplit": { @@ -29920,7 +29812,7 @@ ] ], [ - 14956, + 14903, [ { "LinearSplit": { @@ -29949,7 +29841,7 @@ ] ], [ - 14979, + 14926, [ { "AllocSegment": { @@ -29962,7 +29854,7 @@ ] ], [ - 15024, + 14971, [ { "TestLessThan": { @@ -29984,7 +29876,7 @@ ] ], [ - 15035, + 14982, [ { "TestLessThan": { @@ -30006,7 +29898,7 @@ ] ], [ - 15064, + 15011, [ { "AllocSegment": { @@ -30019,7 +29911,7 @@ ] ], [ - 15087, + 15034, [ { "TestLessThan": { @@ -30050,7 +29942,7 @@ ] ], [ - 15111, + 15058, [ { "AllocSegment": { @@ -30063,7 +29955,7 @@ ] ], [ - 15155, + 15102, [ { "AllocSegment": { @@ -30076,7 +29968,7 @@ ] ], [ - 15182, + 15129, [ { "TestLessThanOrEqual": { @@ -30098,7 +29990,7 @@ ] ], [ - 15234, + 15181, [ { "AllocSegment": { @@ -30111,7 +30003,7 @@ ] ], [ - 15291, + 15238, [ { "TestLessThan": { @@ -30139,7 +30031,7 @@ ] ], [ - 15295, + 15242, [ { "LinearSplit": { @@ -30168,7 +30060,7 @@ ] ], [ - 15337, + 15284, [ { "TestLessThan": { @@ -30190,7 +30082,7 @@ ] ], [ - 15339, + 15286, [ { "DivMod": { @@ -30216,7 +30108,7 @@ ] ], [ - 15426, + 15373, [ { "DivMod": { @@ -30245,7 +30137,7 @@ ] ], [ - 15432, + 15379, [ { "TestLessThan": { @@ -30267,7 +30159,7 @@ ] ], [ - 15443, + 15390, [ { "TestLessThan": { @@ -30289,7 +30181,7 @@ ] ], [ - 15453, + 15400, [ { "TestLessThan": { @@ -30311,7 +30203,7 @@ ] ], [ - 15467, + 15414, [ { "DivMod": { @@ -30340,7 +30232,7 @@ ] ], [ - 15473, + 15420, [ { "TestLessThan": { @@ -30362,7 +30254,7 @@ ] ], [ - 15487, + 15434, [ { "TestLessThan": { @@ -30384,7 +30276,7 @@ ] ], [ - 15497, + 15444, [ { "TestLessThan": { @@ -30406,7 +30298,7 @@ ] ], [ - 15519, + 15466, [ { "AllocSegment": { @@ -30419,7 +30311,7 @@ ] ], [ - 15533, + 15480, [ { "AllocSegment": { @@ -30432,7 +30324,7 @@ ] ], [ - 15551, + 15498, [ { "AllocSegment": { @@ -30445,7 +30337,7 @@ ] ], [ - 15565, + 15512, [ { "AllocSegment": { @@ -30458,7 +30350,7 @@ ] ], [ - 15581, + 15528, [ { "TestLessThanOrEqual": { @@ -30480,7 +30372,7 @@ ] ], [ - 15608, + 15555, [ { "TestLessThan": { @@ -30502,7 +30394,7 @@ ] ], [ - 15625, + 15572, [ { "AllocSegment": { @@ -30515,7 +30407,7 @@ ] ], [ - 15650, + 15597, [ { "AllocSegment": { @@ -30528,7 +30420,7 @@ ] ], [ - 15895, + 15857, [ { "SystemCall": { @@ -30543,7 +30435,7 @@ ] ], [ - 15921, + 15883, [ { "SystemCall": { @@ -30558,7 +30450,7 @@ ] ], [ - 15935, + 15897, [ { "U256InvModN": { @@ -30615,7 +30507,7 @@ ] ], [ - 15953, + 15915, [ { "WideMul128": { @@ -30812,7 +30704,7 @@ ] ], [ - 16006, + 15968, [ { "WideMul128": { @@ -30865,7 +30757,7 @@ ] ], [ - 16010, + 15972, [ { "TestLessThan": { @@ -30887,7 +30779,7 @@ ] ], [ - 16024, + 15986, [ { "TestLessThan": { @@ -30909,7 +30801,7 @@ ] ], [ - 16037, + 15999, [ { "DivMod": { @@ -30935,7 +30827,7 @@ ] ], [ - 16047, + 16009, [ { "DivMod": { @@ -30961,7 +30853,7 @@ ] ], [ - 16058, + 16020, [ { "DivMod": { @@ -30987,7 +30879,7 @@ ] ], [ - 16067, + 16029, [ { "DivMod": { @@ -31013,7 +30905,7 @@ ] ], [ - 16077, + 16039, [ { "DivMod": { @@ -31039,7 +30931,7 @@ ] ], [ - 16088, + 16050, [ { "DivMod": { @@ -31065,7 +30957,7 @@ ] ], [ - 16097, + 16059, [ { "DivMod": { @@ -31091,7 +30983,7 @@ ] ], [ - 16107, + 16069, [ { "DivMod": { @@ -31117,7 +31009,7 @@ ] ], [ - 16118, + 16080, [ { "DivMod": { @@ -31143,7 +31035,7 @@ ] ], [ - 16127, + 16089, [ { "DivMod": { @@ -31169,7 +31061,7 @@ ] ], [ - 16137, + 16099, [ { "DivMod": { @@ -31195,7 +31087,7 @@ ] ], [ - 16148, + 16110, [ { "DivMod": { @@ -31221,7 +31113,7 @@ ] ], [ - 16157, + 16119, [ { "DivMod": { @@ -31247,7 +31139,7 @@ ] ], [ - 16167, + 16129, [ { "DivMod": { @@ -31273,7 +31165,7 @@ ] ], [ - 16178, + 16140, [ { "DivMod": { @@ -31299,7 +31191,7 @@ ] ], [ - 16187, + 16149, [ { "DivMod": { @@ -31325,7 +31217,7 @@ ] ], [ - 16197, + 16159, [ { "DivMod": { @@ -31351,7 +31243,7 @@ ] ], [ - 16208, + 16170, [ { "DivMod": { @@ -31377,7 +31269,7 @@ ] ], [ - 16217, + 16179, [ { "DivMod": { @@ -31403,7 +31295,7 @@ ] ], [ - 16227, + 16189, [ { "DivMod": { @@ -31429,7 +31321,7 @@ ] ], [ - 16238, + 16200, [ { "DivMod": { @@ -31455,7 +31347,7 @@ ] ], [ - 16247, + 16209, [ { "DivMod": { @@ -31481,7 +31373,7 @@ ] ], [ - 16257, + 16219, [ { "DivMod": { @@ -31507,7 +31399,7 @@ ] ], [ - 16268, + 16230, [ { "DivMod": { @@ -31533,7 +31425,7 @@ ] ], [ - 16292, + 16254, [ { "TestLessThan": { @@ -31555,7 +31447,7 @@ ] ], [ - 16317, + 16279, [ { "TestLessThan": { @@ -31577,7 +31469,7 @@ ] ], [ - 16337, + 16299, [ { "TestLessThan": { @@ -31599,7 +31491,7 @@ ] ], [ - 16382, + 16344, [ { "SystemCall": { @@ -31614,7 +31506,7 @@ ] ], [ - 16394, + 16356, [ { "SystemCall": { @@ -31635,7 +31527,7 @@ ] ], [ - 16405, + 16367, [ { "SystemCall": { @@ -31656,7 +31548,7 @@ ] ], [ - 16451, + 16413, [ { "AllocSegment": { @@ -31669,7 +31561,7 @@ ] ], [ - 16467, + 16429, [ { "DivMod": { @@ -31695,7 +31587,7 @@ ] ], [ - 16477, + 16439, [ { "DivMod": { @@ -31721,7 +31613,7 @@ ] ], [ - 16488, + 16450, [ { "DivMod": { @@ -31747,7 +31639,7 @@ ] ], [ - 16497, + 16459, [ { "DivMod": { @@ -31773,7 +31665,7 @@ ] ], [ - 16507, + 16469, [ { "DivMod": { @@ -31799,7 +31691,7 @@ ] ], [ - 16518, + 16480, [ { "DivMod": { @@ -31825,7 +31717,7 @@ ] ], [ - 16527, + 16489, [ { "AllocSegment": { @@ -31838,7 +31730,7 @@ ] ], [ - 16544, + 16506, [ { "AllocSegment": { @@ -31851,7 +31743,7 @@ ] ], [ - 16601, + 16563, [ { "SystemCall": { @@ -31866,7 +31758,7 @@ ] ], [ - 16608, + 16570, [ { "AllocConstantSize": { @@ -31882,7 +31774,7 @@ ] ], [ - 16612, + 16574, [ { "AllocSegment": { @@ -31895,7 +31787,7 @@ ] ], [ - 16647, + 16609, [ { "SystemCall": { @@ -31910,7 +31802,7 @@ ] ], [ - 16720, + 16682, [ { "DivMod": { @@ -31939,7 +31831,7 @@ ] ], [ - 16726, + 16688, [ { "TestLessThan": { @@ -31961,7 +31853,7 @@ ] ], [ - 16793, + 16755, [ { "WideMul128": { @@ -31990,7 +31882,7 @@ ] ], [ - 16795, + 16757, [ { "DivMod": { @@ -32016,7 +31908,7 @@ ] ], [ - 16805, + 16767, [ { "DivMod": { @@ -32042,7 +31934,7 @@ ] ], [ - 16816, + 16778, [ { "DivMod": { @@ -32068,7 +31960,7 @@ ] ], [ - 16825, + 16787, [ { "WideMul128": { @@ -32097,7 +31989,7 @@ ] ], [ - 16827, + 16789, [ { "DivMod": { @@ -32123,7 +32015,7 @@ ] ], [ - 16837, + 16799, [ { "DivMod": { @@ -32149,7 +32041,7 @@ ] ], [ - 16848, + 16810, [ { "DivMod": { @@ -32175,7 +32067,7 @@ ] ], [ - 16858, + 16820, [ { "TestLessThan": { @@ -32197,7 +32089,7 @@ ] ], [ - 16880, + 16842, [ { "WideMul128": { @@ -32226,7 +32118,7 @@ ] ], [ - 16882, + 16844, [ { "DivMod": { @@ -32252,7 +32144,7 @@ ] ], [ - 16892, + 16854, [ { "DivMod": { @@ -32278,7 +32170,7 @@ ] ], [ - 16903, + 16865, [ { "DivMod": { @@ -32304,7 +32196,7 @@ ] ], [ - 16913, + 16875, [ { "TestLessThan": { @@ -32326,7 +32218,7 @@ ] ], [ - 16936, + 16898, [ { "TestLessThan": { @@ -32348,7 +32240,7 @@ ] ], [ - 16958, + 16920, [ { "WideMul128": { @@ -32377,7 +32269,7 @@ ] ], [ - 16960, + 16922, [ { "DivMod": { @@ -32403,7 +32295,7 @@ ] ], [ - 16970, + 16932, [ { "DivMod": { @@ -32429,7 +32321,7 @@ ] ], [ - 16981, + 16943, [ { "DivMod": { @@ -32455,7 +32347,7 @@ ] ], [ - 16991, + 16953, [ { "TestLessThan": { @@ -32477,7 +32369,7 @@ ] ], [ - 17010, + 16972, [ { "TestLessThan": { @@ -32499,7 +32391,7 @@ ] ], [ - 17033, + 16995, [ { "TestLessThan": { @@ -32521,7 +32413,7 @@ ] ], [ - 17052, + 17014, [ { "TestLessThan": { @@ -32543,7 +32435,7 @@ ] ], [ - 17071, + 17033, [ { "TestLessThan": { @@ -32565,7 +32457,7 @@ ] ], [ - 17094, + 17056, [ { "TestLessThan": { @@ -32587,7 +32479,7 @@ ] ], [ - 17116, + 17078, [ { "Uint512DivModByUint256": { @@ -32656,7 +32548,7 @@ ] ], [ - 17134, + 17096, [ { "WideMul128": { @@ -32781,7 +32673,7 @@ ] ], [ - 17163, + 17125, [ { "TestLessThan": { @@ -32806,7 +32698,7 @@ ] ], [ - 17175, + 17137, [ { "TestLessThan": { @@ -32831,7 +32723,7 @@ ] ], [ - 17190, + 17152, [ { "DivMod": { @@ -32857,7 +32749,7 @@ ] ], [ - 17200, + 17162, [ { "DivMod": { @@ -32883,7 +32775,7 @@ ] ], [ - 17211, + 17173, [ { "DivMod": { @@ -32909,7 +32801,7 @@ ] ], [ - 17220, + 17182, [ { "DivMod": { @@ -32935,7 +32827,7 @@ ] ], [ - 17230, + 17192, [ { "DivMod": { @@ -32961,7 +32853,7 @@ ] ], [ - 17241, + 17203, [ { "DivMod": { @@ -32987,7 +32879,7 @@ ] ], [ - 17250, + 17212, [ { "DivMod": { @@ -33013,7 +32905,7 @@ ] ], [ - 17260, + 17222, [ { "DivMod": { @@ -33039,7 +32931,7 @@ ] ], [ - 17271, + 17233, [ { "DivMod": { @@ -33065,7 +32957,7 @@ ] ], [ - 17280, + 17242, [ { "DivMod": { @@ -33091,7 +32983,7 @@ ] ], [ - 17290, + 17252, [ { "DivMod": { @@ -33117,7 +33009,7 @@ ] ], [ - 17301, + 17263, [ { "DivMod": { @@ -33143,7 +33035,7 @@ ] ], [ - 17310, + 17272, [ { "DivMod": { @@ -33169,7 +33061,7 @@ ] ], [ - 17320, + 17282, [ { "DivMod": { @@ -33195,7 +33087,7 @@ ] ], [ - 17331, + 17293, [ { "DivMod": { @@ -33221,7 +33113,7 @@ ] ], [ - 17345, + 17307, [ { "TestLessThan": { @@ -33243,7 +33135,7 @@ ] ], [ - 17463, + 17425, [ { "AllocSegment": { @@ -33256,7 +33148,7 @@ ] ], [ - 17486, + 17448, [ { "TestLessThanOrEqual": { @@ -33281,7 +33173,7 @@ ] ], [ - 17561, + 17523, [ { "AllocSegment": { @@ -33294,7 +33186,7 @@ ] ], [ - 17616, + 17578, [ { "DivMod": { @@ -33323,7 +33215,7 @@ ] ], [ - 17622, + 17584, [ { "TestLessThan": { @@ -33345,7 +33237,7 @@ ] ], [ - 17635, + 17597, [ { "TestLessThan": { @@ -33367,7 +33259,7 @@ ] ], [ - 17645, + 17607, [ { "TestLessThan": { @@ -33389,7 +33281,7 @@ ] ], [ - 17693, + 17655, [ { "DivMod": { @@ -33418,7 +33310,7 @@ ] ], [ - 17699, + 17661, [ { "TestLessThan": { @@ -33440,7 +33332,7 @@ ] ], [ - 17715, + 17677, [ { "TestLessThan": { @@ -33462,7 +33354,7 @@ ] ], [ - 17725, + 17687, [ { "TestLessThan": { @@ -33484,7 +33376,7 @@ ] ], [ - 17748, + 17710, [ { "AllocSegment": { @@ -33497,7 +33389,7 @@ ] ], [ - 17762, + 17724, [ { "AllocSegment": { @@ -33510,7 +33402,7 @@ ] ], [ - 17781, + 17743, [ { "AllocSegment": { @@ -33523,7 +33415,7 @@ ] ], [ - 17795, + 17757, [ { "AllocSegment": { diff --git a/crates/blockifier/src/execution/syscalls/syscalls_test.rs b/crates/blockifier/src/execution/syscalls/syscalls_test.rs index a5cb569630..70a65018eb 100644 --- a/crates/blockifier/src/execution/syscalls/syscalls_test.rs +++ b/crates/blockifier/src/execution/syscalls/syscalls_test.rs @@ -297,7 +297,7 @@ fn test_keccak() { assert_eq!( entry_point_call.execute_directly(&mut state).unwrap().execution, - CallExecution { gas_consumed: 256250, ..CallExecution::from_retdata(retdata![]) } + CallExecution { gas_consumed: 255110, ..CallExecution::from_retdata(retdata![]) } ); } @@ -316,7 +316,7 @@ fn test_sha256() { assert_eq!( entry_point_call.execute_directly(&mut state).unwrap().execution, - CallExecution { gas_consumed: 892990, ..CallExecution::from_retdata(retdata![]) } + CallExecution { gas_consumed: 893590, ..CallExecution::from_retdata(retdata![]) } ); } @@ -794,7 +794,7 @@ fn test_secp256k1() { assert_eq!( entry_point_call.execute_directly(&mut state).unwrap().execution, - CallExecution { gas_consumed: 17033810_u64, ..Default::default() } + CallExecution { gas_consumed: 17032670_u64, ..Default::default() } ); }