Stream: git-wasmtime

Topic: wasmtime / issue #12822 It is unclear if MemFlags::can_mo...

Wasmtime GitHub notifications bot (Mar 22 2026 at 10:55):

ultimaweapon opened issue #12822:

Docs from current version said:

If this is true, then it is okay to code motion this instruction to arbitrary locations, in the function, including across blocks and conditional branches, so long as data dependencies (and trap ordering, if any) are upheld.

It does not mention if the instruction can move across a call.

Wasmtime GitHub notifications bot (Mar 26 2026 at 16:23):

cfallin commented on issue #12822:

Yes, loads tagged with can_move can move across calls as well, as long as the other flags (readonly and notrap) also allow this without changing observable behavior.

Wasmtime GitHub notifications bot (Mar 26 2026 at 16:23):

cfallin closed issue #12822:

Docs from current version said:

If this is true, then it is okay to code motion this instruction to arbitrary locations, in the function, including across blocks and conditional branches, so long as data dependencies (and trap ordering, if any) are upheld.

It does not mention if the instruction can move across a call.

Last updated: Apr 13 2026 at 00:25 UTC