[llvm-dev] Well-formed @llvm.lifetime.start and @llvm.lifetime.end intrinsics

[Michael Kruse via llvm-dev]

2017-03-31 0:54 GMT+02:00 Daniel Berlin <dberlin at dberlin.org>:
> I'm curious, btw, what made it think the above is legal.
> The intrinsics are marked as touching memory, having side effects, etc.

The precedes my involvement with Polly.

Polly has a list of intrinsics that can be safely ignored, e.g.
llvm.dbg.value/llvm.gbg.declare. The lifetime markers are also in this
list. Ignored intrinsic are ... well ... ignored when generating the
optimized code.

Michael