[PATCH] extend cselim to check non-trapping for more references (PR tree-optimizaton/89430)

Jakub Jelinek jakub@redhat.com
Thu Jun 4 04:55:36 GMT 2020


On Thu, Jun 04, 2020 at 04:47:43AM +0000, Hao Liu OS wrote:
> The patch is refactored a little according to the last comment. Do you have more comments? If no, I will commit it later.
> 
> Tested on X86_64 and AArch64.
> 
> gcc/:
> 
>         PR tree-optimization/89430
>         * tree-ssa-phiopt.c (cond_store_replacement): Extend non-trap checking
>         to support ARRAY_REFs and COMPONENT_REFs.  Support a special case: if
>         there is a dominating load of local variable without address escape,
>         a store is not trapped (as local stack is always writable).
>         The logic is also simplified to ignore other loads, as they don't
>         help to check if a store is trapped (may be read-only).

The ChangeLog entry is certainly incorrect, it doesn't mention all the
classes and methods you've actually changed, but mentions a routine you
haven't changed at all.  And it describes the intent of the changes rather
than the details on what actually changed.  This struct got renamed and this
and this member has been added, etc.

	Jakub



More information about the Gcc-patches mailing list