public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "amacleod at redhat dot com" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/108447] [13 Regression] glibc math/test-*-iseqsig failures Date: Wed, 18 Jan 2023 18:54:24 +0000 [thread overview] Message-ID: <bug-108447-4-lDKYp7pVFT@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-108447-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447 --- Comment #3 from Andrew Macleod <amacleod at redhat dot com> --- Those specialized relations are handled within the floating point range-ops code iirc. We established that none of the other floating point relations needed to be exposed to non-floating point code. The frange class has all the knowledge of NAN and such, and the oracle is suppose to invokes a routine called "validate_relation" which invokes a fold operation to find out if the operation is actually valid between 2 operands. (this is how we were suppose to determine x == x may not be true) I can't seem to find any application of the routine tho... It was supplied so floating point x == x would not short-circuit in the oracle as it was symbolically true. I'll have to sync with aldy and see what we currently do, They theoretical application here would be to apply it to the intersection/union routines too. ie Registering value_relation (x_8(D) >= y_9(D)) on (2->3) Intersecting with existing (x_8(D) <= y_9(D)) to produce (x_8(D) == y_9(D)) if we can determine that x == y isnt true.. or that somehow it has different floating point characteristics from the inputs... we'll get back to you.
next prev parent reply other threads:[~2023-01-18 18:54 UTC|newest] Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top 2023-01-18 17:37 [Bug tree-optimization/108447] New: " jakub at gcc dot gnu.org 2023-01-18 17:37 ` [Bug tree-optimization/108447] " jakub at gcc dot gnu.org 2023-01-18 17:54 ` jakub at gcc dot gnu.org 2023-01-18 18:04 ` jakub at gcc dot gnu.org 2023-01-18 18:54 ` amacleod at redhat dot com [this message] 2023-01-18 19:48 ` jakub at gcc dot gnu.org 2023-01-18 20:19 ` jakub at gcc dot gnu.org 2023-01-18 22:21 ` amacleod at redhat dot com 2023-01-18 22:26 ` amacleod at redhat dot com 2023-01-19 10:02 ` aldyh at gcc dot gnu.org 2023-01-19 10:05 ` aldyh at gcc dot gnu.org 2023-01-19 10:16 ` jakub at gcc dot gnu.org 2023-01-19 10:17 ` aldyh at gcc dot gnu.org 2023-01-19 10:29 ` jakub at gcc dot gnu.org 2023-01-19 10:43 ` rguenther at suse dot de 2023-01-19 11:39 ` aldyh at gcc dot gnu.org 2023-01-19 16:05 ` jakub at gcc dot gnu.org 2023-01-19 16:32 ` jakub at gcc dot gnu.org 2023-01-19 20:00 ` amacleod at redhat dot com 2023-01-19 20:14 ` amacleod at redhat dot com 2023-01-19 21:28 ` amacleod at redhat dot com 2023-01-19 22:27 ` cvs-commit at gcc dot gnu.org 2023-01-20 15:24 ` jakub at gcc dot gnu.org 2023-01-20 15:36 ` amacleod at redhat dot com 2023-01-20 16:07 ` amacleod at redhat dot com 2023-01-20 16:59 ` jakub at gcc dot gnu.org 2023-01-23 17:26 ` amacleod at redhat dot com 2023-01-27 14:38 ` cvs-commit at gcc dot gnu.org 2023-01-27 14:41 ` amacleod at redhat dot com
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-108447-4-lDKYp7pVFT@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).