public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/101706] New: bool0^bool1^1 -> bool0 == bool1
@ 2021-07-31 19:44 pinskia at gcc dot gnu.org
  2021-08-17 19:09 ` [Bug tree-optimization/101706] " pinskia at gcc dot gnu.org
                   ` (3 more replies)
  0 siblings, 4 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-07-31 19:44 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101706

            Bug ID: 101706
           Summary: bool0^bool1^1 -> bool0 == bool1
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: enhancement
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

void fa(bool &a, bool &b, bool &c)
{
    c= a==b;
}
void fb(bool &a, bool &b, bool &c)
{
    int t = (a^b);
    c= (t^1);
}

I don't know how often this shows up but I am putting this here for
completeness.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug tree-optimization/101706] bool0^bool1^1 -> bool0 == bool1
  2021-07-31 19:44 [Bug tree-optimization/101706] New: bool0^bool1^1 -> bool0 == bool1 pinskia at gcc dot gnu.org
@ 2021-08-17 19:09 ` pinskia at gcc dot gnu.org
  2022-08-10 11:48 ` vanyacpp at gmail dot com
                   ` (2 subsequent siblings)
  3 siblings, 0 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-08-17 19:09 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101706

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot gnu.org
   Last reconfirmed|                            |2021-08-17

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Mine.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug tree-optimization/101706] bool0^bool1^1 -> bool0 == bool1
  2021-07-31 19:44 [Bug tree-optimization/101706] New: bool0^bool1^1 -> bool0 == bool1 pinskia at gcc dot gnu.org
  2021-08-17 19:09 ` [Bug tree-optimization/101706] " pinskia at gcc dot gnu.org
@ 2022-08-10 11:48 ` vanyacpp at gmail dot com
  2022-10-22  2:13 ` pinskia at gcc dot gnu.org
  2022-11-26 16:47 ` pinskia at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: vanyacpp at gmail dot com @ 2022-08-10 11:48 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101706

Ivan Sorokin <vanyacpp at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vanyacpp at gmail dot com

--- Comment #2 from Ivan Sorokin <vanyacpp at gmail dot com> ---
This issue was fixed in PR106379 by Richard Biener.

After https://gcc.gnu.org/g:375668e0508fbe173af1ed519d8ae2b79f388d94 for both
fa and fb we have:

fa(bool&, bool&, bool&):
        movzx   eax, BYTE PTR [rsi]
        cmp     BYTE PTR [rdi], al
        sete    BYTE PTR [rdx]
        ret
fb(bool&, bool&, bool&):
        movzx   eax, BYTE PTR [rsi]
        cmp     BYTE PTR [rdi], al
        sete    BYTE PTR [rdx]
        ret

I think the issue can be closed now.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug tree-optimization/101706] bool0^bool1^1 -> bool0 == bool1
  2021-07-31 19:44 [Bug tree-optimization/101706] New: bool0^bool1^1 -> bool0 == bool1 pinskia at gcc dot gnu.org
  2021-08-17 19:09 ` [Bug tree-optimization/101706] " pinskia at gcc dot gnu.org
  2022-08-10 11:48 ` vanyacpp at gmail dot com
@ 2022-10-22  2:13 ` pinskia at gcc dot gnu.org
  2022-11-26 16:47 ` pinskia at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2022-10-22  2:13 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101706

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
   Target Milestone|---                         |13.0
             Status|ASSIGNED                    |RESOLVED

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed.

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug tree-optimization/101706] bool0^bool1^1 -> bool0 == bool1
  2021-07-31 19:44 [Bug tree-optimization/101706] New: bool0^bool1^1 -> bool0 == bool1 pinskia at gcc dot gnu.org
                   ` (2 preceding siblings ...)
  2022-10-22  2:13 ` pinskia at gcc dot gnu.org
@ 2022-11-26 16:47 ` pinskia at gcc dot gnu.org
  3 siblings, 0 replies; 5+ messages in thread
From: pinskia at gcc dot gnu.org @ 2022-11-26 16:47 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101706

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
r13-1779-g375668e0508fbe

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2022-11-26 16:47 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-07-31 19:44 [Bug tree-optimization/101706] New: bool0^bool1^1 -> bool0 == bool1 pinskia at gcc dot gnu.org
2021-08-17 19:09 ` [Bug tree-optimization/101706] " pinskia at gcc dot gnu.org
2022-08-10 11:48 ` vanyacpp at gmail dot com
2022-10-22  2:13 ` pinskia at gcc dot gnu.org
2022-11-26 16:47 ` pinskia at gcc dot gnu.org

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).