From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-00154904.pphosted.com (mx0b-00154904.pphosted.com [148.163.137.20]) by sourceware.org (Postfix) with ESMTPS id 2EF7038582AE for ; Tue, 6 Sep 2022 12:38:14 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 2EF7038582AE Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=dell.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=dell.com Received: from pps.filterd (m0170398.ppops.net [127.0.0.1]) by mx0b-00154904.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 2865kkPo030134; Tue, 6 Sep 2022 08:38:13 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=dell.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-id : content-transfer-encoding : mime-version; s=smtpout1; bh=Osh8g9TVFxcMSyGhIKpf5ru9A7MXqhiPStYyZi7nL4s=; b=Qt/cGOb3/zF2jYcxkw4oytcfgkqEIG1VNEk5HJEZBQMpqJ3W0y4Dwq14PeRRgloGIEjp 3ipoPnofieErzQCQsVqgAdBnSfb+cptFTM2tUGrDYiVbpF0om9b/UUR1R1FSyrOvhPf1 zWmMN14mq+NlvVSqNM4So9zi7aY01wpMOSKi6uLh90KugtyNN9hewrwEdMzfVayQ4+Xn jilJ/bPUd2oWN0b3THiLbu5JNwfbTPfvI1aK6b6U6+nriyQpuOMDmlzzcqjXzY+p6sq+ 6VwDgPHqsVyyRm4W7mmLlKGGeQLIQUOs6Qws0oTVcOGAd/B8S56r83dps68kjyqStokb nw== Received: from mx0b-00154901.pphosted.com (mx0b-00154901.pphosted.com [67.231.157.37]) by mx0b-00154904.pphosted.com (PPS) with ESMTPS id 3jc259a6sd-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Tue, 06 Sep 2022 08:38:13 -0400 Received: from pps.filterd (m0144102.ppops.net [127.0.0.1]) by mx0b-00154901.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 286BvCeL003561; Tue, 6 Sep 2022 08:38:13 -0400 Received: from nam10-dm6-obe.outbound.protection.outlook.com (mail-dm6nam10lp2105.outbound.protection.outlook.com [104.47.58.105]) by mx0b-00154901.pphosted.com (PPS) with ESMTPS id 3jdwtk8m4q-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 06 Sep 2022 08:38:12 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=NvqErFahlWXoZoT8vNsP3lySk0Or3zIRlS2nc58dugb4cTRDXbbSxyvYbCQaiDocQYPSOKr5bIz7i7d2oG6MD61W08xufriXNLWsroAagfBRjef0jb6yvhf0cTC0fP+IYfgFQxk4Njmz7DrN5S0VXPkldamQb/13gQbPqi9KBTyXNbrw+Lla1xfaTPQZOySvSLtjDagJq2hrdJzDlCwzn07fBn1sqWHk4H0RrUofSlvLpBIxSFUAmq4NzvBHC+I+2WnT2XJJJ5by94jTNRBxvLyfgNpH/oy0ZLeS2O11hweiKpzA+6H74RQRsWlsWJyt7BhfDmT8WjqB2cAWWzyixw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Osh8g9TVFxcMSyGhIKpf5ru9A7MXqhiPStYyZi7nL4s=; b=YDEOlSRegi+Jegj6HeYUxTMA43mjR2DIL5x5rBRTzQZZi9vfP/3yEUAgw0MMHd3e+bRipKQ85m5vSX53JtVQ7+ly+hcP8z/xDoHpgCfZKfit95YzwKX5Qd5e4vkRPEpDHMw+IywJJiDP+ELctcmS6h4NX6ZIYqQb1ZubBPGRUaL3gRz+5lU7C5NKK4ujMZ3LcAGqfhrzORau/RqHqR381eiq/V9ptzG4SGglejGTBDvoDKeYh3p5XLy+mD2Hy3TLoDUeAA7KspkZplXGiCY4RBO2xv8CbNm0oHw9VKoKaZw/VHGCADQ622nW0lX6PDNKJitewkbpq9U33A5XcPEILw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=dell.com; dmarc=pass action=none header.from=dell.com; dkim=pass header.d=dell.com; arc=none Received: from SA0PR19MB4508.namprd19.prod.outlook.com (2603:10b6:806:b8::7) by IA1PR19MB6273.namprd19.prod.outlook.com (2603:10b6:208:3eb::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5588.10; Tue, 6 Sep 2022 12:38:09 +0000 Received: from SA0PR19MB4508.namprd19.prod.outlook.com ([fe80::c4c:4b34:35a7:ada6]) by SA0PR19MB4508.namprd19.prod.outlook.com ([fe80::c4c:4b34:35a7:ada6%7]) with mapi id 15.20.5588.018; Tue, 6 Sep 2022 12:38:09 +0000 From: "Koning, Paul" To: Jakub Jelinek CC: Aldy Hernandez , GCC Patches Subject: Re: [PATCH] Handle > INF and < INF correctly in range-op-float.cc Thread-Topic: [PATCH] Handle > INF and < INF correctly in range-op-float.cc Thread-Index: AQHYwe2ErN2w5hXBQkSFocV2cj5H0w== Date: Tue, 6 Sep 2022 12:38:09 +0000 Message-ID: <85F67A1E-44C1-4103-8ABC-11E9614ABE81@dell.com> References: <20220906072901.3472801-1-aldyh@redhat.com> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3654.120.0.1.13) x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: ba71c823-d44c-44cd-14dc-08da9004a7b6 x-ms-traffictypediagnostic: IA1PR19MB6273:EE_ x-exotenant: 2khUwGVqB6N9v58KS13ncyUmMJd8q4 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: VG6F2HnTKMt4G9Z4p7Hfws5pfrDbX+iybcfedFLjbWkk2UAx5a5nmHZJ1T5QqyG2tCbw/8w6RnxnDtfYTKw2zQR/biDHLlttj8vAFecmOMt7sU9dW4lzLzm4HUJdeOXyzK6RmYV64Ze+jJehqQkglRO3Ib3hIKq9AY4ZgLsm2IlDA/26XWwPXazgSz+ol+pgmQ2gNS15fEQ+eaOLwNmq4pMAQcftlN2whajIW8ZQ36UlxxLzzZxltJiJCknrDpdo6/g8hywg+BeDxXZ64SsfInHV+8awAxwuFqys1jN0SKb9C6NSWMxaxbKug1D+xphZbrmYpNOMIBZEkwVx4fm3jPtMU7aoStpxRJrqMcYE2DNLjKTKR/LXMpWMBiwirGW1iU5mDV1i3dCU9xk4EKl9ZzyRn+uXFmLxhxYF/sYNPKQqu1SMlOd2CnajCTsu6yKndH2wDU0F8wQRCSo4OnXAzwY+Yiy7EcYnr2Xy9FATC9Wua9lqMTROfzC2dv7GUsQyiZXQpKCzJljbnwqgDzcnZ1zVXCX26b3TZTLV93VsAItqqbWFqIkJFqxXLEICTRJ6iPss0qH+j4NGLXc4+hER0gOfVysGED5noOzrkorodSzs/feTwH14owkRBIVsOHb+S5Bf/hHf014W3qa/P2kUrvSdSWS4VF+e18Lc6xB1zcOWzKvGeuC5WOkOR/MWK/p+vCphwbVz1AKj3qOfMAOnK06XKfHhu22jqI29cM8ufyzApbv42oKJ9d8i4hBxSd+byAl2Mofs/fH9bngb7LQVSdnXCI1od7kfL3PYeWz/uuo= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:SA0PR19MB4508.namprd19.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230016)(4636009)(136003)(396003)(366004)(346002)(376002)(39860400002)(6486002)(8936002)(26005)(38070700005)(4744005)(66946007)(64756008)(76116006)(91956017)(71200400001)(316002)(8676002)(66556008)(4326008)(786003)(6512007)(53546011)(2906002)(2616005)(66446008)(186003)(6506007)(6916009)(38100700002)(82960400001)(86362001)(36756003)(478600001)(122000001)(41300700001)(66476007)(5660300002)(33656002)(54906003)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?HRSmXqJ0HKNGxwnr/wr+0ZEv1R37S1n1ZWl++3oXErX+lvSMDouEDghGJGRF?= =?us-ascii?Q?ZU0/RKDthLszxFQOFn1dIWY9rYHi8NfdAOuKLzTI768hm0wfZftBRqNxKI09?= =?us-ascii?Q?IoEyRaTyI2JlMTnxpM1f7hjZGFaY9qDHULdwfe4FmW1T6yv6OWeYlzRiFJ2b?= =?us-ascii?Q?QTTILtufl/MiqXt8CO50nFs4tPUuL9uOKdPf5mirA4sPGTVN3Jaak2ODPHfE?= =?us-ascii?Q?pl9IIK540s7208zuirb4G3f8sbzEXKWGxN09hs14BEeRzceL+W078QtHSmhB?= =?us-ascii?Q?KCsbcZlfZin/s/Ck6p9whCemzwM0FbcL6rKwt5ZteSdpDsV/gzkPZV0VMWOa?= =?us-ascii?Q?Yfl6yYwx+e5bfYhJ9f35x/yXwFfcx5rbk6a1+mt0TXYCR9nbp+Pe1oSNCvMK?= =?us-ascii?Q?bJWXRwIKKvmQjQSCHER876+2Dz4GZuo5BCfukqtpCtMSfLE72LZYqS27fBvR?= =?us-ascii?Q?fqJ+s7N0Mwqy0Q4cdRj3PN0JmxpTJpMBXe2g1vrG9P5XReKWEzjxtrhbpXzJ?= =?us-ascii?Q?7Sqw0GHUDbRRuBtVtPdCzjjfkljZDVh/wqu5N7SRH3Imp3QV7bJen2Vzis22?= =?us-ascii?Q?Pbj8+94y6ADcbJLt+dsqTtZ3vZurDfB3OXTc/PQsZ6Ds1aC7lR7cPWXDb8i1?= =?us-ascii?Q?1dCXnrCUJfS8nJvrWcMeRRzkjZwhZPUJ87M7CncZALeYRzjgKkBmVI25j5en?= =?us-ascii?Q?LZznZGs+JInotIeyNiV0bMZjKjHNEf/ArjxmTVw0HEsweqS+tbaSdF/gd/iP?= =?us-ascii?Q?u9xq5sF/ifvDjxl7KZPya+Qu+I7B1Cp2OOMsFx5CqxkoS+Y/RYV8K0EiedDg?= =?us-ascii?Q?JVkIHsId1nxOnb5SAKlgTkpjfbbQNdrLIOZoKe4kt+wpcG3iaD9RG0cG3fHG?= =?us-ascii?Q?VXzI2r5TP9ZcEDoAuzbeyXWv4J3RuTFA4QbIRapJtZabR7txaYNFh/F9u7++?= =?us-ascii?Q?CH0LJgf2xtNP0/RTYGFyI1xIn/EPs3RNrdwKhYWPpQhPK4K+TIkyStdqq0Nv?= =?us-ascii?Q?tBOJijTjRi+vuWWKhWz8g/F/SwYxaNBohiSZT9UdZEa56pHGmiHqGZR6ts79?= =?us-ascii?Q?GFNeIo6gLUnGXc6xJ6Slh+InjZU/sngoFeba3b0KVgxqmzJaWga3K7mOMSQL?= =?us-ascii?Q?T6biFOyaCdcBV+MTa40RhomzQxVuy6EnGNctlY2OaouYdGr5c0Ds1jXP/X2m?= =?us-ascii?Q?swirYv3woLkV+EQm9utAtdWGgUKzoZkVMjmY9k5mU1cqCrR5RhfukPl31M09?= =?us-ascii?Q?P+iwdcOxx9EAPEk1jHUHpJQ8JGdwwlYCQugBCsurnfrUSteR4ANDPjm/baVa?= =?us-ascii?Q?69hkBR7VhjoN36DzUqyjx2wPOxg3hELqrh8kda6k9hZq9kHIlneD7N2R5TrI?= =?us-ascii?Q?Py63WG6cvFRBkDiv6QQ+/yKlZrUQFGy9qbU8hg8P70OzvZHv6vWhQwTbypwv?= =?us-ascii?Q?0HjC1qn9c2+mMblT5TJWr2zdbcwSdi0BQj65np0+Mo69NeERJxZNbXxkN4yr?= =?us-ascii?Q?kcL33pyNP7Y5btiVP1JGBrnjuvCKuNFiP6I2jpbKN6txo3aEIakeqb6cHb/e?= =?us-ascii?Q?f/+uHwKrE/5fJaKLiAGaYY4LsXbDlwFpjFZYsHOiLnQXdcDDKjw0WjRN23zO?= =?us-ascii?Q?Sg=3D=3D?= Content-Type: text/plain; charset="us-ascii" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: Dell.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SA0PR19MB4508.namprd19.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: ba71c823-d44c-44cd-14dc-08da9004a7b6 X-MS-Exchange-CrossTenant-originalarrivaltime: 06 Sep 2022 12:38:09.4030 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 945c199a-83a2-4e80-9f8c-5a91be5752dd X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: yoozuc5QRdsZz+PcK3Bc8dThxW/4oPSy8oWEcM/0R5yLR45IpOgF410VbHy3OYDa8qj5j/ZJESSwo1GPgaygVg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: IA1PR19MB6273 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.895,Hydra:6.0.528,FMLib:17.11.122.1 definitions=2022-09-06_06,2022-09-06_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 clxscore=1011 impostorscore=0 spamscore=0 priorityscore=1501 mlxscore=0 bulkscore=0 phishscore=0 malwarescore=0 lowpriorityscore=0 mlxlogscore=675 adultscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2207270000 definitions=main-2209060060 X-Proofpoint-ORIG-GUID: 9c8EPYV2Axy4Qv6Omqq8uKrsFwDnwYpO X-Proofpoint-GUID: 9c8EPYV2Axy4Qv6Omqq8uKrsFwDnwYpO X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=810 adultscore=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2207270000 definitions=main-2209060060 X-Spam-Status: No, score=-2.5 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_MSPIKE_H2,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 Sep 6, 2022, at 8:06 AM, Jakub Jelinek via Gcc-patches wrote: >=20 > On Tue, Sep 06, 2022 at 01:47:43PM +0200, Aldy Hernandez wrote: >> Question...for !HONOR_NANS or !HONOR_INFINITIES or whatever, say the >> range for the domain is [-MIN, +MAX] for the min and max representable >> numbers. What happens for MAX+1? Is that undefined? I wonder what >> real.cc does for that. >=20 > I'm afraid I have no idea. >=20 > The formats without Inf/NaN are: > spu_single_format > vax_{f,d,g}_format > arm_half_format Actually, DEC (VAX and PDP-11) float does have NaN; signaling NaN to be pre= cise. paul