Expand description
Main evaluator loop and setting up the initial stack frame.
Structsยง
- Miri
Config - Configuration needed to spawn a Miri instance.
Enumsยง
- Alignment
Check - Backtrace
Style - Isolated
Op - Main
Thread ๐State - The state of the main thread. Implementation detail of
on_main_stack_empty
. - Miri
Entry FnType - Reject
OpWith - Validation
Mode
Constantsยง
- MAIN_
THREAD_ ๐YIELDS_ AT_ SHUTDOWN - When the main thread would exit, we will yield to any other thread that is ready to execute.
But we must only do that a finite number of times, or a background thread running
loop {}
will hang the program.
Functionsยง
- args_
to_ ๐utf16_ command_ string - Turns an array of arguments into a Windows command line string.
- create_
ecx - Returns a freshly created
InterpCx
. Public because this is also used bypriroda
. - eval_
entry - Evaluates the entry function specified by
entry_id
. ReturnsSome(return_code)
if program execution completed. ReturnsNone
if an evaluation error occurred.