public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) @ 2022-10-09 18:32 slyfox at gcc dot gnu.org 2022-10-09 18:34 ` [Bug ipa/107196] " pinskia at gcc dot gnu.org ` (9 more replies) 0 siblings, 10 replies; 11+ messages in thread From: slyfox at gcc dot gnu.org @ 2022-10-09 18:32 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 Bug ID: 107196 Summary: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ipa Assignee: unassigned at gcc dot gnu.org Reporter: slyfox at gcc dot gnu.org CC: marxin at gcc dot gnu.org Target Milestone: --- It's not a self-contained bug and requires full llvm build to trigger it. My apologies. In my defense I have a few small clues to share! The heavyweight reproducer: download llvm, build it with this week's gcc and run one test that hangs. The bug started happening about 2 weeks ago. The reproducer steps: $ export CC=gcc-13 $ export CXX=g++-13 $ wget -c https://github.com/llvm/llvm-project/releases/download/llvmorg-14.0.6/llvm-project-14.0.6.src.tar.xz $ tar xf llvm-project-14.0.6.src.tar.xz $ mkdir build $ cd build # We will build only 'llc' and run only one minimal haning test. $ cmake ../llvm-project-14.0.6.src/llvm -DCMAKE_BUILD_TYPE=Release -DLLVM_TARGETS_TO_BUILD=RISCV -DLLVM_ENABLE_PROJECTS='llvm' $ make -j $(nproc) llc $ cat >bug.ll <<EOF ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; RUN: llc -mtriple=riscv32 -target-abi=ilp32d -mattr=+v,+zfh,+experimental-zvfh,+f,+d -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=1 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,LMULMAX1 define void @ui2fp_v8i64_v8f16(<8 x i64>* %x, <8 x half>* %y) { ; LMULMAX1-LABEL: ui2fp_v8i64_v8f16: ; LMULMAX1: # %bb.0: %a = load <8 x i64>, <8 x i64>* %x %d = uitofp <8 x i64> %a to <8 x half> store <8 x half> %d, <8 x half>* %y ret void } EOF $ timeout 10 bin/llc -mtriple=riscv32 -target-abi=ilp32d -mattr=+v,+zfh,+experimental-zvfh,+f,+d -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=1 -verify-machineinstrs ./bug.ll && echo FINISHED || echo TIMED OUT '+experimental-zvfh' is not a recognized feature for this target (ignoring feature) '+experimental-zvfh' is not a recognized feature for this target (ignoring feature) '+experimental-zvfh' is not a recognized feature for this target (ignoring feature) TIMED OUT $ LANG=C $CC -v |& unnix Using built-in specs. COLLECT_GCC=/<<NIX>>/gcc-13.0.0/bin/gcc COLLECT_LTO_WRAPPER=/<<NIX>>/gcc-13.0.0/libexec/gcc/x86_64-unknown-linux-gnu/13.0.0/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: Thread model: posix Supported LTO compression algorithms: zlib gcc version 13.0.0 20221002 (experimental) (GCC) ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org @ 2022-10-09 18:34 ` pinskia at gcc dot gnu.org 2022-10-09 18:34 ` pinskia at gcc dot gnu.org ` (8 subsequent siblings) 9 siblings, 0 replies; 11+ messages in thread From: pinskia at gcc dot gnu.org @ 2022-10-09 18:34 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2022-10-09 Status|UNCONFIRMED |WAITING --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- We definitely needs more information than this. It could very well be a bug in LLVM too. Have you tried compiling LLVM with -fsanitize=address ? ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org 2022-10-09 18:34 ` [Bug ipa/107196] " pinskia at gcc dot gnu.org @ 2022-10-09 18:34 ` pinskia at gcc dot gnu.org 2022-10-09 18:38 ` slyfox at gcc dot gnu.org ` (7 subsequent siblings) 9 siblings, 0 replies; 11+ messages in thread From: pinskia at gcc dot gnu.org @ 2022-10-09 18:34 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- How about -fwrapv ? ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org 2022-10-09 18:34 ` [Bug ipa/107196] " pinskia at gcc dot gnu.org 2022-10-09 18:34 ` pinskia at gcc dot gnu.org @ 2022-10-09 18:38 ` slyfox at gcc dot gnu.org 2022-10-09 18:47 ` pinskia at gcc dot gnu.org ` (6 subsequent siblings) 9 siblings, 0 replies; 11+ messages in thread From: slyfox at gcc dot gnu.org @ 2022-10-09 18:38 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 --- Comment #3 from Sergei Trofimovich <slyfox at gcc dot gnu.org> --- The clues: 1. I bisected gcc down to commit 2460f7cdef7ef9c971de79271afc0db73687a272 Author: Aldy Hernandez <aldyh@redhat.com> Date: Fri Sep 23 19:47:33 2022 +0200 Set ranges from unreachable edges for all known ranges. But I suspect it's not the culprit and only a trigger in inliner behaviour change. 2. The bug is probably somewhere in mis-compilation of llvm/lib/Target/RISCV/RISCVISelLowering.cpp. The following workaround repairs the test: --- a/llvm/lib/Target/RISCV/RISCVISelLowering.cpp +++ b/llvm/lib/Target/RISCV/RISCVISelLowering.cpp @@ -1,3 +1,4 @@ +#pragma GCC optimize(0) //===-- RISCVISelLowering.cpp - RISCV DAG Lowering Implementation --------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. $ timeout 10 bin/llc -mtriple=riscv32 -target-abi=ilp32d -mattr=+v,+zfh,+experimental-zvfh,+f,+d -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=1 -verify-machineinstrs ./bug.ll && echo FINISHED || echo TIMED OUT '+experimental-zvfh' is not a recognized feature for this target (ignoring feature) '+experimental-zvfh' is not a recognized feature for this target (ignoring feature) '+experimental-zvfh' is not a recognized feature for this target (ignoring feature) FINISHED 3. It looks like using '-O2 --param=max-inline-insns-single=116' (instead of -O3) against llvm/lib/Target/RISCV/RISCVISelLowering.cpp is enough to trigger the bug. '-O2 --param=max-inline-insns-single=115' sees to work. ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org ` (2 preceding siblings ...) 2022-10-09 18:38 ` slyfox at gcc dot gnu.org @ 2022-10-09 18:47 ` pinskia at gcc dot gnu.org 2022-10-09 19:25 ` slyfox at gcc dot gnu.org ` (5 subsequent siblings) 9 siblings, 0 replies; 11+ messages in thread From: pinskia at gcc dot gnu.org @ 2022-10-09 18:47 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- llvm/lib/Target/RISCV/RISCVISelLowering.cpp is huge source and it might have undefined code in it. Maybe narrow down which function is going wrong. Maybe fire up gdb and see where the infinite loop is located too. ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org ` (3 preceding siblings ...) 2022-10-09 18:47 ` pinskia at gcc dot gnu.org @ 2022-10-09 19:25 ` slyfox at gcc dot gnu.org 2022-10-09 20:02 ` slyfox at gcc dot gnu.org ` (4 subsequent siblings) 9 siblings, 0 replies; 11+ messages in thread From: slyfox at gcc dot gnu.org @ 2022-10-09 19:25 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 --- Comment #5 from Sergei Trofimovich <slyfox at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #1) > We definitely needs more information than this. It could very well be a bug > in LLVM too. > Have you tried compiling LLVM with -fsanitize=address ? (In reply to Andrew Pinski from comment #2) > How about -fwrapv ? Tried the following: - -fwrapv: no change, hangup still happens - -fsanitize=address: hangup disappears, no reports on stderr - -fwrapv -fsanitize=address: hangup disappears, no reports on stderr - -fsanitize=undefined: hangup disappears, no reports on stderr ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org ` (4 preceding siblings ...) 2022-10-09 19:25 ` slyfox at gcc dot gnu.org @ 2022-10-09 20:02 ` slyfox at gcc dot gnu.org 2022-10-10 7:25 ` rguenth at gcc dot gnu.org ` (3 subsequent siblings) 9 siblings, 0 replies; 11+ messages in thread From: slyfox at gcc dot gnu.org @ 2022-10-09 20:02 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 --- Comment #6 from Sergei Trofimovich <slyfox at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #4) > llvm/lib/Target/RISCV/RISCVISelLowering.cpp is huge source and it might have > undefined code in it. > Maybe narrow down which function is going wrong. What would be the best way to do it? I initially tried '#pragma GCC push_options/#pragma GCC optimize(0)/#pragma GCC pop_options', but the final result still requires a few headers and RISCVISelLowering.cpp functions to be outside optimize(0). I'm afraid I spent on in a few days and filed the bug in hopes there is a nicer technique to nail down the specific transformation that changes the behaviour. If there is no better way to do it I'll start sprinkling __attribute__((noinline, noipa)) around to get broken and working variants closer. > Maybe fire up gdb and see where the infinite loop is located too. Looking at gdb the problem is not very clear: generic (not RISCV-specific code) at '#8 Run () at llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:1538' implements some instruction selection logic to pick better instructions (DAGCombiner). Normally it stabilizes, but in this case it does not finish. Heavy use of STL-like data structures do not make it easier to trace through in gdb to see where first deviation bet ween good/bad happens. llvm has debugging mode to dump the transformations applied but enabling it at build time make the bug to go away. Full backtrace: llvm::DenseMapBase<llvm::DenseMap<llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >, llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >::LookupBucketFor<llvm::SDNode*> () at llvm/include/llvm/ADT/DenseMap.h:632 632 if (LLVM_LIKELY(KeyInfoT::isEqual(Val, ThisBucket->getFirst()))) { (gdb) bt #0 llvm::DenseMapBase<llvm::DenseMap<llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >, llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >::LookupBucketFor<llvm::SDNode*> () at llvm/include/llvm/ADT/DenseMap.h:632 #1 llvm::DenseMapBase<llvm::DenseMap<llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >, llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >::LookupBucketFor<llvm::SDNode*> () at llvm/include/llvm/ADT/DenseMap.h:663 #2 llvm::DenseMapBase<llvm::DenseMap<llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >, llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >::try_emplace<unsigned int> () at llvm/include/llvm/ADT/DenseMap.h:225 #3 llvm::DenseMapBase<llvm::DenseMap<llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >, llvm::SDNode*, unsigned int, llvm::DenseMapInfo<llvm::SDNode*, void>, llvm::detail::DenseMapPair<llvm::SDNode*, unsigned int> >::insert () at llvm/include/llvm/ADT/DenseMap.h:216 #4 AddToWorklist () at llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:273 #5 0x00000000014f12e8 in AddToWorklist () at llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:268 #6 AddUsersToWorklist () at llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:195 #7 AddToWorklistWithUsers () at llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:200 #8 Run () at llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:1538 #9 llvm::SelectionDAG::Combine () at llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:24210 #10 0x00000000015ea7bf in llvm::SelectionDAGISel::CodeGenAndEmitDAG () at llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp:958 #11 0x00000000015ed2c5 in llvm::SelectionDAGISel::SelectAllBasicBlocks () at llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp:1634 #12 0x00000000015efd8b in llvm::SelectionDAGISel::runOnMachineFunction () at llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp:515 #13 0x0000000000ba4f34 in llvm::MachineFunctionPass::runOnFunction () at llvm/lib/CodeGen/MachineFunctionPass.cpp:72 #14 llvm::MachineFunctionPass::runOnFunction () at llvm/lib/CodeGen/MachineFunctionPass.cpp:37 #15 0x0000000000ff87b0 in llvm::FPPassManager::runOnFunction () at llvm/lib/IR/LegacyPassManager.cpp:1434 #16 0x0000000000ff8b3c in llvm::FPPassManager::runOnModule () at llvm/lib/IR/LegacyPassManager.cpp:1480 #17 0x0000000000ffa39e in runOnModule () at llvm/lib/IR/LegacyPassManager.cpp:1549 #18 llvm::legacy::PassManagerImpl::run () at llvm/lib/IR/LegacyPassManager.cpp:539 #19 0x000000000065a38a in compileModule () at llvm/tools/llc/llc.cpp:719 #20 main () at llvm/tools/llc/llc.cpp:417 ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org ` (5 preceding siblings ...) 2022-10-09 20:02 ` slyfox at gcc dot gnu.org @ 2022-10-10 7:25 ` rguenth at gcc dot gnu.org 2022-10-20 17:28 ` pinskia at gcc dot gnu.org ` (2 subsequent siblings) 9 siblings, 0 replies; 11+ messages in thread From: rguenth at gcc dot gnu.org @ 2022-10-10 7:25 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |13.0 Keywords| |wrong-code ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org ` (6 preceding siblings ...) 2022-10-10 7:25 ` rguenth at gcc dot gnu.org @ 2022-10-20 17:28 ` pinskia at gcc dot gnu.org 2022-10-21 6:26 ` slyfox at gcc dot gnu.org 2022-10-21 6:28 ` pinskia at gcc dot gnu.org 9 siblings, 0 replies; 11+ messages in thread From: pinskia at gcc dot gnu.org @ 2022-10-20 17:28 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 --- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- This might be fixed already. ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org ` (7 preceding siblings ...) 2022-10-20 17:28 ` pinskia at gcc dot gnu.org @ 2022-10-21 6:26 ` slyfox at gcc dot gnu.org 2022-10-21 6:28 ` pinskia at gcc dot gnu.org 9 siblings, 0 replies; 11+ messages in thread From: slyfox at gcc dot gnu.org @ 2022-10-21 6:26 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 --- Comment #8 from Sergei Trofimovich <slyfox at gcc dot gnu.org> --- I confirm that today's master does not exhibit the failure. Bisecting to the fix ends up at this fix: commit c9b840db504d15db01f06fe1fec38282dbafee07 Author: Aldy Hernandez <aldyh@redhat.com> Date: Mon Oct 17 18:56:24 2022 +0200 Make sure exported range for SSA post-dominates the DEF in set_global_ranges_from_unreachable_edges. The problem here is that we're exporting a range for an SSA range that happens on the other side of a __builtin_unreachable, but the SSA does not post-dominate the definition point. This is causing ivcanon to unroll things incorrectly. This was a snafu when converting the code from evrp. PR tree-optimization/107293 Looks plausible? ^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/107196] [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org ` (8 preceding siblings ...) 2022-10-21 6:26 ` slyfox at gcc dot gnu.org @ 2022-10-21 6:28 ` pinskia at gcc dot gnu.org 9 siblings, 0 replies; 11+ messages in thread From: pinskia at gcc dot gnu.org @ 2022-10-21 6:28 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107196 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution|--- |DUPLICATE --- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Sergei Trofimovich from comment #8) > I confirm that today's master does not exhibit the failure. Bisecting to the > fix ends up at this fix: > > commit c9b840db504d15db01f06fe1fec38282dbafee07 > Author: Aldy Hernandez <aldyh@redhat.com> > Date: Mon Oct 17 18:56:24 2022 +0200 > > Make sure exported range for SSA post-dominates the DEF in > set_global_ranges_from_unreachable_edges. > > The problem here is that we're exporting a range for an SSA range that > happens on the other side of a __builtin_unreachable, but the SSA does > not post-dominate the definition point. This is causing ivcanon to > unroll things incorrectly. > > This was a snafu when converting the code from evrp. > > PR tree-optimization/107293 > > Looks plausible? Yes because that patch fixes the problem from the patch which you had originally bisect the issue down to. So just closing as a dup of bug 107293. *** This bug has been marked as a duplicate of bug 107293 *** ^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2022-10-21 6:28 UTC | newest] Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2022-10-09 18:32 [Bug ipa/107196] New: [13 Regression] llvm-14.0.6 is miscompiles by gcc-13 in -O3: hangs llvm testsuite (inliner seems to break it) slyfox at gcc dot gnu.org 2022-10-09 18:34 ` [Bug ipa/107196] " pinskia at gcc dot gnu.org 2022-10-09 18:34 ` pinskia at gcc dot gnu.org 2022-10-09 18:38 ` slyfox at gcc dot gnu.org 2022-10-09 18:47 ` pinskia at gcc dot gnu.org 2022-10-09 19:25 ` slyfox at gcc dot gnu.org 2022-10-09 20:02 ` slyfox at gcc dot gnu.org 2022-10-10 7:25 ` rguenth at gcc dot gnu.org 2022-10-20 17:28 ` pinskia at gcc dot gnu.org 2022-10-21 6:26 ` slyfox at gcc dot gnu.org 2022-10-21 6:28 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).