 The generated code can be deoptimized if a speculative assumption later proves wrong.Such operation slows the performance of the running software until code is optimized again by adaptive optimization.An AOT compiler cannot make such assumptions and needs to infer as much information as possible at compile time.