2010-11-25 Alexander Monakov <amonakov@ispras.ru>
+ PR rtl-optimization/46585
+ * sel-sched-ir.c (return_regset_to_pool): Verify that RS is not NULL.
+ (vinsn_init): Skip computation of dependencies for local NOPs.
+ (vinsn_delete): Don't try to free regsets for local NOPs.
+ (setup_nop_and_exit_insns): Change definition of nop_pattern.
+
+2010-11-25 Alexander Monakov <amonakov@ispras.ru>
+
PR rtl-optimization/46602
* sel-sched-ir.c (maybe_tidy_empty_bb): Move checking ...
(tidy_control_flow): Here.
void
return_regset_to_pool (regset rs)
{
+ gcc_assert (rs);
regset_pool.diff--;
if (regset_pool.n == regset_pool.s)
VINSN_COUNT (vi) = 0;
vi->cost = -1;
+ if (INSN_NOP_P (insn))
+ return;
+
if (DF_INSN_UID_SAFE_GET (INSN_UID (insn)) != NULL)
init_id_from_df (VINSN_ID (vi), insn, force_unique_p);
else
{
gcc_assert (VINSN_COUNT (vi) == 0);
- return_regset_to_pool (VINSN_REG_SETS (vi));
- return_regset_to_pool (VINSN_REG_USES (vi));
- return_regset_to_pool (VINSN_REG_CLOBBERS (vi));
+ if (!INSN_NOP_P (VINSN_INSN_RTX (vi)))
+ {
+ return_regset_to_pool (VINSN_REG_SETS (vi));
+ return_regset_to_pool (VINSN_REG_USES (vi));
+ return_regset_to_pool (VINSN_REG_CLOBBERS (vi));
+ }
free (vi);
}
gcc_assert (nop_pattern == NULL_RTX
&& exit_insn == NULL_RTX);
- nop_pattern = gen_nop ();
+ nop_pattern = constm1_rtx;
start_sequence ();
emit_insn (nop_pattern);
+2010-11-25 Alexander Monakov <amonakov@ispras.ru>
+
+ PR rtl-optimization/46585
+ * gcc.dg/pr46585.c: New.
+
2010-11-24 Richard Henderson <rth@redhat.com>
* lib/target-supports.exp (vect_widen_sum_hi_to_si_pattern,
--- /dev/null
+/* { dg-do compile { target powerpc*-*-* ia64-*-* i?86-*-* x86_64-*-* } } */
+/* { dg-options "-fno-dce -fschedule-insns -fselective-scheduling" } */
+void
+foo (void)
+{
+ switch (0)
+ {
+ default:
+ break;
+ }
+}