OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

Use isl_ast_expr_call to create run-time checks 

isl recently introduced a new interface to create run-time checks from
constraint sets. Use this interface to simplify our run-time check generation.

llvm-svn: 230640
This commit is contained in:
Tobias Grosser 2015-02-26 15:21:10 +00:00
parent 504f0987fe
commit f72bdbfbb1
9 changed files with 24 additions and 42 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
polly/lib/CodeGen/IslAst.cpp
View File

@ -313,23 +313,7 @@ void IslAst::buildRunCondition(__isl_keep isl_ast_build *Build) {
// optimized scop can be executed conditionally according to the result of the
// run-time check.
isl_aff *Zero =
isl_aff_zero_on_domain(isl_local_space_from_space(S->getParamSpace()));
isl_aff *One =
isl_aff_zero_on_domain(isl_local_space_from_space(S->getParamSpace()));
One = isl_aff_add_constant_si(One, 1);
isl_pw_aff *PwZero = isl_pw_aff_from_aff(Zero);
isl_pw_aff *PwOne = isl_pw_aff_from_aff(One);
PwOne = isl_pw_aff_intersect_domain(PwOne, S->getAssumedContext());
PwZero = isl_pw_aff_intersect_domain(
PwZero, isl_set_complement(S->getAssumedContext()));
isl_pw_aff *Cond = isl_pw_aff_union_max(PwOne, PwZero);
RunCondition = isl_ast_build_expr_from_pw_aff(Build, Cond);
RunCondition = isl_ast_build_expr_from_set(Build, S->getAssumedContext());
// Create the alias checks from the minimal/maximal accesses in each alias
// group. This operation is by construction quadratic in the number of

2
polly/test/Isl/Ast/OpenMP/nested_loop_both_parallel_parametric.ll
View File

@ -41,7 +41,7 @@ ret:
ret void
}
; CHECK: if (n <= 1024 ? 1 : 0)
; CHECK: if (n <= 1024)
; CHECK: #pragma omp parallel for
; CHECK: for (int c0 = 0; c0 < n; c0 += 1)
; CHECK: #pragma simd

10
polly/test/Isl/Ast/alias_simple_1.ll
View File

@ -12,11 +12,11 @@
; A[i] = B[i];
; }
;
; NOAA: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; BASI: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; TBAA: if (N <= 1024 ? 1 : 0)
; SCEV: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; GLOB: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; NOAA: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; BASI: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; TBAA: if (N <= 1024)
; SCEV: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; GLOB: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
;
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

10
polly/test/Isl/Ast/alias_simple_2.ll
View File

@ -12,11 +12,11 @@
; A[i] = B[i];
; }
;
; NOAA: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; BASI: if (N <= 1024 ? 1 : 0)
; TBAA: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; SCEV: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; GLOB: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; NOAA: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; BASI: if (N <= 1024)
; TBAA: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; SCEV: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; GLOB: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
;
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

10
polly/test/Isl/Ast/alias_simple_3.ll
View File

@ -12,11 +12,11 @@
; A[i] = B[i];
; }
;
; NOAA: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; BASI: if (N <= 1024 ? 1 : 0)
; TBAA: if (N <= 1024 ? 1 : 0)
; SCEV: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; GLOB: if ((N <= 1024 ? 1 : 0) && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; NOAA: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; BASI: if (N <= 1024)
; TBAA: if (N <= 1024)
; SCEV: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
; GLOB: if (N <= 1024 && (&MemRef_A[N] <= &MemRef_B[0] || &MemRef_B[N] <= &MemRef_A[0]))
;
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

2
polly/test/Isl/Ast/simple-run-time-condition.ll
View File

@ -22,7 +22,7 @@ target triple = "x86_64-unknown-linux-gnu"
; CHECK: ({{(q == 100 && o <= 0|o <= 0 && q == 100)}})
; CHECK: ||
; CHECK: ({{(q == 0 && o >= 1)|(o >= 1 && q == 0)}})
; CHECK: ? 1 : 0)
; CHECK: )
; CHECK: if (o >= 1) {
; CHECK: for (int c1 = 0; c1 < n; c1 += 1)

4
polly/test/Isl/CodeGen/multidim_2d_parametric_array_static_loop_bounds.ll
View File

@ -12,10 +12,8 @@ target triple = "x86_64-unknown-linux-gnu"
;
; CHECK: entry:
; CHECK: %0 = icmp sge i64 %m, 150
; CHECK: %1 = select i1 %0, i64 1, i64 0
; CHECK: %2 = icmp ne i64 %1, 0
; CHECK: polly.split_new_and_old:
; CHECK: br i1 %2, label %polly.start, label %for.i
; CHECK: br i1 %0, label %polly.start, label %for.i
define void @foo(i64 %n, i64 %m, double* %A) {
entry:

8
polly/test/Isl/CodeGen/run-time-condition-with-scev-parameters.ll
View File

@ -2,9 +2,11 @@
; RUN: opt %loadPolly -polly-detect-unprofitable -polly-no-early-exit -polly-codegen-isl -S -polly-delinearize < %s | FileCheck %s
; CHECK: %1 = zext i32 %n to i64
; CHECK: %2 = icmp sge i64 %1, 1
; CHECK: %3 = select i1 %2, i64 1, i64 0
; CHECK: %4 = icmp ne i64 %3, 0
; CHECK-NEST: %2 = icmp sge i64 %1, 1
; CHECK-NEST: br label %polly.split_new_and_old
; CHECK: polly.split_new_and_old:
; CHECK-NEXT: br i1 %2, label %polly.start, label %for.body4
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

2
polly/test/Isl/CodeGen/scop_never_executed_runtime_check_location.ll
View File

@ -10,8 +10,6 @@
;
; CHECK: %[[T0:[._a-zA-Z0-9]]] = zext i32 %n to i64
; CHECK: %[[T1:[._a-zA-Z0-9]]] = icmp sge i64 %[[T0]], 1
; CHECK: %[[T2:[._a-zA-Z0-9]]] = select i1 %[[T1]], i64 1, i64 0
; CHECK: %[[T3:[._a-zA-Z0-9]]] = icmp ne i64 %[[T2]], 0
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"