tree 752685471eb240257315e4c6e414169624d35729
parent 5fd3b9019a6aca17489bf7f4923e2ac0e63829e2
author Jeremy Morse <jeremy.morse.llvm@gmail.com> 1552477393 +0000
committer Jeremy Morse <jeremy.morse.llvm@gmail.com> 1552477393 +0000

[DebugInfo][Docs] Document how dbg.value intrinsics are interpreted in optimized code

This patch adds a section, ``Object lifetime in optimized code'', that
documents how such intrinsics are supposed to be handled. It sets out some of
the principles of how they specify variable locations, and how long those
locations are valid for.

This patch also documents one of the objectives behind the variable-location
design, that we should never allow the debugger to observe a state of the
program that would not have appeared without optimization.

Differential Revision: https://reviews.llvm.org/D58726


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@356041 91177308-0d34-0410-b5e6-96231b3b80d8