maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Do not add but record signed-unsigned assumptions 

llvm-svn: 267528
This commit is contained in:
Johannes Doerfert 2016-04-26 09:16:36 +00:00
parent 0600e8d759
commit 625bb1fc10
3 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
polly/lib/Support/SCEVAffinator.cpp
View File

@ -340,7 +340,7 @@ SCEVAffinator::visitZeroExtendExpr(const SCEVZeroExtendExpr *Expr) {
NegDom = ExprDomain ? isl_set_intersect(NegDom, ExprDomain) : NegDom;
auto DL = BB ? BB->getTerminator()->getDebugLoc() : DebugLoc();
OpPWAC.second = isl_set_union(OpPWAC.second, isl_set_copy(NegDom));
S->addAssumption(UNSIGNED, isl_set_params(NegDom), DL, AS_RESTRICTION);
S->recordAssumption(UNSIGNED, NegDom, DL, AS_RESTRICTION, BB);
return OpPWAC;
}

2
polly/test/ScopInfo/multidim_only_ivs_3d_cast.ll
View File

@ -11,7 +11,7 @@
; CHECK: Assumed Context:
; CHECK-NEXT: [o, m, n] -> { : }
; CHECK-NEXT: Invalid Context:
; CHECK-NEXT: [o, m, n] -> { : o < 0 or m < 0 or (o >= 0 and m >= 0 and n <= 0) or (m = 0 and o >= 0 and n > 0) or (o = 0 and m > 0 and n > 0) }
; CHECK-NEXT: [o, m, n] -> { : o < 0 or (o >= 0 and m < 0) or (o >= 0 and m >= 0 and n <= 0) or (m = 0 and o >= 0 and n > 0) or (o = 0 and m > 0 and n > 0) }
;
; CHECK: p0: %o

1
polly/test/ScopInfo/user_provided_non_dominating_assumptions.ll
View File

@ -1,7 +1,6 @@
; RUN: opt %loadPolly -pass-remarks-analysis="polly-scops" -polly-scops -disable-output < %s 2>&1 | FileCheck %s
;
; CHECK: remark: <unknown>:0:0: SCoP begins here.
; CHECK-NEXT: remark: <unknown>:0:0: Signed-unsigned restriction: [i, N, M] -> { : N >= i and M < 0 }
; CHECK-NEXT: remark: <unknown>:0:0: Inbounds assumption: [i, N, M] -> { : N <= i or (N > i and M <= 100) }
; CHECK-NEXT: remark: <unknown>:0:0: SCoP ends here.
;