From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id DEC813857B86 for ; Wed, 31 Aug 2022 06:25:35 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org DEC813857B86 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1661927135; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=B0ri+IuL3CVr3lRFclvQM+yNckLSUizXTSf+gEBnzrE=; b=h7W2lT2bexBxAwtdwlEolVWeuPaBb8hjX73EadCz7x1KQEzwb7cPQ6iljbnlwOGweDVy53 0ipuPvGNgDWrcXvxlBNPTvculsRfktaDaG7yNI3Ndaopc3bySp5rL6rQD44fH5bRSTGKf7 gz4xarJ5FIx5s4mKIj6v2fei0fk1S4s= Received: from mail-oa1-f72.google.com (mail-oa1-f72.google.com [209.85.160.72]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_128_GCM_SHA256) id us-mta-266-gNA-qtotPb2r_IOPiTrAOw-1; Wed, 31 Aug 2022 02:25:33 -0400 X-MC-Unique: gNA-qtotPb2r_IOPiTrAOw-1 Received: by mail-oa1-f72.google.com with SMTP id 586e51a60fabf-11ca8511155so3995924fac.15 for ; Tue, 30 Aug 2022 23:25:33 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc; bh=B0ri+IuL3CVr3lRFclvQM+yNckLSUizXTSf+gEBnzrE=; b=yIWb6FlhY+H6FY28zJ4lQuiw+9xDOfFHrMFvi4L25wfEWNO2pNlDuf2qliQCL+wXJ8 +0zqBPdKtFxyiuuFrknkG9yEmRUskrMFABwgoTfJaUJL/EYNDvFUSK+8nKhCm67/3dgf W0qqDA3FcZZysH/gp2zRicinI7Ht5w5rNNCUh+4ER1G4NCZqXkFK2CBP8/gmdPy5AepT k/GgiPOuY/H+P4cZ9CKAeXFLXrHF2D/lLamXU4hkuEButzFE4xWi353V4FwJaSrbjVHc EWw1GmWGFZLUe7U4c4opw8Uqi1haj87PPR0xM8o1izOfWBbj3gVllbWhxRYbrXVrsybz tFXQ== X-Gm-Message-State: ACgBeo0F4ni4dXLgrFOInUrLUNe6Yc3EQxhZKChaJS5KRy4VOrsA9BqH qXLldkkbCCb92LJE+oIuSBlmyLcYqWLb08IWEKuNrOn39XiCmJSSDL4FDAPTnENgV9FDWJZqr78 e7EILVTWWHHRbPE0HAkY6MyUWpdWOzOBcNw== X-Received: by 2002:a05:6808:f0f:b0:343:2e0e:ac52 with SMTP id m15-20020a0568080f0f00b003432e0eac52mr610771oiw.36.1661927133034; Tue, 30 Aug 2022 23:25:33 -0700 (PDT) X-Google-Smtp-Source: AA6agR4WlNbayqx1aZtYPSruHJtoUGDTL8r0nj/aJNbZtSq3wj99bFAbDxxaz5IRh3c7lMcTN9te0Ti6TPoPWg+iznE= X-Received: by 2002:a05:6808:f0f:b0:343:2e0e:ac52 with SMTP id m15-20020a0568080f0f00b003432e0eac52mr610767oiw.36.1661927132828; Tue, 30 Aug 2022 23:25:32 -0700 (PDT) MIME-Version: 1.0 References: <20220830154301.1965174-1-aldyh@redhat.com> In-Reply-To: From: Aldy Hernandez Date: Wed, 31 Aug 2022 08:25:21 +0200 Message-ID: Subject: Re: [COMMITTED] Improve union of ranges containing NAN. To: Richard Biener Cc: GCC patches , Jakub Jelinek X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-5.4 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_NONE,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Wed, Aug 31, 2022 at 8:22 AM Richard Biener wrote: > > On Tue, Aug 30, 2022 at 5:43 PM Aldy Hernandez via Gcc-patches > wrote: > > > > Previously [5,6] U NAN would just drop to VARYING. With this patch, > > the resulting range becomes [5,6] with the NAN bit set to unknown. > > > > [I still have yet to decide what to do with intersections. ISTM, the > > intersection of a known NAN with anything else should be a NAN, but it > > could also be undefined (the empty set). I'll have to run some tests > > and see. Currently, we drop to VARYING cause well... it's always safe > > to give up;-).] > > Giving up in too many places will hide bugs in others for too long ... We won't cause bugs, because VARYING is always conservatively correct. But yes, it's on my list. I have some queued up patches I'm testing to address some of these issues. I just wanted to get something correct out and working to get broader testing. Aldy