Re: [RFC] split2 vs df

2011-10-07 Thread Paolo Bonzini
On 10/07/2011 12:15 AM, Richard Henderson wrote: diff --git a/gcc/recog.c b/gcc/recog.c index d3ecb73..e0557c5 100644 --- a/gcc/recog.c +++ b/gcc/recog.c @@ -3769,20 +3769,33 @@ struct rtl_opt_pass pass_split_all_insns = static unsigned int rest_of_handle_split_after_reload (void) { - /*

[RFC] split2 vs df

2011-10-06 Thread Richard Henderson
This is PR 49801. The problem is that liveness data is not updated by split2, so when cmp-elim runs next and *does* update it, we get verify failures. As I note in the PR, I clearly have no idea how the interface to df is supposed to work. All of the examples say df_analyze is supposed to be run