From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id D25913858C66; Tue, 7 Mar 2023 12:20:55 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D25913858C66 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1678191655; bh=EzXdTD2KVElKnykKLvLu939jqp52MaPRn+GXWAF6aVY=; h=From:To:Subject:Date:In-Reply-To:References:From; b=MWBfrK9oWkERB6TfU3Nn5Kv2W+M8rI/6HRc53iTmeuTa8BSNIp5rRC1FPDocMjHcu 1aySQoaGnsSd7DIdQoaFmJ6ydVysymwHDCAvvcRg1xRmqtvfK9IYccmeBWpnG06aDa 3AeqxcBTNvZ8TxB6l5NZiyu+3D8CGozY0NlbBXs0= From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/109008] [13 Regression] Wrong code in scipy package since r13-3926-gd4c2f1d376da6f Date: Tue, 07 Mar 2023 12:20:55 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: wrong-code X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 13.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109008 --- Comment #15 from Jakub Jelinek --- I believe worst case the above would do (for IEEE quad) something like 16 checks because of 16-bit exponent, roughly one range_arithmetic, one (for mult/div 2?) frange_arithmetic and real_equal + real_isfinite each, usually much less. Plus if we narrow it down further up to mantissa precision bits more. But at least for the latter we could have some hard limit, don't go further than say 30 bits at most or so. Once/if it makes correctly, we can just grab statistics across some math he= avy project (suggestions welcome).=