5091921: Sign flip issues in loop optimizer

Summary: Fix integer overflow problem in the code generated by loop optimizer.
Reviewed-by: never

1 files changed, 4 insertions, 0 deletions

diff --git a/src/share/vm/opto/graphKit.cpp b/src/share/vm/opto/graphKit.cpp
index b1ed1edbc..db6125896 100644
--- a/src/share/vm/opto/graphKit.cpp
+++ b/src/share/vm/opto/graphKit.cpp
@@ -3378,6 +3378,10 @@ void GraphKit::add_predicate(int nargs) {
   if (UseLoopPredicate) {
     add_predicate_impl(Deoptimization::Reason_predicate, nargs);
   }
+  // loop's limit check predicate should be near the loop.
+  if (LoopLimitCheck) {
+    add_predicate_impl(Deoptimization::Reason_loop_limit_check, nargs);
+  }
 }
 
 //----------------------------- store barriers ----------------------------