Support reg or stack constraints

[bjorn3]

This would for example be useful for https://github.com/bytecodealliance/wasmtime/issues/2633. The ghost_use instruction there shouldn't force the value to be in a register. It merely needs it to be available somewhere.