From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22750 invoked by alias); 15 Jan 2011 18:54:14 -0000 Received: (qmail 22741 invoked by uid 22791); 15 Jan 2011 18:54:14 -0000 X-SWARE-Spam-Status: No, hits=-2.2 required=5.0 tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW X-Spam-Check-By: sourceware.org Received: from mail-yx0-f175.google.com (HELO mail-yx0-f175.google.com) (209.85.213.175) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sat, 15 Jan 2011 18:54:07 +0000 Received: by yxd5 with SMTP id 5so1612041yxd.20 for ; Sat, 15 Jan 2011 10:54:05 -0800 (PST) Received: by 10.90.10.31 with SMTP id 31mr2827282agj.85.1295117643824; Sat, 15 Jan 2011 10:54:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.90.122.7 with HTTP; Sat, 15 Jan 2011 10:53:23 -0800 (PST) In-Reply-To: <20110115171047.GX4376MdfPADPa@purples> References: <1295082315-32242-1-git-send-email-sebpop@gmail.com> <1295082315-32242-8-git-send-email-sebpop@gmail.com> <20110115171047.GX4376MdfPADPa@purples> From: Sebastian Pop Date: Sat, 15 Jan 2011 22:08:00 -0000 Message-ID: Subject: Re: [PATCH 07/10] Use PIP to determine the integer feasibility of a constraint system. To: Sven Verdoolaege Cc: gcc-patches@gcc.gnu.org, rguenther@suse.de, gcc-graphite@googlegroups.com Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2011-01/txt/msg01064.txt.bz2 On Sat, Jan 15, 2011 at 11:10, Sven Verdoolaege wrote: > On Sat, Jan 15, 2011 at 03:05:12AM -0600, Sebastian Pop wrote: >> +bool >> +ppl_powerset_is_empty (ppl_Pointset_Powerset_C_Polyhedron_t ps, >> + =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0int nb_params ATTRIBUTE_UNUSED) > > Why would you have to know the number of parameters to check > whether a set is empty? =A0That makes no sense. To create a PIP problem, PPL asks for the dimensions containing parameters. http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.11-htm= l/interfaceppl__PIP__Problem__tag.html#a51082042eaafc2db84f50f28d3d5b646 In all the constraint systems, the parameters are the last nb_params dimens= ions. Sebastian