RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

[LV] Adding test for r327109

Browse Source 
llvm-svn: 327155
This commit is contained in:
Renato Golin 2018-03-09 18:02:36 +00:00
parent c0ae8f8658
commit d1d0f87c24
1 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
test/Transforms/LoopVectorize/pr36311.ll Normal file
View File

@ -0,0 +1,49 @@
; RUN: opt -loop-vectorize -force-vector-width=2 -S < %s
;
; Cleaned up version of fe_tools.all_dimensions.ll from PR36311.
; Forcing VF=2 to trigger vector code gen
;
; This is a test case that let's vectorizer's code gen to modify CFG and get
; DomTree out of date, such that an assert from SCEV would trigger if
; reanalysis of SCEV happens subsequently. Once vector code gen starts,
; vectorizer should not invoke recomputation of Analysis.
$test = comdat any
declare i32 @__gxx_personality_v0(...)
; Function Attrs: uwtable
define dso_local void @test() local_unnamed_addr #0 comdat align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
entry:
br label %for.body51
for.body51: ; preds = %for.body51, %entry
br i1 undef, label %for.body51, label %for.body89.lr.ph
for.cond80.loopexit: ; preds = %for.body89
%inc94.lcssa = phi i32 [ %inc94, %for.body89 ]
br i1 undef, label %for.body89.lr.ph, label %nrvo.skipdtor.loopexit
for.body89.lr.ph: ; preds = %for.cond80.loopexit, %for.body51
%i79.0179 = phi i32 [ %add90, %for.cond80.loopexit ], [ 0, %for.body51 ]
%next_index.4178 = phi i32 [ %inc94.lcssa, %for.cond80.loopexit ], [ undef, %for.body51 ]
%add90 = add nuw i32 %i79.0179, 1
%mul91 = mul i32 %add90, undef
br label %for.body89
for.body89: ; preds = %for.body89, %for.body89.lr.ph
%j.0175 = phi i32 [ 0, %for.body89.lr.ph ], [ %add92, %for.body89 ]
%next_index.5174 = phi i32 [ %next_index.4178, %for.body89.lr.ph ], [ %inc94, %for.body89 ]
%add92 = add nuw i32 %j.0175, 1
%add93 = add i32 %add92, %mul91
%inc94 = add i32 %next_index.5174, 1
%conv95 = zext i32 %next_index.5174 to i64
%arrayidx.i160 = getelementptr inbounds i32, i32* undef, i64 %conv95
store i32 %add93, i32* %arrayidx.i160, align 4
;, !tbaa !1
%cmp87 = icmp ult i32 %add92, undef
br i1 %cmp87, label %for.body89, label %for.cond80.loopexit
nrvo.skipdtor.loopexit: ; preds = %for.cond80.loopexit
ret void
}