[llvm-bugs] [Bug 37966] New: [debugify] jump-threading fail

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=37966

            Bug ID: 37966
           Summary: [debugify] jump-threading fail
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: greg.bedwell at sony.com
                CC: llvm-bugs at lists.llvm.org
            Blocks: 37953

Created attachment 20483
  --> https://bugs.llvm.org/attachment.cgi?id=20483&action=edit
ll reproducer

$ clang -v
clang version 7.0.0 (trunk 335708) (llvm/trunk 335721)
Target: x86_64-pc-windows-msvc
Thread model: posix
InstalledDir: e:\work\upstream-llvm\build-vs2015-native-ninja\bin

$ cat jump_threading.cpp
void foo(int);
void bar(int& aa, int& bb, int cc) {
  int dd[3];
  while (cc)
    dd[cc] = 2;

  while (aa < 5) {
    if(*dd)
      bb = 0;
    foo(bb);
  }
}

$ clang jump_threading.cpp -O0 -Xclang -disable-O0-optnone -emit-llvm -S -o - |
opt -O3 -opt-bisect-limit=39 -S -o jump_threading-input.ll 2>nul

$ opt -disable-output -debugify-each -jump-threading jump_threading-input.ll
ERROR: Instruction with empty DebugLoc in function ?bar@@YAXAEAH0H at Z --  br
label %while.body
WARNING: Missing line 7
WARNING: Missing line 8
WARNING: Missing line 16
WARNING: Missing line 18
WARNING: Missing line 19
WARNING: Missing line 20
WARNING: Missing line 26
WARNING: Missing line 28
WARNING: Missing line 29
WARNING: Missing line 31
WARNING: Missing line 37
WARNING: Missing line 38
CheckFunctionDebugify [Jump Threading]: FAIL
CheckFunctionDebugify [Module Verifier]: PASS


Referenced Bugs:

https://bugs.llvm.org/show_bug.cgi?id=37953
[Bug 37953] [meta] [debugify] fix -check-debugify failures
-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180627/dc7073f4/attachment-0001.html>