<div dir="ltr"><div dir="ltr">Hi, </div><div dir="ltr"><br><div><br></div><div>This change broke most of the buildbots: </div><div><a href="http://lab.llvm.org:8011/builders/sanitizer-x86_64-linux-fast/builds/32015/steps/check-llvm%20asan/logs/stdio" target="_blank">http://lab.llvm.org:8011/builders/sanitizer-x86_64-linux-fast/builds/32015/steps/check-llvm%20asan/logs/stdio</a><br></div><div><div>lib/CodeGen/LexicalScopes.cpp:176: llvm::LexicalScope *llvm::LexicalScopes::getOrCreateRegularScope(const llvm::DILocalScope *): Assertion `cast<DISubprogram>(Scope)->describes(&MF->getFunction())' failed.</div></div><div><br></div><div>I am going to revert it. <br></div><div><br></div><div>Thanks! </div><div><br></div><div>--kcc </div><div><br></div><div><br></div><div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><strong>From: </strong>Orlando Cazalet-Hyams via llvm-commits <span dir="ltr"><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>></span><br><strong>Date: </strong>Tue, May 7, 2019 at 8:35 AM<br><strong>To: </strong> <<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>><br><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Author: orlandoch<br>
Date: Tue May 7 08:37:38 2019<br>
New Revision: 360162<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=360162&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=360162&view=rev</a><br>
Log:<br>
[DebugInfo@O2][LoopVectorize] pr39024: Vectorized code linenos step through loop even after completion<br>
<br>
Summary:<br>
Bug: <a href="https://bugs.llvm.org/show_bug.cgi?id=39024" rel="noreferrer" target="_blank">https://bugs.llvm.org/show_bug.cgi?id=39024</a><br>
<br>
The bug reports that a vectorized loop is stepped through 4 times and each step through the loop seemed to show a different path. I found two problems here:<br>
<br>
A) An incorrect line number on a preheader block (for.body.preheader) instruction causes a step into the loop before it begins.<br>
B) Instructions in the middle block have different line numbers which give the impression of another iteration.<br>
<br>
In this patch I give all of the middle block instructions the line number of the scalar loop latch terminator branch. This seems to provide the smoothest debugging experience because the vectorized loops will always end on this line before dropping into the scalar loop. To solve problem A I have altered llvm::SplitBlockPredecessors to accommodate loop header blocks.<br>
<br>
Reviewers: samsonov, vsk, aprantl, probinson, anemet, hfinkel<br>
<br>
Reviewed By: hfinkel<br>
<br>
Subscribers: bjope, jmellorcrummey, hfinkel, gbedwell, hiraditya, zzheng, llvm-commits<br>
<br>
Tags: #llvm, #debug-info<br>
<br>
Differential Revision: <a href="https://reviews.llvm.org/D60831" rel="noreferrer" target="_blank">https://reviews.llvm.org/D60831</a><br>
<br>
Added:<br>
llvm/trunk/test/Transforms/LoopSimplify/do-preheader-dbg.ll (with props)<br>
llvm/trunk/test/Transforms/LoopSimplify/for-preheader-dbg.ll (with props)<br>
llvm/trunk/test/Transforms/LoopVectorize/fix-reduction-dbg.ll (with props)<br>
Modified:<br>
llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp<br>
llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp<br>
llvm/trunk/test/Transforms/LoopSimplify/dbg-loc.ll<br>
llvm/trunk/test/Transforms/LoopUnroll/runtime-loop1.ll<br>
llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-missed.ll<br>
llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-profitable.ll<br>
llvm/trunk/test/Transforms/LoopVectorize/debugloc.ll<br>
llvm/trunk/test/Transforms/LoopVectorize/unsafe-dep-remark.ll<br>
<br>
Modified: llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp?rev=360162&r1=360161&r2=360162&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp?rev=360162&r1=360161&r2=360162&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp (original)<br>
+++ llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp Tue May 7 08:37:38 2019<br>
@@ -566,7 +566,13 @@ BasicBlock *llvm::SplitBlockPredecessors<br>
<br>
// The new block unconditionally branches to the old block.<br>
BranchInst *BI = BranchInst::Create(BB, NewBB);<br>
- BI->setDebugLoc(BB->getFirstNonPHIOrDbg()->getDebugLoc());<br>
+ // Splitting the precedessors of a loop header creates a preheader block.<br>
+ if (LI && LI->isLoopHeader(BB))<br>
+ // Using the loop start line number prevents debuggers stepping into the<br>
+ // loop body for this instruction.<br>
+ BI->setDebugLoc(LI->getLoopFor(BB)->getStartLoc());<br>
+ else<br>
+ BI->setDebugLoc(BB->getFirstNonPHIOrDbg()->getDebugLoc());<br>
<br>
// Move the edges from Preds to point to NewBB instead of BB.<br>
for (unsigned i = 0, e = Preds.size(); i != e; ++i) {<br>
<br>
Modified: llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp?rev=360162&r1=360161&r2=360162&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp?rev=360162&r1=360161&r2=360162&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp (original)<br>
+++ llvm/trunk/lib/Transforms/Vectorize/LoopVectorize.cpp Tue May 7 08:37:38 2019<br>
@@ -2894,11 +2894,11 @@ BasicBlock *InnerLoopVectorizer::createV<br>
CmpInst::Create(Instruction::ICmp, CmpInst::ICMP_EQ, Count,<br>
CountRoundDown, "cmp.n", MiddleBlock->getTerminator());<br>
<br>
- // Provide correct stepping behaviour by using the same DebugLoc as the<br>
- // scalar loop latch branch cmp if it exists.<br>
- if (CmpInst *ScalarLatchCmp =<br>
- dyn_cast_or_null<CmpInst>(ScalarLatchBr->getCondition()))<br>
- cast<Instruction>(CmpN)->setDebugLoc(ScalarLatchCmp->getDebugLoc());<br>
+ // Here we use the same DebugLoc as the scalar loop latch branch instead<br>
+ // of the corresponding compare because they may have ended up with<br>
+ // different line numbers and we want to avoid awkward line stepping while<br>
+ // debugging. Eg. if the compare has got a line number inside the loop.<br>
+ cast<Instruction>(CmpN)->setDebugLoc(ScalarLatchBr->getDebugLoc());<br>
}<br>
<br>
BranchInst *BrInst = BranchInst::Create(ExitBlock, ScalarPH, CmpN);<br>
@@ -3631,7 +3631,15 @@ void InnerLoopVectorizer::fixReduction(P<br>
// Reduce all of the unrolled parts into a single vector.<br>
Value *ReducedPartRdx = VectorLoopValueMap.getVectorValue(LoopExitInst, 0);<br>
unsigned Op = RecurrenceDescriptor::getRecurrenceBinOp(RK);<br>
- setDebugLocFromInst(Builder, ReducedPartRdx);<br>
+<br>
+ // The middle block terminator has already been assigned a DebugLoc here (the<br>
+ // OrigLoop's single latch terminator). We want the whole middle block to<br>
+ // appear to execute on this line because: (a) it is all compiler generated,<br>
+ // (b) these instructions are always executed after evaluating the latch<br>
+ // conditional branch, and (c) other passes may add new predecessors which<br>
+ // terminate on this line. This is the easiest way to ensure we don't<br>
+ // accidently cause an extra step back into the loop while debugging.<br>
+ setDebugLocFromInst(Builder, LoopMiddleBlock->getTerminator());<br>
for (unsigned Part = 1; Part < UF; ++Part) {<br>
Value *RdxPart = VectorLoopValueMap.getVectorValue(LoopExitInst, Part);<br>
if (Op != Instruction::ICmp && Op != Instruction::FCmp)<br>
<br>
Modified: llvm/trunk/test/Transforms/LoopSimplify/dbg-loc.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopSimplify/dbg-loc.ll?rev=360162&r1=360161&r2=360162&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopSimplify/dbg-loc.ll?rev=360162&r1=360161&r2=360162&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopSimplify/dbg-loc.ll (original)<br>
+++ llvm/trunk/test/Transforms/LoopSimplify/dbg-loc.ll Tue May 7 08:37:38 2019<br>
@@ -72,7 +72,7 @@ eh.resume:<br>
; Function Attrs: nounwind readnone<br>
declare void @llvm.dbg.value(metadata, metadata, metadata)<br>
<br>
-; CHECK-DAG: [[PREHEADER_LOC]] = !DILocation(line: 73, column: 27, scope: !{{[0-9]+}})<br>
+; CHECK-DAG: [[PREHEADER_LOC]] = !DILocation(line: 73, column: 13, scope: !{{[0-9]+}})<br>
; CHECK-DAG: [[LOOPEXIT_LOC]] = !DILocation(line: 75, column: 9, scope: !{{[0-9]+}})<br>
; CHECK-DAG: [[LPAD_PREHEADER_LOC]] = !DILocation(line: 85, column: 1, scope: !{{[0-9]+}})<br>
<br>
<br>
Added: llvm/trunk/test/Transforms/LoopSimplify/do-preheader-dbg.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopSimplify/do-preheader-dbg.ll?rev=360162&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopSimplify/do-preheader-dbg.ll?rev=360162&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopSimplify/do-preheader-dbg.ll (added)<br>
+++ llvm/trunk/test/Transforms/LoopSimplify/do-preheader-dbg.ll Tue May 7 08:37:38 2019<br>
@@ -0,0 +1,122 @@<br>
+; Confirm that the line number for the do.body.preheader block<br>
+; branch is the the start of the loop.<br>
+<br>
+; RUN: opt -simplifycfg -loop-simplify -keep-loops="false" -S <%s | FileCheck %s<br>
+<br>
+; CHECK: do.body.preheader:<br>
+; CHECK-NEXT: phi<br>
+; CHECK-NEXT: phi<br>
+; CHECK-NEXT: br label %do.body, !dbg ![[DL:[0-9]+]]<br>
+; CHECK: ![[DL]] = !DILocation(line: 4,<br>
+<br>
+; This IR can be generated by running:<br>
+; clang src.cpp -O2 -g -S -emit-llvm -mllvm -opt-bisect-limit=62 -o -<br>
+;<br>
+; Where src.cpp contains:<br>
+; int foo(char *Bytes, int Count)<br>
+; {<br>
+; int Total = 0;<br>
+; do<br>
+; Total += Bytes[--Count];<br>
+; while (Count);<br>
+; return Total;<br>
+; }<br>
+<br>
+define dso_local i32 @"foo"(i8* nocapture readonly %Bytes, i32 %Count) local_unnamed_addr !dbg !8 {<br>
+entry:<br>
+ %0 = sext i32 %Count to i64, !dbg !10<br>
+ %min.iters.check = icmp ult i32 %Count, 8, !dbg !10<br>
+ br i1 %min.iters.check, label %do.body.preheader, label %<a href="http://vector.ph" rel="noreferrer" target="_blank">vector.ph</a>, !dbg !10<br>
+<br>
+<a href="http://vector.ph" rel="noreferrer" target="_blank">vector.ph</a>: ; preds = %entry<br>
+ %n.vec = and i64 %0, -8, !dbg !10<br>
+ %ind.end = sub nsw i64 %0, %n.vec, !dbg !10<br>
+ br label %vector.body, !dbg !10<br>
+<br>
+vector.body: ; preds = %vector.body, %<a href="http://vector.ph" rel="noreferrer" target="_blank">vector.ph</a><br>
+ %index = phi i64 [ 0, %<a href="http://vector.ph" rel="noreferrer" target="_blank">vector.ph</a> ], [ %index.next, %vector.body ]<br>
+ %vec.phi = phi <4 x i32> [ zeroinitializer, %<a href="http://vector.ph" rel="noreferrer" target="_blank">vector.ph</a> ], [ %11, %vector.body ]<br>
+ %vec.phi5 = phi <4 x i32> [ zeroinitializer, %<a href="http://vector.ph" rel="noreferrer" target="_blank">vector.ph</a> ], [ %12, %vector.body ]<br>
+ %1 = xor i64 %index, -1, !dbg !11<br>
+ %2 = add i64 %1, %0, !dbg !11<br>
+ %3 = getelementptr inbounds i8, i8* %Bytes, i64 %2, !dbg !11<br>
+ %4 = getelementptr inbounds i8, i8* %3, i64 -3, !dbg !11<br>
+ %5 = bitcast i8* %4 to <4 x i8>*, !dbg !11<br>
+ %wide.load = load <4 x i8>, <4 x i8>* %5, align 1, !dbg !11, !tbaa !12<br>
+ %reverse = shufflevector <4 x i8> %wide.load, <4 x i8> undef, <4 x i32> <i32 3, i32 2, i32 1, i32 0>, !dbg !11<br>
+ %6 = getelementptr inbounds i8, i8* %3, i64 -4, !dbg !11<br>
+ %7 = getelementptr inbounds i8, i8* %6, i64 -3, !dbg !11<br>
+ %8 = bitcast i8* %7 to <4 x i8>*, !dbg !11<br>
+ %wide.load6 = load <4 x i8>, <4 x i8>* %8, align 1, !dbg !11, !tbaa !12<br>
+ %reverse7 = shufflevector <4 x i8> %wide.load6, <4 x i8> undef, <4 x i32> <i32 3, i32 2, i32 1, i32 0>, !dbg !11<br>
+ %9 = sext <4 x i8> %reverse to <4 x i32>, !dbg !11<br>
+ %10 = sext <4 x i8> %reverse7 to <4 x i32>, !dbg !11<br>
+ %11 = add nsw <4 x i32> %vec.phi, %9, !dbg !11<br>
+ %12 = add nsw <4 x i32> %vec.phi5, %10, !dbg !11<br>
+ %index.next = add i64 %index, 8<br>
+ %13 = icmp eq i64 %index.next, %n.vec<br>
+ br i1 %13, label %middle.block, label %vector.body, !llvm.loop !15<br>
+<br>
+middle.block: ; preds = %vector.body<br>
+ %.lcssa12 = phi <4 x i32> [ %11, %vector.body ], !dbg !11<br>
+ %.lcssa = phi <4 x i32> [ %12, %vector.body ], !dbg !11<br>
+ %bin.rdx = add <4 x i32> %.lcssa, %.lcssa12, !dbg !11<br>
+ %rdx.shuf = shufflevector <4 x i32> %bin.rdx, <4 x i32> undef, <4 x i32> <i32 2, i32 3, i32 undef, i32 undef>, !dbg !11<br>
+ %bin.rdx8 = add <4 x i32> %bin.rdx, %rdx.shuf, !dbg !11<br>
+ %rdx.shuf9 = shufflevector <4 x i32> %bin.rdx8, <4 x i32> undef, <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef>, !dbg !11<br>
+ %bin.rdx10 = add <4 x i32> %bin.rdx8, %rdx.shuf9, !dbg !11<br>
+ %14 = extractelement <4 x i32> %bin.rdx10, i32 0, !dbg !11<br>
+ %cmp.n = icmp eq i64 %n.vec, %0<br>
+ br i1 %cmp.n, label %do.end, label %do.body.preheader, !dbg !10<br>
+<br>
+do.body.preheader: ; preds = %middle.block, %entry<br>
+ %<a href="http://indvars.iv.ph" rel="noreferrer" target="_blank">indvars.iv.ph</a> = phi i64 [ %0, %entry ], [ %ind.end, %middle.block ]<br>
+ %<a href="http://Total.0.ph" rel="noreferrer" target="_blank">Total.0.ph</a> = phi i32 [ 0, %entry ], [ %14, %middle.block ]<br>
+ br label %do.body, !dbg !11<br>
+<br>
+do.body: ; preds = %do.body.preheader, %do.body<br>
+ %indvars.iv = phi i64 [ %indvars.iv.next, %do.body ], [ %<a href="http://indvars.iv.ph" rel="noreferrer" target="_blank">indvars.iv.ph</a>, %do.body.preheader ]<br>
+ %Total.0 = phi i32 [ %add, %do.body ], [ %<a href="http://Total.0.ph" rel="noreferrer" target="_blank">Total.0.ph</a>, %do.body.preheader ], !dbg !18<br>
+ %indvars.iv.next = add nsw i64 %indvars.iv, -1, !dbg !11<br>
+ %arrayidx = getelementptr inbounds i8, i8* %Bytes, i64 %indvars.iv.next, !dbg !11<br>
+ %15 = load i8, i8* %arrayidx, align 1, !dbg !11, !tbaa !12<br>
+ %conv = sext i8 %15 to i32, !dbg !11<br>
+ %add = add nsw i32 %Total.0, %conv, !dbg !11<br>
+ %16 = icmp eq i64 %indvars.iv.next, 0<br>
+ br i1 %16, label %do.end.loopexit, label %do.body, !dbg !11, !llvm.loop !19<br>
+<br>
+do.end.loopexit: ; preds = %do.body<br>
+ %add.lcssa11 = phi i32 [ %add, %do.body ], !dbg !11<br>
+ br label %do.end, !dbg !21<br>
+<br>
+do.end: ; preds = %do.end.loopexit, %middle.block<br>
+ %add.lcssa = phi i32 [ %14, %middle.block ], [ %add.lcssa11, %do.end.loopexit ], !dbg !11<br>
+ ret i32 %add.lcssa, !dbg !21<br>
+}<br>
+<br>
+!<a href="http://llvm.dbg.cu" rel="noreferrer" target="_blank">llvm.dbg.cu</a> = !{!0}<br>
+!llvm.module.flags = !{!3, !4, !5, !6}<br>
+!llvm.ident = !{!7}<br>
+<br>
+!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "", isOptimized: true, runtimeVersion: 0, emissionKind: LineTablesOnly, enums: !2, nameTableKind: None)<br>
+!1 = !DIFile(filename: "src2.cpp", directory: "")<br>
+!2 = !{}<br>
+!3 = !{i32 2, !"CodeView", i32 1}<br>
+!4 = !{i32 2, !"Debug Info Version", i32 3}<br>
+!5 = !{i32 1, !"wchar_size", i32 2}<br>
+!6 = !{i32 7, !"PIC Level", i32 2}<br>
+!7 = !{!""}<br>
+!8 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 1, type: !9, scopeLine: 2, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !2)<br>
+!9 = !DISubroutineType(types: !2)<br>
+!10 = !DILocation(line: 4, scope: !8)<br>
+!11 = !DILocation(line: 5, scope: !8)<br>
+!12 = !{!13, !13, i64 0}<br>
+!13 = !{!"omnipotent char", !14, i64 0}<br>
+!14 = !{!"Simple C++ TBAA"}<br>
+!15 = distinct !{!15, !10, !16, !17}<br>
+!16 = !DILocation(line: 6, scope: !8)<br>
+!17 = !{!"llvm.loop.isvectorized", i32 1}<br>
+!18 = !DILocation(line: 0, scope: !8)<br>
+!19 = distinct !{!19, !10, !16, !20, !17}<br>
+!20 = !{!"llvm.loop.unroll.runtime.disable"}<br>
+!21 = !DILocation(line: 7, scope: !8)<br>
<br>
Propchange: llvm/trunk/test/Transforms/LoopSimplify/do-preheader-dbg.ll<br>
------------------------------------------------------------------------------<br>
svn:executable = *<br>
<br>
Added: llvm/trunk/test/Transforms/LoopSimplify/for-preheader-dbg.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopSimplify/for-preheader-dbg.ll?rev=360162&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopSimplify/for-preheader-dbg.ll?rev=360162&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopSimplify/for-preheader-dbg.ll (added)<br>
+++ llvm/trunk/test/Transforms/LoopSimplify/for-preheader-dbg.ll Tue May 7 08:37:38 2019<br>
@@ -0,0 +1,102 @@<br>
+; Confirm that the line number for the for.body.preheader block<br>
+; branch is the the start of the loop.<br>
+<br>
+; RUN: opt -simplifycfg -loop-simplify -S <%s | FileCheck %s<br>
+;<br>
+; CHECK: for.body.preheader:<br>
+; CHECK-NEXT: br label %for.body, !dbg ![[DL:[0-9]+]]<br>
+; CHECK: ![[DL]] = !DILocation(line: 8,<br>
+<br>
+; This IR can be generated by running:<br>
+; clang src.cpp -O0 -g -S -emit-llvm -Xclang -disable-O0-optnone -o - | \<br>
+; opt -O2 -S -opt-bisect-limit=27 -o -<br>
+;<br>
+; Where src.cpp contains:<br>
+; int foo(int count, int *bar)<br>
+; {<br>
+; if (count + 1 > 256)<br>
+; return 0;<br>
+;<br>
+; int ret = count;<br>
+; int tmp;<br>
+; for (int j = 0; j < count; j++) {<br>
+; tmp = bar[j];<br>
+; ret += tmp;<br>
+; }<br>
+;<br>
+; return ret;<br>
+; }<br>
+<br>
+define dso_local i32 @"foo"(i32 %count, i32* nocapture readonly %bar) local_unnamed_addr !dbg !8 {<br>
+entry:<br>
+ %cmp = icmp sgt i32 %count, 255, !dbg !16<br>
+ br i1 %cmp, label %return, label %for.cond.preheader, !dbg !16<br>
+<br>
+for.cond.preheader: ; preds = %entry<br>
+ %cmp16 = icmp slt i32 0, %count, !dbg !19<br>
+ br i1 %cmp16, label %<a href="http://for.body.lr.ph" rel="noreferrer" target="_blank">for.body.lr.ph</a>, label %return.loopexit, !dbg !19<br>
+<br>
+<a href="http://for.body.lr.ph" rel="noreferrer" target="_blank">for.body.lr.ph</a>: ; preds = %for.cond.preheader<br>
+ br label %for.body, !dbg !19<br>
+<br>
+for.body: ; preds = %<a href="http://for.body.lr.ph" rel="noreferrer" target="_blank">for.body.lr.ph</a>, %for.body<br>
+ %j.08 = phi i32 [ 0, %<a href="http://for.body.lr.ph" rel="noreferrer" target="_blank">for.body.lr.ph</a> ], [ %inc, %for.body ]<br>
+ %ret.07 = phi i32 [ %count, %<a href="http://for.body.lr.ph" rel="noreferrer" target="_blank">for.body.lr.ph</a> ], [ %add2, %for.body ]<br>
+ %0 = zext i32 %j.08 to i64, !dbg !22<br>
+ %arrayidx = getelementptr inbounds i32, i32* %bar, i64 %0, !dbg !22<br>
+ %1 = load i32, i32* %arrayidx, align 4, !dbg !22<br>
+ %add2 = add nsw i32 %1, %ret.07, !dbg !27<br>
+ %inc = add nuw nsw i32 %j.08, 1, !dbg !28<br>
+ %cmp1 = icmp slt i32 %inc, %count, !dbg !19<br>
+ br i1 %cmp1, label %for.body, label %for.cond.return.loopexit_crit_edge, !dbg !19, !llvm.loop !29<br>
+<br>
+for.cond.return.loopexit_crit_edge: ; preds = %for.body<br>
+ %split = phi i32 [ %add2, %for.body ]<br>
+ br label %return.loopexit, !dbg !19<br>
+<br>
+return.loopexit: ; preds = %for.cond.return.loopexit_crit_edge, %for.cond.preheader<br>
+ %ret.0.lcssa = phi i32 [ %split, %for.cond.return.loopexit_crit_edge ], [ %count, %for.cond.preheader ], !dbg !31<br>
+ br label %return, !dbg !32<br>
+<br>
+return: ; preds = %return.loopexit, %entry<br>
+ %retval.0 = phi i32 [ 0, %entry ], [ %ret.0.lcssa, %return.loopexit ], !dbg !31<br>
+ ret i32 %retval.0, !dbg !32<br>
+}<br>
+<br>
+!<a href="http://llvm.dbg.cu" rel="noreferrer" target="_blank">llvm.dbg.cu</a> = !{!0}<br>
+!llvm.module.flags = !{!3, !4, !5, !6}<br>
+!llvm.ident = !{!7}<br>
+<br>
+!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None)<br>
+!1 = !DIFile(filename: "src.cpp", directory: "")<br>
+!2 = !{}<br>
+!3 = !{i32 2, !"CodeView", i32 1}<br>
+!4 = !{i32 2, !"Debug Info Version", i32 3}<br>
+!5 = !{i32 1, !"wchar_size", i32 2}<br>
+!6 = !{i32 7, !"PIC Level", i32 2}<br>
+!7 = !{!""}<br>
+!8 = distinct !DISubprogram(name: "foo", linkageName: "?foo@@YAHHPEAH@Z", scope: !1, file: !1, line: 1, type: !9, scopeLine: 2, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)<br>
+!9 = !DISubroutineType(types: !10)<br>
+!10 = !{!11, !11, !12}<br>
+!11 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)<br>
+!12 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64)<br>
+!13 = !DILocalVariable(name: "bar", arg: 2, scope: !8, file: !1, line: 1, type: !12)<br>
+!14 = !DILocation(line: 1, scope: !8)<br>
+!15 = !DILocalVariable(name: "count", arg: 1, scope: !8, file: !1, line: 1, type: !11)<br>
+!16 = !DILocation(line: 3, scope: !8)<br>
+!17 = !DILocalVariable(name: "j", scope: !18, file: !1, line: 8, type: !11)<br>
+!18 = distinct !DILexicalBlock(scope: !8, file: !1, line: 8)<br>
+!19 = !DILocation(line: 8, scope: !18)<br>
+!20 = !DILocalVariable(name: "ret", scope: !8, file: !1, line: 6, type: !11)<br>
+!21 = !DILocation(line: 6, scope: !8)<br>
+!22 = !DILocation(line: 9, scope: !23)<br>
+!23 = distinct !DILexicalBlock(scope: !24, file: !1, line: 8)<br>
+!24 = distinct !DILexicalBlock(scope: !18, file: !1, line: 8)<br>
+!25 = !DILocalVariable(name: "tmp", scope: !8, file: !1, line: 7, type: !11)<br>
+!26 = !DILocation(line: 7, scope: !8)<br>
+!27 = !DILocation(line: 10, scope: !23)<br>
+!28 = !DILocation(line: 8, scope: !24)<br>
+!29 = distinct !{!29, !19, !30}<br>
+!30 = !DILocation(line: 11, scope: !18)<br>
+!31 = !DILocation(line: 0, scope: !8)<br>
+!32 = !DILocation(line: 14, scope: !8)<br>
<br>
Propchange: llvm/trunk/test/Transforms/LoopSimplify/for-preheader-dbg.ll<br>
------------------------------------------------------------------------------<br>
svn:executable = *<br>
<br>
Modified: llvm/trunk/test/Transforms/LoopUnroll/runtime-loop1.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopUnroll/runtime-loop1.ll?rev=360162&r1=360161&r2=360162&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopUnroll/runtime-loop1.ll?rev=360162&r1=360161&r2=360162&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopUnroll/runtime-loop1.ll (original)<br>
+++ llvm/trunk/test/Transforms/LoopUnroll/runtime-loop1.ll Tue May 7 08:37:38 2019<br>
@@ -10,31 +10,29 @@<br>
; EPILOG: for.body.preheader:<br>
; EPILOG: br i1 %1, label %for.end.loopexit.unr-lcssa, label %for.body.preheader.new, !dbg [[PH_LOC:![0-9]+]]<br>
; EPILOG: for.body:<br>
-; EPILOG: br i1 %niter.ncmp.1, label %for.end.loopexit.unr-lcssa.loopexit, label %for.body, !dbg [[BODY_LOC:![0-9]+]]<br>
+; EPILOG: br i1 %niter.ncmp.1, label %for.end.loopexit.unr-lcssa.loopexit, label %for.body, !dbg [[PH_LOC]]<br>
; EPILOG-NOT: br i1 %niter.ncmp.2, label %for.end.loopexit{{.*}}, label %for.body<br>
; EPILOG: for.body.epil.preheader:<br>
-; EPILOG: br label %for.body.epil, !dbg [[BODY_LOC]]<br>
+; EPILOG: br label %for.body.epil, !dbg [[PH_LOC]]<br>
; EPILOG: for.body.epil:<br>
-; EPILOG: br label %for.end.loopexit.epilog-lcssa, !dbg [[BODY_LOC]]<br>
+; EPILOG: br label %for.end.loopexit.epilog-lcssa, !dbg [[PH_LOC]]<br>
; EPILOG: for.end.loopexit:<br>
; EPILOG: br label %for.end, !dbg [[EXIT_LOC:![0-9]+]]<br>
<br>
-; EPILOG-DAG: [[PH_LOC]] = !DILocation(line: 101, column: 1, scope: !{{.*}})<br>
-; EPILOG-DAG: [[BODY_LOC]] = !DILocation(line: 102, column: 1, scope: !{{.*}})<br>
+; EPILOG-DAG: [[PH_LOC]] = !DILocation(line: 102, column: 1, scope: !{{.*}})<br>
; EPILOG-DAG: [[EXIT_LOC]] = !DILocation(line: 103, column: 1, scope: !{{.*}})<br>
<br>
; PROLOG: for.body.preheader:<br>
; PROLOG: br {{.*}} label %for.body.prol.preheader, label %for.body.prol.loopexit, !dbg [[PH_LOC:![0-9]+]]<br>
; PROLOG: for.body.prol:<br>
-; PROLOG: br label %for.body.prol.loopexit, !dbg [[BODY_LOC:![0-9]+]]<br>
+; PROLOG: br label %for.body.prol.loopexit, !dbg [[PH_LOC:![0-9]+]]<br>
; PROLOG: for.body.prol.loopexit:<br>
; PROLOG: br {{.*}} label %for.end.loopexit, label %for.body.preheader.new, !dbg [[PH_LOC]]<br>
; PROLOG: for.body:<br>
-; PROLOG: br i1 %exitcond.1, label %for.end.loopexit.unr-lcssa, label %for.body, !dbg [[BODY_LOC]]<br>
+; PROLOG: br i1 %exitcond.1, label %for.end.loopexit.unr-lcssa, label %for.body, !dbg [[PH_LOC]]<br>
; PROLOG-NOT: br i1 %exitcond.4, label %for.end.loopexit{{.*}}, label %for.body<br>
<br>
-; PROLOG-DAG: [[PH_LOC]] = !DILocation(line: 101, column: 1, scope: !{{.*}})<br>
-; PROLOG-DAG: [[BODY_LOC]] = !DILocation(line: 102, column: 1, scope: !{{.*}})<br>
+; PROLOG-DAG: [[PH_LOC]] = !DILocation(line: 102, column: 1, scope: !{{.*}})<br>
<br>
define i32 @test(i32* nocapture %a, i32 %n) nounwind uwtable readonly !dbg !6 {<br>
entry:<br>
<br>
Modified: llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-missed.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-missed.ll?rev=360162&r1=360161&r2=360162&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-missed.ll?rev=360162&r1=360161&r2=360162&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-missed.ll (original)<br>
+++ llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-missed.ll Tue May 7 08:37:38 2019<br>
@@ -16,15 +16,15 @@<br>
; }<br>
; }<br>
; File, line, and column should match those specified in the metadata<br>
-; CHECK: remark: source.cpp:4:5: loop not vectorized: could not determine number of loop iterations<br>
-; CHECK: remark: source.cpp:4:5: loop not vectorized<br>
+; CHECK: remark: source.cpp:5:9: loop not vectorized: could not determine number of loop iterations<br>
+; CHECK: remark: source.cpp:5:9: loop not vectorized<br>
<br>
; void test_disabled(int *A, int Length) {<br>
; #pragma clang loop vectorize(disable) interleave(disable)<br>
; for (int i = 0; i < Length; i++)<br>
; A[i] = i;<br>
; }<br>
-; CHECK: remark: source.cpp:13:5: loop not vectorized: vectorization and interleaving are explicitly disabled, or the loop has already been vectorized<br>
+; CHECK: remark: source.cpp:12:8: loop not vectorized: vectorization and interleaving are explicitly disabled, or the loop has already been vectorized<br>
<br>
; void test_array_bounds(int *A, int *B, int Length) {<br>
; #pragma clang loop vectorize(enable)<br>
@@ -51,7 +51,7 @@<br>
; YAML: --- !Analysis<br>
; YAML-NEXT: Pass: loop-vectorize<br>
; YAML-NEXT: Name: CantComputeNumberOfIterations<br>
-; YAML-NEXT: DebugLoc: { File: source.cpp, Line: 4, Column: 5 }<br>
+; YAML-NEXT: DebugLoc: { File: source.cpp, Line: 5, Column: 9 }<br>
; YAML-NEXT: Function: _Z4testPii<br>
; YAML-NEXT: Args:<br>
; YAML-NEXT: - String: 'loop not vectorized: '<br>
@@ -60,7 +60,7 @@<br>
; YAML-NEXT: --- !Missed<br>
; YAML-NEXT: Pass: loop-vectorize<br>
; YAML-NEXT: Name: MissedDetails<br>
-; YAML-NEXT: DebugLoc: { File: source.cpp, Line: 4, Column: 5 }<br>
+; YAML-NEXT: DebugLoc: { File: source.cpp, Line: 5, Column: 9 }<br>
; YAML-NEXT: Function: _Z4testPii<br>
; YAML-NEXT: Args:<br>
; YAML-NEXT: - String: loop not vectorized<br>
@@ -68,7 +68,7 @@<br>
; YAML-NEXT: --- !Analysis<br>
; YAML-NEXT: Pass: loop-vectorize<br>
; YAML-NEXT: Name: AllDisabled<br>
-; YAML-NEXT: DebugLoc: { File: source.cpp, Line: 13, Column: 5 }<br>
+; YAML-NEXT: DebugLoc: { File: source.cpp, Line: 12, Column: 8 }<br>
; YAML-NEXT: Function: _Z13test_disabledPii<br>
; YAML-NEXT: Args:<br>
; YAML-NEXT: - String: 'loop not vectorized: vectorization and interleaving are explicitly disabled, or the loop has already been vectorized<br>
<br>
Modified: llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-profitable.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-profitable.ll?rev=360162&r1=360161&r2=360162&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-profitable.ll?rev=360162&r1=360161&r2=360162&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-profitable.ll (original)<br>
+++ llvm/trunk/test/Transforms/LoopVectorize/X86/vectorization-remarks-profitable.ll Tue May 7 08:37:38 2019<br>
@@ -3,8 +3,8 @@<br>
; Verify analysis remarks are generated when interleaving is not beneficial.<br>
; CHECK: remark: vectorization-remarks-profitable.c:5:17: the cost-model indicates that vectorization is not beneficial<br>
; CHECK: remark: vectorization-remarks-profitable.c:5:17: the cost-model indicates that interleaving is not beneficial and is explicitly disabled or interleave count is set to 1<br>
-; CHECK: remark: vectorization-remarks-profitable.c:12:17: the cost-model indicates that vectorization is not beneficial<br>
-; CHECK: remark: vectorization-remarks-profitable.c:12:17: the cost-model indicates that interleaving is not beneficial<br>
+; CHECK: remark: vectorization-remarks-profitable.c:11:3: the cost-model indicates that vectorization is not beneficial<br>
+; CHECK: remark: vectorization-remarks-profitable.c:11:3: the cost-model indicates that interleaving is not beneficial<br>
<br>
; First loop.<br>
; #pragma clang loop interleave(disable) unroll(disable)<br>
<br>
Modified: llvm/trunk/test/Transforms/LoopVectorize/debugloc.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/debugloc.ll?rev=360162&r1=360161&r2=360162&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/debugloc.ll?rev=360162&r1=360161&r2=360162&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopVectorize/debugloc.ll (original)<br>
+++ llvm/trunk/test/Transforms/LoopVectorize/debugloc.ll Tue May 7 08:37:38 2019<br>
@@ -14,8 +14,11 @@ target datalayout = "e-p:64:64:64-i1:8:8<br>
; CHECK: add i64 %index, 2, !dbg ![[LOC]]<br>
; CHECK: icmp eq i64 %index.next, %n.vec, !dbg ![[LOC]]<br>
; CHECK: middle.block<br>
-; CHECK: add <2 x i32> %{{.*}}, %rdx.shuf, !dbg ![[LOC]]<br>
-; CHECK: extractelement <2 x i32> %bin.rdx, i32 0, !dbg ![[LOC]]<br>
+; CHECK: add <2 x i32> %{{.*}}, %rdx.shuf, !dbg ![[BR_LOC:[0-9]+]]<br>
+; CHECK: extractelement <2 x i32> %bin.rdx, i32 0, !dbg ![[BR_LOC]]<br>
+; CHECK: for.body<br>
+; CHECK br i1{{.*}}, label %for.body,{{.*}}, !dbg ![[BR_LOC]],<br>
+; CHECK: ![[BR_LOC]] = !DILocation(line: 5,<br>
<br>
define i32 @f(i32* nocapture %a, i32 %size) #0 !dbg !4 {<br>
entry:<br>
@@ -38,7 +41,7 @@ for.body:<br>
%indvars.iv.next = add i64 %indvars.iv, 1, !dbg !22<br>
call void @llvm.dbg.value(metadata !{null}, metadata !16, metadata !DIExpression()), !dbg !22<br>
%lftr.wideiv = trunc i64 %indvars.iv.next to i32, !dbg !22<br>
- %exitcond = icmp ne i32 %lftr.wideiv, %size, !dbg !22<br>
+ %exitcond = icmp ne i32 %lftr.wideiv, %size, !dbg !21<br>
br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge, !dbg !21<br>
<br>
for.cond.for.end_crit_edge: ; preds = %for.body<br>
<br>
Added: llvm/trunk/test/Transforms/LoopVectorize/fix-reduction-dbg.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/fix-reduction-dbg.ll?rev=360162&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/fix-reduction-dbg.ll?rev=360162&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopVectorize/fix-reduction-dbg.ll (added)<br>
+++ llvm/trunk/test/Transforms/LoopVectorize/fix-reduction-dbg.ll Tue May 7 08:37:38 2019<br>
@@ -0,0 +1,87 @@<br>
+; Confirm that the line numbers for the middle.block operations are all the<br>
+; same as the start of the loop.<br>
+<br>
+; RUN: opt -S -loop-vectorize -force-vector-width=4 -force-vector-interleave=4 <%s | FileCheck %s<br>
+;<br>
+; CHECK: middle.block:<br>
+; CHECK-NEXT: %{{.*}}= add <4 x i32>{{.*}}, !dbg ![[DL:[0-9]+]]<br>
+; CHECK-NEXT: %{{.*}}= add <4 x i32>{{.*}}, !dbg ![[DL]]<br>
+; CHECK-NEXT: %{{.*}}= add <4 x i32>{{.*}}, !dbg ![[DL]]<br>
+; CHECK-NEXT: %{{.*}}= shufflevector <4 x i32>{{.*}}, !dbg ![[DL]]<br>
+; CHECK-NEXT: %{{.*}}= add <4 x i32>{{.*}}, !dbg ![[DL]]<br>
+; CHECK-NEXT: %{{.*}}= shufflevector <4 x i32>{{.*}}, !dbg ![[DL]]<br>
+; CHECK-NEXT: %{{.*}}= add <4 x i32>{{.*}}, !dbg ![[DL]]<br>
+; CHECK-NEXT: %{{.*}}= extractelement <4 x i32>{{.*}}, !dbg ![[DL]]<br>
+; CHECK-NEXT: %{{.*}}= icmp eq i64{{.*}}, !dbg ![[DL]]<br>
+; CHECK-NEXT: br i1 %{{.*}}, !dbg ![[DL]]<br>
+; CHECK: ![[DL]] = !DILocation(line: 5,<br>
+<br>
+; This IR can be generated by running:<br>
+; clang -gmlt -S src.cpp -emit-llvm -mllvm -opt-bisect-limit=56 -O2 -o -<br>
+;<br>
+; Where src.cpp contains:<br>
+; int foo(int count, int *bar)<br>
+; {<br>
+; int ret = count;<br>
+; int tmp;<br>
+; for (int j = 0; j < count; j++) {<br>
+; tmp = bar[j];<br>
+; ret += tmp;<br>
+; }<br>
+;<br>
+; return ret;<br>
+; }<br>
+<br>
+define dso_local i32 @"foo"(i32 %count, i32* nocapture readonly %bar) local_unnamed_addr !dbg !8 {<br>
+entry:<br>
+ %cmp8 = icmp sgt i32 %count, 0, !dbg !10<br>
+ br i1 %cmp8, label %for.body.preheader, label %for.cond.cleanup, !dbg !10<br>
+<br>
+for.body.preheader: ; preds = %entry<br>
+ %wide.trip.count = zext i32 %count to i64<br>
+ br label %for.body, !dbg !11<br>
+<br>
+for.cond.cleanup.loopexit: ; preds = %for.body<br>
+ %add.lcssa = phi i32 [ %add, %for.body ], !dbg !12<br>
+ br label %for.cond.cleanup, !dbg !13<br>
+<br>
+for.cond.cleanup: ; preds = %for.cond.cleanup.loopexit, %entry<br>
+ %ret.0.lcssa = phi i32 [ %count, %entry ], [ %add.lcssa, %for.cond.cleanup.loopexit ], !dbg !14<br>
+ ret i32 %ret.0.lcssa, !dbg !13<br>
+<br>
+for.body: ; preds = %for.body, %for.body.preheader<br>
+ %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]<br>
+ %ret.09 = phi i32 [ %count, %for.body.preheader ], [ %add, %for.body ]<br>
+ %arrayidx = getelementptr inbounds i32, i32* %bar, i64 %indvars.iv, !dbg !11<br>
+ %0 = load i32, i32* %arrayidx, align 4, !dbg !11, !tbaa !15<br>
+ %add = add nsw i32 %0, %ret.09, !dbg !12<br>
+ %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1, !dbg !10<br>
+ %exitcond = icmp eq i64 %indvars.iv.next, %wide.trip.count, !dbg !10<br>
+ br i1 %exitcond, label %for.cond.cleanup.loopexit, label %for.body, !dbg !10, !llvm.loop !19<br>
+}<br>
+<br>
+!<a href="http://llvm.dbg.cu" rel="noreferrer" target="_blank">llvm.dbg.cu</a> = !{!0}<br>
+!llvm.module.flags = !{!3, !4, !5, !6}<br>
+!llvm.ident = !{!7}<br>
+<br>
+!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "", isOptimized: true, runtimeVersion: 0, emissionKind: LineTablesOnly, enums: !2, nameTableKind: None)<br>
+!1 = !DIFile(filename: "src.cpp", directory: "")<br>
+!2 = !{}<br>
+!3 = !{i32 2, !"CodeView", i32 1}<br>
+!4 = !{i32 2, !"Debug Info Version", i32 3}<br>
+!5 = !{i32 1, !"wchar_size", i32 2}<br>
+!6 = !{i32 7, !"PIC Level", i32 2}<br>
+!7 = !{!""}<br>
+!8 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 1, type: !9, scopeLine: 2, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !2)<br>
+!9 = !DISubroutineType(types: !2)<br>
+!10 = !DILocation(line: 5, scope: !8)<br>
+!11 = !DILocation(line: 6, scope: !8)<br>
+!12 = !DILocation(line: 7, scope: !8)<br>
+!13 = !DILocation(line: 10, scope: !8)<br>
+!14 = !DILocation(line: 0, scope: !8)<br>
+!15 = !{!16, !16, i64 0}<br>
+!16 = !{!"int", !17, i64 0}<br>
+!17 = !{!"omnipotent char", !18, i64 0}<br>
+!18 = !{!"Simple C++ TBAA"}<br>
+!19 = distinct !{!19, !10, !20}<br>
+!20 = !DILocation(line: 8, scope: !8)<br>
<br>
Propchange: llvm/trunk/test/Transforms/LoopVectorize/fix-reduction-dbg.ll<br>
------------------------------------------------------------------------------<br>
svn:executable = *<br>
<br>
Modified: llvm/trunk/test/Transforms/LoopVectorize/unsafe-dep-remark.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/unsafe-dep-remark.ll?rev=360162&r1=360161&r2=360162&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopVectorize/unsafe-dep-remark.ll?rev=360162&r1=360161&r2=360162&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/LoopVectorize/unsafe-dep-remark.ll (original)<br>
+++ llvm/trunk/test/Transforms/LoopVectorize/unsafe-dep-remark.ll Tue May 7 08:37:38 2019<br>
@@ -11,7 +11,7 @@ target datalayout = "e-m:o-i64:64-f80:12<br>
; 5 }<br>
; 6 }<br>
<br>
-; CHECK: remark: /tmp/kk.c:3:16: loop not vectorized: unsafe dependent memory operations in loop. Use #pragma loop distribute(enable) to allow loop distribution to attempt to isolate the offending operations into a separate loop<br>
+; CHECK: remark: /tmp/kk.c:2:3: loop not vectorized: unsafe dependent memory operations in loop. Use #pragma loop distribute(enable) to allow loop distribution to attempt to isolate the offending operations into a separate loop<br>
<br>
define void @success(i8* nocapture %A, i8* nocapture readonly %B, i8* nocapture %C, i8* nocapture readonly %D, i8* nocapture readonly %E, i32 %N) !dbg !6 {<br>
entry:<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>