[llvm-bugs] [Bug 38178] New: [debugify] correlated-propagation fail

[via llvm-bugs]

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

            Bug ID: 38178
           Summary: [debugify] correlated-propagation 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 20558
  --> https://bugs.llvm.org/attachment.cgi?id=20558&action=edit
ll reproducer

$ clang -v
clang version 7.0.0 (trunk 337152) (llvm/trunk 337156)
Target: x86_64-scei-ps4
Thread model: posix
InstalledDir: e:\work\upstream-llvm\build-vs2015-ps4-ninja\bin

$ cat Debugifind.1.FAIL.Value_Propagation.cpp
unsigned foo;
void bar() { unsigned baz[foo / sizeof(int)]; }

$ clang.exe Debugifind.1.FAIL.Value_Propagation.cpp -S -o - -emit-llvm -O0
-Xclang -disable-O0-optnone -o Debugifind.1.FAIL.Value_Propagation.ll

$ opt.exe -disable-output -debugify-each -correlated-propagation
Debugifind.1.FAIL.Value_Propagation.ll
ERROR: Instruction with empty DebugLoc in function _Z3barv --  %div.lhs.trunc =
trunc i64 %conv to i32
ERROR: Instruction with empty DebugLoc in function _Z3barv --  %div.rhs.trunc =
trunc i64 4 to i32
ERROR: Instruction with empty DebugLoc in function _Z3barv --  %div1 = udiv i32
%div.lhs.trunc, %div.rhs.trunc
ERROR: Instruction with empty DebugLoc in function _Z3barv --  %div.zext = zext
i32 %div1 to i64
WARNING: Missing line 5
CheckFunctionDebugify [Value Propagation]: 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/20180716/7d2c9857/attachment.html>