[all-commits] [llvm/llvm-project] 31cf6d: [coroutines] Use DILocation from new storage for h...

[Wei Wang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 31cf6df06febdf2483d224d2c9657497cac7d41f
      https://github.com/llvm/llvm-project/commit/31cf6df06febdf2483d224d2c9657497cac7d41f
  Author: Wei Wang <apollo.mobility at gmail.com>
  Date:   2023-12-12 (Tue, 12 Dec 2023)

  Changed paths:
    M llvm/lib/Transforms/Coroutines/CoroFrame.cpp
    M llvm/test/Transforms/Coroutines/coro-debug-frame-variable.ll

  Log Message:
  -----------
  [coroutines] Use DILocation from new storage for hoisted dbg.declare (#75104)

Make the hoisted dbg.declare inherent the DILocation scope from the new
storage.

After hoisting, the dbg.declare is moved into the block that defines the
new storage. This could create an inconsistency in the debug location
scope hierarchy where the scope of hoisted dbg.declare (i.e.
DILexicalBlock) is enclosed with the scope of the block (i.e.
DISubprogram). This confuses LiveDebugValues pass to think that the
hoisted dbg.declare is killed in that block and does not generate
DBG_VALUE in other blocks. Debugger won't be able to track its value
anymore.