[Bug rtl-optimization/116479] [15/16 Regression] wrong code with -O -funroll-loops -finline-stringops -fmodulo-sched --param=max-iterations-computation-cost=637924876 on aarch64 since r15-1447-g5d0c1b

2025-04-22 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116479 avieira at gcc dot gnu.org changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |avieira at gcc dot

[Bug lto/63215] LTO causes symbols for builtin functions to be omitted from object files

2025-04-16 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63215 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug tree-optimization/118976] [12/13/14/15 regression] Correctness Issue: SVE vectorization results in data corruption when cpu has 128bit vectors but compiled with -mcpu=neoverse-v1 (which is only f

2025-02-26 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118976 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug target/118955] Fortran uses vector math functions without -ffast-math

2025-02-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118955 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug target/116445] gcc.target/arm/unsigned-extend-2.c on Cortex-M55 and misses possible Cortex-M optimization

2025-01-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116445 --- Comment #4 from avieira at gcc dot gnu.org --- Good point Kyrill! I was just merely comparing m3 to m55 but yes you are right, with low overhead loops you don't need the r3 count... But -O2 also removes the r3, seems it does it at u

[Bug target/116445] gcc.target/arm/unsigned-extend-2.c on Cortex-M55 and misses possible Cortex-M optimization

2025-01-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116445 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug target/111263] test case gfortran.dg/ieee/comparisons_3.F90 fails

2024-11-27 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111263 avieira at gcc dot gnu.org changed: What|Removed |Added Target|powerpc64-linux-gnu,|powerpc64-linux-gnu

[Bug target/111263] test case gfortran.dg/ieee/comparisons_3.F90 fails

2024-11-27 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111263 --- Comment #4 from avieira at gcc dot gnu.org --- I've added arm-none-linux-gnueabihf to the target list there, but I'm wondering whether we should have a separate bugzilla given it's likely this is a target issue as Andrew point

[Bug target/111263] test case gfortran.dg/ieee/comparisons_3.F90 fails

2024-11-27 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111263 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug target/116444] gcc.target/arm/thumb-ifcvt-2.c fails on Cortex-M55 and misses possible Cortex-M optimization

2024-11-22 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116444 avieira at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed

[Bug middle-end/116997] Wrong bitfield accesses since r13-3219-g25413fdb2ac249

2024-11-20 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116997 avieira at gcc dot gnu.org changed: What|Removed |Added Resolution|--- |FIXED Known to fail

[Bug tree-optimization/53947] [meta-bug] vectorizer missed-optimizations

2024-11-20 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53947 Bug 53947 depends on bug 116997, which changed state. Bug 116997 Summary: Wrong bitfield accesses since r13-3219-g25413fdb2ac249 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116997 What|Removed |Added --

[Bug target/114801] [14/15 Regression] arm: ICE in find_cached_value, at rtx-vector-builder.cc:100 with MVE intrinsics

2024-11-01 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114801 --- Comment #38 from avieira at gcc dot gnu.org --- > At least if the behavior is either perform the operation on all elements and > then based on the 16 bits in the predicate choose result between the newly > computed result and somet

[Bug middle-end/116997] [13/14/15 Regression] Wrong bitfield accesses since r13-3219-g25413fdb2ac249

2024-10-09 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116997 --- Comment #7 from avieira at gcc dot gnu.org --- My aarch64_be-none-elf regression testing also came back with no new failures. @Pinski: given it was your suggestion do you want the commit? ;)

[Bug middle-end/116997] [13/14/15 Regression] Wrong bitfield accesses since r13-3219-g25413fdb2ac249

2024-10-08 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116997 --- Comment #5 from avieira at gcc dot gnu.org --- I checked it locally and Pinski's recommended change does seem to fix the codegen for this case. I end up with: MEM [(void *)Ptr.0_1] = { 7, 6291456 }; I am regression testing the chang

[Bug middle-end/116997] [13/14/15 Regression] Wrong bitfield accesses since r13-3219-g25413fdb2ac249

2024-10-07 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116997 --- Comment #1 from avieira at gcc dot gnu.org --- Had a look at this and I see similar codegen for aarch64 when compiling for big-endian. If I disable tree-ifcvt (-fdisable-tree-ifvt) I end up with: MEM [(void *)Ptr.0_1] = 30071062528

[Bug target/116444] gcc.target/arm/thumb-ifcvt-2.c fails on Cortex-M55 and misses possible Cortex-M optimization

2024-10-04 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116444 --- Comment #5 from avieira at gcc dot gnu.org --- Posted a fix, I believe it's related to the fact that for the cases where we were using noce before, it was using the default hook to do a cost check, my patch blankly approved those, thi

[Bug target/116444] gcc.target/arm/thumb-ifcvt-2.c fails on Cortex-M55 and misses possible Cortex-M optimization

2024-10-04 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116444 --- Comment #4 from avieira at gcc dot gnu.org --- No hadn't seen that yet. Will look at it thanks!

[Bug target/116444] gcc.target/arm/thumb-ifcvt-2.c fails on Cortex-M55 and misses possible Cortex-M optimization

2024-10-04 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116444 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug target/115611] New: mve: vsetq_lane for 64-bits has wrong codegen when setting lane 1

2024-06-24 Thread avieira at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- When compiling: $ cat t.s #include int64x2_t fn (int64x2_t v, int64_t a) { return vsetq_lane_s64(a, v, 1); } compiled with

[Bug target/96342] [SVE] Add support for "omp declare simd"

2024-06-19 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96342 --- Comment #11 from avieira at gcc dot gnu.org --- I realized this ticket hadn't been updated in a while. Late in development for gcc-14 I realized sve simdclone usage was leading to a regression on a benchmark, I couldn't get to the

[Bug target/115360] cmse_nonsecure_call wrapper on arm missing STT_FUNCTION

2024-06-12 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115360 avieira at gcc dot gnu.org changed: What|Removed |Added Resolution|--- |FIXED Status

[Bug target/115360] New: cmse_nonsecure_call wrapper missing STT_FUNCTION

2024-06-05 Thread avieira at gcc dot gnu.org via Gcc-bugs
: target Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- The Arm ABI requires a linker to handle calls to 'distant' functions by inserting a wrapper veneer, or trampoline. Such functions need to be given permission

[Bug tree-optimization/115278] [13/14/15 Regression] -ftree-vectorize optimizes away volatile write on x86_64 since r13-3219

2024-05-31 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115278 --- Comment #8 from avieira at gcc dot gnu.org --- Thanks! Missed that Andrew. > It's a low-level worker, it relies on the caller to have performed sanity > checking on the stmt itself. I'm testing a patch doing that. OK, n

[Bug tree-optimization/115278] [13/14/15 Regression] -ftree-vectorize optimizes away volatile write on x86_64 since r13-3219

2024-05-31 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115278 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug tree-optimization/111882] [13 Regression] : internal compiler error: in get_expr_operand in ifcvt with Variable length arrays and bitfields inside a struct

2024-04-30 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111882 avieira at gcc dot gnu.org changed: What|Removed |Added Summary|[13/14/15 Regression] : |[13 Regression] : internal

[Bug target/114801] [14/15 Regression] arm: ICE in find_cached_value, at rtx-vector-builder.cc:100 with MVE intrinsics

2024-04-29 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114801 --- Comment #18 from avieira at gcc dot gnu.org --- Sorry to be clear, the 'here' in the last sentence refers to supporting masks as 0x to control the writing of the output register as the ISA allows, rather than interpret 0x

[Bug target/114801] [14/15 Regression] arm: ICE in find_cached_value, at rtx-vector-builder.cc:100 with MVE intrinsics

2024-04-29 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114801 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug target/112787] Codegen regression of large GCC vector extensions when enabling SVE

2024-03-26 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112787 --- Comment #13 from avieira at gcc dot gnu.org --- They have both been backported, @Eric the tests should be passing again now.

[Bug target/112787] Codegen regression of large GCC vector extensions when enabling SVE

2024-03-19 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112787 --- Comment #12 from avieira at gcc dot gnu.org --- Sorry, missed that comment, thanks! I'll test backporting both.

[Bug target/112787] Codegen regression of large GCC vector extensions when enabling SVE

2024-03-19 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112787 --- Comment #10 from avieira at gcc dot gnu.org --- First of all, apologies for this! I don't know why I didn't test this on x86_64 too, I usually do for such backports. Anyway I checked locally and backporting:

[Bug ipa/113359] [13/14 Regression] LTO miscompilation of ceph on aarch64

2024-03-15 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113359 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug tree-optimization/111478] [12 Regression] aarch64 SVE ICE: in compute_live_loop_exits, at tree-ssa-loop-manip.cc:250

2024-03-01 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111478 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug target/113229] [14 Regression] gcc.dg/torture/pr70083.c ICEs when compiled with -march=armv9-a+sve2

2024-01-05 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113229 --- Comment #6 from avieira at gcc dot gnu.org --- Oh forgot to mention, this is triggering because of the div optimization in: https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=c69db3ef7f7d82a50f46038aa5457b7c8cc2d643 But I suspect that too is

[Bug target/113229] [14 Regression] gcc.dg/torture/pr70083.c ICEs when compiled with -march=armv9-a+sve2

2024-01-05 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113229 --- Comment #5 from avieira at gcc dot gnu.org --- Oh forgot to mention, this is triggering because of the div optimization in: https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=c69db3ef7f7d82a50f46038aa5457b7c8cc2d643 But I suspect that too is

[Bug target/113229] [14 Regression] gcc.dg/torture/pr70083.c ICEs when compiled with -march=armv9-a+sve2

2024-01-05 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113229 avieira at gcc dot gnu.org changed: What|Removed |Added Last reconfirmed||2024-01-05 Ever

[Bug target/113040] [14 Regression] libmvec test failures

2023-12-19 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113040 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug tree-optimization/113026] Bogus -Wstringop-overflow warning on simple memcpy type loop

2023-12-15 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113026 --- Comment #4 from avieira at gcc dot gnu.org --- Drive by comments as it's been a while since I looked at this. I'm also surprised we didn't adjust the bounds. But why do we only subtract VF? Like you say, if there's no loo

[Bug target/112787] Codegen regression of large GCC vector extensions when enabling SVE

2023-11-30 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112787 avieira at gcc dot gnu.org changed: What|Removed |Added Ever confirmed|0 |1 Status

[Bug target/112787] New: Codegen regression of large GCC vector extensions when enabling SVE

2023-11-30 Thread avieira at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- When compiling: typedef int __attribute__((__vector_size__ (64))) vec; vec fn (vec a, vec b) { return a + b; } with 

[Bug tree-optimization/112282] [14 Regression] wrong code (generated code hangs) at -O3 on x86_64-linux-gnu since r14-4777-g88c27070c25309

2023-10-31 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112282 --- Comment #11 from avieira at gcc dot gnu.org --- So I had a look at that u_lsm.72_510 variable and it's only undefined if we don't loop, but if we don't loop then u_lsm_flag is set to 0 and we don't use u_lsm. So it'

[Bug tree-optimization/112282] [14 Regression] wrong code (generated code hangs) at -O3 on x86_64-linux-gnu since r14-4777-g88c27070c25309

2023-10-31 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112282 --- Comment #10 from avieira at gcc dot gnu.org --- So I had a look at that u_lsm.72_510 variable and it's only undefined if we don't loop, but if we don't loop then u_lsm_flag is set to 0 and we don't use u_lsm. So it'

[Bug tree-optimization/112282] [14 Regression] wrong code (generated code hangs) at -O3 on x86_64-linux-gnu since r14-4777-g88c27070c25309

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

[Bug tree-optimization/111882] [13/14 Regression] : internal compiler error: in get_expr_operand in ifcvt with Variable length arrays and bitfields inside a struct

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

[Bug plugins/110610] [14 Regression] File insn-opinit.h not installed ?

2023-07-17 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110610 avieira at gcc dot gnu.org changed: What|Removed |Added Resolution|--- |FIXED Status

[Bug plugins/110610] File insn-opinit.h not installed ?

2023-07-10 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110610 avieira at gcc dot gnu.org changed: What|Removed |Added Last reconfirmed||2023-07-10 Ever

[Bug plugins/110610] File insn-opinit.h not installed ?

2023-07-10 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110610 --- Comment #8 from avieira at gcc dot gnu.org --- I'll try adding to one of the header file lists in gcc's makefile. Probably the INTERNAL_FN_H one.

[Bug plugins/110610] File insn-opinit.h not installed ?

2023-07-10 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110610 --- Comment #7 from avieira at gcc dot gnu.org --- > I guess you mean insn-opinit.h, not internal-fn.h. internal-fn.h is in the > GCC Git repo. Yeah sorry! I did mean insn-opinit.h > We are already installing insn-{addr,attr-co

[Bug plugins/110610] File insn-opinit.h not installed ?

2023-07-10 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110610 --- Comment #5 from avieira at gcc dot gnu.org --- intenral-fn.h is generated at gcc build-time. I'm not sure we want to 'install' it with a gcc install. Might make more sense to trigger a the generation of it when building this

[Bug plugins/110610] File insn-opinit.h not installed ?

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

[Bug tree-optimization/110557] [13/14 Regression] Wrong code for x86_64-linux-gnu with -O3 -mavx2: vectorized loop mishandles signed bit-fields

2023-07-06 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110557 --- Comment #5 from avieira at gcc dot gnu.org --- Hi Xi, Feel free to test your patch and submit it to the list for review. I had a look over and it looks correct to me. I feel like it also addresses the cases where the bitfield is

[Bug tree-optimization/110557] [13/14 Regression] Wrong code for x86_64-linux-gnu with -O3 -mavx2: vectorized loop mishandles signed bit-fields

2023-07-06 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110557 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug tree-optimization/110436] [14 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

2023-06-27 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110436 --- Comment #4 from avieira at gcc dot gnu.org --- Meant to say I'll look at it ;)

[Bug tree-optimization/110436] [14 Regression] ICE in vectorizable_live_operation, at tree-vect-loop.cc:10170

2023-06-27 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110436 avieira at gcc dot gnu.org changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |avieira at gcc dot

[Bug tree-optimization/110310] vector epilogue handling is inefficient

2023-06-22 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110310 --- Comment #4 from avieira at gcc dot gnu.org --- > OK, so I take away from this that you don't think this is done the way it is on purpose. I don't think so, I think I just found a place where it was safe to do so, i.e. wher

[Bug tree-optimization/110310] vector epilogue handling is inefficient

2023-06-22 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110310 --- Comment #2 from avieira at gcc dot gnu.org --- I can't remember the exact reason either, though I do vaguely remember niter updating being something that we felt 'needed more future work' at the time. Just a side quest

[Bug middle-end/110142] [14 Regression] x264 from SPECCPU 2017 miscompares from g:2f482a07365d9f4a94a56edd13b7f01b8f78b5a0

2023-06-13 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110142 avieira at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED

[Bug middle-end/110142] [14 Regression] x264 from SPECCPU 2017 miscompares from g:2f482a07365d9f4a94a56edd13b7f01b8f78b5a0

2023-06-07 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110142 --- Comment #1 from avieira at gcc dot gnu.org --- Found the issue to be with passing a subtype to vect_recog_widen_op_pattern in vect_recog_widen_{plus,minus}_pattern where we didn't before. Removing those and letting it default to a

[Bug tree-optimization/109543] Avoid using BLKmode for unions with a non-BLKmode member when possible

2023-04-24 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109543 --- Comment #3 from avieira at gcc dot gnu.org --- Err that should be 'double d[4];' so: typedef struct { float __attribute__ ((vector_size(16))) v[2]; } STRUCT; #ifdef GOOD typedef STRUCT TYPE; #else typedef union {

[Bug tree-optimization/109543] Avoid using BLKmode for unions with a non-BLKmode member when possible

2023-04-24 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109543 --- Comment #2 from avieira at gcc dot gnu.org --- Sorry for the delay. Here's the typedefs with GNU vectors. typedef struct { float __attribute__ ((vector_size(16))) v[2]; } STRUCT; #ifdef GOOD typedef STRUCT TYPE; #else typedef

[Bug tree-optimization/109543] New: Avoid using BLKmode for unions with a non-BLKmode member when possible

2023-04-18 Thread avieira at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- Hi, So with the following C-code: $ cat t.c #include #ifdef GOOD typedef float64x2x2_t TYPE; #else typedef union

[Bug tree-optimization/108888] [13 Regression] error: definition in block 26 follows the use

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

[Bug target/98850] ICE in expand_debug_locations, at cfgexpand.c:5458

2023-03-23 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98850 --- Comment #2 from avieira at gcc dot gnu.org --- I failed to reproduce it with a trunk build of arm-none-linux-gnueabihf.

[Bug tree-optimization/109154] [13 regression] jump threading de-optimizes nested floating point comparisons

2023-03-22 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109154 --- Comment #5 from avieira at gcc dot gnu.org --- Im slightly confused here, on entry to BB 5 we know the opposite of _1 < 0.0 no? if we branch to BB 5 we know !(_1 < 0.0) so we can't fold _1 <= 1.0, we just know that the range o

[Bug tree-optimization/109230] [13 Regression] Maybe wrong code for opus package on aarch64 since r13-4122-g1bc7efa948f751

2023-03-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109230 --- Comment #9 from avieira at gcc dot gnu.org --- Hmm I was seeing the change in opus_ifft but that does look like different codegen :/ I might not be looking at the right thing. That transformation looks definitely wrong though as the

[Bug tree-optimization/109230] [13 Regression] Maybe wrong code for opus package on aarch64 since r13-4122-g1bc7efa948f751

2023-03-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109230 --- Comment #6 from avieira at gcc dot gnu.org --- Thanks! My initial investigation has lead me to think the change is being caused at vrp2, which is the only time the pattern gets triggered with -O2, the tree before the pass (at the place

[Bug tree-optimization/109230] [13 Regression] Maybe wrong code for opus package on aarch64 since r13-4122-g1bc7efa948f751

2023-03-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109230 avieira at gcc dot gnu.org changed: What|Removed |Added CC||avieira at gcc dot gnu.org

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-07 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #21 from avieira at gcc dot gnu.org --- Something else that might be obvious, how do I create a minimal ifcvt_demo.adb file that uses the .ads, so that I can add it as a testcase to gcc, as the testsuite seems to pick up .adb files

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-07 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #20 from avieira at gcc dot gnu.org --- It's probably obvious to people that know Ada, so I just have to apologize for my ignorance in that area :)

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-07 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #15 from avieira at gcc dot gnu.org --- @richi: Yeah and as I mentioned on IRC I can confirm it fixes the issue, I also bootstrapped and regression tested the change on aarch64-unknown-linux-gnu. Simon, I can't compile your mi

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-06 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #8 from avieira at gcc dot gnu.org --- Oh nvm... you did.

[Bug tree-optimization/109005] [13 Regression] ICE during GIMPLE pass: ifcvt

2023-03-06 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005 --- Comment #7 from avieira at gcc dot gnu.org --- I'm still trying to build ADA to reproduce this. Could you try 'p debug_tree (var)' if var is a SSA_NAME debug won't print anything. If it comes back as not 0 could you

[Bug target/96342] [SVE] Add support for "omp declare simd"

2023-02-08 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96342 --- Comment #10 from avieira at gcc dot gnu.org --- yang I assume you are no longer working on this?

[Bug target/107987] [12 Regression] MVE vcmpq vector-scalar can trigger ICE

2023-01-27 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107987 avieira at gcc dot gnu.org changed: What|Removed |Added Resolution|--- |FIXED Status

[Bug target/108443] New: arm: MVE wrongly re-interprets predicate constants

2023-01-18 Thread avieira at gcc dot gnu.org via Gcc-bugs
Component: target Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- compiling: $ cat t.c #include uint32x4_t foo (uint32_t *a) { mve_pred16_t p = 0x00cc; return vldrwq_z_u32 (a, p); } with: $ arm-none-eabi-gcc -march=armv8.1

[Bug target/108442] arm: MVE's vld1* and vst1* do not work when __ARM_MVE_PRESERVE_USER_NAMESPACE is defined

2023-01-18 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108442 --- Comment #1 from avieira at gcc dot gnu.org --- This fails equally for any vld1* vstr1* intrinsic.

[Bug target/108442] New: arm: MVE's vld1* and vst1* do not work when __ARM_MVE_PRESERVE_USER_NAMESPACE is defined

2023-01-18 Thread avieira at gcc dot gnu.org via Gcc-bugs
IRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- When compiling: $ cat t.c #include uint32x4_t foo (uint32_t *p) { return __arm_vld1q_u32 (p); }

[Bug target/108177] MVE predicated stores to same address get optimized away

2022-12-19 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108177 --- Comment #3 from avieira at gcc dot gnu.org --- The architecture describes it as only writing the true-predicated bytes and leaving the others untouched. I guess reading and writting to the same memory is the best we can do to 'mimic

[Bug target/108177] MVE predicated stores to same address get optimized away

2022-12-19 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108177 --- Comment #1 from avieira at gcc dot gnu.org --- I noticed that for SVE stores seem to be marked as volatile memory accesses, I suspect it's because they are represented using masked stores which probably are by definition volatile (for

[Bug target/108177] New: MVE predicated stores to same address get optimized away

2022-12-19 Thread avieira at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- GCC currently generates wrong code for predicated MVE stores to the same address. Like: #include uint8x16_t foo (uint8x16_t a, uint8_t *pa

[Bug target/107987] New: [12/13 Regression] MVE vcmpq vector-scalar can trigger ICE

2022-12-06 Thread avieira at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- Using the following testcase $ cat t.c #include uint32x4_t foo (uint32x4_t a, uint32x4_t b) { mve_pred16_t p = vcmpneq_n_u32 (vandq_u32

[Bug tree-optimization/107808] gcc.dg/vect/vect-bitfield-write-2.c etc.FAIL

2022-11-22 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107808 --- Comment #2 from avieira at gcc dot gnu.org --- Hi Rainer, I suspect this means SPARC should be added to the list of targets that fail check_effective_target_vect_long_long. From the dump it looks like the target doesn't support a long

[Bug tree-optimization/107326] [13 Regression] ICE: verify_gimple failed (error: type mismatch in binary expression) since r13-3219-g25413fdb2ac249

2022-11-15 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107326 avieira at gcc dot gnu.org changed: What|Removed |Added Resolution|--- |FIXED Status

[Bug libgcc/107678] New: [13 Regression] Segfault in aarch64_fallback_frame_state

2022-11-14 Thread avieira at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: libgcc Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- Hi, We ran into a segfault when running SPEC 2017 Parest for aarch64-none-linux-gnu on a Neoverse V1 target after g:146e45914032 These are

[Bug tree-optimization/107326] [13 Regression] ICE: verify_gimple failed (error: type mismatch in binary expression) since r13-3219-g25413fdb2ac249

2022-11-14 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107326 --- Comment #5 from avieira at gcc dot gnu.org --- It looks that way on my end, but I'll let Arseny confirm.

[Bug tree-optimization/107346] [13 Regression] gnat.dg/loop_optimization23_pkg.ad failure afer r13-3413-ge10ca9544632db

2022-10-23 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107346 --- Comment #9 from avieira at gcc dot gnu.org --- Hi Eric, I realised the same, got a patch pending here: https://gcc.gnu.org/pipermail/gcc-patches/2022-October/604139.html

[Bug tree-optimization/107346] [13 Regression] gnat.dg/loop_optimization23_pkg.ad failure afer r13-3413-ge10ca9544632db

2022-10-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107346 --- Comment #6 from avieira at gcc dot gnu.org --- > There are no differences between gnat1 and cc1/cc1plus as far as dumps are > concerned, e.g. -fdump-tree-optimized creates the .optimized dump. This was my bad, I'm not used t

[Bug tree-optimization/107346] [13 Regression] gnat.dg/loop_optimization23_pkg.ad failure afer r13-3413-ge10ca9544632db

2022-10-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107346 --- Comment #4 from avieira at gcc dot gnu.org --- Funnily enough, if I transform the Int24 into a 32-bit integer in the testcase and disable all bitfield lowering just to make sure, I get the same failure. I tried using __attribute__((packed

[Bug tree-optimization/107346] [13 Regression] gnat.dg/loop_optimization23_pkg.ad failure afer r13-3413-ge10ca9544632db

2022-10-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107346 --- Comment #3 from avieira at gcc dot gnu.org --- I am wondering whether I should try to support this, or bail out of vect_check_gather_scatter if pbitpos is not a multiple of BITS_PER_UNIT. The latter obviously feels safer.

[Bug testsuite/107338] new test case gcc.dg/vect/vect-bitfield-read-7.c in r13-3413-ge10ca9544632db fails

2022-10-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107338 --- Comment #3 from avieira at gcc dot gnu.org --- Hi Kewen, I believe you are right. I was waiting for a powerpc machine in the board farm, but I suspect I can reproduce this with an aarch64 BE target and I should be able to confirm. But your

[Bug tree-optimization/107346] gnat.dg/loop_optimization23_pkg.ad failure afer r13-3413-ge10ca9544632db

2022-10-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107346 avieira at gcc dot gnu.org changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |avieira at gcc dot

[Bug tree-optimization/107346] New: gnat.dg/loop_optimization23_pkg.ad failure afer r13-3413-ge10ca9544632db

2022-10-21 Thread avieira at gcc dot gnu.org via Gcc-bugs
: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: avieira at gcc dot gnu.org Target Milestone: --- As reported by Eric in https://gcc.gnu.org/pipermail/gcc-patches/2022-October/603356.html

[Bug tree-optimization/107326] [13 Regression] ICE: verify_gimple failed (error: type mismatch in binary expression) since r13-3219-g25413fdb2ac249

2022-10-20 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107326 --- Comment #2 from avieira at gcc dot gnu.org --- Hi Arseny, Apologies for this, I thought I had caught this with testing, but seems I had not. I am testing a fix right now.

[Bug tree-optimization/107275] [13 Regression] Recent ifcvt changes resulting in references to SSA_NAME on free list

2022-10-17 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107275 --- Comment #3 from avieira at gcc dot gnu.org --- The prodding helped! The problem is that dce was indeed removing the ASM as it wasn't recognizing it as a stmt that was live. This is because ifcvt would have normally bailed out

[Bug tree-optimization/107275] [13 Regression] Recent ifcvt changes resulting in references to SSA_NAME on free list

2022-10-17 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107275 avieira at gcc dot gnu.org changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed

[Bug tree-optimization/107275] [13 Regression] Recent ifcvt changes resulting in references to SSA_NAME on free list

2022-10-17 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107275 avieira at gcc dot gnu.org changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |avieira at gcc dot

[Bug testsuite/107240] [13 Regression] FAIL: gcc.dg/vect/vect-bitfield-write-2.c since r13-3219-g25413fdb2ac249

2022-10-14 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107240 --- Comment #4 from avieira at gcc dot gnu.org --- Might be worth posting the output of -fdump-tree-vect-all might be failing to vectorize due to some specific lack of feature that we can test for.

[Bug testsuite/107240] [13 Regression] FAIL: gcc.dg/vect/vect-bitfield-write-2.c since r13-3219-g25413fdb2ac249

2022-10-13 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107240 --- Comment #2 from avieira at gcc dot gnu.org --- Hi Seurer, Peter, Adding something like: { xfail { powerpc*-*-* && { ! powerpc_vsx_ok } } } } should xfail all powerpc architectures that don't support this no?

[Bug tree-optimization/107226] [13 regression] r13-3219-g25413fdb2ac249 caused a lot of testcase failures

2022-10-12 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107226 avieira at gcc dot gnu.org changed: What|Removed |Added Last reconfirmed||2022-10-12

[Bug tree-optimization/107229] [13 Regression] ICE at -O1 and -Os with "-ftree-vectorize": verify_gimple failed since r13-3219-g25413fdb2ac24933

2022-10-12 Thread avieira at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107229 --- Comment #2 from avieira at gcc dot gnu.org --- So it seems I should have taken DECL_FIELD_OFFSET into account when computing the bitpos in get_bitfield_rep (tree-if-conv.cc). I am testing a patch for this whilst I also look at the failures

  1   2   3   >