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: 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 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@Z --  %index
= phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH@Z -- 
%vec.ind = phi <4 x i64> [ %induction, %vector.ph ], [ %vec.ind.next,
%vector.body ]
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH@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@Z -- 
%index.next = add i64 %index, 8
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH@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@Z --  %15 =
icmp eq i64 %index.next, %n.vec
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH@Z --  br i1
%15, label %middle.block, label %vector.body, !llvm.loop !30
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH@Z --  %cmp.n
= icmp eq i64 %0, %n.vec
ERROR: Instruction with empty DebugLoc in function ?baz@@YAXPEAHH@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to