From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id KMGqAjBIF2S7FAEASxT56A (envelope-from ) for ; Sun, 19 Mar 2023 18:36:48 +0100 Received: from aspmx2.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id AM6iAjBIF2TWHAAAauVa8A (envelope-from ) for ; Sun, 19 Mar 2023 18:36:48 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx2.migadu.com (Postfix) with ESMTPS id AEAC22A63A for ; Sun, 19 Mar 2023 18:36:47 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pdwx7-0001pY-Qs; Sun, 19 Mar 2023 13:36:17 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pdwx6-0001p5-KK for guix-devel@gnu.org; Sun, 19 Mar 2023 13:36:16 -0400 Received: from mout.gmx.net ([212.227.15.15]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pdwx4-0001Ff-GJ for guix-devel@gnu.org; Sun, 19 Mar 2023 13:36:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.de; s=s31663417; t=1679247370; i=schierlm@gmx.de; bh=6h4tvrdJOC9ue4Ra1aym3rVEbrhGCtJ624ZriRw7rGs=; h=X-UI-Sender-Class:Date:Subject:To:References:From:Cc:In-Reply-To; b=bN13mLBGFJeTKwCdNOTq7+FGW32rLntNk2q52KYGEqIN1hI5mByV+AxigcW9pDoPT uYtIAqQhM+b4epzlTiJfndXzEnHBAgYwOoUQQd8MJwNhO2ZvT/Sb0MZu6Gf/f7bj+F JWDaeElbXHzQnQ/3Ah4QKmWwgheTA2hleiehxZVUpYoQxVW/WO0lx1xoyy8VFFtGAU n+k4WzY11oDLnEjx8MoInL+RSq4BWOiZrj41BqayWi+ymx636nakIsTwacXiKDvvIX zQIdeWl11/tgRFi0PTtgA/wpIfAh6jhPKFMpNhOxQBjYKhZ1iRawuBH4OosvFjrS6S kA7pkmrfCfnpg== X-UI-Sender-Class: 724b4f7f-cbec-4199-ad4e-598c01a50d3a Received: from [192.168.178.23] ([84.145.180.72]) by mail.gmx.net (mrgmx004 [212.227.17.190]) with ESMTPSA (Nemesis) id 1MMobO-1puNuI08o8-00InMN; Sun, 19 Mar 2023 18:36:10 +0100 Message-ID: Date: Sun, 19 Mar 2023 18:36:09 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.9.0 Subject: Re: Procps in core-updates Content-Language: de-DE To: Andreas Enge References: From: Michael Schierl Cc: guix-devel@gnu.org In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:XDGTs/ka3YxraTbFkaBzXrseXlu4drnoCZBx0Nyo1hDexo+mxmU GvvJRzTs64paG4DiecrZKwhCg01mYlVsLxsY7H9vls2aNuRRdiKRYzY8ysrpof5bqL5wB8X j9mBrRD7VW54ODGcOODI7acFATfCut/PHe/rPYLy/Rtj8WW2B56PSlDHO/0N/M+bbcupZ8y J86keGpa+x09oJ7DQ9zbQ== UI-OutboundReport: notjunk:1;M01:P0:Pcq9/jpzIGk=;YWQguDnMU3UjwtHvb/tqii7RYn1 rd8+rrFakBwin43BPUJbUN8T4hKir/FaLOy2alrvLT9ZfFtBcFScK/PQ2AThwAS0V8SmkyufE 85Mc0b2yzP46FVBzabYbyn11B9fqdLJHagKL50jtAq8bkWD9ftjLFL1wV1J65vci/WOK4Ckkx td26u0EOJsXqPoSi1wN2f8HBknxiGXYhENKcSwiOA0ghUgwWDd89woL6g+XOrntSybIoRkexO oNBYG0zR4lsdZr9Etz8qaBHAGfn3Mo7J8XiTMVSC700X5rD1efpXz8wZs+iDdaCdkwmlRBpsX Fvsraes1+fO4IxhCX04WE2w9sFIlbKHQt8Cj6Wxqk71OIKsmIFd69VHynrls9IyAO6H08wD11 oy2gqu05OrCtNGeMMuNLyh9CiRORWSpeKRJP7XkkaZ6l+Cld8TpqcW6b1PuPBTqt6Me+H27LI DGX3IayHqnqz1RE6y8NN81wrifWUNO51yP5BwTByJqcsdOBHQ6ikBjafOcQsTWoj1MTG0b4N+ JHeUS+mg2t5JxofPmPW63qcU4DCsalmiOh5LKjPiF+/P68qbfG0oRmSnGAKULfBFNKbrk83hq Hs4kcN54stw6gk6b7pw8ro9CXvJl8ZU23pGoe5g5NNN1WnKwkVMqClxO3o23+fjIik5lhUllJ 7hI2uGUI5FjKx9q0FCLGl/SKsALE/rtkML40XGzqjHIxJ+Fg6BDQFfs8Rr4jYLi2BPtyq0y8S UzJrEXVJMwPXCDWevL1S0SXkc9/O8cBt1CeUSIKBntGCElQEpalD2ZX0bwXTl5i/p9TS1z01B iqow/ch5LHrf9z4aTUDemrEQqXePhl/8ECxeJNx7k9BDvvM1ApzSsVbvHxI7PSkNNZAMLzaCO adWe6jN4pp2L+rI05+A8Pmek+GGEkw6cQb+79Fdd01X1SGmCmaIXUPLIr/tbwiRZzXits4LPQ 4wo0IY5itFDL10eeaf1vdVrfu00= Received-SPF: pass client-ip=212.227.15.15; envelope-from=schierlm@gmx.de; helo=mout.gmx.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, NICE_REPLY_A=-0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Authentication-Results: i=1; aspmx2.migadu.com; dkim=pass header.d=gmx.de header.s=s31663417 header.b=bN13mLBG; spf=pass (aspmx2.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmx.de ARC-Seal: i=1; s=key1; d=yhetil.org; t=1679247407; a=rsa-sha256; cv=none; b=khwGCY5o1smoG5B7iWT3kmM8wV3iIwRDa3Ypjp5G3yiLI8bhjdNbIdbeyhipyezn+0270u 8/XhHDxjBCKMCZhb0Ok3zZFnP35JVYpIGy+RRfOJIdW3TJm27CyNVjaLFU6RNcL6YPtJS0 D9UAusUcJ3MGClWMsL2awMJodT01S6NzovcJsdU6UaVz+bQbNiWJ65CiCSVNn8s1GjC0qN pMqpHO6xfSxFDsO2zuXciXsr3kuDKD6r7G2dOht6sq735k0vSD59G5bi1W0ZiCfbAfwk5U wl1Y1yg8atK2xj3oYzAkZA+Bva4StTaFVFerox9zVecO/uGI9Iaryh1zTzbKZw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1679247407; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=6h4tvrdJOC9ue4Ra1aym3rVEbrhGCtJ624ZriRw7rGs=; b=r2zSpd1aXBOtbcVfuf39RppDUVTKOKHQM/XlC7mhdsUzkUDnWRcXND2wxfmL54OmwG+zS/ bpmfepL0PBWNdR/7WDmhEILCqrRsdCJclMUugLgy2zFj50sCxPS8agdrcMDbFks14m1Nz1 4uCkWE1v+4IfgyUi9HvE9XaB/e0ziSO4Rm2QsXJyZGnkRH3dQVjv7tuLoVSnzKWJHHwnx5 N2T3BYOupLed40jnqRd+aJ4ygPq5kjApq+qNAO7bLHNsdv2tkc8ggoQMSQN/RkDpyycKRa XEArA198w7cKApPBeYsbHIbb1HagZzDJD0mvLeMqbI4VhqZGxJy0KDe5Yz9VLw== X-Migadu-Spam-Score: -5.05 X-Spam-Score: -5.05 X-Migadu-Queue-Id: AEAC22A63A X-Migadu-Scanner: scn1.migadu.com Authentication-Results: aspmx2.migadu.com; dkim=pass header.d=gmx.de header.s=s31663417 header.b=bN13mLBG; spf=pass (aspmx2.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmx.de X-TUID: ABpQ7Sis1n+p Hello Andreas, Am 18.03.2023 um 13:32 schrieb Andreas Enge: > Has anyone got any explanation for this behaviour? A compiler error? Nasal daemons are not a compiler error. Anyway, getting an assembly listing from your gcc version (using the -S switch) would reduce the guesswork. Pass the same compiler flags as the test does. In particular, various options of "-fexcess-precision" flag may alter the generated assembly code and the test outcome. > but this is not even floating point maths - whatever the contents of val > and tests[i].result, they should not be changed by a comparison (or an > fprintf; I can also make the test work just by adding some printf into > the strtod_nol_or_err function that is exercised by this test). Wild guess: At the first printf, GCC knows that val still resides in some floating point register of your CPU (be it SSE, MMX or x87 registers, depending on the processor models your gcc targets). Hardware floating point registers on x86 are a mess, and they usually do not have the same precision as the IEEE floating point values that are stored in variables (e.g. on the stack or heap), but are slightly more precise. So, at your first printf, gcc will create code that compares that floating point register to the value in the array (loaded into another floating point register of the same type). As the function call will likely clobber some floating point registers (depending on calling convention), for the second printf, gcc will have to create code that loads the value from stack (with reduced precision) back into the floating point register, reducing the precision of the value and making it equal again. Adding "asm volatile" barriers with matching clobbers flags (tbh I don't know by heart what clobbers flags you need to pass to mark *any* x86 floating point registers as clobbered) should also make the nasal deamons disappear, in case tweaking the compiler flags is not an option. Regards, Michael