[llvm-bugs] [Bug 37964] New: [debugify] gvn fail

[via llvm-bugs]

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

            Bug ID: 37964
           Summary: [debugify] gvn 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: anastasis.gramm2 at gmail.com, davide at freebsd.org,
                    llvm-bugs at lists.llvm.org, vsk at apple.com
            Blocks: 37953

Created attachment 20482
  --> https://bugs.llvm.org/attachment.cgi?id=20482&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 global_value_numbering.cpp
int foo;
char bar();
void baz() {
  for (;;)
    for (; foo; foo = bar())
      ;
}

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

$ opt -disable-output -debugify-each -gvn gvn-input.ll
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXXZ --  %.pr1 = phi
i32 [ 0, %for.cond ], [ %conv, %for.cond.loopexit.loopexit ]
CheckFunctionDebugify [Global Value Numbering]: 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/a4720e89/attachment.html>