Merge "Fix premature deoptimization if the loop body isn't entered."