Re: asm goto vs simulate_block

2009-09-01 Thread Richard Henderson
On 08/31/2009 05:06 PM, Richard Henderson wrote: The following patch appears to work for both. I'll commit it after a bootstrap and test cycle completes. Committed with one additional change, to prevent VRP from crashing. r~ (vrp_visit_stmt): Be prepared for non-interesting stmts.

Re: asm goto vs simulate_block

2009-08-31 Thread Richard Henderson
My guess, witjout seeing the testcase. In ccp_initialize we have: for (i = gsi_start_bb (bb); !gsi_end_p (i); gsi_next (&i)) { gimple stmt = gsi_stmt (i); bool is_varying = surely_varying_stmt_p (stmt); if (is_varying) { tree

Re: asm goto vs simulate_block

2009-08-27 Thread Daniel Berlin
My guess, witjout seeing the testcase. In ccp_initialize we have: for (i = gsi_start_bb (bb); !gsi_end_p (i); gsi_next (&i)) { gimple stmt = gsi_stmt (i); bool is_varying = surely_varying_stmt_p (stmt); if (is_varying) { tree d

asm goto vs simulate_block

2009-08-27 Thread Richard Henderson
The kernel folk here at Red Hat have given me a test case (which I'll be happy to forward, along a complete patch vs mainline) which gets miscompiled because we never get around to adding all of the appropriate blocks outgoing from an asm-goto to the simulation. I can't figure out why the VARY