From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=MAILING_LIST_MULTI, RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 5825 invoked from network); 18 Dec 2020 17:20:01 -0000 Received: from mother.openwall.net (195.42.179.200) by inbox.vuxu.org with ESMTPUTF8; 18 Dec 2020 17:20:01 -0000 Received: (qmail 16177 invoked by uid 550); 18 Dec 2020 17:19:59 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 16159 invoked from network); 18 Dec 2020 17:19:58 -0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Asgx7vt0pPdGHAU0WmvGN7B69xM3HOTCUe/8tNTZh4VAPObswwNk4DBbyw0Y/td6/67atw7ZUzBWoKIHpo2g/GRO3EdOegnMLPhxpMoH6EA+IuI+AaWOCbvliWildLtfdBnrlhN3R0GkMxXoRv7+NR4A5i5rUT8IOtXCV8hDpyIO29+IEFC6KeyBiGrTHcRtuY7Cg82HauxGswR1Z6BtFypbT+njFJ7l2xWoNgcaUNn99zvnP/tuHVQdkN26yTCZH/msQlhgJs8dxUbsrYeLrKidpBpkVYPnF+v6OlDkvbvPkxmkGBBsYqmVIsjoP6/O95PA9pLo3yZHiwDGgxA9Fw== 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-SenderADCheck; bh=f3l/OylvCTKJOF9Q1Z8bWInLCESAebLxwBD8xJA7QBg=; b=hPV4fXkuwPPbzzjwscbqJQiOkPrbVM9/KGd4uoEEXbXcFeMFqFc/vjadnzEpNDdjLi3fi+hh0JMUpTG5LuP4v3mq5idAWzczEa1cgJBWcdNQcRbfz7cLZfDfmufae7SirfTzPjmJjHUedSHndeL8vIP3MgIRrQycS12afr0vuxPscRDH2aKgekc07aoARa0FodEmJ5DXSnjHk8izrOxZv1tcIOXKoeuDGAtA7Vi/HvpRVSXCY0ycBhZxUWW51pKE0wLh141qWR9ztGx2SBqKiWMCBjbJYedbZ15W6bx3R4DI5g2TNKJRqOm65EraZ3xNAQWpgAiA5saEEjTnnu+aRA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none X-IncomingTopHeaderMarker: OriginalChecksum:0A6F3DE0446E15E1E8B3BEE7E45AF0F13BFC57A0045210AB191457CC0989A844;UpperCasedChecksum:3EC92B6E20AE901A4FB6F7B04AB26C713E6FB90EC24955BE00B0104A794A9E82;SizeAsReceived:9221;Count:49 X-Gm-Message-State: AOAM532l/WsJ7yRVSwWSsdpM1C+6u63G6lLkEcx3Wjj7neTNqCQZB75t 9dm4Qrmx+4xH68y0xSC0b4KklrQqgLCA7cdE7LY= X-Google-Smtp-Source: ABdhPJzFWJIsfsMn9/zH/1A75B7LpSJO5Ea2ZvMUHMaHzZLmQHKTWAQ7xfelRuizoD2gbqsxOdXj5LyZHYsvkcO0+mE= X-Received: by 2002:a37:5ac3:: with SMTP id o186mr5919249qkb.389.1608311600885; Fri, 18 Dec 2020 09:13:20 -0800 (PST) References: <7a9c-5f80e100-115-af27520@104527809> <20201009231000.GB17637@brightrain.aerifal.cx> <20201012093947.GP2947641@port70.net> In-Reply-To: <20201012093947.GP2947641@port70.net> From: Fangrui Song Date: Fri, 18 Dec 2020 09:13:10 -0800 X-Gmail-Original-Message-ID: Message-ID: To: musl@lists.openwall.com, Rich Felker , "joao@overdrivepizza.com" Content-Type: text/plain; charset="UTF-8" X-TMN: [okP5BU0nsrt3ZvIzf/RBgUwiykQRiU61] X-ClientProxiedBy: BL0PR1501CA0006.namprd15.prod.outlook.com (2603:10b6:207:17::19) To MWHPR1201MB0110.namprd12.prod.outlook.com (2603:10b6:301:56::8) X-Microsoft-Original-Message-ID: MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-IncomingHeaderCount: 49 X-EOPAttributedMessage: 0 X-MS-Office365-Filtering-Correlation-Id: 3058846a-992c-4253-b1aa-08d8a3791d41 X-MS-TrafficTypeDiagnostic: DM6NAM12HT190: X-MS-Exchange-MinimumUrlDomainAge: port70.net#4643 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: C3E7aklbUmWdFRQ90Ccj1Sql7Pb+RNZudL7G8zRGl9E+RORH6BwgdwHuXhKmn4FlN1Ya6RAQBvYryreIV4VjfpcDNz9g0GpiQjb/gR5B1jpqGDWC7StsFiTsVRxM71VjTmHTzdvzGwlRlsey3uaiX4I0HISCmkRC+qJ5wR9lSJ26FusmqOmA2n84+CP0DnZQheoOdLTIxU8y+psfRxmLYaPQWCCTNcmn/+d2fT+qAVaDHYr3C3Rnh1/Sn5wU5zNFQkhDmoF+ZMobiIj4IKpF/V7yY4RfRSTsHMrZ908BEvA= X-MS-Exchange-AntiSpam-MessageData: NFCntn5qKF+wWSNxDIcJ9TVABag//87bo9he9l5wDTc5Wc0O01MrO6P9qtD3TJ8AhCtcF5JFV6i6QjydpSzonDNILXwbbaoCc1z1NOMcqofHptJUdwgGiiMRVgolWH3VN555VSjfbnlKr1ruovhKPw== X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Dec 2020 17:19:44.8970 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-Network-Message-Id: 3058846a-992c-4253-b1aa-08d8a3791d41 X-MS-Exchange-CrossTenant-AuthSource: DM6NAM12FT017.eop-nam12.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6NAM12HT190 Subject: Re: [musl] -frounding-math breaking src/math/acosf.c On Mon, Oct 12, 2020 at 2:40 AM Szabolcs Nagy wrote: > > * Rich Felker [2020-10-09 19:10:00 -0400]: > > > On Sat, Oct 10, 2020 at 12:16:13AM +0200, joao@overdrivepizza.com wrote: > > > Hi, > > > > > > I just noticed that the upstream LLVM is no longer capable of > > > compiling musl 1.2.0 (and possibly more recent versions too) when > > > -frounding-math is in use. I bisected the LLVM commit to > > > https://reviews.llvm.org/D87822, and pointed the problem there. > > > > > > Just reporting in case someone else also has issues with this. > > > > > > Best, > > > Joao. > > > > Thanks. This probably needs to be reported as aa bug against LLVM (or > > clang?) rather than just a comment on the review so that it's tracked > > as such. It seems they've erroneously made it treat static > > initializers as non-constant-expressions rather than evaluating them > > statically in the default rounding mode per the spec. > > const expressions should work as described in > > http://port70.net/~nsz/c/c11/n1570.html#F.8.4 clang main has fixed (https://reviews.llvm.org/D89360) the regression of https://reviews.llvm.org/D87822 > but it seems clang handles literals that don't > need conversion: > > float x = 0.1f; // works > float y = 0.1; // fails > > we may want to fix this anyway in musl to always > use the right type of literal (then it's clear > that there is no double rounding).