From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lug-owl.de (lug-owl.de [188.68.32.151]) by sourceware.org (Postfix) with ESMTPS id 76E343857004 for ; Mon, 12 Sep 2022 08:41:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 76E343857004 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=lug-owl.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=lug-owl.de Received: by lug-owl.de (Postfix, from userid 1001) id B723B42039; Mon, 12 Sep 2022 10:41:47 +0200 (CEST) Date: Mon, 12 Sep 2022 10:41:47 +0200 From: Jan-Benedict Glaw To: Aldy Hernandez , Paul Koning Cc: Richard Biener , Jakub Jelinek , GCC patches Subject: Re: [PATCH] Implement known/maybe fpclassify like API for frange. Message-ID: <20220912084147.v54scz6dbnlxsijv@lug-owl.de> References: <20220908062759.3610257-1-aldyh@redhat.com> <7BAA2838-822A-4DF0-B712-00C265DFECEC@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="zqs4fkvv7gfoab4j" Content-Disposition: inline In-Reply-To: X-Operating-System: Linux chamaeleon 5.14.0-0.bpo.2-amd64 X-gpg-fingerprint: 250D 3BCF 7127 0D8C A444 A961 1DBD 5E75 8399 E1BB X-gpg-key: wwwkeys.de.pgp.net X-Echelon-Enable: howto poison arsenous mail psychological biological nuclear warfare test the bombastical terror of flooding the spy listeners explosion sex drugs and rock'n'roll X-TKUeV: howto poison arsenous mail psychological biological nuclear warfare test the bombastical terror of flooding the spy listeners explosion sex drugs and rock'n'roll X-message-flag: Please send plain text messages only. Do not send HTML emails. Thank you. User-Agent: NeoMutt/20170113 (1.7.2) X-Spam-Status: No, score=-3.8 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,KAM_SHORT,SPF_HELO_PASS,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE,WEIRD_PORT 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: --zqs4fkvv7gfoab4j Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hi Aldy! On Thu, 2022-09-08 12:56:24 +0200, Aldy Hernandez via Gcc-patches wrote: > From 795baa0b044953e9f198f49e379374d633f43b47 Mon Sep 17 00:00:00 2001 > From: Aldy Hernandez > Date: Thu, 8 Sep 2022 08:11:43 +0200 > Subject: [PATCH] Implement known/maybe fpclassify like API for frange. >=20 > gcc/ChangeLog: >=20 > * gimple-range-fold.cc > (fold_using_range::range_of_builtin_int_call): Use fpclassify like API. > * range-op-float.cc (finite_operand_p): Same. > (finite_operands_p): Same. > (foperator_lt::fold_range): Same. > (foperator_le::fold_range): Same. > (foperator_gt::fold_range): Same. > (foperator_ge::fold_range): Same. > (foperator_unordered::fold_range): Same. > (foperator_unordered::op1_range): Same. > (foperator_ordered::fold_range): Same. > * value-range.cc (frange::set_nan): Same. > (frange::set_signbit): Same. > (frange::union_): Same. > (frange::intersect): Same. > (frange::operator=3D=3D): Same. > (frange::singleton_p): Same. > (frange::verify_range): Same. > (range_tests_nan): Same. > (range_tests_floats): Same. > * value-range.h(frange::known_finite): New. > (frange::maybe_inf): New. > (frange::known_inf): New. > (frange::maybe_nan): New. > (frange::known_nan): New. > (frange::known_signbit): New. > --- > gcc/gimple-range-fold.cc | 19 +++--- > gcc/range-op-float.cc | 26 ++++---- > gcc/value-range.cc | 126 +++++++++++++++++++++++---------------- > gcc/value-range.h | 78 +++++++++++++++++++++++- > 4 files changed, 170 insertions(+), 79 deletions(-) This triggers a selftest failure for pdp11: =2E../gcc/configure --prefix=3D... --enable-werror-always --enable-language= s=3Dall --disable-gcov --disable-shared --disable-threads --target=3Dpdp11-= aout --without-headers [...] make V=3D1 all-gcc [...] /var/lib/laminar/run/gcc-pdp11-aout/13/toolchain-build/./gcc/xgcc -B/var/li= b/laminar/run/gcc-pdp11-aout/13/toolchain-build/./gcc/ -xc -nostdinc /dev/= null -S -o /dev/null -fself-test=3D../../gcc/gcc/testsuite/selftests =2E./../gcc/gcc/value-range.cc:3801: range_tests_signbit: FAIL: ASSERT_TRUE= ((r0.undefined_p ())) In function 'test_fn': cc1: internal compiler error: in fail, at selftest.cc:47 0x1757e97 selftest::fail(selftest::location const&, char const*) ../../gcc/gcc/selftest.cc:47 0x109ab62 range_tests_signbit ../../gcc/gcc/value-range.cc:3801 0x109ab62 range_tests_floats ../../gcc/gcc/value-range.cc:3810 0x10a9cf1 selftest::range_tests() ../../gcc/gcc/value-range.cc:3914 0x156e6d7 test_ranges ../../gcc/gcc/function-tests.cc:584 0x156e6d7 selftest::function_tests_cc_tests() ../../gcc/gcc/function-tests.cc:680 0x168d60b selftest::run_tests() ../../gcc/gcc/selftest-run-tests.cc:107 0xd968c9 toplev::run_self_tests() ../../gcc/gcc/toplev.cc:2184 Please submit a full bug report, with preprocessed source (by using -frepor= t-bug). Please include the complete backtrace with any bug report. See for instructions. make[1]: *** [../../gcc/gcc/c/Make-lang.in:128: s-selftest-c] Error 1 Thanks, Jan-Benedict --=20 --zqs4fkvv7gfoab4j Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iF0EABECAB0WIQQlDTvPcScNjKREqWEdvV51g5nhuwUCYx7wyQAKCRAdvV51g5nh ux8ZAJ9ygwrmH79aLggcv+BqCRotYhZ0nwCfTx7mr6dxPul/q5xth2YOSCj7hIk= =UuUX -----END PGP SIGNATURE----- --zqs4fkvv7gfoab4j--