[llvm-commits] [llvm] r63718 - in /llvm/trunk: lib/Analysis/AliasAnalysis.cpp lib/Analysis/BasicAliasAnalysis.cpp test/Analysis/BasicAA/cas.ll

[Duncan Sands]

Hi Owen,

> Finish making AliasAnalysis aware of the fact that most atomic intrinsics
> only dereference their arguments

shouldn't they get the "noescape" attribute then?

> and enhance
> BasicAA to make use of this fact when computing ModRef info.

Can this be reworked to use noescape attributes instead?

Ciao,

Duncan.