From d62d991feab28cf946fcb6b76f7b14fc0e289b5b Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Sun, 20 Jul 2008 13:39:55 -0500 Subject: [PATCH] Remove checks for domain_convex. --- source/ppl/domain.c | 16 ---------------- test/equality2.c.ppl | 4 ++-- 2 files changed, 2 insertions(+), 18 deletions(-) diff --git a/source/ppl/domain.c b/source/ppl/domain.c index 9ee7dd4..411509d 100644 --- a/source/ppl/domain.c +++ b/source/ppl/domain.c @@ -646,17 +646,6 @@ cloog_check_domains (CloogDomain *ppl, CloogDomain *polylib) * combined list, and find the set of constraints which tightly bound all of * those objects. It returns the corresponding polyhedron. */ -static CloogDomain * -cloog_domain_convex_1 (CloogDomain * domain) -{ - Polyhedron *p = d2p (domain); - CloogDomain *res = - cloog_check_domain (cloog_domain_alloc - (DomainConvex (p, MAX_RAYS))); - Polyhedron_Free (p); - return print_result ("cloog_domain_convex_1", res); -} - CloogDomain * cloog_domain_convex (CloogDomain * domain) { @@ -683,11 +672,6 @@ cloog_domain_convex (CloogDomain * domain) res = cloog_translate_ppl_polyhedron (p1); ppl_delete_Polyhedron (p1); - if (cloog_check_polyhedral_ops) - return print_result ("cloog_domain_convex", - cloog_check_domains - (res, cloog_domain_convex_1 (domain))); - return print_result ("cloog_domain_convex", res); } diff --git a/test/equality2.c.ppl b/test/equality2.c.ppl index f60382e..caf00e9 100644 --- a/test/equality2.c.ppl +++ b/test/equality2.c.ppl @@ -1,7 +1,7 @@ -/* Generated from equality2.cloog by CLooG 64 bits in 0.57s. */ +/* Generated from equality2.cloog by CLooG 64 bits in 0.56s. */ for (i0=1;i0<=10000;i0++) { for (i1=1000;i1<=1016;i1++) { - for (i2=1;i2<=min(2*i1-1999,-2*i1+2033);i2++) { + for (i2=1;i2<=min(-2*i1+2033,2*i1-1999);i2++) { if (2*i1 == i2+1999) { S2(i3 = 1,i4 = i0,i5 = 2*i1-1000,i6 = 1,i7 = 2,i8 = i0,i9 = i1-499,i10 = 2*i1-1999,i11 = i0,i12 = 2*i1-1999,i13 = i1-999,i14 = i1-999) ; } -- 2.11.4.GIT