<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/92569>92569</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Assertion `DAG.isGuaranteedNotToBeUndefOrPoison(R, false) && "Can't create node that may be undef/poison!"' failed.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
TatyanaDoubts
</td>
</tr>
</table>
<pre>
To reproduce run llc with the following test
```
; ModuleID = 'reduced.ll'
source_filename = "reduced.ll"
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-ni:1-p2:32:8:8:32-ni:2"
target triple = "x86_64-unknown-linux-gnu"
define void @widget(i64 %arg, <8 x i8> %arg1) gc "statepoint-example" {
bb:
%call = call i64 @llvm.cttz.i64(i64 %arg, i1 false)
%trunc = trunc i64 %call to i8
%lshr = lshr i8 %trunc, 3
%extractelement = extractelement <8 x i8> %arg1, i8 %lshr
%freeze = freeze i8 %extractelement
%zext = zext i8 %freeze to i32
store i32 %zext, ptr addrspace(1) null, align 4
ret void
}
```
Reproducer https://godbolt.org/z/r14zaeTG7
Stack dump:
```
0. Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/llc -o /app/output.s -x86-asm-syntax=intel <source>
1. Running pass 'Function Pass Manager' on module '<source>'.
2. Running pass 'X86 DAG->DAG Instruction Selection' on function '@widget'
#0 0x00000000039a2fb8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x39a2fb8)
#1 0x00000000039a070c SignalHandler(int) Signals.cpp:0:0
#2 0x00007477c5a42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#3 0x00007477c5a969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#4 0x00007477c5a42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#5 0x00007477c5a287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#6 0x00007477c5a2871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#7 0x00007477c5a39e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#8 0x00000000035839e6 (anonymous namespace)::DAGCombiner::visitFREEZE(llvm::SDNode*) (.isra.0) DAGCombiner.cpp:0:0
#9 0x000000000360de60 (anonymous namespace)::DAGCombiner::visit(llvm::SDNode*) DAGCombiner.cpp:0:0
#10 0x000000000360f3ee (anonymous namespace)::DAGCombiner::combine(llvm::SDNode*) DAGCombiner.cpp:0:0
#11 0x000000000361106c (anonymous namespace)::DAGCombiner::Run(llvm::CombineLevel) DAGCombiner.cpp:0:0
#12 0x000000000361364a llvm::SelectionDAG::Combine(llvm::CombineLevel, llvm::AAResults*, llvm::CodeGenOptLevel) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x361364a)
#13 0x000000000376aee6 llvm::SelectionDAGISel::CodeGenAndEmitDAG() (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x376aee6)
#14 0x000000000376e895 llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x376e895)
#15 0x0000000003770307 llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) (.part.0) SelectionDAGISel.cpp:0:0
#16 0x0000000001e584dc (anonymous namespace)::X86DAGToDAGISel::runOnMachineFunction(llvm::MachineFunction&) X86ISelDAGToDAG.cpp:0:0
#17 0x00000000029ae821 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (.part.0) MachineFunctionPass.cpp:0:0
#18 0x0000000002f70d93 llvm::FPPassManager::runOnFunction(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2f70d93)
#19 0x0000000002f70fd1 llvm::FPPassManager::runOnModule(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2f70fd1)
#20 0x0000000002f71835 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2f71835)
#21 0x000000000082d4ac compileModule(char**, llvm::LLVMContext&) llc.cpp:0:0
#22 0x000000000072a966 main (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x72a966)
#23 0x00007477c5a29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#24 0x00007477c5a29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#25 0x0000000000823fce _start (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x823fce)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy8mF1vo7rWxz-Nc2MRgSG8XOQiTZo8lWb2VG2frdG5qQwsiE-NjWzTpv30RzYkhUzmpWdXZzRJHeP1X79lLy8MVGtWC4AlWlyhxWZGO7OXavlAzSsVdCO73OhZLsvX5YPECloly64ArDqBOS_wCzN7bPaAK8m5fGGixga0Qf4G-SsU-8P__md4hb_KsuNws8Eo3GBEEgVWrpxzjkjSD9OyUwU8VoyDoA0MI8l4JOlHGqpqMLikhnL6KjtzHAteg8IVeC1JfBSuQuK-7M9g-tO24sh9eezUCEiKwlVAUq9K_aElXFd8NI8j7951M9vtteR4IR0-IemvkXNao1jLT1Ed0vgxjrxOPAn5IjzORHfwatGdrPrvEiomAD9LVmIU-S-srMEgkrI4wogsqKoRWWMUrlN8wCxF4fXQHSCS4bqwrrShBlrJhPHgQJuWAyIEo-Sqd5HnKBy8YWtcUM4dpWs4R5HP-XMzL4x5m9vZOvfPAlxRrgGRbCRkVCcKp9S3Bhsna6Sl7ccisuB6r9xI12DpydyqhyNNOBhFCwMcGhD9sv_QdWku1oOo1R_JVQrgrV-TodkPm2qODN7g0Ht1jX7wYGlDCslxrDZSge04WlmG1ihMy1LplhaASOoWSXQ2s9eYclYLHB0FFBi37EM2JJuLW-vuuDEV3hvTaruUZIvItpZlLrmZS7tC2zdEtiqI3ig87JJxft0bWjzhsmvaUxKcefDnyM9ulawVbTBVdWdnxPrBiGxlaxDZFrJpGQflwaHlUoGyfZyK2qNagzJMCu3Z5XxCZJszgcjWlhBPWgnatlaoM21n5hp7hzT2qG48_SoMPaBww4QBm5Drvj6g8LoHCyzYXSeErT0t1dqWlW0nCusP39qOr1TQ2uIkWArcuBJkR03ESDLvBcklwe9pjDernYfC681qh2-ENqrrXdwDB9ca9Kujb-vhfa8mpzQPfewf_OO_MKOkylNst5ad_HClX3XfuFVMGLc0D6rPlPdBir48Sm0U0AaR2GW2MDaPEEn_4YogcuUfBqz3rYxIGJxx-4lf4HtWC8r_j4qSW_10wOi79bxobUr57nMSIoNQEiVJsaARWRB_AOcsR2Q7lMVRObQXirmW89jhOZMJXDjVzOKsKnBr9gpo-fjEbDH7iANnP3EQnUNHSYxr7eL8KHyUxBPtxVSbpEkVYppLZT6m7AwnyvEPykH-Yc0gn2gmU80wgyz-mKYzmWimk9xapGEGTpMKKV4b2WlsDwNDxcz6PbBZ7dayyZkA1Xc8M83M9u76-l_Xk81yv_lLloDIatggc6YVndv8wSONy7maTcBiv4TY_-_Afo70Swi78fwziCoE-DBE0f_6BxjTAhAHgR8XH8a468QEYbj6BZ6B_xEFOaMI44iOyuepHm9Wu4mHX3hdj-xXqzvQHTfazcr4ylqWsAPxrTUn2M-qtn0Upx1hwwwnYSYxBYh_EubNPfAJ4kqU1w0zdgYs4Odx9hgTzuiME9Js8VvOvnfF-RXVrLjisnjSk_U53cELKbRxt7jPjMJCTqJYTKNI_NBPfhuF6sQ38ZUWeybgCDyJ4odrxzDmLVWmr0Dn0peTPh7zBbBIo_K3W-97Gm9Wuwf5Gczf09hqHPUuQyZjSJJRSEmAf6psz2Yjposwv5y5C3qXuSY3F1IlfpmFI67trTU9nhI_TPQZKTlATVIyO6euyuAPqPtH7OmSDl2fTVyVwZiY-GfEQRqOSwGHmhavw9n2nf2mad9z83_BbbEm3JP7mp-SMqIFHnycprPYU-VuCWd3hS9f_v66lsK4hztHynlxMQ_J5M7lJ4RmcYwbysRnBddLTmI7OxeTrMw-eNZ2JhPN6FwTIh8_PlqzR22oMo-joP7YC0RTL4uzVQmrAnCv_1nz1YuevB6fbw2ohglqoOxfcPWHfPuwe3-zu7_e_d0PXw-O7UN6pwSUdkQQZmcP0LNyGZZZmNEZLIMkWGQxIQmZ7ZdVBRHJF5REVZHFKSV-WQZFleXJAiCh-YwtiU8ifxEkgT1spXOoaFpWeZUUIa3yPEWRDw1lfO5ezEhVz5jWHSwzsoizGac5cO3e7BEi4AW7i4gQtNjM1NLaeHlXaxT5nGmj31UMMxyWq-P0YRT7tugzveuoosIAlH9J8yCv4P9FCdU3dSuZdoXyzm6O41sg7DaEPceTNbXPxwYXCqgBLGQJ2OypwQ19xTngzuogsm0HocBikgRXlHEo57NO8eXZqw1m9l0-L2TjFvT5-Mdrlfw3FDYzXLwaka2bj_8EAAD__52iKx4">