This commit depends on this PR landing on cranelift: https://github.com/CraneStation/cranelift/pull/612