Re: [patch] Add option to compute "reaching and live definitions"

2012-10-08 Thread Steven Bosscher
On Mon, Oct 8, 2012 at 3:27 PM, Paolo Bonzini wrote: > I wonder if we actually need the non-pruned version anywhere... I don't think so, but I'm not sure. Only ddg.c and loop-iv.c access the DF_RD results directly (i.e. not via DU/UD chains). For loop-iv the pruned version is fine. For ddg I didn'

Re: [patch] Add option to compute "reaching and live definitions"

2012-10-08 Thread Paolo Bonzini
Il 07/10/2012 19:18, Steven Bosscher ha scritto: > Hello, > > The attached patch adds a DF changeable flag to compute a subset of > reaching definitions that are also live at the program points they > reach. This is an idea I discussed with Paolo many years ago already, > but until today it hadn't

[patch] Add option to compute "reaching and live definitions"

2012-10-07 Thread Steven Bosscher
Hello, The attached patch adds a DF changeable flag to compute a subset of reaching definitions that are also live at the program points they reach. This is an idea I discussed with Paolo many years ago already, but until today it hadn't really ever been close to the top of my todo list, but tryin