[Bug target/111829] New: Redudant register moves inside the loop

2023-10-15 Thread crazylht at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111829 Bug ID: 111829 Summary: Redudant register moves inside the loop Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: missed-optimization Severity: normal

Re: [PATCH] Do not prepend target triple to -fuse-ld=lld,mold.

2023-10-15 Thread Sam James
Tatsuyuki Ishi writes: > lld and mold are platform-agnostic and not prefixed with target triple. > Prepending the target triple makes it less likely to find the intended > linker executable. > > A potential breaking change is that we no longer try to search for > triple-prefixed lld/mold

[PATCH] Do not prepend target triple to -fuse-ld=lld,mold.

2023-10-15 Thread Tatsuyuki Ishi
lld and mold are platform-agnostic and not prefixed with target triple. Prepending the target triple makes it less likely to find the intended linker executable. A potential breaking change is that we no longer try to search for triple-prefixed lld/mold binaries anymore. However, since there

[Bug testsuite/103324] RFE: Add a `make quickcheck` or `make smoketest` Makefile target to allow only running a portion of the testsuite

2023-10-15 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103324 --- Comment #11 from Eric Gallager --- (In reply to Eric Gallager from comment #10) > (In reply to Richard Biener from comment #2) > > Thus, > > > > make check RUNTESTFLAGS="execute.exp" > > make check RUNTESTFLAGS="dg-torture.exp" > > >

[Bug tree-optimization/111799] [14 Regression] Missed Dead Code Elimination since r14-2365-g2e406f0753e

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111799 --- Comment #3 from Andrew Pinski --- Hmm, I think we reach __builtin_unreachable always and that is confusing everything. If we inline s early on (via using the always_inline attribute). main turns into just __builtin_unreachable .

[PATCH] RISC-V: Fix unexpected big LMUL choosing in dynamic LMUL model for non-adjacent load/store

2023-10-15 Thread Juzhe-Zhong
Consider this following case: int bar (int *x, int a, int b, int n) { x = __builtin_assume_aligned (x, __BIGGEST_ALIGNMENT__); int sum1 = 0; int sum2 = 0; for (int i = 0; i < n; ++i) { sum1 += x[2*i] - a; sum1 += x[2*i+1] * b; sum2 += x[2*i] - b; sum2 +=

[PATCH v2] libstdc++: Workaround for LLVM-61763 in ranges

2023-10-15 Thread Benjamin Acker Brock
> I don't think this patch counts as legally significant, but if you contribute > again in future you should be aware of > https://gcc.gnu.org/contribute.html#legal and either complete the copyright > assignment paperwork, or add a DCO sign-off to the commit message. Thanks for the reminder. I

[Bug target/111828] New: rs6000: Parse inline asm string to figure out it requires HTM feature or not.

2023-10-15 Thread linkw at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111828 Bug ID: 111828 Summary: rs6000: Parse inline asm string to figure out it requires HTM feature or not. Product: gcc Version: 14.0 Status: UNCONFIRMED Severity:

[Bug target/111366] error: inlining failed in call to 'always_inline' 'hwy::PreventElision(int&)void': target specific option mismatch

2023-10-15 Thread linkw at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111366 Kewen Lin changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug target/111380] Inconsistent behaviors between non-LTO and LTO

2023-10-15 Thread linkw at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111380 Kewen Lin changed: What|Removed |Added Keywords||wrong-code Status|ASSIGNED

[Bug middle-end/31531] A microoptimization of isnegative of signed integer

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31531 Andrew Pinski changed: What|Removed |Added URL|https://gcc.gnu.org/piperma |https://gcc.gnu.org/piperma

[PATCH] [PR31531] MATCH: Improve ~a < ~b and ~a < CST, allow a nop cast inbetween ~ and a/b

2023-10-15 Thread Andrew Pinski
Currently we able to simplify `~a CMP ~b` to `b CMP a` but we should allow a nop conversion in between the `~` and the `a` which can show up. A similarly thing should be done for `~a CMP CST`. I had originally submitted the `~a CMP CST` case as

[Bug testsuite/103324] RFE: Add a `make quickcheck` or `make smoketest` Makefile target to allow only running a portion of the testsuite

2023-10-15 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103324 --- Comment #10 from Eric Gallager --- (In reply to Richard Biener from comment #2) > Thus, > > make check RUNTESTFLAGS="execute.exp" > make check RUNTESTFLAGS="dg-torture.exp" Just confirming that the proper way to combine these would be:

[Bug target/111380] Inconsistent behaviors between non-LTO and LTO

2023-10-15 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111380 --- Comment #3 from CVS Commits --- The releases/gcc-12 branch has been updated by Kewen Lin : https://gcc.gnu.org/g:a570462419f5a6ba2880a82d6394419864bd035b commit r12-9926-ga570462419f5a6ba2880a82d6394419864bd035b Author: Kewen Lin Date:

[Bug target/111366] error: inlining failed in call to 'always_inline' 'hwy::PreventElision(int&)void': target specific option mismatch

2023-10-15 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111366 --- Comment #21 from CVS Commits --- The releases/gcc-12 branch has been updated by Kewen Lin : https://gcc.gnu.org/g:2b50ddce27be4738b494f5c4dd7083099b3de68c commit r12-9925-g2b50ddce27be4738b494f5c4dd7083099b3de68c Author: Kewen Lin Date:

[Bug target/111366] error: inlining failed in call to 'always_inline' 'hwy::PreventElision(int&)void': target specific option mismatch

2023-10-15 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111366 --- Comment #20 from CVS Commits --- The releases/gcc-13 branch has been updated by Kewen Lin : https://gcc.gnu.org/g:4d22de945430e6f8c33ef98c90a4fad8de0ef41e commit r13-7953-g4d22de945430e6f8c33ef98c90a4fad8de0ef41e Author: Kewen Lin Date:

[Bug target/111380] Inconsistent behaviors between non-LTO and LTO

2023-10-15 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111380 --- Comment #2 from CVS Commits --- The releases/gcc-13 branch has been updated by Kewen Lin : https://gcc.gnu.org/g:cc87aaeceea58389b681e3a6a63f95e54f2b59cd commit r13-7954-gcc87aaeceea58389b681e3a6a63f95e54f2b59cd Author: Kewen Lin Date:

[PATCH 2/3] LoongArch:Implement vec_widen standard names.

2023-10-15 Thread Jiahao Xu
Add support for vec_widen lo/hi patterns. These do not directly match on Loongarch lasx instructions but can be emulated with even/odd + vector merge. gcc/ChangeLog: * config/loongarch/lasx.md (vec_widen_add_hi_, vec_widen_add_lo_, vec_widen_sub_hi_, vec_widen_sub_lo_,

[PATCH 1/3] LoongArch:Implement avg and sad standard names.

2023-10-15 Thread Jiahao Xu
gcc/ChangeLog: * config/loongarch/lasx.md (avg3_floor, uavg3_floor, avg3_ceil, uavg3_ceil, ssadv16qi, usadv16qi): New patterns. * config/loongarch/lsx.md (avg3_floor, uavg3_floor, avg3_ceil, uavg3_ceil, ssadv16qi, usadv16qi): New patterns. gcc/testsuite/ChangeLog:

[PATCH 3/3] LoongArch:Implement the new vector cost model framework.

2023-10-15 Thread Jiahao Xu
This patch make loongarch use the new vector hooks and implements the costing function determine_suggested_unroll_factor, to make it be able to suggest the unroll factor for a given loop being vectorized base vec_ops analysis during vector costing and the available issue information. Referring to

[PATCH 0/3] Optimize loongarch vector implementation.

2023-10-15 Thread Jiahao Xu
The following three patches further enhance loongarch’s vectorization capabilities. Patch one add LoongArch support for AVG_CEIL/FLOOR. Patch 2 add LoongArch support for vec_widen_mult/add/sub_lo/hi patterns. patch 3 make loongarch use the new vector hooks and implements the costing function

[PATCH v20 29/40] c++: Implement __is_pointer built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_pointer. gcc/cp/ChangeLog: * cp-trait.def: Define __is_pointer. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_POINTER. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 07/40] libstdc++: Optimize is_volatile trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_volatile trait by dispatching to the new __is_volatile built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_volatile): Use __is_volatile built-in trait. (is_volatile_v): Likewise. Signed-off-by: Ken Matsui

[PATCH v20 04/40] c++: Implement __is_const built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_const. gcc/cp/ChangeLog: * cp-trait.def: Define __is_const. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_CONST. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 22/40] c++: Implement __is_reference built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_reference. gcc/cp/ChangeLog: * cp-trait.def: Define __is_reference. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_REFERENCE. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 21/40] libstdc++: Optimize is_member_object_pointer trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_member_object_pointer trait by dispatching to the new __is_member_object_pointer built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_member_object_pointer): Use __is_member_object_pointer built-in trait.

[PATCH v20 35/40] c++: Implement __is_unsigned built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_unsigned. gcc/cp/ChangeLog: * cp-trait.def: Define __is_unsigned. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_UNSIGNED. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 31/40] c++: Implement __is_arithmetic built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_arithmetic. gcc/cp/ChangeLog: * cp-trait.def: Define __is_arithmetic. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_ARITHMETIC. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 24/40] c++: Implement __is_function built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_function. gcc/cp/ChangeLog: * cp-trait.def: Define __is_function. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_FUNCTION. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 38/40] libstdc++: Optimize is_signed trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_signed trait by dispatching to the new __is_signed built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_signed): Use __is_signed built-in trait. (is_signed_v): Likewise. Signed-off-by: Ken Matsui ---

[PATCH v20 37/40] c++: Implement __is_signed built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_signed. gcc/cp/ChangeLog: * cp-trait.def: Define __is_signed. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_SIGNED. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 20/40] c++: Implement __is_member_object_pointer built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_member_object_pointer. gcc/cp/ChangeLog: * cp-trait.def: Define __is_member_object_pointer. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_MEMBER_OBJECT_POINTER. * semantics.cc (trait_expr_value): Likewise.

[PATCH v20 40/40] libstdc++: Optimize is_scalar trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_scalar trait by dispatching to the new __is_scalar built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_scalar): Use __is_scalar built-in trait. (is_scalar_v): Likewise. Signed-off-by: Ken Matsui ---

[PATCH v20 13/40] libstdc++: Optimize is_bounded_array trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_bounded_array trait by dispatching to the new __is_bounded_array built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_bounded_array_v): Use __is_bounded_array built-in trait. Signed-off-by: Ken Matsui ---

[PATCH v20 26/40] libstdc++: Optimize is_object trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_object trait by dispatching to the new __is_function and __is_reference built-in traits. libstdc++-v3/ChangeLog: * include/std/type_traits (is_object): Use __is_function and __is_reference built-in traits. (is_object_v):

[PATCH v20 28/40] libstdc++: Optimize remove_pointer trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the remove_pointer trait by dispatching to the new remove_pointer built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (remove_pointer): Use __remove_pointer built-in trait. Signed-off-by: Ken Matsui ---

[PATCH v20 25/40] libstdc++: Optimize is_function trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_function trait by dispatching to the new __is_function built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_function): Use __is_function built-in trait. (is_function_v): Likewise. Optimize its implementation.

[PATCH v20 27/40] c++: Implement __remove_pointer built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::remove_pointer. gcc/cp/ChangeLog: * cp-trait.def: Define __remove_pointer. * semantics.cc (finish_trait_type): Handle CPTK_REMOVE_POINTER. gcc/testsuite/ChangeLog: * g++.dg/ext/has-builtin-1.C: Test existence of

[PATCH v20 34/40] libstdc++: Optimize is_compound trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_compound trait by dispatching to the new __is_arithmetic built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_compound): Do not use __not_. (is_compound_v): Use is_fundamental_v instead. Signed-off-by: Ken Matsui

[PATCH v20 09/40] libstdc++: Optimize is_array trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_array trait by dispatching to the new __is_array built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_array): Use __is_array built-in trait. (is_array_v): Likewise. Signed-off-by: Ken Matsui ---

[PATCH v20 08/40] c++: Implement __is_array built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_array. gcc/cp/ChangeLog: * cp-trait.def: Define __is_array. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_ARRAY. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 32/40] libstdc++: Optimize is_arithmetic trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_arithmetic trait by dispatching to the new __is_arithmetic built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_arithmetic): Use __is_arithmetic built-in trait. (is_arithmetic_v): Likewise. Signed-off-by:

[PATCH v20 17/40] libstdc++: Optimize is_member_pointer trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_member_pointer trait by dispatching to the new __is_member_pointer built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_member_pointer): Use __is_member_pointer built-in trait. (is_member_pointer_v):

[PATCH v20 06/40] c++: Implement __is_volatile built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_volatile. gcc/cp/ChangeLog: * cp-trait.def: Define __is_volatile. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_VOLATILE. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 11/40] libstdc++: Optimize is_unbounded_array trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_unbounded_array trait by dispatching to the new __is_unbounded_array built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_unbounded_array_v): Use __is_unbounded_array built-in trait. Signed-off-by: Ken Matsui ---

[PATCH v20 33/40] libstdc++: Optimize is_fundamental trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_fundamental trait by dispatching to the new __is_arithmetic built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_fundamental_v): Use __is_arithmetic built-in trait. (is_fundamental): Likewise. Optimize the

[PATCH v20 39/40] c++: Implement __is_scalar built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_scalar. gcc/cp/ChangeLog: * cp-trait.def: Define __is_scalar. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_SCALAR. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 12/40] c++: Implement __is_bounded_array built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_bounded_array. gcc/cp/ChangeLog: * cp-trait.def: Define __is_bounded_array. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_BOUNDED_ARRAY. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr):

[PATCH v20 16/40] c++: Implement __is_member_pointer built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_member_pointer. gcc/cp/ChangeLog: * cp-trait.def: Define __is_member_pointer. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_MEMBER_POINTER. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr):

[PATCH v20 19/40] libstdc++: Optimize is_member_function_pointer trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_member_function_pointer trait by dispatching to the new __is_member_function_pointer built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_member_function_pointer): Use __is_member_function_pointer built-in trait.

[PATCH v20 14/40] c++: Implement __is_scoped_enum built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_scoped_enum. gcc/cp/ChangeLog: * cp-trait.def: Define __is_scoped_enum. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_SCOPED_ENUM. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise.

[PATCH v20 05/40] libstdc++: Optimize is_const trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_const trait by dispatching to the new __is_const built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_const): Use __is_const built-in trait. (is_const_v): Likewise. Signed-off-by: Ken Matsui ---

[PATCH v20 10/40] c++: Implement __is_unbounded_array built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_unbounded_array. gcc/cp/ChangeLog: * cp-trait.def: Define __is_unbounded_array. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_UNBOUNDED_ARRAY. * semantics.cc (trait_expr_value): Likewise.

[PATCH v20 30/40] libstdc++: Optimize is_pointer trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_pointer trait by dispatching to the new __is_pointer built-in trait. libstdc++-v3/ChangeLog: * include/bits/cpp_type_traits.h (__is_pointer): Use __is_pointer built-in trait. * include/std/type_traits (is_pointer): Likewise.

[PATCH v20 23/40] libstdc++: Optimize is_reference trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_reference trait by dispatching to the new __is_reference built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_reference): Use __is_reference built-in trait. (is_reference_v): Likewise. Signed-off-by: Ken

[PATCH v20 15/40] libstdc++: Optimize is_scoped_enum trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_scoped_enum trait by dispatching to the new __is_scoped_enum built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_scoped_enum): Use __is_scoped_enum built-in trait. (is_scoped_enum_v): Likewise.

[PATCH v20 03/40] c++: Accept the use of built-in trait identifiers

2023-10-15 Thread Ken Matsui
This patch accepts the use of built-in trait identifiers when they are actually not used as traits. Specifically, we check if the subsequent token is '(' for ordinary built-in traits or is '<' only for the special __type_pack_element built-in trait. If those identifiers are used differently, the

[PATCH v20 18/40] c++: Implement __is_member_function_pointer built-in trait

2023-10-15 Thread Ken Matsui
This patch implements built-in trait for std::is_member_function_pointer. gcc/cp/ChangeLog: * cp-trait.def: Define __is_member_function_pointer. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_MEMBER_FUNCTION_POINTER. * semantics.cc (trait_expr_value):

[PATCH v20 02/40] c-family, c++: Look up built-in traits via identifier node

2023-10-15 Thread Ken Matsui
Since RID_MAX soon reaches 255 and all built-in traits are used approximately once in a C++ translation unit, this patch removes all RID values for built-in traits and uses the identifier node to look up the specific trait. Rather than holding traits as keywords, we set all trait identifiers as

[PATCH v20 36/40] libstdc++: Optimize is_unsigned trait performance

2023-10-15 Thread Ken Matsui
This patch optimizes the performance of the is_unsigned trait by dispatching to the new __is_unsigned built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (is_unsigned): Use __is_unsigned built-in trait. (is_unsigned_v): Likewise. Signed-off-by: Ken Matsui

[PATCH v20 01/40] c++: Sort built-in traits alphabetically

2023-10-15 Thread Ken Matsui
This patch sorts built-in traits alphabetically for better code readability. gcc/cp/ChangeLog: * constraint.cc (diagnose_trait_expr): Sort built-in traits alphabetically. * cp-trait.def: Likewise. * semantics.cc (trait_expr_value): Likewise.

[PATCH v20 00/40] Optimize type traits performance

2023-10-15 Thread Ken Matsui
This patch series optimizes type traits performance by implementing built-in type traits and using them in libstdc++. Changes in v20: * Used identifier node instead of gperf to look up built-in traits. Changes in v19: * Fixed a typo. * Rebased on top of trunk.

[PATCH] Improve factor_out_conditional_operation for conversions and constants

2023-10-15 Thread Andrew Pinski
In the case of a NOP conversion (precisions of the 2 types are equal), factoring out the conversion can be done even if int_fits_type_p returns false and even when the conversion is defined by a statement inside the conditional. Since it is a NOP conversion there is no zero/sign extending

[Bug target/111815] VAX: ICE in 'print_operand_address' while building 'elf_zstd_decompress' from libbacktrace/elf.c

2023-10-15 Thread macro at orcam dot me.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111815 --- Comment #1 from Maciej W. Rozycki --- Created attachment 56120 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56120=edit Reduced testcase This triggers the same ICE in `p'. Preincrements are required so that their results land in

[Bug tree-optimization/111827] `a > b ? ~a : ~b` is sometimes not detected until phiopt4 (or not at all)

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111827 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug tree-optimization/111827] New: `a > b ? ~a : ~b` is sometimes not detected until phiopt4 (or not at all)

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111827 Bug ID: 111827 Summary: `a > b ? ~a : ~b` is sometimes not detected until phiopt4 (or not at all) Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords:

[Bug middle-end/67438] [6 Regression] ~X op ~Y pattern relocation causes loop performance degradation on 32bit x86

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67438 --- Comment #15 from Andrew Pinski --- (In reply to Yuri Rumyantsev from comment #11) > Richard proposed to use the same simplification for min/max operations but > in original test-case nested min/max operation (min(x,min(y,z)) or multi >

[Bug lto/107779] Support implicit references from inline assembler to compiler symbols

2023-10-15 Thread andi-gcc at firstfloor dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107779 --- Comment #4 from Andi Kleen --- This whole manual annotation idea (which is equivalent to marking the symbols global and visible and that is what a large part of the kernel LTO patchkit) is dead on arrival because the kernel people already

gcc-14-20231015 is now available

2023-10-15 Thread GCC Administrator via Gcc
Snapshot gcc-14-20231015 is now available on https://gcc.gnu.org/pub/gcc/snapshots/14-20231015/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 14 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

[Bug tree-optimization/101541] Missing ABSU detection at gimple

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101541 Andrew Pinski changed: What|Removed |Added URL||https://gcc.gnu.org/piperma

[PATCH] MATCH: Improve `A CMP 0 ? A : -A` set of patterns to use bitwise_equal_p.

2023-10-15 Thread Andrew Pinski
This improves the `A CMP 0 ? A : -A` set of match patterns to use bitwise_equal_p which allows an nop cast between signed and unsigned. This allows catching a few extra cases which were not being caught before. OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions. gcc/ChangeLog:

Re: [PATCH v19 02/40] c-family, c++: Look up built-in traits through gperf

2023-10-15 Thread Ken Matsui
On Sun, Oct 15, 2023 at 2:50 PM Patrick Palka wrote: > > On Sun, 15 Oct 2023, Ken Matsui wrote: > > > On Sun, Oct 15, 2023 at 1:43 PM Patrick Palka wrote: > > > > > > On Fri, 13 Oct 2023, Ken Matsui wrote: > > > > > > > Since RID_MAX soon reaches 255 and all built-in traits are used > > > >

Re: [PATCH v19 02/40] c-family, c++: Look up built-in traits through gperf

2023-10-15 Thread Patrick Palka
On Sun, 15 Oct 2023, Ken Matsui wrote: > On Sun, Oct 15, 2023 at 1:43 PM Patrick Palka wrote: > > > > On Fri, 13 Oct 2023, Ken Matsui wrote: > > > > > Since RID_MAX soon reaches 255 and all built-in traits are used > > > approximately > > > once in a C++ translation unit, this patch removes all

[pushed] wwwdocs: buildstat: Don't reference buildstats we no longer carry

2023-10-15 Thread Gerald Pfeifer
Having just removed the buildstats pages for GCC 9 to GCC 13 also drop references from this main buildstats overview. Pushed. Gerald --- htdocs/buildstat.html | 8 ++-- 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/htdocs/buildstat.html b/htdocs/buildstat.html index

[pushed] wwwdocs: *: Remove unused buildstat pages

2023-10-15 Thread Gerald Pfeifer
[ Release managers, heads-up for when you branch future releases! ] For GCC 9 to GCC 13 the per-release series buildstat pages have not been populated at all, so remove them and reference from the respective main release pages. Pushed. Gerald --- htdocs/gcc-10/buildstat.html | 27

[Bug libstdc++/111826] New: __cpp_lib_format should be 202110, not 202106

2023-10-15 Thread bbi5291 at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111826 Bug ID: 111826 Summary: __cpp_lib_format should be 202110, not 202106 Product: gcc Version: 13.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component:

[Bug fortran/98011] [OpenACC] 'gcc/fortran/scanner.c:load_line' should consider 'flag_openacc' in addition to 'flag_openmp' (and vice versa?)?

2023-10-15 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98011 --- Comment #5 from CVS Commits --- The master branch has been updated by Tobias Burnus : https://gcc.gnu.org/g:643a5223f1a1860a88c215d715f079d7f846843c commit r14-4651-g643a5223f1a1860a88c215d715f079d7f846843c Author: Tobias Burnus Date:

Re: [patch] libgomp.texi: Update "Enabling OpenMP" + OpenACC / invoke.texi: -fopenacc/-fopenmp update (was: Re: [patch] libgomp.texi: Update "Enabling OpenMP")

2023-10-15 Thread Sandra Loosemore
On 10/15/23 04:42, Tobias Burnus wrote: Updated patch attached. This version looks OK to me. -Sandra

Re: [PATCH v19 02/40] c-family, c++: Look up built-in traits through gperf

2023-10-15 Thread Ken Matsui
On Sun, Oct 15, 2023 at 1:43 PM Patrick Palka wrote: > > On Fri, 13 Oct 2023, Ken Matsui wrote: > > > Since RID_MAX soon reaches 255 and all built-in traits are used > > approximately > > once in a C++ translation unit, this patch removes all RID values for > > built-in > > traits and uses

[Bug middle-end/31531] A microoptimization of isnegative of signed integer

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31531 --- Comment #19 from Andrew Pinski --- Created attachment 56119 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56119=edit testcase from the original attachment For easier access, I posting this here so don't need to untar the file.

Re: [PATCH v19 02/40] c-family, c++: Look up built-in traits through gperf

2023-10-15 Thread Patrick Palka
On Fri, 13 Oct 2023, Ken Matsui wrote: > Since RID_MAX soon reaches 255 and all built-in traits are used approximately > once in a C++ translation unit, this patch removes all RID values for built-in > traits and uses gperf to look up the specific trait. Rather than holding > traits as keywords,

Re: [patch] libgomp.texi: Improve "OpenACC Environment Variables"

2023-10-15 Thread Sandra Loosemore
On 10/15/23 04:40, Tobias Burnus wrote: Hi Sandra, thanks for the comments. On 15.10.23 00:46, Sandra Loosemore wrote: +Semicolon separated list of dynamic libraries to be loaded as profiling library. s/Semicolon separated/Semicolon-separated/ There's also a semantic issue with "list of

[Bug fortran/66969] Internal compiler error, segmentation fault

2023-10-15 Thread anlauf at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66969 anlauf at gcc dot gnu.org changed: What|Removed |Added CC||anlauf at gcc dot gnu.org

Re: [patch] libgomp.texi: Use present not future tense (was: [Patch] libgomp.texi: Clarify OMP_TARGET_OFFLOAD=mandatory)

2023-10-15 Thread Sandra Loosemore
On 10/15/23 04:39, Tobias Burnus wrote: @@ -905,8 +905,8 @@ For @code{omp_sched_auto} the @var{chunk_size} argument is ignored. @subsection @code{omp_get_schedule} -- Obtain the runtime scheduling method @table @asis @item @emph{Description}: -Obtain the runtime scheduling method. The

[Bug other/103331] There should be a rule to make build.log in the top-level Makefile

2023-10-15 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103331 --- Comment #2 from Eric Gallager --- I'm assuming that the way that build.log is normally generated is by just appending `| tee build.log` to the end of a normal `make` command?

Ping: [PATCH v2 0/2] Replace intl/ with out-of-tree GNU gettext

2023-10-15 Thread Arsen Arsenović
Evening, Arsen Arsenović writes: > Afternoon, > > This patch is a rebase and rewording of > https://inbox.sourceware.org/20230925150921.894157-1-ar...@aarsen.me/ > > Changes since v1: > - Implement Brunos suggested changes to install.texi. > - Elaborate commit message in p2 (as requested by the

[Bug tree-optimization/101541] Missing ABSU detection at gimple

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101541 --- Comment #7 from Andrew Pinski --- Created attachment 56118 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56118=edit Patch which I am testing which allows for more (independent of the other) This patch improves the case where we have

[Bug tree-optimization/104376] Failure to optimize clz equivalent to clz

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104376 --- Comment #8 from Andrew Pinski --- Created attachment 56117 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56117=edit Patch which I am testing to fix the second issue

[Bug tree-optimization/104376] Failure to optimize clz equivalent to clz

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104376 Andrew Pinski changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #7 from Andrew

[PATCH] RISC-V/testsuite: add a default march (lacking zfa) to some fp tests

2023-10-15 Thread Vineet Gupta
A bunch of FP tests expecting specific FP asm output fail when built with zfa because different insns are generated. And this happens because those tests don't have an explicit -march and the default used to configure gcc could end up with zfa causing the false fails. Fix that by adding the

[Bug tree-optimization/101541] Missing ABSU detection at gimple

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101541 --- Comment #6 from Andrew Pinski --- Created attachment 56116 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56116=edit Patch which I am testing

[Bug ada/111825] get_immediate echos without wait, no echo with wait: error?

2023-10-15 Thread thiebauddick2 at aol dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111825 --- Comment #1 from richardthiebaud --- anga 12.2.0 not 11.4.0

[Bug ada/111825] New: get_immediate echos without wait, no echo with wait: error?

2023-10-15 Thread thiebauddick2 at aol dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111825 Bug ID: 111825 Summary: get_immediate echos without wait, no echo with wait: error? Product: gcc Version: 12.3.0 Status: UNCONFIRMED Severity: normal

[Bug target/108640] ICE compiling busybox for m68k in change_address_1, at emit-rtl.cc:2283

2023-10-15 Thread matthias.reis at posteo dot de via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108640 --- Comment #4 from Matthias Reis --- I have the same problem unfortunately. Changing '-Os' into '-O2' fixes the problem for me.

[Bug tree-optimization/101541] Missing ABSU detection at gimple

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101541 --- Comment #5 from Andrew Pinski --- Actually using bitwise_equal_p makes this easier and no need for the nop_convert ... I have a patch where I just need to add testcases too.

[PATCH/committed] sim: add distclean dep for gnulib

2023-10-15 Thread Mike Frysinger
ChangeLog: * Makefile.def: Add distclean-sim dependency on distclean-gnulib. * Makefile.in: Regenerate. --- Makefile.def | 1 + Makefile.in | 1 + 2 files changed, 2 insertions(+) diff --git a/Makefile.def b/Makefile.def index 870150183b9a..15c068e4ac40 100644 ---

[Bug libstdc++/111824] [14 Regression] is invalid under -U__STRICT_ANSI__ -std=c++11

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111824 Andrew Pinski changed: What|Removed |Added Resolution|--- |WONTFIX Status|UNCONFIRMED

[Bug tree-optimization/111823] ICE on valid code at -O1 and above on x86_64-linux-gnu: in verify_sra_access_forest, at tree-sra.cc:2414

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111823 Andrew Pinski changed: What|Removed |Added Resolution|--- |DUPLICATE

[Bug tree-optimization/111807] [14 Regression] ice in verify_sra_access_forest with -O1 and bitfields in some cases

2023-10-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111807 Andrew Pinski changed: What|Removed |Added CC||zhendong.su at inf dot ethz.ch ---

[pushed] wwwdocs: gcc-9: Editorial changes to porting_to.html

2023-10-15 Thread Gerald Pfeifer
Of course GCC 9 is not exactly fresh, though since I found this in a local tree still worth pushing. Pushed. Gerald --- htdocs/gcc-9/porting_to.html | 31 --- 1 file changed, 16 insertions(+), 15 deletions(-) diff --git a/htdocs/gcc-9/porting_to.html

  1   2   >