[LLVMdev] Dependence Analysis [was: Flow-Sensitive AA]

[Vikram S. Adve]

On Aug 24, 2008, at 11:10 PM, Daniel Berlin wrote:

>>
>> Also, here's a trick that could be useful for calculations that are
>> sensitive to overflow: if a loop has only a single possible exit
>> controlled by an index variable, and it doesn't use any
>> synchronization primitives, you can assume the loop isn't infinite  
>> for
>> dependence analysis purposes.
>
> You also have to include inline assembly, tls variables, shared global
> memory, etc.
> (These aren't synchronization primitives per-se, though they can be
> used to implement them).



Also, any kind of output I/O.

--Vikram
http://www.cs.uiuc.edu/~vadve
http://llvm.org/