Fix transform_to_exit_first_loop_alt with -g

2015-11-06  Tom de Vries  <tom@codesourcery.com>

	* tree-cfg.c (gimple_split_block_before_cond_jump): Split before
	cond_jump, instead of split after last nondebug insn before cond_jump.
	* tree-parloops.c (transform_to_exit_first_loop_alt): Verify ssa before
	returning.

From-SVN: r229847
This commit is contained in:
Tom de Vries 2015-11-06 13:21:51 +00:00 committed by Tom de Vries
parent c9aa6b940f
commit 4a4b6c4c27
3 changed files with 10 additions and 1 deletions

View File

@ -1,3 +1,10 @@
2015-11-06 Tom de Vries <tom@codesourcery.com>
* tree-cfg.c (gimple_split_block_before_cond_jump): Split before
cond_jump, instead of split after last nondebug insn before cond_jump.
* tree-parloops.c (transform_to_exit_first_loop_alt): Verify ssa before
returning.
2015-11-06 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/68088

View File

@ -5783,7 +5783,7 @@ gimple_split_block_before_cond_jump (basic_block bb)
if (gimple_code (last) != GIMPLE_COND
&& gimple_code (last) != GIMPLE_SWITCH)
return NULL;
gsi_prev_nondebug (&gsi);
gsi_prev (&gsi);
split_point = gsi_stmt (gsi);
return split_block (bb, split_point)->dest;
}

View File

@ -1737,6 +1737,8 @@ transform_to_exit_first_loop_alt (struct loop *loop,
/* Recalculate dominance info. */
free_dominance_info (CDI_DOMINATORS);
calculate_dominance_info (CDI_DOMINATORS);
checking_verify_ssa (true, true);
}
/* Tries to moves the exit condition of LOOP to the beginning of its header