[PATCH] D52887: [DebugInfo][Dexter] Unreachable line stepped onto after SimplifyCFG.

[Carlos Alberto Enciso via Phabricator via llvm-commits]

CarlosAlbertoEnciso created this revision.
CarlosAlbertoEnciso added reviewers: dblaikie, aprantl, vsk, dstenb.
CarlosAlbertoEnciso added a project: debug-info.
Herald added subscribers: llvm-commits, JDevlieghere.

For the below test:

  int main() {
    volatile int foo = 0;
    int read1 = foo;
    int brains = foo;
  
    if (read1 > 3) {
      brains *= 2;
      brains += 1;
    }
  
    return brains;
  }

When in the debugger, on the line "if (read1 > 3)", and we step from the
'if' condition, onto the addition, then back to the 'if' again, which is
misleading, as described by:

PR38762 <https://bugs.llvm.org/show_bug.cgi?id=38762>


Repository:
  rL LLVM

https://reviews.llvm.org/D52887

Files:
  include/llvm/Transforms/Utils/Local.h
  lib/Transforms/Utils/Local.cpp
  lib/Transforms/Utils/SimplifyCFG.cpp
  test/CodeGen/X86/pr38762.ll
  test/CodeGen/X86/pr38763.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D52887.168272.patch
Type: text/x-patch
Size: 10284 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181004/e76dbce5/attachment.bin>