update the names of jump opcodes

starkware-libs · Jan 10, 2025 · 639293f · 639293f
1 parent 07d3a9f
commit 639293f
Show file tree

Hide file tree

Showing 21 changed files with 403 additions and 517 deletions.
diff --git a/stwo_cairo_prover/crates/prover/src/cairo_air/debug_tools.rs b/stwo_cairo_prover/crates/prover/src/cairo_air/debug_tools.rs
@@ -22,13 +22,11 @@ use crate::components::{
     assert_eq_opcode_is_double_deref_t_is_imm_f, call_opcode_is_rel_f_op_1_base_fp_f,
     call_opcode_is_rel_f_op_1_base_fp_t, call_opcode_is_rel_t_op_1_base_fp_f, generic_opcode,
     jnz_opcode_is_taken_f_dst_base_fp_f, jnz_opcode_is_taken_f_dst_base_fp_t,
-    jnz_opcode_is_taken_t_dst_base_fp_f, jnz_opcode_is_taken_t_dst_base_fp_t,
-    jump_opcode_is_rel_f_is_imm_f_is_double_deref_f,
-    jump_opcode_is_rel_f_is_imm_f_is_double_deref_t,
-    jump_opcode_is_rel_t_is_imm_f_is_double_deref_f,
-    jump_opcode_is_rel_t_is_imm_t_is_double_deref_f, memory_address_to_id, memory_id_to_big,
-    mul_opcode_is_small_f_is_imm_f, mul_opcode_is_small_f_is_imm_t, range_check_19,
-    range_check_4_3, range_check_7_2_5, range_check_9_9, ret_opcode, verify_instruction,
+    jnz_opcode_is_taken_t_dst_base_fp_f, jnz_opcode_is_taken_t_dst_base_fp_t, jump_opcode,
+    jump_opcode_double_deref, jump_opcode_rel, jump_opcode_rel_imm, memory_address_to_id,
+    memory_id_to_big, mul_opcode_is_small_f_is_imm_f, mul_opcode_is_small_f_is_imm_t,
+    range_check_19, range_check_4_3, range_check_7_2_5, range_check_9_9, ret_opcode,
+    verify_instruction,
 };
 use crate::felt::split_f252;
 use crate::relations;
@@ -344,11 +342,11 @@ where
             .entries(trace),
         );
     }
-    for claim in claim.opcodes.jump_f_f_f.clone() {
+    for claim in claim.opcodes.jump.clone() {
         entries.extend(
             RelationTrackerComponent::new(
                 tree_span_provider,
-                jump_opcode_is_rel_f_is_imm_f_is_double_deref_f::Eval {
+                jump_opcode::Eval {
                     claim,
                     memory_address_to_id_lookup_elements: relations::MemoryAddressToId::dummy(),
                     memory_id_to_big_lookup_elements: relations::MemoryIdToBig::dummy(),
@@ -360,11 +358,11 @@ where
             .entries(trace),
         );
     }
-    for claim in claim.opcodes.jump_f_f_t.clone() {
+    for claim in claim.opcodes.jump_opcode_double_deref.clone() {
         entries.extend(
             RelationTrackerComponent::new(
                 tree_span_provider,
-                jump_opcode_is_rel_f_is_imm_f_is_double_deref_t::Eval {
+                jump_opcode_double_deref::Eval {
                     claim,
                     memory_address_to_id_lookup_elements: relations::MemoryAddressToId::dummy(),
                     memory_id_to_big_lookup_elements: relations::MemoryIdToBig::dummy(),
@@ -376,11 +374,11 @@ where
             .entries(trace),
         );
     }
-    for claim in claim.opcodes.jump_t_f_f.clone() {
+    for claim in claim.opcodes.jump_opcode_rel.clone() {
         entries.extend(
             RelationTrackerComponent::new(
                 tree_span_provider,
-                jump_opcode_is_rel_t_is_imm_f_is_double_deref_f::Eval {
+                jump_opcode_rel::Eval {
                     claim,
                     memory_address_to_id_lookup_elements: relations::MemoryAddressToId::dummy(),
                     memory_id_to_big_lookup_elements: relations::MemoryIdToBig::dummy(),
@@ -392,11 +390,11 @@ where
             .entries(trace),
         );
     }
-    for claim in claim.opcodes.jump_t_t_f.clone() {
+    for claim in claim.opcodes.jump_opcode_rel_imm.clone() {
         entries.extend(
             RelationTrackerComponent::new(
                 tree_span_provider,
-                jump_opcode_is_rel_t_is_imm_t_is_double_deref_f::Eval {
+                jump_opcode_rel_imm::Eval {
                     claim,
                     memory_address_to_id_lookup_elements: relations::MemoryAddressToId::dummy(),
                     memory_id_to_big_lookup_elements: relations::MemoryIdToBig::dummy(),