Lines Matching refs:InterpreterState
27 state: InterpreterState<'a>,
32 pub fn new(state: InterpreterState<'a>) -> Self { in new()
198 pub struct InterpreterState<'a> { struct
209 impl Default for InterpreterState<'_> { argument
228 impl<'a> InterpreterState<'a> { implementation
240 impl<'a> State<'a> for InterpreterState<'a> { implementation
587 let state = InterpreterState::default().with_function_store(env); in sanity()
606 let state = InterpreterState::default().with_function_store(env); in udiv_by_zero_traps()
627 let state = InterpreterState::default().with_function_store(env); in sdiv_min_by_neg_one_traps_with_overflow()
661 let state = InterpreterState::default().with_function_store(env); in function_references()
683 let state = InterpreterState::default().with_function_store(env.clone()); in fuel()
690 let state = InterpreterState::default().with_function_store(env.clone()); in fuel()
700 let state = InterpreterState::default().with_function_store(env.clone()); in fuel()
751 let state = InterpreterState::default().with_function_store(env); in stack_slots_multi_functions()
782 let state = InterpreterState::default().with_function_store(env); in out_of_slot_write_traps()
808 let state = InterpreterState::default().with_function_store(env); in partial_out_of_slot_write_traps()
833 let state = InterpreterState::default().with_function_store(env); in out_of_slot_read_traps()
858 let state = InterpreterState::default().with_function_store(env); in partial_out_of_slot_read_traps()
886 let state = InterpreterState::default().with_function_store(env); in partial_out_of_slot_read_by_addr_traps()
914 let state = InterpreterState::default().with_function_store(env); in partial_out_of_slot_write_by_addr_traps()
938 let state = InterpreterState::default().with_function_store(env); in srem_trap()
960 let state = InterpreterState::default() in libcall()
993 let state = InterpreterState::default().with_function_store(env); in misaligned_store_traps()
1016 let state = InterpreterState::default().with_function_store(env); in misaligned_load_traps()
1056 let state = InterpreterState::default().with_function_store(env); in trap_across_call_propagates_correctly()