On 22 July 2013 21:16, Eric Botcazou <ebotca...@adacore.com> wrote: >> And if df_live is non-zero, do we need update df_lr's IN and OUT? I think >> we need another patch to make all these consistency. > > Possibly, but this would belong to another patch. I nevertheless think that > we > should set the bit in the GEN set because we'll be testing the GEN set now. > > The patch is OK with this change if it passes the usual testing.
Thanks. Bootstrap on x86-64, ARM chrome book and Pandaboard. No make check regression on x86-64 and Pandaboard. The patch is committed with the ChangeLog updated according to your comments. -Zhenqiang >> ChangeLog >> 2013-07-22 Zhenqiang Chen <zhenqiang.c...@linaro.org> >> >> * function.c (move_insn_for_shrink_wrap): check gen of df_live if >> it exists, otherwise (-O1) give up searching. > > Capital letter at the beginning, and I'd expand a little on it, something > like: > > * function.c (move_insn_for_shrink_wrap): Also check the GEN set of > the > LIVE problem for the liveness analysis if it exists, otherwise give > up. > >> gcc/testsuite/ChangeLog >> 2013-07-22 Zhenqiang Chen <zhenqiang.c...@linaro.org> >> >> * gcc.target/arm/pr57637.c: New added. > > "New testcase" > > -- > Eric Botcazou
