Skip to content
Open
Show file tree
Hide file tree
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 6 additions & 6 deletions code_producers/src/wasm_elements/wasm_code_generator.rs
Original file line number Diff line number Diff line change
Expand Up @@ -220,15 +220,15 @@ pub fn default_memory_for_stack_kib() -> usize {
10
}

pub fn exception_code_singal_not_found() -> usize {
pub fn exception_code_signal_not_found() -> usize {
1
}

pub fn exception_code_no_remaing_singals_to_set() -> usize {
pub fn exception_code_no_remaing_signals_to_set() -> usize {
Comment thread
maximevtush marked this conversation as resolved.
Outdated
2
}

pub fn exception_code_singals_already_set() -> usize {
pub fn exception_code_signals_already_set() -> usize {
3
}

Expand Down Expand Up @@ -1097,7 +1097,7 @@ pub fn set_input_signal_generator(producer: &WASMProducer) -> Vec<WasmInstructio
instructions.push(get_local("$ns"));
instructions.push(eqz32());
instructions.push(add_if()); // if 1
instructions.push(set_constant(&exception_code_no_remaing_singals_to_set().to_string()));
instructions.push(set_constant(&exception_code_no_remaing_signals_to_set().to_string()));
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ditto.

instructions.push(call("$exceptionHandler"));
instructions.push(add_else()); // else if 1
instructions.push(get_local("$hmsb"));
Expand All @@ -1111,7 +1111,7 @@ pub fn set_input_signal_generator(producer: &WASMProducer) -> Vec<WasmInstructio
instructions.push(tee_local("$mp"));
instructions.push(eqz32());
instructions.push(add_if()); // if 2
instructions.push(set_constant(&exception_code_singal_not_found().to_string()));
instructions.push(set_constant(&exception_code_signal_not_found().to_string()));
instructions.push(call("$exceptionHandler"));
instructions.push(add_else()); // else if 2
instructions.push(get_local("$pos"));
Expand All @@ -1132,7 +1132,7 @@ pub fn set_input_signal_generator(producer: &WASMProducer) -> Vec<WasmInstructio
instructions.push(sub32());
instructions.push(call("$checkIfInputSignalSet"));
instructions.push(add_if()); // if 4
instructions.push(set_constant(&exception_code_singals_already_set().to_string()));
instructions.push(set_constant(&exception_code_signals_already_set().to_string()));
instructions.push(call("$exceptionHandler"));
instructions.push(add_else()); // else if 4
instructions.push(get_local("$sip"));
Expand Down
4 changes: 2 additions & 2 deletions constraint_generation/src/execute.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1327,7 +1327,7 @@ fn execute_bus_declaration(
}

/*
In case the assigment could be a constraint generator the returned value is the constraint
In case the assignment could be a constraint generator the returned value is the constraint
that will be created
*/
enum ExecutedStructure<'a>{
Expand Down Expand Up @@ -1939,7 +1939,7 @@ fn perform_assign(
}

if FoldedValue::valid_bus_node_pointer(&r_folded){
// in this case we are performing an assigment of the type in the node_pointer
// in this case we are performing an assignment of the type in the node_pointer
// to the bus in the left

let bus_pointer = r_folded.bus_node_pointer.unwrap();
Expand Down