The const evaluation for virtual address loads and stores is sometimes too eager. This bug causes the broken mechanism in the Indiana Jones intro.
The fix is to deoptimize the const evaluation when virtual address resolution fails at compile time. This generates code that evaluates the VAddr at runtime (a deoptimization).
Regenerating the block after it has run successfully just isn't an option right now. It would have to recompile everything, since invalidating only a subset of compiled blocks is not available. This would be a good way to regain the const evaluation optimization, if it were possible.
The const evaluation for virtual address loads and stores is sometimes too eager. This bug causes the broken mechanism in the Indiana Jones intro.
The fix is to deoptimize the const evaluation when virtual address resolution fails at compile time. This generates code that evaluates the VAddr at runtime (a deoptimization).
Regenerating the block after it has run successfully just isn't an option right now. It would have to recompile everything, since invalidating only a subset of compiled blocks is not available. This would be a good way to regain the const evaluation optimization, if it were possible.