173ecab705
I just learned that target triples prevent test cases to be run on other architectures. Polly test cases are until now sufficiently target independent to not require any target triples. Hence, we drop them. llvm-svn: 235384
297 lines
7.6 KiB
LLVM
297 lines
7.6 KiB
LLVM
; RUN: opt %loadPolly -polly-detect-unprofitable -polly-detect -analyze < %s | FileCheck %s
|
|
; RUN: opt %loadPolly -polly-detect-unprofitable -polly-detect -analyze < %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"
|
|
|
|
define void @base_pointer_in_condition(i64** noalias %A_ptr, i64 %N) nounwind {
|
|
entry:
|
|
fence seq_cst
|
|
br label %pre
|
|
|
|
pre:
|
|
%A = load i64*, i64** %A_ptr
|
|
br i1 true, label %for.i, label %then
|
|
|
|
for.i:
|
|
%indvar = phi i64 [ 0, %pre ], [ %indvar.next, %for.i ]
|
|
%scevgep = getelementptr i64, i64* %A, i64 %indvar
|
|
store i64 %indvar, i64* %scevgep
|
|
%indvar.next = add nsw i64 %indvar, 1
|
|
%exitcond = icmp eq i64 %indvar.next, %N
|
|
br i1 %exitcond, label %then, label %for.i
|
|
|
|
then:
|
|
br label %return
|
|
|
|
return:
|
|
fence seq_cst
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: base_pointer_in_condition
|
|
; CHECK: Valid Region for Scop: for.i => then
|
|
|
|
define void @base_pointer_is_argument(float* %A, i64 %n) {
|
|
entry:
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
br label %S1
|
|
|
|
S1:
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%arrayidx5 = getelementptr float, float* %A, i64 %indvar.i
|
|
store float %conv, float* %arrayidx5, align 4
|
|
br label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: base_pointer_is_argument
|
|
; CHECK: Valid Region for Scop: for.i => exit
|
|
|
|
define void @base_pointer_is_const_expr(i64 %n) {
|
|
entry:
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
br label %S1
|
|
|
|
S1:
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%arrayidx5 = getelementptr float, float* inttoptr (i64 100 to float*), i64 %indvar.i
|
|
store float %conv, float* %arrayidx5, align 4
|
|
br label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: base_pointer_is_const_expr
|
|
; CHECK-LABEL: Valid Region for Scop: for.i => exit
|
|
|
|
@A = external global float
|
|
|
|
define void @base_pointer_is_global(i64 %n) {
|
|
entry:
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
br label %S1
|
|
|
|
S1:
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%arrayidx5 = getelementptr float, float* @A, i64 %indvar.i
|
|
store float %conv, float* %arrayidx5, align 4
|
|
br label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: base_pointer_is_global
|
|
; CHECK: Valid Region for Scop: for.i => exit
|
|
|
|
declare float *@foo()
|
|
|
|
define void @base_pointer_is_inst_outside(i64 %n) {
|
|
entry:
|
|
%A = call float *@foo()
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
br label %S1
|
|
|
|
S1:
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%arrayidx5 = getelementptr float, float* %A, i64 %indvar.i
|
|
store float %conv, float* %arrayidx5, align 4
|
|
br label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: base_pointer_is_inst_outside
|
|
; CHECK: Valid Region for Scop: for.i => exit
|
|
|
|
declare float* @getNextBasePtr(float*) readnone nounwind
|
|
|
|
define void @base_pointer_is_phi_node(i64 %n, float* %A) {
|
|
entry:
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
%ptr = phi float* [ %ptr.next, %for.i.inc ], [ %A, %entry ]
|
|
; To get a PHI node inside a SCoP that can not be analyzed but
|
|
; for which the surrounding SCoP is normally still valid we use a function
|
|
; without any side effects.
|
|
%ptr.next = call float* @getNextBasePtr(float* %ptr)
|
|
br label %S1
|
|
|
|
S1:
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%arrayidx5 = getelementptr float, float* %ptr, i64 %indvar.i
|
|
store float %conv, float* %arrayidx5, align 4
|
|
br label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: base_pointer_is_phi_node
|
|
; CHECK-NOT: Valid Region for Scop
|
|
|
|
define void @base_pointer_is_inst_inside_invariant_1(i64 %n, float* %A) {
|
|
entry:
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
; To get an instruction inside a region, we use a function without side
|
|
; effects on which SCEV blocks, but for which it is still clear that the
|
|
; return value remains invariant throughout the whole loop.
|
|
%ptr = call float* @getNextBasePtr(float* %A)
|
|
br label %S1
|
|
|
|
S1:
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%arrayidx5 = getelementptr float, float* %ptr, i64 %indvar.i
|
|
store float %conv, float* %arrayidx5, align 4
|
|
br label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: base_pointer_is_inst_inside_invariant_1
|
|
; CHECK: Valid Region for Scop: for.i => exit
|
|
|
|
declare float* @getNextBasePtr2(float*) readnone nounwind
|
|
|
|
define void @base_pointer_is_inst_inside_invariant_2(i64 %n, float* %A) {
|
|
entry:
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
%ptr = call float* @getNextBasePtr2(float* %A)
|
|
%ptr2 = call float* @getNextBasePtr(float* %ptr)
|
|
br label %S1
|
|
|
|
S1:
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%arrayidx5 = getelementptr float, float* %ptr2, i64 %indvar.i
|
|
store float %conv, float* %arrayidx5, align 4
|
|
br label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: base_pointer_is_inst_inside_invariant_2
|
|
; CHECK: Valid Region for Scop: for.i => exit
|
|
|
|
declare float* @getNextBasePtr3(float*, i64) readnone nounwind
|
|
|
|
define void @base_pointer_is_inst_inside_variant(i64 %n, float* %A) {
|
|
entry:
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
%ptr = call float* @getNextBasePtr3(float* %A, i64 %indvar.i)
|
|
%ptr2 = call float* @getNextBasePtr(float* %ptr)
|
|
br label %S1
|
|
|
|
S1:
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%arrayidx5 = getelementptr float, float* %ptr2, i64 %indvar.i
|
|
store float %conv, float* %arrayidx5, align 4
|
|
br label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK: base_pointer_is_inst_inside_variant
|
|
; CHECK-NOT: Valid Region for Scop
|
|
|
|
define void @base_pointer_is_ptr2ptr(float** noalias %A, i64 %n) {
|
|
entry:
|
|
br label %for.i
|
|
|
|
for.i:
|
|
%indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
|
|
%arrayidx = getelementptr float*, float** %A, i64 %indvar.i
|
|
br label %for.j
|
|
|
|
for.j:
|
|
%indvar.j = phi i64 [ 0, %for.i ], [ %indvar.j.next, %for.j ]
|
|
%conv = sitofp i64 %indvar.i to float
|
|
%basepointer = load float*, float** %arrayidx, align 8
|
|
%arrayidx5 = getelementptr float, float* %basepointer, i64 %indvar.j
|
|
store float %conv, float* %arrayidx5, align 4
|
|
%indvar.j.next = add i64 %indvar.j, 1
|
|
%exitcond.j = icmp ne i64 %indvar.j.next, %n
|
|
br i1 %exitcond.j, label %for.j, label %for.i.inc
|
|
|
|
for.i.inc:
|
|
%indvar.i.next = add i64 %indvar.i, 1
|
|
%exitcond.i = icmp ne i64 %indvar.i.next, %n
|
|
br i1 %exitcond.i, label %for.i, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|
|
|
|
; CHECK: base_pointer_is_ptr2ptr
|
|
; CHECK-NOT: Valid Region for Scop
|