File tree Expand file tree Collapse file tree 5 files changed +9
-35
lines changed Expand file tree Collapse file tree 5 files changed +9
-35
lines changed Original file line number Diff line number Diff line change @@ -109,7 +109,6 @@ repository.workspace = true
109109resolver = " 2"
110110
111111[features ]
112- default = [" with-debug-utils" ]
113112with-cheatcode = []
114113with-debug-utils = []
115114with-mem-tracing = []
Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -398,11 +398,12 @@ fn build_eval<'ctx, 'this>(
398398 location,
399399 outputs_ptr,
400400 & [ GepIndex :: Const (
401- // The offset is calculated as the prefix, which is the 4
401+ // The offset is calculated as the prefix, which is the 4
402402 // bytes from the reference counter plus the extra padding.
403403 // Then, we need to add the element stride time the current
404404 // index.
405- outputs_prefix_layout. size ( ) as i32 + elem_stride. pad_to_align ( ) . size ( ) as i32 * i as i32 ,
405+ outputs_prefix_layout. size ( ) as i32
406+ + elem_stride. pad_to_align ( ) . size ( ) as i32 * i as i32 ,
406407 ) ] ,
407408 IntegerType :: new ( context, 384 ) . into ( ) ,
408409 ) ?;
@@ -952,7 +953,7 @@ fn build_get_output<'ctx, 'this>(
952953 location,
953954 circuit_ptr,
954955 & [ GepIndex :: Const (
955- // The offset is calculated as the prefix, which is the 4
956+ // The offset is calculated as the prefix, which is the 4
956957 // bytes from the reference counter plus the extra padding.
957958 // Then, we need to add the element stride time the current
958959 // index.
Original file line number Diff line number Diff line change @@ -584,8 +584,9 @@ pub mod trace_dump_runtime {
584584
585585 // get gate values
586586 for i in 0 ..n_outputs {
587- let gate_ptr = value_ptr
588- . byte_add ( outputs_prefix_layout. size ( ) + gate_stride. pad_to_align ( ) . size ( ) * i) ;
587+ let gate_ptr = value_ptr. byte_add (
588+ outputs_prefix_layout. size ( ) + gate_stride. pad_to_align ( ) . size ( ) * i,
589+ ) ;
589590 values. push ( u384_struct_to_bigint ( gate_ptr, 4 ) ) ;
590591 }
591592
Original file line number Diff line number Diff line change @@ -406,6 +406,7 @@ pub fn build_circuit_outputs<'ctx>(
406406
407407 entry
408408 . append_operation ( ReallocBindingsMeta :: free ( context, gates_ptr, location) ?) ;
409+
409410 entry. append_operation ( scf:: r#yield ( & [ ] , location) ) ;
410411
411412 region
@@ -462,6 +463,7 @@ pub fn build_array_dup<'ctx, 'this>(
462463 let new_inputs_ptr = {
463464 let ptr_ty = llvm:: r#type:: pointer ( context, 0 ) ;
464465 let new_inputs_ptr = block. append_op_result ( llvm:: zero ( ptr_ty, location) ) ?;
466+
465467 block. append_op_result ( ReallocBindingsMeta :: realloc (
466468 context,
467469 new_inputs_ptr,
You can’t perform that action at this time.
0 commit comments