This is the mail archive of the
mailing list for the GCC project.
Re: [patch] make data dependence analyzer more strict
On Tue, May 10, 2005 at 01:15:54PM +0200, Sebastian Pop wrote:
> * 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.