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: unassignedb...@nondot.org
          Reporter: greg.bedw...@sony.com
                CC: anastasis.gra...@gmail.com, dav...@freebsd.org,
                    llvm-bugs@lists.llvm.org, v...@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to