From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 29951 invoked by alias); 23 Sep 2005 09:58:43 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 29905 invoked by uid 48); 23 Sep 2005 09:58:38 -0000 Date: Fri, 23 Sep 2005 09:58:00 -0000 Message-ID: <20050923095838.29903.qmail@sourceware.org> From: "bonzini at gcc dot gnu dot org" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050918131230.23948.harold@alum.mit.edu> References: <20050918131230.23948.harold@alum.mit.edu> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed X-Bugzilla-Reason: CC X-SW-Source: 2005-09/txt/msg02815.txt.bz2 List-Id: ------- Additional Comments From bonzini at gcc dot gnu dot org 2005-09-23 09:58 ------- I've rewritten execute_cse_reciprocals, I think the only useful solution is to implement the optimal scheme for inserting reciprocals, and fix this bug in the process. My algorithm builds a "mock" dominator tree including only the basic blocks with the divides and their common dominators, and then inserts divides whenever it is necessary to satisfy these conditions: 1) if -ftrapping-math, the basic block must have one divide 2) in addition, at least two divides must either be in the basic block, or postdominate it. I still have to run some coverage tests, then I'll post the patch. If anybody wants to help, I'd be thankful. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23948