forked from llvm-mirror/llvm
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[LV] Add regression test for r297610
The new test asserts that scalarized memory operations get memcheck metadata added even if the loop is only unrolled. Differential Revision: https://reviews.llvm.org/D30972 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@298641 91177308-0d34-0410-b5e6-96231b3b80d8
- Loading branch information
Showing
1 changed file
with
36 additions
and
0 deletions.
There are no files selected for viewing
36 changes: 36 additions & 0 deletions
36
test/Transforms/LoopVectorize/unroll-novec-memcheck-metadata.ll
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,36 @@ | ||
; RUN: opt < %s -loop-vectorize -force-vector-interleave=2 -force-vector-width=1 -S | FileCheck --enable-var-scope %s | ||
|
||
; Make sure we attach memcheck metadata to scalarized memory operations even if | ||
; we're only unrolling. | ||
|
||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" | ||
|
||
; CHECK-LABEL: vector.memcheck: | ||
; CHECK-LABEL: vector.body: | ||
; CHECK: load i32, {{.*}} !alias.scope ![[$MD1:[0-9]+]] | ||
; CHECK-LABEL: middle.block: | ||
; CHECK-DAG: ![[$MD1]] = !{![[MD2:[0-9]+]]} | ||
; CHECK-DAG: ![[MD2]] = distinct !{![[MD2]], ![[MD3:[0-9]+]]} | ||
; CHECK-DAG: ![[MD3]] = distinct !{![[MD3]], !"LVerDomain"} | ||
|
||
; Function Attrs: norecurse nounwind uwtable | ||
define void @test(i32* nocapture readonly %a, i32* nocapture %b) local_unnamed_addr #0 { | ||
entry: | ||
br label %for.body | ||
|
||
for.body: ; preds = %for.body, %entry | ||
%indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ] | ||
%arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv | ||
%0 = load i32, i32* %arrayidx, align 4 | ||
%add = add nsw i32 %0, 77 | ||
%arrayidx2 = getelementptr inbounds i32, i32* %b, i64 %indvars.iv | ||
store i32 %add, i32* %arrayidx2, align 4 | ||
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 | ||
%exitcond = icmp eq i64 %indvars.iv.next, 10000 | ||
br i1 %exitcond, label %for.end, label %for.body | ||
|
||
for.end: ; preds = %for.body | ||
ret void | ||
} | ||
|
||
attributes #0 = { norecurse nounwind uwtable } |