From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 10374 invoked by alias); 16 Jan 2010 22:17:36 -0000 Received: (qmail 10335 invoked by uid 48); 16 Jan 2010 22:17:20 -0000 Date: Sat, 16 Jan 2010 22:17:00 -0000 Message-ID: <20100116221720.10334.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/42637] [4.5 Regression][graphite] wrong code for -floop-interchange -ftree-loop-distribution In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "spop at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2010-01/txt/msg02010.txt.bz2 ------- Comment #5 from spop at gcc dot gnu dot org 2010-01-16 22:17 ------- I have looked again to this function, and I just realized that there were changes to one of the functions of the data dependence test: build_pairwise_scheduling_inequality used to build strict inequalities for the lexicographic comparison, and then Tobias changed it like this: - cstr = build_pairwise_constraint (dim, pos, pos + offset, 0, PPL_CONSTRAINT_TYPE_GREATER_THAN); + cstr = build_pairwise_constraint (dim, pos, pos + offset, -1, + PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL); else - cstr = build_pairwise_constraint (dim, pos, pos + offset, 0, PPL_CONSTRAINT_TYPE_LESS_THAN); + cstr = build_pairwise_constraint (dim, pos, pos + offset, 1, + PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL); This is wrong. This change was done when we decided to remove the use of the NNC (Non-Necessarily Closed) polyhedra into C (Closed) polyhedra, that do not allow the strict inequalities. I am working on a fix for this PR. Sebastian -- spop at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|trifunovic at gcc dot gnu |spop at gcc dot gnu dot org |dot org | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42637