[Bug target/118182] RISC-V: Miscompile for 410.bwaves, 416.gamess and 465.tonto from spec2006

2025-04-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118182 --- Comment #9 from Alexandre Oliva --- https://gcc.gnu.org/pipermail/gcc-patches/2025-April/680824.html

[Bug target/118182] RISC-V: Miscompile for 410.bwaves, 416.gamess and 465.tonto from spec2006

2025-04-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118182 --- Comment #8 from Alexandre Oliva --- The problem is that the @pred_broadcast pattern expands to _zvfh insns even when _zero or _imm would do. The scalar constant gets allocated to a register, and vec_duplicated in the pred_broadcast insn, on

[Bug target/118182] RISC-V: Miscompile for 410.bwaves, 416.gamess and 465.tonto from spec2006

2025-04-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118182 --- Comment #7 from Alexandre Oliva --- bisection with this PR's patch led me to the patch that added the late-combine pass as the one that enables the intended result. That's all I know so far.

[Bug target/118182] RISC-V: Miscompile for 410.bwaves, 416.gamess and 465.tonto from spec2006

2025-04-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118182 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org

[Bug tree-optimization/113524] FAIL: gcc.dg/torture/pr113026-1.c -O3 -fomit-frame-pointer -funroll-loops -fpeel-loops -ftracer -finline-functions (test for bogus messages, line 10)

2025-04-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113524 --- Comment #7 from Alexandre Oliva --- ... and riscv*-elf, powerpc-elf.

[Bug target/119629] mismatch between [power9-64] builtins and their instructions

2025-04-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119629 --- Comment #14 from Alexandre Oliva --- ack, patch combining the patchlets in commits 7 and 9 looking good in gcc-14 ppc-elf test results. I'll point out that this report was not so much about this specific mismatch between ppc builtins and th

[Bug target/119629] mismatch between [power9-64] builtins and their instructions

2025-04-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119629 --- Comment #12 from Alexandre Oliva --- Peter, Segher, thanks for the patches and the feedback. I'll give them a try and report back.

[Bug target/119629] mismatch between [power9-64] builtins and their instructions

2025-04-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119629 --- Comment #11 from Alexandre Oliva --- >> On a powerpc-elf standard build, TARGET_POWERPC64 is enabled, but >> TARGET_64BIT isn't, and so gcc.target/powerpc/byte-in-set-2.c fails >> to compile with an ICE (instruction not recognized) instead o

[Bug target/119629] mismatch between [power9-64] builtins and their instructions

2025-04-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119629 --- Comment #10 from Alexandre Oliva --- >> - instructions and expanders for these builtins don't have their conditions >> tested, so they must necessarily follow from the builtin conditions, and >> this case clearly isn't > "They don't have th

[Bug target/119629] New: mismatch between [power9-64] builtins and their instructions

2025-04-04 Thread aoliva at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: aoliva at gcc dot gnu.org Target Milestone: --- cmpeqb's conditions are TARGET_P9_MISC && TARGET_64BIT, but the conditions that enable the expansion of __builtin_scalar_by

[Bug target/119609] New: [powerpc-elf] load_toc_v4_pic_si may clobber r12 and crt

2025-04-03 Thread aoliva at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: aoliva at gcc dot gnu.org Target Milestone: --- A buggy linker script placed .got too far from .text and triggered a latent bug. A small leaf function that needed the got register to

[Bug tree-optimization/118805] [15 Regression] wrong code at -O1 with "-fno-tree-ccp -fno-tree-copy-prop -fno-tree-forwprop -fno-tree-fre" on x86_64-linux-gnu since r15-6173

2025-02-19 Thread aoliva at gcc dot gnu.org via Gcc-bugs
|RESOLVED Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org --- Comment #7 from Alexandre Oliva --- Fixed

[Bug tree-optimization/118805] [15 Regression] wrong code at -O1 with "-fno-tree-ccp -fno-tree-copy-prop -fno-tree-forwprop -fno-tree-fre" on x86_64-linux-gnu since r15-6173

2025-02-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118805 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #5 from Alexandr

[Bug tree-optimization/118706] [15 Regression] ICE on valid code at -O1 and above with "-fno-tree-fre" on x86_64-linux-gnu: in make_bit_field_load, at gimple-fold.cc:7862 since r15-7171

2025-02-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118706 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/113524] FAIL: gcc.dg/torture/pr113026-1.c -O3 -fomit-frame-pointer -funroll-loops -fpeel-loops -ftracer -finline-functions (test for bogus messages, line 10)

2025-02-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113524 --- Comment #6 from Alexandre Oliva --- Also on arm-eabi, loongarch64-linux-gnu, and sparc-leon3-elf, from bug 118504.

[Bug tree-optimization/113524] FAIL: gcc.dg/torture/pr113026-1.c -O3 -fomit-frame-pointer -funroll-loops -fpeel-loops -ftracer -finline-functions (test for bogus messages, line 10)

2025-02-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113524 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org

[Bug tree-optimization/88443] [meta-bug] bogus/missing -Wstringop-overflow warnings

2025-02-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88443 Bug 88443 depends on bug 118504, which changed state. Bug 118504 Summary: Bogus -Wstringop-overflow warning on simple memcpy type loop https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118504 What|Removed |Added

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

2025-02-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118504 Alexandre Oliva changed: What|Removed |Added Resolution|--- |DUPLICATE Status|UNCONFIR

[Bug tree-optimization/118572] [15 regression] wrong code for expression ((0x80 & c) != 0) && ((0xc0 & c) == 0x80)) since r15-6893

2025-01-23 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118572 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/118514] [15 regression] wrong code at -O{1,s,3} on x86_64-linux-gnu since r15-6360-g6d5df5133c5dd8

2025-01-23 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118514 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118572] [15 regression] wrong code for expression ((0x80 & c) != 0) && ((0xc0 & c) == 0x80)) since r15-6893

2025-01-22 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118572 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118514] [15 regression] wrong code at -O{1,s,3} on x86_64-linux-gnu since r15-6360-g6d5df5133c5dd8

2025-01-17 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118514 --- Comment #5 from Alexandre Oliva --- Interesting. Without ifcombine, we optimize the loop body to the same, but the load from b doesn't get pulled out to the loop header. I suppose ifcombine may need to propagate some annotation that the lo

[Bug tree-optimization/118514] [15 regression] wrong code at -O{1,s,3} on x86_64-linux-gnu since r15-6360-g6d5df5133c5dd8

2025-01-17 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118514 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

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

2025-01-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: aoliva at gcc dot gnu.org CC: rguenth at gcc dot gnu.org Target Milestone: --- Target: arm-non-eabi This is bug 113026, but for arm-none-eabi

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

2025-01-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
|--- CC||aoliva at gcc dot gnu.org --- Comment #9 from Alexandre Oliva --- FYI, pr113026-1.c has never passed on arm-eabi, at torture options "-O3 -fomit-frame-pointer -funroll-loops -fpeel-loops -ftracer -finline-functions&qu

[Bug tree-optimization/88443] [meta-bug] bogus/missing -Wstringop-overflow warnings

2025-01-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88443 Bug 88443 depends on bug 113026, which changed state. Bug 113026 Summary: Bogus -Wstringop-overflow warning on simple memcpy type loop https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113026 What|Removed |Added

[Bug tree-optimization/118456] [15 Regression] wrong code due to ifcombine since r15-6773

2025-01-14 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118456 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118456] [15 Regression] wrong code due to ifcombine since r15-6773

2025-01-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118456 Alexandre Oliva changed: What|Removed |Added Attachment #60141|0 |1 is obsolete|

[Bug tree-optimization/118456] [15 Regression] wrong code due to ifcombine since r15-6773

2025-01-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118456 --- Comment #5 from Alexandre Oliva --- Created attachment 60141 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60141&action=edit candidate patch under testing This may be too blunt, and the unrelated robustification may be unwelcome at t

[Bug tree-optimization/118456] [15 Regression] wrong code due to ifcombine since r15-6773

2025-01-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118456 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118267] Suboptimal code for bool bitfield tests

2025-01-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118267 --- Comment #3 from Alexandre Oliva --- The blocks are ineligible for ifcombine because the dereferences could trap. Some flow-dependent information could enable us to conclude that only the first dereference could trap, and it would remain in

[Bug tree-optimization/118409] [15 regression] gas miscompiled by ifcombine ("Unsupported broadcast" assemble failure) since r15-6774-g740c84975ceb74

2025-01-12 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118409 --- Comment #25 from Alexandre Oliva --- Created attachment 60132 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60132&action=edit candidate patch Here's what I'm testing.

[Bug tree-optimization/118409] [15 regression] gas miscompiled by ifcombine ("Unsupported broadcast" assemble failure) since r15-6774-g740c84975ceb74

2025-01-12 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118409 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118344] [15 regression] Crash at -O3 in ifcombine

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118344 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118186] [15 regression] FAIL: gcc.dg/field-merge-16.c scan-tree-dump-times ifcombine "optimizing" 6

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118186 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug middle-end/113506] ICE: RTL check: expected elt 2 type 'B', have '0' (rtx barrier) in BLOCK_FOR_INSN, at rtl.h:1495 with -Os -fno-tree-coalesce-vars -finline-stringops

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113506 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug testsuite/118025] [15 Regression] gcc.dg/field-merge-9.c FAILs

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118025 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/118206] [15 regression] libdeflate miscompiled by ifcombine since r15-6360-g6d5df5133c5dd8

2025-01-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118206 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/118206] [15 regression] libdeflate miscompiled by ifcombine since r15-6360-g6d5df5133c5dd8

2025-01-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118206 Alexandre Oliva changed: What|Removed |Added URL||https://gcc.gnu.org/piperma

[Bug tree-optimization/118344] [15 regression] Crash at -O3 in ifcombine

2025-01-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118344 Alexandre Oliva changed: What|Removed |Added URL||https://gcc.gnu.org/piperma

[Bug tree-optimization/118186] [15 regression] FAIL: gcc.dg/field-merge-16.c scan-tree-dump-times ifcombine "optimizing" 6

2025-01-09 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118186 --- Comment #2 from Alexandre Oliva --- I've just confirmed that that's the fix indeed.

[Bug tree-optimization/118344] [15 regression] Crash at -O3 in ifcombine

2025-01-07 Thread aoliva at gcc dot gnu.org via Gcc-bugs
||2025-01-08 Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Alexandre Oliva --- Mine

[Bug tree-optimization/118186] [15 regression] FAIL: gcc.dg/field-merge-16.c scan-tree-dump-times ifcombine "optimizing" 6

2025-01-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org Ever confirmed|0 |1 Last reconfirmed||2025-01-07 --- Comment #1 from Alexandre Oliva --- Mine. Possibly already fixed with patches pending review, specifically https://gcc.gnu.org

[Bug tree-optimization/118206] [15 regression] libdeflate miscompiled by ifcombine since r15-6360-g6d5df5133c5dd8

2025-01-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118206 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #11 from Alexand

[Bug middle-end/118006] ICE when building rr-5.8.0 with -fstrub=all (RTL check: expected elt 2 type 'B', have '0' (rtx barrier) in BLOCK_FOR_INSN, at rtl.h:1499)

2025-01-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118006 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118046] [15 Regression] wrong code at -O{2, 3} on x86_64-linux-gnu since r15-6173-ge8febb641415fd

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118046 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug testsuite/118025] [15 Regression] gcc.dg/field-merge-9.c FAILs

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118025 --- Comment #5 from Alexandre Oliva --- The original reported problem is fixed. I'm keeping the PR open to look into the AVR and PRU fails mentioned in comment 2, though they seem to be an entirely different problem.

[Bug tree-optimization/117915] [15 Regression] ICE on valid code at -O{s,2,3} with "-fno-tree-copy-prop -fno-tree-vrp" on x86_64-linux-gnu: tree check: expected ssa_name, have integer_cst in ifcombine

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117915 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/118032] [15 regression] Bootstrap slowdown for risc-v

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118032 --- Comment #18 from Alexandre Oliva --- Created attachment 59915 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59915&action=edit add options to control the new ifcombine features This may be useful to figure out whether it's ifcombine t

[Bug target/117920] Duplication of -mstackrealign sequence breaks CFI

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117920 Alexandre Oliva changed: What|Removed |Added Assignee|aoliva at gcc dot gnu.org |unassigned at gcc dot gnu.org

[Bug target/117920] ICE: in maybe_record_trace_start, at dwarf2cfi.cc:2591 with -O2 -fharden-conditional-branches -mstackrealign --param=max-grow-copy-bb-insns=32

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org Ever confirmed|0 |1 Status|UNCONFIRMED |ASSIGNED --- Comment #1 from Alexandre Oliva --- Mine

[Bug middle-end/118006] ICE when building rr-5.8.0 with -fstrub=all (RTL check: expected elt 2 type 'B', have '0' (rtx barrier) in BLOCK_FOR_INSN, at rtl.h:1499)

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org --- Comment #4 from Alexandre Oliva --- Mine

[Bug middle-end/118007] ICE when building ruby-3.2.5 with -fstrub=all

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118007 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug middle-end/113506] ICE: RTL check: expected elt 2 type 'B', have '0' (rtx barrier) in BLOCK_FOR_INSN, at rtl.h:1495 with -Os -fno-tree-coalesce-vars -finline-stringops

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113506 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118081] [15 regression] wrong code at -O{s,2,3} with "-fno-tree-vrp -fno-expensive-optimizations" on x86_64-linux-gnu since r15-6173

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118081 Alexandre Oliva changed: What|Removed |Added CC||yunboni at smail dot nju.edu.cn --- C

[Bug tree-optimization/118064] [15 regression] Miscompilation at -O1 since r15-6173-ge8febb641415fd

2024-12-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118064 Alexandre Oliva changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/117915] [15 Regression] ICE on valid code at -O{s,2,3} with "-fno-tree-copy-prop -fno-tree-vrp" on x86_64-linux-gnu: tree check: expected ssa_name, have integer_cst in ifcombine

2024-12-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117915 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118025] [15 Regression] gcc.dg/field-merge-9.c FAILs

2024-12-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118025 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/118046] [15 Regression] wrong code at -O{2, 3} on x86_64-linux-gnu since r15-6173-ge8febb641415fd

2024-12-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118046 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/117723] [15 Regression] Miscompile with -O1+ since r15-5003-gae074c69fd5aff

2024-11-29 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117723 --- Comment #8 from Alexandre Oliva --- Yes, thanks, fixed.

[Bug tree-optimization/117723] [15 Regression] Miscompile with -O1+ since r15-5003-gae074c69fd5aff

2024-11-28 Thread aoliva at gcc dot gnu.org via Gcc-bugs
|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org --- Comment #5 from Alexandre Oliva --- Mine

[Bug debug/104277] [meta-bug] gstatement-frontiers causes fcompare-debug issues

2024-11-28 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104277 --- Comment #3 from Alexandre Oliva --- Unlikely :-( I haven't been involved with that work for over 5 years. Without debug info consumer support, the notes are hardly useful, and AFAIK that support is not forthcoming, so my recommendation has

[Bug target/55212] [SH] Switch to LRA

2024-09-19 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55212 --- Comment #277 from Alexandre Oliva --- Created attachment 59153 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59153&action=edit [lra] take scratch as implicit unused output reloads > * call_pcrel patterns: match_scratch can cause ICE f

[Bug d/115295] [15 regression] Various gdc testsuite regressions

2024-09-02 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115295 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug middle-end/115459] [14 regression] Alpha/Linux ICE: in gen_rtx_SUBREG, at emit-rtl.cc:1032 around g-debpoo.adb:1896:8, as from r14-1187-gd6b756447cd5

2024-07-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115459 --- Comment #9 from Alexandre Oliva --- Ditto

[Bug target/113719] [13/14 regression] g++.target/i386/pr103696.C FAILs

2024-07-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug target/113719] [13/14 regression] g++.target/i386/pr103696.C FAILs

2024-07-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719 --- Comment #16 from Alexandre Oliva --- Ok, I'd tested the backports on gcc-13 recently, so I'm going to install both patches in both gcc-13 and gcc-14, the latter under the assumption that if it works in gcc-13 and trunk, it will be fine for g

[Bug debug/95574] line table entry in sequence with address after sequence

2024-07-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95574 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug c/115848] ICE: 'verify_type' failed with -flto and strub attribute and typedef of the function type

2024-07-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115848 Alexandre Oliva changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #2 from Alexandr

[Bug target/113719] [13/14 regression] g++.target/i386/pr103696.C FAILs

2024-07-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719 Alexandre Oliva changed: What|Removed |Added Summary|[13/14/15 regression] |[13/14 regression]

[Bug target/113719] [13/14/15 regression] g++.target/i386/pr103696.C FAILs

2024-07-10 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug tree-optimization/113681] [14 Regression] ICE in tree_profiling, at tree-profile.cc:803 since r14-6201-gf0a90c7d7333fc

2024-07-03 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113681 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug middle-end/115459] [14/15 regression] Alpha/Linux ICE: in gen_rtx_SUBREG, at emit-rtl.cc:1032 around g-debpoo.adb:1896:8, as from r14-1187-gd6b756447cd5

2024-06-13 Thread aoliva at gcc dot gnu.org via Gcc-bugs
||2024-06-13 Status|UNCONFIRMED |ASSIGNED Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org --- Comment #5 from Alexandre Oliva --- Created attachment 58417 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58417&

[Bug d/115295] [15 regression] Various gdc testsuite regressions

2024-06-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115295 --- Comment #4 from Alexandre Oliva --- Created attachment 58410 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58410&action=edit candidate patch This patch reverts dg-additional-sources to the earlier behavior, in which sources are added

[Bug d/115295] [15 regression] Various gdc testsuite regressions

2024-06-11 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115295 --- Comment #2 from Alexandre Oliva --- Ugh, it looks like D deviates from one of the fundamental assumptions behind the change, namely, that for each named source file, the compiler would attempt to generate one (set of) output files, so when n

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-06-06 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #16 from Alexandre Oliva --- That macro is used within libstdc++ to avoid relying on C99 functions when the target C library is not C99-compliant. It involves leaving out C++ standard bits that would depend on functions that the C l

[Bug tree-optimization/115177] incorrect TBAA for derived types involving hardbool types

2024-06-04 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115177 --- Comment #4 from Alexandre Oliva --- One could argue either way. As a hardened type, discouraging aliasing that would bypass the hardening could also make sense. It was modeled after Ada, whose aliasing is much stricter, but I guess in C it

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-31 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #14 from Alexandre Oliva --- Thanks. The other problem the testcase in this PR evidenced was that simd_math.h and simd_scalar.h seem to disregard _GLIBCXX_USE_C99_MATH_TR1, and on newlib-using targets, that don't declare in math.h e

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-31 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #11 from Alexandre Oliva --- it's the first test for __clang__ in __int_for_sizeof(), that ends up returning char() rather than _Schar(). I guess that places the problem entirely on our need for defining __clang__ :-( Sorry about t

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-31 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #10 from Alexandre Oliva --- FWIW, I can trigger the problem on arm-eabi (and presumably also on aarch64-elf, but I haven't tried that) with -D__clang__. (our vxworks toolchains have to define that macro, for complicated reasons) h

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-30 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 --- Comment #8 from Alexandre Oliva --- -fsigned-char works around the fail on affected targets. I couldn't trigger it on arm-eabi, alas, not even with -funsigned-char.

[Bug libstdc++/114803] simd conversion to [[gnu::vector_size(N)]] type hits invalid code in experimental/bits/simd_builtin.h

2024-05-30 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114803 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org

[Bug middle-end/112938] ice with -fstrub=internal

2024-04-18 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112938 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|REOPENED

[Bug c++/112580] [14 Regression]: g++.dg/modules/xtreme-header-4_b.C et al; ICE tree check: expected class 'type', have 'declaration'

2024-04-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112580 Alexandre Oliva changed: What|Removed |Added CC||danglin at gcc dot gnu.org --- Commen

[Bug c++/108602] FAIL: g++.dg/modules/xtreme-header-5_c.C -std=c++2b (test for excess errors)

2024-04-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108602 Alexandre Oliva changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c++/108602] FAIL: g++.dg/modules/xtreme-header-5_c.C -std=c++2b (test for excess errors)

2024-04-12 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108602 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org

[Bug inline-asm/10153] [3.3/3.4 regression] selection of %dil or %sil on ia32 by valid C source

2024-03-22 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=10153 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug rtl-optimization/113660] ICE: verify_flow_info failed: missing REG_EH_REGION note at the end of bb 2 with -fnon-call-exceptions -fharden-control-flow-redundancy on invalid

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113660 --- Comment #1 from Alexandre Oliva --- There's nothing specific about -fharden-control-flow-redundancy here, FWIW. ISTM that it just adds enough EH-related stuff to the function that an EH note gets attached to the impossible asm, a stmt then

[Bug target/114059] ICE in extract_insn, at recog.cc:2812 | sme2 vs -fsanitize=address -mtrack-speculation -fharden-control-flow-redundancy

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114059 --- Comment #1 from Alexandre Oliva --- ISTM that -fharden-control-flow-redundancy is only instrumental to trigger the latent problem, but the real problem is in the back end: aarch64_restore_za emits a aarch64_cbnedi1 unconditionally, but insn

[Bug debug/113777] ICE: in add_child_die_after, at dwarf2out.cc:5785 with -g -fsso-struct=big-endian and __attribute__((__hardbool__))

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113777 --- Comment #1 from Alexandre Oliva --- Eric, I think this is yours. It fails while trying to add a reversed version of the hbool type to the context of the struct, but the struct doesn't have children yet, and add_child_die_after requires the

[Bug middle-end/112938] ice with -fstrub=internal

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112938 --- Comment #10 from Alexandre Oliva --- Thanks, yeah, I can duplicate the problem using the original testcase.

[Bug target/114137] ICE when building lua-5.4.6 with -fharden-control-flow-redundancy on x86 (error: invalid rtl sharing found in the insn)

2024-03-08 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114137 --- Comment #6 from Alexandre Oliva --- Thanks for the report. Something's very rotten here. cfrvisited is an automatic variable, why oh why would we have GOTOFF unspecs for it?!? I'd be interested in a preprocessed testcase that will trigger

[Bug target/111935] gcc ICE with risc-v vector intrinsics

2024-02-16 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111935 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org

[Bug middle-end/94988] [11 Regression] FAIL: gcc.target/i386/pr64110.c scan-assembler vmovd[\\t ]

2024-02-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988 --- Comment #10 from Alexandre Oliva --- Reasoning that the concurrent stores invoke undefined behavior would enable us to assume that the stores don't alias, which invalidates the reasoning in comment 1. Alas, I don't think gimple preserves eno

[Bug middle-end/94988] [11 Regression] FAIL: gcc.target/i386/pr64110.c scan-assembler vmovd[\\t ]

2024-02-15 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988 Alexandre Oliva changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment

[Bug debug/113394] ICE: 'verify_type' failed: type variant with 'TYPE_ALIAS_SET_KNOWN_P' with -fstrub=internal -g

2024-01-30 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113394 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug debug/113394] ICE: 'verify_type' failed: type variant with 'TYPE_ALIAS_SET_KNOWN_P' with -fstrub=internal -g

2024-01-29 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113394 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

[Bug middle-end/112917] Most strub execution tests FAIL on SPARC

2023-12-20 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112917 Alexandre Oliva changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug rtl-optimization/113002] ICE in commit_one_edge_insertion, at cfgrtl.cc:2095 with new -finline-stringops

2023-12-20 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113002 Alexandre Oliva changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug rtl-optimization/113002] ICE in commit_one_edge_insertion, at cfgrtl.cc:2095 with new -finline-stringops

2023-12-19 Thread aoliva at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113002 Alexandre Oliva changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org

  1   2   3   4   5   6   7   8   9   10   >