public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "roger at nextmovesoftware dot com" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug target/113764] [X86] __builtin_clz generates lzcnt when bsr is sufficient Date: Sun, 11 Feb 2024 11:34:31 +0000 [thread overview] Message-ID: <bug-113764-4-KX2TVj7czz@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-113764-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113764 Roger Sayle <roger at nextmovesoftware dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|[X86] Generates lzcnt when |[X86] __builtin_clz |bsr is sufficient |generates lzcnt when bsr is | |sufficient --- Comment #4 from Roger Sayle <roger at nextmovesoftware dot com> --- Yep, CLZ_DEFINED_VALUE_AT_ZERO really complicates things. With a single "global" macro it's currently impossible for a backend to support two different CLZ instructions; one with defined behavior at zero, and the other with undefined behavior at zero. It might just be possible to do something encoding LZCNT patterns in RTL using: (if_then_else:SI (ne:SI (reg:SI x) (const_int 0)) (clz:SI (reg:SI x)) (const_int VALUE)) Additionally on x86_64, the BSR instruction sets the zero flag if it's input is zero, when the destination register becomes undefined, which can be useful with CMOV, i.e. it's possible to get defined behavior without an additional test and branch. But for Pawel's original tescase, __builtin_clz is undefined at zero, so this really is a missed optimization, with either -Os or a modern -march such as cascadelake or znver4. I agree with Jakub, this is a can of worms; potentially a lot of effort for a marginal improvement.
prev parent reply other threads:[~2024-02-11 11:34 UTC|newest] Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top 2024-02-05 11:38 [Bug target/113764] New: [X86] Generates " chfast at gmail dot com 2024-02-08 0:35 ` [Bug target/113764] " roger at nextmovesoftware dot com 2024-02-09 18:35 ` roger at nextmovesoftware dot com 2024-02-09 21:58 ` jakub at gcc dot gnu.org 2024-02-11 11:34 ` roger at nextmovesoftware dot com [this message]
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-113764-4-KX2TVj7czz@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).