https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111432
Bug ID: 111432
Summary: `bool & (a|1)` is not optimized to just `bool`
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111431
--- Comment #5 from Andrew Pinski ---
Created attachment 55907
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55907=edit
Patch which I am testing
I should note that LLVM does NOT do this simple pattern matching either.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111431
--- Comment #4 from Andrew Pinski ---
Note I found this while looking into the patch that was originally posted for
PR 57755 which removed the xfail for binop-notand1a.c/binop-notand4a.c but
found this was a better way of fixing this rather
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111431
--- Comment #3 from Andrew Pinski ---
Note this is an extension of the pattern:
/* X & !X -> 0. */
(simplify
(bit_and:c @0 (logical_inverted_value @0))
Which was moved to match via r5-4683-g5609420fbab5ca .
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111431
--- Comment #2 from Andrew Pinski ---
The pattern should be:
(simplify
(bit_and:c (convert@2 (eq @0 INTEGER_CST@1)) (convert? @0))
(if ((wi::to_wide (@1) & 1) != 0)
@2
{ build_zero_cst (type); }))
Since 0/1 of the eq, the convert on the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111431
Andrew Pinski changed:
What|Removed |Added
Last reconfirmed||2023-09-16
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111431
Bug ID: 111431
Summary: a & (a == 0) is not optimized to 0
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: missed-optimization, xfail
Severity: normal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57755
Andrew Pinski changed:
What|Removed |Added
Status|NEW |ASSIGNED
Severity|normal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90670
Andrew Pinski changed:
What|Removed |Added
See Also||https://gcc.gnu.org/bugzill
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90670
--- Comment #3 from Adam Byrd ---
Hmm, I reckon that makes sense. Though the wording is confusing. Why is it
"uses the anonymous namespace" instead of something like "has internal
linkage".
I'm not aware of an anonymous namespace being involved
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111430
--- Comment #1 from Andrew Pinski ---
Note LLVM does this optimization ...
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111430
Andrew Pinski changed:
What|Removed |Added
Severity|normal |enhancement
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111430
Bug ID: 111430
Summary: IPA read only variable analysis should handle the case
where the storing was the same as the initialization
Product: gcc
Version: 14.0
Status:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111429
Bug ID: 111429
Summary: NO_COLOR env should disable color
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: diagnostic
Severity: normal
Priority: P3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110992
--- Comment #10 from Andrew Pinski ---
This is what I came up with in the end:
/* (a * b@[0,1]) == CST
->
CST == 0 ? (a == CST | b == 0) : (a == CST & b != 0)
(a * b@[0,1]) != CST
->
CST != 0 ? (a != CST | b == 0) :
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111312
--- Comment #3 from David Malcolm ---
Another example can be seen here:
https://gcc.gnu.org/pipermail/gcc-patches/2023-August/628759.html
in:
gcc/testsuite/c-c++-common/analyzer/overlapping-buffers.c
where -Wanalyzer-overlapping-buffers
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111259
--- Comment #1 from CVS Commits ---
The master branch has been updated by Patrick O'Neill :
https://gcc.gnu.org/g:d7b6020276a843e97f6135259b4ab3b53a5850e2
commit r14-4044-gd7b6020276a843e97f6135259b4ab3b53a5850e2
Author: Fei Gao
Date: Fri
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57755
--- Comment #6 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #4)
> I think we should optimize this testcases slightly different from
> "improving" fold_binary_op_with_conditional_arg (I think
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111428
Bug ID: 111428
Summary: RISC-V vector: Flaky segfault in
{min|max}val_char_{1|2}.f90
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111427
Bug ID: 111427
Summary: [14 regression] gfortran.dg/vect/pr60510.f fails after
r14-3999-g3c834d85f2ec42
Product: gcc
Version: 14.0
Status: UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #10 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #8)
> With https://gcc.gnu.org/pipermail/gcc-patches/2023-September/629128.html we
> get:
> _34 = (int) _13;
> _30 = (unsigned int) _13;
> _22 = _30 ==
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111406
--- Comment #4 from Andreas K. Huettel ---
(In reply to Richard Biener from comment #3)
>
> So I think this isn't an issue unless you try to build libiberty stand-alone
> or as part of binutils and also install it?
>
We have a binutils-libs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93485
anlauf at gcc dot gnu.org changed:
What|Removed |Added
Resolution|--- |FIXED
Known to work|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86030
--- Comment #16 from John Soo ---
It is actually somewhat likely that ARG_MAX will be hit when running on linux
because it is hit when the stack can't contain enough pointers to contain argv
and environ (see exec.c in the kernel
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37802
Bug 37802 depends on bug 30802, which changed state.
Bug 30802 Summary: out of bounds error array I/O not picked up with
-fbounds-check
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30802
What|Removed |Added
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=27766
Bug 27766 depends on bug 30802, which changed state.
Bug 30802 Summary: out of bounds error array I/O not picked up with
-fbounds-check
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30802
What|Removed |Added
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30802
anlauf at gcc dot gnu.org changed:
What|Removed |Added
Resolution|--- |FIXED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30802
anlauf at gcc dot gnu.org changed:
What|Removed |Added
CC||anthony.debeus at gmail dot
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97039
anlauf at gcc dot gnu.org changed:
What|Removed |Added
Resolution|--- |DUPLICATE
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51577
Patrick Palka changed:
What|Removed |Added
CC||schuchart at icl dot utk.edu
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87452
Patrick Palka changed:
What|Removed |Added
CC||ppalka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110792
Marek Polacek changed:
What|Removed |Added
CC||mpolacek at gcc dot gnu.org
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98820
Patrick Palka changed:
What|Removed |Added
CC||ppalka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99631
Patrick Palka changed:
What|Removed |Added
CC||davveston at gmail dot com
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99631
Patrick Palka changed:
What|Removed |Added
Status|RESOLVED|ASSIGNED
Resolution|DUPLICATE
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99631
Patrick Palka changed:
What|Removed |Added
CC||ppalka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98820
Patrick Palka changed:
What|Removed |Added
CC||johelegp at gmail dot com
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110996
Mikael Morin changed:
What|Removed |Added
Target Milestone|--- |14.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108957
Mikael Morin changed:
What|Removed |Added
Target Milestone|--- |14.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106050
Mikael Morin changed:
What|Removed |Added
Target Milestone|--- |14.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108957
Mikael Morin changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111421
--- Comment #4 from joseph at codesourcery dot com ---
The definition of constexpr in C2x is intentionally minimal, with
potential for future expansion in subsequent standard revisions.
Allowing array element accesses would run into needing
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30802
--- Comment #12 from CVS Commits ---
The master branch has been updated by Harald Anlauf :
https://gcc.gnu.org/g:1cbf18978aa384bd0ed2dc29b107fc3423cf8e62
commit r14-4039-g1cbf18978aa384bd0ed2dc29b107fc3423cf8e62
Author: Harald Anlauf
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111421
--- Comment #3 from Abdulmalek Almkainzi ---
(In reply to jos...@codesourcery.com from comment #1)
> See the definitions of "named constant" and "compound literal constant".
> Array element accesses aren't allowed, and the example you have
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111421
Marek Polacek changed:
What|Removed |Added
CC||mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111421
--- Comment #1 from joseph at codesourcery dot com ---
See the definitions of "named constant" and "compound literal constant".
Array element accesses aren't allowed, and the example you have with "->"
shouldn't be accepted either (although
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90670
Patrick Palka changed:
What|Removed |Added
Resolution|--- |INVALID
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111420
--- Comment #6 from AK ---
To confirm what Andrew mentioned, the release build (-O3) built successfully.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110992
--- Comment #9 from Andrew Pinski ---
This is what I have so far:
/* Transform (a * { 0 or 1 }) != 0 into {0 or 1} != 0 & (a != 0) */
/* Transform (a * { 0 or 1 }) == 0 into ({0 or 1} == 0) | (a == 0) */
(for cmp (ne eq)
bit_op (bit_and
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111414
Andrew Pinski changed:
What|Removed |Added
Resolution|--- |FIXED
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111414
--- Comment #4 from CVS Commits ---
The trunk branch has been updated by Andrew Pinski :
https://gcc.gnu.org/g:ba4c1f2bfc9ec063188b39d0281fae04c57b1416
commit r14-4037-gba4c1f2bfc9ec063188b39d0281fae04c57b1416
Author: Andrew Pinski
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70413
Patrick Palka changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70413
Patrick Palka changed:
What|Removed |Added
CC||brunopitrus at hotmail dot com
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111423
Patrick Palka changed:
What|Removed |Added
Resolution|--- |DUPLICATE
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=9346
Tom Tromey changed:
What|Removed |Added
CC||tromey at gcc dot gnu.org
--- Comment #8
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111407
--- Comment #10 from qinzhao at gcc dot gnu.org ---
(In reply to Andrew Pinski from comment #6)
the fix has been in GCC14, shall we backport the patch to previous releases?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111407
--- Comment #9 from CVS Commits ---
The master branch has been updated by Qing Zhao :
https://gcc.gnu.org/g:4aca1cfd6235090e48a53dab734437740671bbf3
commit r14-4034-g4aca1cfd6235090e48a53dab734437740671bbf3
Author: Qing Zhao
Date: Fri Sep
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111426
Marek Polacek changed:
What|Removed |Added
Target Milestone|--- |11.5
Keywords|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111426
Bug ID: 111426
Summary: [11/12/13/14 Regression] "error: use of deleted
function" printed twice
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111425
--- Comment #3 from Richard Biener ---
Reduced testcase:
enum { REFCOUNT_ADD_NOT_ZERO_OVF } refcount_warn_saturate();
int refcount_inc_not_zero_old, fib_info_num_path___trans_tmp_11,
rtnh_ok_remaining, fib_create_info_nexthop_nh_0,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111422
Richard Biener changed:
What|Removed |Added
Keywords||missed-optimization
--- Comment #3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111422
Richard Biener changed:
What|Removed |Added
Known to fail||10.4.0, 12.3.1, 7.5.0
--- Comment #2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111422
Richard Biener changed:
What|Removed |Added
Ever confirmed|0 |1
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111425
Richard Biener changed:
What|Removed |Added
Keywords||ice-on-valid-code
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108957
--- Comment #6 from CVS Commits ---
The master branch has been updated by Mikael Morin :
https://gcc.gnu.org/g:e6dba708c8627080f4ca776590a191683b38336c
commit r14-4021-ge6dba708c8627080f4ca776590a191683b38336c
Author: Mikael Morin
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111425
--- Comment #1 from Frank Scheiner ---
Created attachment 55905
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55905=edit
the gzip compressed preprocessed file
Added the preprocessed file (gzip compressed due to size of 4.4 MiB).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111425
Bug ID: 111425
Summary: ia64: ICE in net/ipv4/fib_semantics.c:1621:1: internal
compiler error: Segmentation fault
Product: gcc
Version: 13.2.0
Status: UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111424
Bug ID: 111424
Summary: LoongArch: Enable vect test suite
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: target
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106811
Richard Biener changed:
What|Removed |Added
Keywords||documentation
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111411
--- Comment #12 from Martin Jansa ---
I can confirm https://gcc.gnu.org/g:2d38f45bcca62ca0c7afef4b579f82c5c2a01610
fixes the other reproducer from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111418 as well.
Thank you for quick fix.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111411
--- Comment #11 from Martin Jansa ---
I can confirm https://gcc.gnu.org/g:2d38f45bcca62ca0c7afef4b579f82c5c2a01610
fixes the other reproducer from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111418 as well.
Thank you for quick fix.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72
--- Comment #1 from CVS Commits ---
The master branch has been updated by Jonathan Wakely :
https://gcc.gnu.org/g:d19bdf8874059457fdfe50a9e14dad8f8b8cecbb
commit r14-4012-gd19bdf8874059457fdfe50a9e14dad8f8b8cecbb
Author: Jonathan Wakely
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111411
--- Comment #10 from Richard Sandiford ---
Fixed on trunk. The patch applies cleanly to GCC 12 and 13,
so I'll backport there next week.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111411
--- Comment #9 from CVS Commits ---
The trunk branch has been updated by Richard Sandiford :
https://gcc.gnu.org/g:2d38f45bcca62ca0c7afef4b579f82c5c2a01610
commit r14-4010-g2d38f45bcca62ca0c7afef4b579f82c5c2a01610
Author: Richard Sandiford
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111423
Bug ID: 111423
Summary: bogus Wsubobject-linkage when using CRTP with an
invisible base, template template parameters, and
concepts
Product: gcc
Version: 14.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111231
--- Comment #7 from Mathieu Malaterre ---
new cvise setup started today:
% cvise check.sh widen_mul_test.cc
00:01:16 INFO ===< 1427429 >===
00:01:16 INFO running 4 interestingness tests in parallel
00:01:16 INFO INITIAL PASSES
00:01:16 INFO
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111367
Kewen Lin changed:
What|Removed |Added
Status|NEW |ASSIGNED
--- Comment #5 from Kewen Lin
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111422
Bug ID: 111422
Summary: Wrong code at -O3 on x86_64-linux-gnu
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111393
Xi Ruoyao changed:
What|Removed |Added
CC||xry111 at gcc dot gnu.org
--- Comment #11
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111401
--- Comment #7 from Richard Biener ---
(In reply to Robin Dapp from comment #6)
> Created attachment 55902 [details]
> Tentative
>
> You're referring to the case where we have init = -0.0, the condition is
> false and we end up wrongly doing
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111366
--- Comment #18 from Jan Wassenberg ---
Ah, got it. We'll change the pragma to ",htm" as you suggest. Thank you :)
81 matches
Mail list logo