OSDN Git Service

[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)
commit729c5f000d1b68e3e378f6d1a4017b2fd194dad2
treed0c5f9d509b489958714dfb09a9a326ebaa0d0f0
parent39d8acb1d8a260beb9293449906d74c23fcee3a4
[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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@362923 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/AsmPrinter/DbgEntityHistoryCalculator.cpp
lib/CodeGen/AsmPrinter/DwarfCompileUnit.cpp
lib/CodeGen/AsmPrinter/DwarfDebug.cpp
lib/CodeGen/AsmPrinter/DwarfDebug.h
lib/CodeGen/AsmPrinter/DwarfUnit.cpp
lib/CodeGen/AsmPrinter/DwarfUnit.h
test/DebugInfo/MIR/X86/dbg-stack-value-range.mir [new file with mode: 0644]
test/DebugInfo/X86/fission-ranges.ll