bytecodealliance / wasmtime

A fast and secure runtime for WebAssembly
https://wasmtime.dev/
Apache License 2.0
14.82k stars 1.23k forks source link

Cranelift: Traps need not be considered GC safepoints anymore #8810

Closed fitzgen closed 2 weeks ago

fitzgen commented 2 weeks ago

After https://github.com/bytecodealliance/wasmtime/pull/8809, the mutator cannot resume from a trap so we don't need to consider them safepoints, as no GC-managed references are live after the trap. The one exception being the debugtrap CLIF instruction, which is technically still a resumable trap, but which exists only for emitting the equivalent of an int3 breakpoint instruction for pausing in a debugger to inspect state, and should never be used for mutator-collector interactions.