mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 20:51:52 +01:00
e74f29c6a3
This enables da-delinearize in Dependence Analysis for delinearizing array accesses into multiple dimensions. This can help to increase the power of Dependence analysis on multi-dimensional arrays and prevent having to fall back to the slower and less accurate MIV tests. It adds static checks on the bounds of the arrays to ensure that one dimension doesn't overflow into another, and brings our code in line with our tests. Differential Revision: https://reviews.llvm.org/D45872 llvm-svn: 335217
436 lines
14 KiB
LLVM
436 lines
14 KiB
LLVM
; RUN: opt < %s -analyze -basicaa -da | 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-apple-macosx10.6.0"
|
|
|
|
|
|
;; for (int i = 0; i < n; i++) {
|
|
;; A[i + 2] = i;
|
|
;; *B++ = A[i];
|
|
|
|
define void @strong0(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
%cmp1 = icmp sgt i64 %n, 0
|
|
br i1 %cmp1, label %for.body.preheader, label %for.end
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - consistent flow [2]!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body.preheader: ; preds = %entry
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %for.body.preheader, %for.body
|
|
%indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]
|
|
%B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
|
|
%0 = add nsw i64 %indvars.iv, 2
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %0
|
|
%1 = trunc i64 %indvars.iv to i32
|
|
store i32 %1, i32* %arrayidx, align 4
|
|
%arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
|
|
%2 = load i32, i32* %arrayidx3, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
|
|
store i32 %2, i32* %B.addr.02, align 4
|
|
%indvars.iv.next = add i64 %indvars.iv, 1
|
|
%exitcond = icmp ne i64 %indvars.iv.next, %n
|
|
br i1 %exitcond, label %for.body, label %for.end.loopexit
|
|
|
|
for.end.loopexit: ; preds = %for.body
|
|
br label %for.end
|
|
|
|
for.end: ; preds = %for.end.loopexit, %entry
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long int i = 0; i < n; i++) {
|
|
;; A[i + 2] = i;
|
|
;; *B++ = A[i];
|
|
|
|
define void @strong1(i32* %A, i32* %B, i32 %n) nounwind uwtable ssp {
|
|
entry:
|
|
%cmp1 = icmp sgt i32 %n, 0
|
|
br i1 %cmp1, label %for.body.preheader, label %for.end
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - consistent flow [2]!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body.preheader: ; preds = %entry
|
|
%0 = sext i32 %n to i64
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %for.body.preheader, %for.body
|
|
%i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
|
|
%B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
|
|
%conv2 = trunc i64 %i.03 to i32
|
|
%add = add nsw i64 %i.03, 2
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv2, i32* %arrayidx, align 4
|
|
%arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %i.03
|
|
%1 = load i32, i32* %arrayidx3, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
|
|
store i32 %1, i32* %B.addr.02, align 4
|
|
%inc = add nsw i64 %i.03, 1
|
|
%exitcond = icmp ne i64 %inc, %0
|
|
br i1 %exitcond, label %for.body, label %for.end.loopexit
|
|
|
|
for.end.loopexit: ; preds = %for.body
|
|
br label %for.end
|
|
|
|
for.end: ; preds = %for.end.loopexit, %entry
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long unsigned i = 0; i < n; i++) {
|
|
;; A[i + 2] = i;
|
|
;; *B++ = A[i];
|
|
|
|
define void @strong2(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
%cmp1 = icmp eq i64 %n, 0
|
|
br i1 %cmp1, label %for.end, label %for.body.preheader
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - consistent flow [2]!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body.preheader: ; preds = %entry
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %for.body.preheader, %for.body
|
|
%i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
|
|
%B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
|
|
%conv = trunc i64 %i.03 to i32
|
|
%add = add i64 %i.03, 2
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv, i32* %arrayidx, align 4
|
|
%arrayidx1 = getelementptr inbounds i32, i32* %A, i64 %i.03
|
|
%0 = load i32, i32* %arrayidx1, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
|
|
store i32 %0, i32* %B.addr.02, align 4
|
|
%inc = add i64 %i.03, 1
|
|
%exitcond = icmp ne i64 %inc, %n
|
|
br i1 %exitcond, label %for.body, label %for.end.loopexit
|
|
|
|
for.end.loopexit: ; preds = %for.body
|
|
br label %for.end
|
|
|
|
for.end: ; preds = %for.end.loopexit, %entry
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (int i = 0; i < n; i++) {
|
|
;; A[i + 2] = i;
|
|
;; *B++ = A[i];
|
|
|
|
define void @strong3(i32* %A, i32* %B, i32 %n) nounwind uwtable ssp {
|
|
entry:
|
|
%cmp1 = icmp sgt i32 %n, 0
|
|
br i1 %cmp1, label %for.body.preheader, label %for.end
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - consistent flow [2]!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body.preheader: ; preds = %entry
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %for.body.preheader, %for.body
|
|
%indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]
|
|
%B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
|
|
%0 = add nsw i64 %indvars.iv, 2
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %0
|
|
%1 = trunc i64 %indvars.iv to i32
|
|
store i32 %1, i32* %arrayidx, align 4
|
|
%arrayidx2 = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
|
|
%2 = load i32, i32* %arrayidx2, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
|
|
store i32 %2, i32* %B.addr.02, align 4
|
|
%indvars.iv.next = add i64 %indvars.iv, 1
|
|
%lftr.wideiv = trunc i64 %indvars.iv.next to i32
|
|
%exitcond = icmp ne i32 %lftr.wideiv, %n
|
|
br i1 %exitcond, label %for.body, label %for.end.loopexit
|
|
|
|
for.end.loopexit: ; preds = %for.body
|
|
br label %for.end
|
|
|
|
for.end: ; preds = %for.end.loopexit, %entry
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long unsigned i = 0; i < 19; i++) {
|
|
;; A[i + 19] = i;
|
|
;; *B++ = A[i];
|
|
|
|
define void @strong4(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
br label %for.body
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body: ; preds = %entry, %for.body
|
|
%i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
|
|
%B.addr.01 = phi i32* [ %B, %entry ], [ %incdec.ptr, %for.body ]
|
|
%conv = trunc i64 %i.02 to i32
|
|
%add = add i64 %i.02, 19
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv, i32* %arrayidx, align 4
|
|
%arrayidx1 = getelementptr inbounds i32, i32* %A, i64 %i.02
|
|
%0 = load i32, i32* %arrayidx1, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.01, i64 1
|
|
store i32 %0, i32* %B.addr.01, align 4
|
|
%inc = add i64 %i.02, 1
|
|
%exitcond = icmp ne i64 %inc, 19
|
|
br i1 %exitcond, label %for.body, label %for.end
|
|
|
|
for.end: ; preds = %for.body
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long unsigned i = 0; i < 20; i++) {
|
|
;; A[i + 19] = i;
|
|
;; *B++ = A[i];
|
|
|
|
define void @strong5(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
br label %for.body
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - consistent flow [19]!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body: ; preds = %entry, %for.body
|
|
%i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
|
|
%B.addr.01 = phi i32* [ %B, %entry ], [ %incdec.ptr, %for.body ]
|
|
%conv = trunc i64 %i.02 to i32
|
|
%add = add i64 %i.02, 19
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv, i32* %arrayidx, align 4
|
|
%arrayidx1 = getelementptr inbounds i32, i32* %A, i64 %i.02
|
|
%0 = load i32, i32* %arrayidx1, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.01, i64 1
|
|
store i32 %0, i32* %B.addr.01, align 4
|
|
%inc = add i64 %i.02, 1
|
|
%exitcond = icmp ne i64 %inc, 20
|
|
br i1 %exitcond, label %for.body, label %for.end
|
|
|
|
for.end: ; preds = %for.body
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long unsigned i = 0; i < 20; i++) {
|
|
;; A[2*i + 6] = i;
|
|
;; *B++ = A[2*i];
|
|
|
|
define void @strong6(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
br label %for.body
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - consistent flow [3]!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body: ; preds = %entry, %for.body
|
|
%i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
|
|
%B.addr.01 = phi i32* [ %B, %entry ], [ %incdec.ptr, %for.body ]
|
|
%conv = trunc i64 %i.02 to i32
|
|
%mul = shl i64 %i.02, 1
|
|
%add = add i64 %mul, 6
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv, i32* %arrayidx, align 4
|
|
%mul1 = shl i64 %i.02, 1
|
|
%arrayidx2 = getelementptr inbounds i32, i32* %A, i64 %mul1
|
|
%0 = load i32, i32* %arrayidx2, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.01, i64 1
|
|
store i32 %0, i32* %B.addr.01, align 4
|
|
%inc = add i64 %i.02, 1
|
|
%exitcond = icmp ne i64 %inc, 20
|
|
br i1 %exitcond, label %for.body, label %for.end
|
|
|
|
for.end: ; preds = %for.body
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long unsigned i = 0; i < 20; i++) {
|
|
;; A[2*i + 7] = i;
|
|
;; *B++ = A[2*i];
|
|
|
|
define void @strong7(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
br label %for.body
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body: ; preds = %entry, %for.body
|
|
%i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
|
|
%B.addr.01 = phi i32* [ %B, %entry ], [ %incdec.ptr, %for.body ]
|
|
%conv = trunc i64 %i.02 to i32
|
|
%mul = shl i64 %i.02, 1
|
|
%add = add i64 %mul, 7
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv, i32* %arrayidx, align 4
|
|
%mul1 = shl i64 %i.02, 1
|
|
%arrayidx2 = getelementptr inbounds i32, i32* %A, i64 %mul1
|
|
%0 = load i32, i32* %arrayidx2, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.01, i64 1
|
|
store i32 %0, i32* %B.addr.01, align 4
|
|
%inc = add i64 %i.02, 1
|
|
%exitcond = icmp ne i64 %inc, 20
|
|
br i1 %exitcond, label %for.body, label %for.end
|
|
|
|
for.end: ; preds = %for.body
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long unsigned i = 0; i < 20; i++) {
|
|
;; A[i + n] = i;
|
|
;; *B++ = A[i];
|
|
|
|
define void @strong8(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
br label %for.body
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - flow [*|<]!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body: ; preds = %entry, %for.body
|
|
%i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
|
|
%B.addr.01 = phi i32* [ %B, %entry ], [ %incdec.ptr, %for.body ]
|
|
%conv = trunc i64 %i.02 to i32
|
|
%add = add i64 %i.02, %n
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv, i32* %arrayidx, align 4
|
|
%arrayidx1 = getelementptr inbounds i32, i32* %A, i64 %i.02
|
|
%0 = load i32, i32* %arrayidx1, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.01, i64 1
|
|
store i32 %0, i32* %B.addr.01, align 4
|
|
%inc = add i64 %i.02, 1
|
|
%exitcond = icmp ne i64 %inc, 20
|
|
br i1 %exitcond, label %for.body, label %for.end
|
|
|
|
for.end: ; preds = %for.body
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long unsigned i = 0; i < n; i++) {
|
|
;; A[i + n] = i;
|
|
;; *B++ = A[i + 2*n];
|
|
|
|
define void @strong9(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
%cmp1 = icmp eq i64 %n, 0
|
|
br i1 %cmp1, label %for.end, label %for.body.preheader
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body.preheader: ; preds = %entry
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %for.body.preheader, %for.body
|
|
%i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ]
|
|
%B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ]
|
|
%conv = trunc i64 %i.03 to i32
|
|
%add = add i64 %i.03, %n
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv, i32* %arrayidx, align 4
|
|
%mul = shl i64 %n, 1
|
|
%add1 = add i64 %i.03, %mul
|
|
%arrayidx2 = getelementptr inbounds i32, i32* %A, i64 %add1
|
|
%0 = load i32, i32* %arrayidx2, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1
|
|
store i32 %0, i32* %B.addr.02, align 4
|
|
%inc = add i64 %i.03, 1
|
|
%exitcond = icmp ne i64 %inc, %n
|
|
br i1 %exitcond, label %for.body, label %for.end.loopexit
|
|
|
|
for.end.loopexit: ; preds = %for.body
|
|
br label %for.end
|
|
|
|
for.end: ; preds = %for.end.loopexit, %entry
|
|
ret void
|
|
}
|
|
|
|
|
|
;; for (long unsigned i = 0; i < 1000; i++) {
|
|
;; A[n*i + 5] = i;
|
|
;; *B++ = A[n*i + 5];
|
|
|
|
define void @strong10(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
|
|
entry:
|
|
br label %for.body
|
|
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - consistent flow [0|<]!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
|
|
for.body: ; preds = %entry, %for.body
|
|
%i.02 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
|
|
%B.addr.01 = phi i32* [ %B, %entry ], [ %incdec.ptr, %for.body ]
|
|
%conv = trunc i64 %i.02 to i32
|
|
%mul = mul i64 %i.02, %n
|
|
%add = add i64 %mul, 5
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %add
|
|
store i32 %conv, i32* %arrayidx, align 4
|
|
%mul1 = mul i64 %i.02, %n
|
|
%add2 = add i64 %mul1, 5
|
|
%arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %add2
|
|
%0 = load i32, i32* %arrayidx3, align 4
|
|
%incdec.ptr = getelementptr inbounds i32, i32* %B.addr.01, i64 1
|
|
store i32 %0, i32* %B.addr.01, align 4
|
|
%inc = add i64 %i.02, 1
|
|
%exitcond = icmp ne i64 %inc, 1000
|
|
br i1 %exitcond, label %for.body, label %for.end
|
|
|
|
for.end: ; preds = %for.body
|
|
ret void
|
|
}
|