| Issue |
150611
|
| Summary |
[CodeGenPrepare] Crash with `Instruction does not dominate all uses!`
|
| Labels |
llvm:codegen,
crash-on-valid,
generated by fuzzer
|
| Assignees |
dtcxzyw
|
| Reporter |
dtcxzyw
|
Reproducer: https://godbolt.org/z/5Tn91av37
```
; bin/opt -codegenprepare test.ll -S
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define void @main(i1 %cond) {
entry:
%conv52.i.i.i = select i1 %cond, i64 2, i64 0
br label %for.body36.i.i
for.body36.i.i: ; preds = %for.body36.i.i, %entry
%indvars.iv1225.i.i = phi i64 [ 0, %entry ], [ %indvars.iv.next1226.i.i, %for.body36.i.i ]
%conv49.i.i.i = zext i1 %cond to i64
%narrow.i.i.i.i = add nuw i64 %indvars.iv1225.i.i, %conv49.i.i.i
%rem.i.i.i.i = urem i64 %narrow.i.i.i.i, %conv52.i.i.i
%indvars.iv.next1226.i.i = add nuw i64 %indvars.iv1225.i.i, 1
%exitcond = icmp eq i64 %indvars.iv.next1226.i.i, 3
br i1 %exitcond, label %exit, label %for.body36.i.i
exit:
ret void
}
```
```
Instruction does not dominate all uses!
%conv49.i.i.i = zext i1 %cond to i64
%0 = phi i64 [ %conv49.i.i.i, %entry ], [ %3, %for.body36.i.i ]
in function main
LLVM ERROR: Broken function found, compilation aborted!
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -codegenprepare <source>
1. Running pass 'Function Pass Manager' on module '<source>'.
2. Running pass 'Module Verifier' on function '@main'
#0 0x000000000566b6e8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x566b6e8)
#1 0x0000000005668594 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#2 0x0000765e64c42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#3 0x0000765e64c969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#4 0x0000765e64c42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#5 0x0000765e64c287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#6 0x000000000082696d llvm::json::operator==(llvm::json::Value const&, llvm::json::Value const&) (.cold) JSON.cpp:0:0
#7 0x00000000055a2b41 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x55a2b41)
#8 0x00000000054c6c32 (anonymous namespace)::VerifierLegacyPass::runOnFunction(llvm::Function&) Verifier.cpp:0:0
#9 0x00000000054079ff llvm::FPPassManager::runOnFunction(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x54079ff)
#10 0x0000000005407db1 llvm::FPPassManager::runOnModule(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5407db1)
#11 0x0000000005408621 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5408621)
#12 0x00000000009624e1 optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x9624e1)
#13 0x0000765e64c29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#14 0x0000765e64c29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#15 0x0000000000958f35 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x958f35)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
