src/share/vm/c1/c1_Optimizer.cpp

rev 5400 : 8023657: New type profiling points: arguments to call
Summary: x86 interpreter and c1 type profiling for arguments at calls
Reviewed-by: kvn, twisti
rev 5401 : 8026054: New type profiling points: type of return values at calls
Summary: x86 interpreter and c1 type profiling for return values at calls
Reviewed-by:

*** 529,538 ****
--- 529,539 ----
    void do_UnsafePutObject(UnsafePutObject* x);
    void do_UnsafeGetAndSetObject(UnsafeGetAndSetObject* x);
    void do_UnsafePrefetchRead (UnsafePrefetchRead*  x);
    void do_UnsafePrefetchWrite(UnsafePrefetchWrite* x);
    void do_ProfileCall    (ProfileCall*     x);
+   void do_ProfileReturnType (ProfileReturnType*  x);
    void do_ProfileInvoke  (ProfileInvoke*   x);
    void do_RuntimeCall    (RuntimeCall*     x);
    void do_MemBar         (MemBar*          x);
    void do_RangeCheckPredicate(RangeCheckPredicate* x);
  #ifdef ASSERT
*** 656,665 ****
--- 657,667 ----
    void handle_AccessMonitor   (AccessMonitor* x);
    void handle_Intrinsic       (Intrinsic* x);
    void handle_ExceptionObject (ExceptionObject* x);
    void handle_Phi             (Phi* x);
    void handle_ProfileCall     (ProfileCall* x);
+   void handle_ProfileReturnType (ProfileReturnType* x);
  };
  
  
  // NEEDS_CLEANUP
  // There may be other instructions which need to clear the last
*** 716,725 ****
--- 718,728 ----
  void NullCheckVisitor::do_UnsafeGetAndSetObject(UnsafeGetAndSetObject* x) {}
  void NullCheckVisitor::do_UnsafePrefetchRead (UnsafePrefetchRead*  x) {}
  void NullCheckVisitor::do_UnsafePrefetchWrite(UnsafePrefetchWrite* x) {}
  void NullCheckVisitor::do_ProfileCall    (ProfileCall*     x) { nce()->clear_last_explicit_null_check();
                                                                  nce()->handle_ProfileCall(x); }
+ void NullCheckVisitor::do_ProfileReturnType (ProfileReturnType* x) { nce()->handle_ProfileReturnType(x); }
  void NullCheckVisitor::do_ProfileInvoke  (ProfileInvoke*   x) {}
  void NullCheckVisitor::do_RuntimeCall    (RuntimeCall*     x) {}
  void NullCheckVisitor::do_MemBar         (MemBar*          x) {}
  void NullCheckVisitor::do_RangeCheckPredicate(RangeCheckPredicate* x) {}
  #ifdef ASSERT
*** 1140,1149 ****
--- 1143,1156 ----
    for (int i = 0; i < x->nb_profiled_args(); i++) {
      x->set_arg_needs_null_check(i, !set_contains(x->profiled_arg_at(i)));
    }
  }
  
+ void NullCheckEliminator::handle_ProfileReturnType(ProfileReturnType* x) {
+   x->set_needs_null_check(!set_contains(x->ret()));
+ }
+ 
  void Optimizer::eliminate_null_checks() {
    ResourceMark rm;
  
    NullCheckEliminator nce(this);