src/share/vm/opto/loopTransform.cpp

changeset 836
ee8f06bfb27c
parent 835
cc80376deb0c
child 855
a1980da045cc
     1.1 --- a/src/share/vm/opto/loopTransform.cpp	Thu Oct 02 08:37:44 2008 -0700
     1.2 +++ b/src/share/vm/opto/loopTransform.cpp	Fri Oct 03 13:58:20 2008 -0700
     1.3 @@ -1590,10 +1590,10 @@
     1.4  
     1.5  //=============================================================================
     1.6  //------------------------------iteration_split_impl---------------------------
     1.7 -void IdealLoopTree::iteration_split_impl( PhaseIdealLoop *phase, Node_List &old_new ) {
     1.8 +bool IdealLoopTree::iteration_split_impl( PhaseIdealLoop *phase, Node_List &old_new ) {
     1.9    // Check and remove empty loops (spam micro-benchmarks)
    1.10    if( policy_do_remove_empty_loop(phase) )
    1.11 -    return;                     // Here we removed an empty loop
    1.12 +    return true;                     // Here we removed an empty loop
    1.13  
    1.14    bool should_peel = policy_peeling(phase); // Should we peel?
    1.15  
    1.16 @@ -1603,7 +1603,8 @@
    1.17    // This removes loop-invariant tests (usually null checks).
    1.18    if( !_head->is_CountedLoop() ) { // Non-counted loop
    1.19      if (PartialPeelLoop && phase->partial_peel(this, old_new)) {
    1.20 -      return;
    1.21 +      // Partial peel succeeded so terminate this round of loop opts
    1.22 +      return false;
    1.23      }
    1.24      if( should_peel ) {            // Should we peel?
    1.25  #ifndef PRODUCT
    1.26 @@ -1613,14 +1614,14 @@
    1.27      } else if( should_unswitch ) {
    1.28        phase->do_unswitching(this, old_new);
    1.29      }
    1.30 -    return;
    1.31 +    return true;
    1.32    }
    1.33    CountedLoopNode *cl = _head->as_CountedLoop();
    1.34  
    1.35 -  if( !cl->loopexit() ) return; // Ignore various kinds of broken loops
    1.36 +  if( !cl->loopexit() ) return true; // Ignore various kinds of broken loops
    1.37  
    1.38    // Do nothing special to pre- and post- loops
    1.39 -  if( cl->is_pre_loop() || cl->is_post_loop() ) return;
    1.40 +  if( cl->is_pre_loop() || cl->is_post_loop() ) return true;
    1.41  
    1.42    // Compute loop trip count from profile data
    1.43    compute_profile_trip_cnt(phase);
    1.44 @@ -1633,11 +1634,11 @@
    1.45        // Here we did some unrolling and peeling.  Eventually we will
    1.46        // completely unroll this loop and it will no longer be a loop.
    1.47        phase->do_maximally_unroll(this,old_new);
    1.48 -      return;
    1.49 +      return true;
    1.50      }
    1.51      if (should_unswitch) {
    1.52        phase->do_unswitching(this, old_new);
    1.53 -      return;
    1.54 +      return true;
    1.55      }
    1.56    }
    1.57  
    1.58 @@ -1698,14 +1699,16 @@
    1.59      if( should_peel )           // Might want to peel but do nothing else
    1.60        phase->do_peeling(this,old_new);
    1.61    }
    1.62 +  return true;
    1.63  }
    1.64  
    1.65  
    1.66  //=============================================================================
    1.67  //------------------------------iteration_split--------------------------------
    1.68 -void IdealLoopTree::iteration_split( PhaseIdealLoop *phase, Node_List &old_new ) {
    1.69 +bool IdealLoopTree::iteration_split( PhaseIdealLoop *phase, Node_List &old_new ) {
    1.70    // Recursively iteration split nested loops
    1.71 -  if( _child ) _child->iteration_split( phase, old_new );
    1.72 +  if( _child && !_child->iteration_split( phase, old_new ))
    1.73 +    return false;
    1.74  
    1.75    // Clean out prior deadwood
    1.76    DCE_loop_body();
    1.77 @@ -1727,7 +1730,9 @@
    1.78        _allow_optimizations &&
    1.79        !tail()->is_top() ) {     // Also ignore the occasional dead backedge
    1.80      if (!_has_call) {
    1.81 -      iteration_split_impl( phase, old_new );
    1.82 +      if (!iteration_split_impl( phase, old_new )) {
    1.83 +        return false;
    1.84 +      }
    1.85      } else if (policy_unswitching(phase)) {
    1.86        phase->do_unswitching(this, old_new);
    1.87      }
    1.88 @@ -1736,5 +1741,7 @@
    1.89    // Minor offset re-organization to remove loop-fallout uses of
    1.90    // trip counter.
    1.91    if( _head->is_CountedLoop() ) phase->reorg_offsets( this );
    1.92 -  if( _next ) _next->iteration_split( phase, old_new );
    1.93 +  if( _next && !_next->iteration_split( phase, old_new ))
    1.94 +    return false;
    1.95 +  return true;
    1.96  }

mercurial