I think tiered and speculative optimisation are independent concepts. Tiered is specifically that you have a fast compiler and a slow compiler (or further tier

I think tiered and speculative optimisation are independent concepts. Tiered is specifically that you have a fast compiler and a slow compiler (or further tiers). Speculative is as you describe.