maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/polly/test/ScopInfo/partially_invariant_load_2.ll

72 lines
2.3 KiB
LLVM
Raw Normal View History

[tests] Force invariant load hoisting for test cases that need it This will make it easier to switch the default of Polly's invariant load hoisting strategy and also makes it very clear that these test cases indeed require invariant code hoisting to work. llvm-svn: 278667
2016-08-15 21:27:49 +08:00
; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
Optimistic assume required invariant loads to be invariant Before this patch we bailed if a required invariant load was potentially overwritten. However, now we will optimistically assume it is actually invariant and, to this end, restrict the valid parameter space as well as the execution context with regards to potential overwrites of the location. llvm-svn: 270416
2016-05-23 18:40:54 +08:00
;
; Check that we do not try to preload *I and assume p != 42.
;
; CHECK: Invariant Accesses: {
; CHECK-NEXT: }
;
; CHECK: Invalid Context:
Update isl to isl-0.18-1047-g4a20ef8 This update: - Removes several deprecated functions (e.g., isl_band). - Improves the pretty-printing of sets by detecting modulos and "false" equalities. - Minor improvements to coalescing and increased robustness of the isl scheduler. This update does not yet include isl commit isl-0.18-90-gd00cb45 (isl_pw_*_alloc: add missing check for compatible spaces, Wed Sep 6 12:18:04 2017 +0200), as this additional check is too tight and unfortunately causes two test case failures in Polly. A patch has been submitted to isl and will be included in the next isl update for Polly. llvm-svn: 325557
2018-02-20 15:26:42 +08:00
; CHECK-NEXT: [N, p] -> { : false }
[FIX] Do not try to hoist obviously overwritten loads llvm-svn: 288328
2016-12-01 19:10:45 +08:00
;
; CHECK: Stmt_if_then__TO__if_end
; CHECK-NEXT: Domain :=
; CHECK-NEXT: [N, p] -> { Stmt_if_then__TO__if_end[i0] : p = 42 and 0 <= i0 < N };
Optimistic assume required invariant loads to be invariant Before this patch we bailed if a required invariant load was potentially overwritten. However, now we will optimistically assume it is actually invariant and, to this end, restrict the valid parameter space as well as the execution context with regards to potential overwrites of the location. llvm-svn: 270416
2016-05-23 18:40:54 +08:00
;
; void f(int *A, int *I, int N, int p, int q) {
; for (int i = 0; i < N; i++) {
; if (p == 42) {
; *I = 0;
; if (*I == q)
; A[i] *= 2;
; }
; A[i]++;
; }
; }
;
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
define void @f(i32* %A, i32* %I, i32 %N, i32 %p, i32 %q) {
entry:
%tmp = sext i32 %N to i64
br label %for.cond
for.cond: ; preds = %for.inc, %entry
%indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
%cmp = icmp slt i64 %indvars.iv, %tmp
br i1 %cmp, label %for.body, label %for.end
for.body: ; preds = %for.cond
%cmp1 = icmp eq i32 %p, 42
br i1 %cmp1, label %if.then, label %if.end4
if.then: ; preds = %for.body
store i32 0, i32* %I, align 4
%tmp1 = load i32, i32* %I, align 4
%cmp2 = icmp eq i32 %tmp1, %q
br i1 %cmp2, label %if.then3, label %if.end
if.then3: ; preds = %if.then
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
%tmp2 = load i32, i32* %arrayidx, align 4
%mul = shl nsw i32 %tmp2, 1
store i32 %mul, i32* %arrayidx, align 4
br label %if.end
if.end: ; preds = %if.then3, %if.then
br label %if.end4
if.end4: ; preds = %if.end, %for.body
%arrayidx6 = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
%tmp3 = load i32, i32* %arrayidx6, align 4
%inc = add nsw i32 %tmp3, 1
store i32 %inc, i32* %arrayidx6, align 4
br label %for.inc
for.inc: ; preds = %if.end4
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
br label %for.cond
for.end: ; preds = %for.cond
ret void
}