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
- From: Richard Henderson <rth at redhat dot com>
- To: Sebastian Pop <sebastian dot pop at cri dot ensmp dot fr>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Mon, 9 May 2005 17:39:47 -0700
- Subject: Re: [patch] make data dependence analyzer more strict
- References: <20050509093155.GA7153@napoca.cri.ensmp.fr>
On Mon, May 09, 2005 at 11:31:55AM +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.
Ah, you mean "arbitrary side effects" wrt its function, not wrt its
actual data dependencies didn't you? That wasn't clear.
In which case, volatile asms shouldn't be reordered, but non-volatile
may be reordered (subject to other visible data dependencies of course).
r~