Merge "Deoptimization-based BCE for unknown loop bounds."