On Mon, Apr 9, 2012 at 6:11 PM, Eric Botcazou <ebotca...@adacore.com> wrote:
>> Isn't the gimple cfg-cleanup we run post optimization (right before
>> expansion) not enough? Or the cfg-cleanup we perform right after expansion
>> now? At least if the branches are really caused by the gimplification
>> process I would expect things to be cleaned up at this point, no?
> At least the patch has a non-null (albeit minor) effect, which pertains mainly
> to jump threading (typical diff attached, Ada code at -O0 on x86-64).
So it's trivial forwarders that are removed. I wonder why cfgcleanup on the
tree level does not do this, or why it does that on the RTL level. Are the
blocks becoming empty only during/after register allocation?
> Eric Botcazou