In some cases the speculative JIT may have evidence that speculating on the type of a particular variable is unprofitable. In those cases it's likely to make sense to emit what the non-speculative JIT would have emitted, but only for uses of that variable. Doing this requires having the non-speculative JIT's code generator available on a per-opcode basis in the form of helper methods in JITCodeGenerator.
Created attachment 107542 [details]
Landed in r95230.