Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2024-11-28 16:11:29 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

IndependentBlocks: Do not assert for PHI nodes outside of scops

Browse Source 
There does not seem to be a reason that we can not support PHI nodes outside of
the scop that reference values within the SCoP. Or at least, the attached test
case seems to do the right thing. We remove the assert for now.

llvm-svn: 200427
This commit is contained in:
Tobias Grosser 2014-01-29 23:08:10 +00:00
parent 1a97215050
commit 933edd04af
2 changed files with 36 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
polly/lib/IndependentBlocks.cpp
View File

@ -419,7 +419,6 @@ bool IndependentBlocks::translateScalarToArray(Instruction *Inst,
while (!LoadOutside.empty()) { while (!LoadOutside.empty()) {
Instruction *U = LoadOutside.pop_back_val(); Instruction *U = LoadOutside.pop_back_val();
assert(!isa<PHINode>(U) && "Can not handle PHI node outside!");
SE->forgetValue(U); SE->forgetValue(U);
U->replaceUsesOfWith(Inst, ExitLoad); U->replaceUsesOfWith(Inst, ExitLoad);
} }

36
polly/test/IndependentBlocks/phi_outside_scop.ll Normal file
View File

@ -0,0 +1,36 @@
; RUN: opt %loadPolly -basicaa -polly-independent -S < %s | FileCheck %s
; RUN: opt %loadPolly -basicaa -polly-independent -polly-codegen-scev -S < %s | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define void @phi_nodes_outside() {
entry:
br label %for.i.1
for.i.1:
%i.1 = phi i32 [ %i.1.next, %for.i.1 ], [ 0, %entry ]
%i.1.next = add nsw i32 %i.1, 1
br i1 false, label %for.i.1 , label %for.i.2.preheader
for.i.2.preheader:
br label %for.i.2
for.i.2:
; The value of %i.1.next is used outside of the scop in a PHI node.
%i.2 = phi i32 [ %i.2.next , %for.i.2 ], [ %i.1.next, %for.i.2.preheader ]
%i.2.next = add nsw i32 %i.2, 1
fence seq_cst
br i1 false, label %for.i.2, label %cleanup
cleanup:
ret void
}
; CHECK: store i32 %i.1.next, i32* %i.1.next.s2a
; CHECK: for.i.2.preheader:
; CHECK: %i.1.next.loadoutside = load i32* %i.1.next.s2a
; CHECK: for.i.2:
; CHECK: %i.2 = phi i32 [ %i.2.next, %for.i.2 ], [ %i.1.next.loadoutside, %for.i.2.preheader ]