This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [patch] if-conversion of loops with conditionals containing memory loads and stores

From: Jeff Law <law at redhat dot com>
To: Sebastian Pop <sebpop at gmail dot com>
Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>, Richard Guenther <rguenther at suse dot de>
Date: Wed, 23 Jun 2010 10:28:34 -0600
Subject: Re: [patch] if-conversion of loops with conditionals containing memory loads and stores
References: <AANLkTilFiv9bzm6E8LACu5-S7twh6w6uB2c91tgjMIAP@mail.gmail.com>

On 06/22/10 14:17, Sebastian Pop wrote:

Hi,
The attached patches (on top of the previous patch set) are needed to
if-convert the DCT loop kernel of FFmpeg.
0009 replaces the memory writes that are in predicated basic blocks with a full write: "if (cond) A[i] = foo" is replaced with "A[i] = cond ? foo : A[i]". In order to do this, the patch replaces the call to gimple_assign_rhs_could_trap_p with gimple_could_trap_p, as we now have to check that the LHS of assign stmts in conditions do not trap.

Doesn't this run afoul of the C++0x memory model?

Jeff

Follow-Ups:
- Re: [patch] if-conversion of loops with conditionals containing memory loads and stores
  - From: Sebastian Pop
- Re: [patch] if-conversion of loops with conditionals containing memory loads and stores
  - From: Joseph S. Myers

References:
- [patch] if-conversion of loops with conditionals containing memory loads and stores
  - From: Sebastian Pop

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]