[DebugInfo] More strict debug range for stack variables
authorNikola Prica <nikola.prica@rt-rk.com>
Mon, 10 Jun 2019 08:41:06 +0000 (08:41 +0000)
committerNikola Prica <nikola.prica@rt-rk.com>
Mon, 10 Jun 2019 08:41:06 +0000 (08:41 +0000)
commitabc1dff7e44a9eed6c2cc9a7d9ee366fbe4abcf7
tree53da99a08fdde1c13ce220bc8ca0b9628a371507
parent44d908d743d2e42206a8884ab2dea35cd29bb2da
[DebugInfo] More strict debug range for stack variables

Variable's stack location can stretch longer than it should. If a
variable is placed at the stack in a some nested basic block its range
can be calculated to be up to the next occurrence of the variable's
DBG_VALUE, or up to the end of the function, thus covering a basic
blocks that should not be included in the variable’s location range.
This happens because the DbgEntityHistoryCalculator ends register
locations at the end of a basic block only if the variable’s location
register has been changed throughout the function, which is not the
case for the register used to reference stack objects.

This patch also tries to produce a single value location if the location
list builder managed to merge all the locations into one.

Reviewers: aprantl, dstenb, jmorse

Reviewed By: aprantl, dstenb, jmorse

Subscribers: djtodoro, ivanbaev, asowda

Tags: #debug-info

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

llvm-svn: 362923
llvm/lib/CodeGen/AsmPrinter/DbgEntityHistoryCalculator.cpp
llvm/lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp
llvm/lib/CodeGen/AsmPrinter/DwarfDebug.cpp
llvm/lib/CodeGen/AsmPrinter/DwarfDebug.h
llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
llvm/lib/CodeGen/AsmPrinter/DwarfUnit.h
llvm/test/DebugInfo/MIR/X86/dbg-stack-value-range.mir [new file with mode: 0644]
llvm/test/DebugInfo/X86/fission-ranges.ll