This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] make data dependence analyzer more strict
Sebastian Pop wrote:
> Yes. What about the following patch? I'm bootstrapping it (c only)
> on amd64-linux.
>
> * tree-data-ref.c (find_data_references_in_loop): Give up when
> the body of the loop contains a CALL_EXPR or an ASM_EXPR: they
> may embed arbitrary side effects.
> Remove the assumption that GIMPLE form contains a single array
> access per statement.
> When the statement contains virtual operands, fail if it is not
> a MODIFY_EXPR or a CALL_EXPR.
> Return after the dont know node is inserted.
>
Bootstrapped (c-only) and tested (ltrans-5.c fails, but will be
removed) on x86_64-unknown-linux-gnu.