search for: k649tyc7

...p; c don't modify or reference any > global state, but they are free to alias one another. > > > > You could specify restrict on each one to indicate that they do not alias > each other. > > > > For more details refer: https://msdn.microsoft.com/en- > us/library/k649tyc7.aspx > > > > Regards, > > Ashutosh > > > > *From:* llvm-dev [mailto:llvm-dev-bounces at lists.llvm.org] *On Behalf Of *Phil > Tomson via llvm-dev > *Sent:* Friday, November 18, 2016 12:23 AM > *To:* LLVM Developers Mailing List <llvm-dev at lists.llvm.org&g...

I've got an example where I think that there should be some loop-invariant optimization happening, but it's not. Here's the C code: #define DIM 8 #define UNROLL_DIM DIM typedef double InArray[DIM][DIM]; __declspec(noalias) void f1( InArray c, const InArray a, const InArray b ) { #pragma clang loop unroll_count(UNROLL_DIM) for( int i=0;i<DIM;i++) #pragma clang loop

...s attributes, but it doesn't seem to be possible to indicate that it's only the pointer arguments that are read or modified (and not all the other global state). Here's a reference to a visual studio attribute that is essentially what I want: http://msdn.microsoft.com/en-us/library/k649tyc7%28v=vs.80%29.aspx Andrew