On Wed, Feb 8, 2012 at 1:02 PM, Bernd Schmidt <ber...@codesourcery.com> wrote: > On 02/07/2012 11:33 PM, Steven Bosscher wrote: >> On Tue, Feb 7, 2012 at 11:19 PM, Ramana Radhakrishnan >> <ramana.radhakrish...@linaro.org> wrote: >>> Hi Andrew >>> >>> I find it interesting that cond_exec's in this form survive all the >>> way till reload and "work". AFAIK we could never have cond_exec's >>> before reload . >> >> There is nothing wrong per-se with cond_execs before reload, as long >> as you don't have to reload a predicate pseudo-reg. > > I thought the problem was that we'd have to emit conditional reload > insns and inheritance wouldn't work.
It probably depends on how DF sees conditional uses / defs. If they look like regular uses / defs then I suppose un-conditional spills/reloads are fine - otherwise of course you'd corrupt one of the two register set states. But that also means it's probably safe if the sequence of conditional insns is of length 1. Not sure we want to open that possible can of worms though ;) Richard. > > Bernd
