llvm / llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
http://llvm.org
Other
28.75k stars 11.89k forks source link

[DFAJumpThreading] crash since b167ada #106083

Closed JonPsson1 closed 1 month ago

JonPsson1 commented 2 months ago

Seeing many assertions that go away if I revert b167ada "[DFAJumpThreading] Rewrite the way paths are enumerated (#96127)".

clang-20 -cc1 -triple s390x-unknown-linux-gnu -target-cpu z15 -O3 -w -mllvm -enable-dfa-jump-thread -o /dev/null -emit-llvm -x ir  tc_dfa-jt_invalidbbarg.ll
...
10 0x000002aa0a73e544 (anonymous namespace)::DFAJumpThreading::run
...
clang-20 -cc1 -triple s390x-unknown-linux-gnu   -target-cpu z16 -O3 -w -mllvm -enable-dfa-jump-thread -o /dev/null -emit-llvm -x ir  tc_select_mustbedeadnow.ll
...
#10 0x000002aa1b0c0968 llvm::DFAJumpThreadingPass::run
...

tcs_dfa-jt.tar.gz

mikaelholmen commented 2 months ago

Perhaps the same assertion I reported here: https://github.com/llvm/llvm-project/pull/96127#issuecomment-2303862037 ?

JonPsson1 commented 2 months ago

Perhaps the same assertion I reported here: #96127 (comment) ?

Yes, same assertion, and in addition my second test case above triggered another assertion.