Merge "BCE: don't add deoptimization if the loop has early exit."