[PATCH] parallel loop metadata

[Pekka Jääskeläinen]

On 01/29/2013 08:22 PM, Dan Gohman wrote:
> "Ignore assumed dependencies" is shaky semantics. I haven't seen anything
> explicitly spell out which dependencies a compiler is guaranteed to detect.
> How  can users use such a directive safely in a loop which has dependencies?
> I understand that this is what icc's documentation says, but I'm wondering
> if there's a real motivation for this design other than blind compatibility.

I agree. I was puzzled by it myself until I ended up concluding that
if the set of required analysis is not defined it can be an empty set,
thus equivalent to "no dep checking at all needed":

http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-January/058727.html

Maybe the safe thing here is to rename it back to the honest
"llvm.loop.parallel" or similar and we can add a separate one for
the assumed_dep later on. This one would support the truly parallel
loops (at least OpenMP for and OpenCL WIloops) where no compiler
checking at all can be assumed by the programmer.

Any objections? Paul Redmond?

-- 
--Pekka