[LLVMdev] Parallel Loop Metadata

[Redmond, Paul]

The documentation isn't clear about the uniqueness of loop identifier metadata. Should every loop have a unique loop id metadata? I think the answer is yes but I'm not sure how this can be enforced.

A particular case I'm thinking of is something like:

void foo() {
  for (...) {
  }
}

void bar() {
  for (...) {
    foo();
  }
}

If the loops in foo and bar have the same loop id metadata and foo is inlined then you have two loops with the same id.

paul

On 2013-02-13, at 1:13 PM, Pekka Jääskeläinen wrote:

> On 02/12/2013 11:59 PM, Nadav Rotem wrote:
>> LGTM. Please commit.
> 
> Committed in r175060. Thanks all for the feedback.
> 
> Yes, let's see what evolves as the best way to keep the metadata
> updated after "non-serializing optimizations".
> 
> This metadata is produced by pocl for the "work-item loops" in
> the work group functions. Perhaps the #pragma ivdep support in Clang is
> going to be the next producer.
> 
> -- 
> --Pekka
> 
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev