[LLVMdev] memory lifetime and invariance

[Nick Lewycky]

Chris Lattner wrote:
> FYI, I wrote up some thoughts on this here:
> http://nondot.org/sabre/LLVMNotes/MemoryUseMarkers.txt
> 
> The intention is to allow front-ends to express things like "I know  
> this memory is a constant in this region" and to allow the optimizer/ 
> codegen to perform more aggressive stack slot merging.

Very nice!

Why does @llvm.invariant.end restate the size when it already takes the 
call to @llvm.invariant.start as its first argument? Did you really mean 
to allow for the case where part of an object is still invariant and 
part isn't? If so, isn't it missing an offset as well?

Nick