From 91b63c49f23d5cd7917ad7f7bc91c21d3bf7b564 Mon Sep 17 00:00:00 2001 From: kvn Date: Wed, 7 Jan 2009 11:04:45 -0800 Subject: 6782232: assert("CreateEx must be first instruction in block" ) Summary: Add the missing check for CreateEx. Add new notproduct flag VerifyRegisterAllocator. Reviewed-by: never --- src/share/vm/opto/chaitin.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/share/vm/opto/chaitin.cpp') diff --git a/src/share/vm/opto/chaitin.cpp b/src/share/vm/opto/chaitin.cpp index 0456db5dc..3d98f65d6 100644 --- a/src/share/vm/opto/chaitin.cpp +++ b/src/share/vm/opto/chaitin.cpp @@ -307,7 +307,7 @@ void PhaseChaitin::Register_Allocate() { if (C->failing()) return; #ifdef ASSERT - if( VerifyOpto ) { + if( VerifyOpto || VerifyRegisterAllocator ) { _cfg.verify(); verify_base_ptrs(&live_arena); } @@ -340,7 +340,7 @@ void PhaseChaitin::Register_Allocate() { compress_uf_map_for_nodes(); #ifdef ASSERT - if( VerifyOpto ) _ifg->verify(this); + if( VerifyOpto || VerifyRegisterAllocator ) _ifg->verify(this); #endif } else { ifg.SquareUp(); @@ -377,7 +377,7 @@ void PhaseChaitin::Register_Allocate() { C->check_node_count(2*NodeLimitFudgeFactor, "out of nodes after split"); if (C->failing()) return; #ifdef ASSERT - if( VerifyOpto ) { + if( VerifyOpto || VerifyRegisterAllocator ) { _cfg.verify(); verify_base_ptrs(&live_arena); } @@ -412,7 +412,7 @@ void PhaseChaitin::Register_Allocate() { } compress_uf_map_for_nodes(); #ifdef ASSERT - if( VerifyOpto ) _ifg->verify(this); + if( VerifyOpto || VerifyRegisterAllocator ) _ifg->verify(this); #endif cache_lrg_info(); // Count degree of LRGs @@ -956,7 +956,7 @@ void PhaseChaitin::Simplify( ) { while ((neighbor = elements.next()) != 0) { LRG *n = &lrgs(neighbor); #ifdef ASSERT - if( VerifyOpto ) { + if( VerifyOpto || VerifyRegisterAllocator ) { assert( _ifg->effective_degree(neighbor) == n->degree(), "" ); } #endif -- cgit v1.2.3