[InlineFunction] Do not propagate the callsite debug location to instructions inlined...
authorAndrea Di Biagio <Andrea_DiBiagio@sn.scee.net>
Wed, 7 Dec 2016 10:37:26 +0000 (10:37 +0000)
committerAndrea Di Biagio <Andrea_DiBiagio@sn.scee.net>
Wed, 7 Dec 2016 10:37:26 +0000 (10:37 +0000)
commit32d5aedd5be8e7f031525af31208d7ea8905945e
tree0d9404046a406356efe07dfa37cba6fdb10cd03c
parente7b71a7eb8b7329081335bd875eaa68bdec568b2
[InlineFunction] Do not propagate the callsite debug location to instructions inlined from functions with debug info.

When a function F is inlined, InlineFunction extends the debug location of every
instruction inlined from F by adding an InlinedAt.

However, if an instruction has a 'null' debug location, InlineFunction would
propagate the callsite debug location to it. This behavior existed since
revision 210459.

Revision 210459 was originally committed specifically to workaround the lack of
debug information for instructions inlined from intrinsic functions (which are
usually declared with attributes `__always_inline__, __nodebug__`).

The problem with revision 210459 is that it doesn't make any sort of distinction
between instructions inlined from a 'nodebug' function and instructions which
are inlined from a function built with debug info. This issue may lead to
incorrect stepping in the debugger.

This patch works under the assumption that a nodebug function does not have a
DISubprogram. When a function F is inlined into another function G,
InlineFunction checks if F has debug info associated with it.

For nodebug functions, the InlineFunction logic is unchanged (i.e. it would
still propagate the callsite debugloc to the inlined instructions). Otherwise,
InlineFunction no longer propagates the callsite debug location.

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

llvm-svn: 288895
llvm/lib/Transforms/Utils/InlineFunction.cpp
llvm/test/DebugInfo/Generic/inline-debug-loc.ll [new file with mode: 0644]