> 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.
> 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
