[llvm-bugs] [Bug 37955] New: [debugify] loop-vectorize fail

[via llvm-bugs]

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

            Bug ID: 37955
           Summary: [debugify] loop-vectorize 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 20475
  --> https://bugs.llvm.org/attachment.cgi?id=20475&action=edit
.ll file

>From the same source example as in Bug 37954, from Stephen Wilks's work to
automatically find debugify failures.

$ 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 loop_vectorization.cpp
void baz(int *foo, int bar) {
  while (bar--)
    foo[bar] = bar;
}

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

$ opt loop-vectorize-input.ll -disable-output -debugify-each -loop-vectorize
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z --  %index
= phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z -- 
%vec.ind = phi <4 x i64> [ %induction, %vector.ph ], [ %vec.ind.next,
%vector.body ]
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z -- 
%step.add = add <4 x i64> %vec.ind, <i64 -4, i64 -4, i64 -4, i64 -4>
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z -- 
%index.next = add i64 %index, 8
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z -- 
%vec.ind.next = add <4 x i64> %step.add, <i64 -4, i64 -4, i64 -4, i64 -4>
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z --  %15 =
icmp eq i64 %index.next, %n.vec
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z --  br i1
%15, label %middle.block, label %vector.body, !llvm.loop !30
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z --  %cmp.n
= icmp eq i64 %0, %n.vec
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH at Z -- 
%bc.resume.val = phi i64 [ %ind.end, %middle.block ], [ %0,
%while.body.preheader ]
CheckFunctionDebugify [Loop Vectorization]: 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/5bff8738/attachment.html>