[LLVMdev] Proposal for ""llvm.mem.vectorize.safelen"

[Hal Finkel]

----- Original Message -----
> From: "Renato Golin" <renato.golin at linaro.org>
> To: "Hal Finkel" <hfinkel at anl.gov>
> Cc: "Arnold Schwaighofer" <aschwaighofer at apple.com>, "Arch Robison" <arch.robison at intel.com>, "LLVM Dev"
> <llvmdev at cs.uiuc.edu>
> Sent: Wednesday, August 20, 2014 2:21:08 PM
> Subject: Re: [LLVMdev] Proposal for ""llvm.mem.vectorize.safelen"
> 
> On 20 August 2014 20:18, Hal Finkel <hfinkel at anl.gov> wrote:
> > I don't understand. I think that the numbering would need to be
> > specific to the loop id.
> 
> I thought the idea was to add it to every load/store in the loop. If
> this loop then gets fused with another, or inlined/unrolled becoming
> part of another loop, etc., wouldn't those ids conflict?

Concatenation unrolling is an interesting case, we'll need to think about that. Pure inlining should not be a problem. We don't currently have a loop fusion transformation, but any such transformation would need to update the metadata or drop it (but that's true for the loop metadata generally).

 -Hal

> 
> cheers,
> --renato
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory