[LLVMdev] Is there pass to break down <4 x float> to scalars

[Pekka Jääskeläinen]

On 10/25/2013 05:19 PM, Richard Sandiford wrote:
> Since the row stride is variable, llvm doesn't have enough information
> to tell that these rows don't alias.

This sounds like a use case for parallelism metadata for
unrolled parallel code (which a "parallel program AA"
would exploit). I proposed a format for it some time ago here,
but haven't had time to go on with it.

http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-March/060270.html

-- 
Pekka