<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/69950>69950</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
wasm assertion failure: Expected a SimpleValueType
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
abadams
</td>
</tr>
</table>
<pre>
The .ll below crashes llc with the following stack trace:
```
llc: /home/abadams/projects/llvm-main/llvm/include/llvm/CodeGen/ValueTypes.h:300: llvm::MVT llvm::EVT::getSimpleVT() const: Assertion `isSimple() && "Expected a SimpleValueType!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: /home/abadams/projects/llvm-main/install/bin/llc wasm_bug2.ll
1. Running pass 'Function Pass Manager' on module 'wasm_bug2.ll'.
2. Running pass 'WebAssembly Instruction Selection' on function '@blurry_1'
#0 0x00000000026d8e97 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/abadams/projects/llvm-main/install/bin/llc+0x26d8e97)
#1 0x00000000026d678e llvm::sys::RunSignalHandlers() (/home/abadams/projects/llvm-main/install/bin/llc+0x26d678e)
#2 0x00000000026d96ba SignalHandler(int) Signals.cpp:0:0
#3 0x00007f895b4d8520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#4 0x00007f895b52c9fc __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
#5 0x00007f895b52c9fc __pthread_kill_internal ./nptl/pthread_kill.c:78:10
#6 0x00007f895b52c9fc pthread_kill ./nptl/pthread_kill.c:89:10
#7 0x00007f895b4d8476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
#8 0x00007f895b4be7f3 abort ./stdlib/abort.c:81:7
#9 0x00007f895b4be71b _nl_load_domain ./intl/loadmsgcat.c:1177:9
#10 0x00007f895b4cfe96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#11 0x00000000012cd90d llvm::WebAssemblyTargetLowering::PerformDAGCombine(llvm::SDNode*, llvm::TargetLowering::DAGCombinerInfo&) const (/home/abadams/projects/llvm-main/install/bin/llc+0x12cd90d)
#12 0x00000000022b090d (anonymous namespace)::DAGCombiner::combine(llvm::SDNode*) DAGCombiner.cpp:0:0
#13 0x00000000022aea5d llvm::SelectionDAG::Combine(llvm::CombineLevel, llvm::AAResults*, llvm::CodeGenOptLevel) (/home/abadams/projects/llvm-main/install/bin/llc+0x22aea5d)
#14 0x00000000024c1b16 llvm::SelectionDAGISel::CodeGenAndEmitDAG() (/home/abadams/projects/llvm-main/install/bin/llc+0x24c1b16)
#15 0x00000000024c052e llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) (/home/abadams/projects/llvm-main/install/bin/llc+0x24c052e)
#16 0x00000000024bceab llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) (/home/abadams/projects/llvm-main/install/bin/llc+0x24bceab)
#17 0x0000000001a2dd18 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (/home/abadams/projects/llvm-main/install/bin/llc+0x1a2dd18)
#18 0x0000000001f7920c llvm::FPPassManager::runOnFunction(llvm::Function&) (/home/abadams/projects/llvm-main/install/bin/llc+0x1f7920c)
#19 0x0000000001f80a11 llvm::FPPassManager::runOnModule(llvm::Module&) (/home/abadams/projects/llvm-main/install/bin/llc+0x1f80a11)
#20 0x0000000001f79b28 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/abadams/projects/llvm-main/install/bin/llc+0x1f79b28)
#21 0x00000000007101dd compileModule(char**, llvm::LLVMContext&) llc.cpp:0:0
#22 0x000000000070dbbd main (/home/abadams/projects/llvm-main/install/bin/llc+0x70dbbd)
#23 0x00007f895b4bfd90 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#24 0x00007f895b4bfe40 call_init ./csu/../csu/libc-start.c:128:20
#25 0x00007f895b4bfe40 __libc_start_main ./csu/../csu/libc-start.c:379:5
#26 0x000000000070ab05 _start (/home/abadams/projects/llvm-main/install/bin/llc+0x70ab05)
Aborted (core dumped)
```
```
target datalayout = "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20"
target triple = "wasm32-unknown--wasm"
%struct.halide_filter_metadata_t.50.53.56.59.62.65.98 = type { i32, i32, ptr, ptr, ptr }
@blurry_1_metadata_storage = external dso_local constant %struct.halide_filter_metadata_t.50.53.56.59.62.65.98
define void @blurry_1() local_unnamed_addr {
entry:
br label %"2_for_input$1.s0.y.yo.yo_x_f.yo_x_fo.us"
"2_for_input$1.s0.y.yo.yo_x_f.yo_x_fo.us": ; preds = %entry
%0 = insertelement <2 x i32> poison, i32 0, i64 0
%1 = shufflevector <2 x i32> %0, <2 x i32> poison, <2 x i32> zeroinitializer
%2 = add nsw <2 x i32> %1, <i32 0, i32 1>
%3 = icmp sle <2 x i32> %2, zeroinitializer
%4 = bitcast <2 x i1> %3 to i2
%5 = insertelement <2 x i2> poison, i2 %4, i64 0
%6 = shufflevector <2 x i2> %5, <2 x i2> poison, <2 x i32> zeroinitializer
%7 = bitcast <2 x i2> %6 to <4 x i1>
%8 = extractelement <4 x i1> %7, i64 0
br i1 %8, label %true_bb.us, label %after_bb.us
true_bb.us: ; preds = %"2_for_input$1.s0.y.yo.yo_x_f.yo_x_fo.us"
unreachable
after_bb.us: ; preds = %"2_for_input$1.s0.y.yo.yo_x_f.yo_x_fo.us"
%9 = extractelement <4 x i1> %7, i64 1
ret void
}
declare void @blurry_1_metadata() local_unnamed_addr #1
attributes #1 = { "target-features"="+sign-ext,+simd128,+nontrapping-fptoint,+mutable-globals" }
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzEWV1z26rW_jXkhrFGQt8XvnA-vN_OtO_uNJmeSw1CSzanCDSAmnj_-jMg2ZYcN7vtyZ6TiW2E4FnP-mCxkKgxfCcB1ii9Ren9DR3sXuk1rWlDO3NTq-awftoDDoTANQj1jJmmZg8GC8HwM7d7bPeAWyWEeuZyh42l7Bu2mjJA8QaF9yg8fmfh9O8vhWAo3mBEtnvVASLbSSYi216rfwOzrinE927VUS6nNiJbLpkYGjh33KkG_gA34isVAzwdejDBHsWbOAydCD8s3qB48-nr0-zq4evT2NiBfeRdL-DrEyIFIiVmShrr5m6MAW25khhlITfjsGkQIhkiGUaEPLz0wCw0mOIJ6EgEkQgRgkiOW8oFNMGo_OePD5vHB2yGuuMWU1wPO6yhV9piq_De2t44amSLyHbH7X6oA6a6s8reLJOZnEmMGcCZC1PZ4MlA3jHeW7im7Jt3yST-0TupGbr-5KMwQGH5Waudph2mejd0IK35RQ9xaSwVApFtPXmM4WdquqoediQQYhQVOVFfBildvPTUGIxIvh0k83b-7Do-UUl3oJ3dlMSdagYBbtQCjOSTOuQa4L-gds7ranHAH6SxehjxH0GAb03g7VEwIjlKwloMWh-qyF15cIxIHOLwJTz-kawpoMxngWQOZmx81lxab9wnvwBIcR6k6XOljNVAOx84d5hLO4ZR8d-ZGJHb8GVihUh5ph1d0M7yAq7R_jLIR76TVPwflY0AbU4B_k7MnOAFM3LBrMxqt3RmHBApJvuM3SZgvYvW0H9OQPEElLdFmdZJU6QknHgLXiOyfSmyKktWgsvhZbWTw3iDBUYFmaeXkJSEC3LJAjMlrGwZrqre7jXQpvrGhaj8KndLhPrYCRDZyt465efDApfikgTFmzw746c_gy8taEnFm8h5geJNNLNGdg15Pu1NuKK8gMsvjZvkGd4Z7w-PNDYR2Qb-6mAa6H2EKMNfENlqyg14bJKjeDOzQbGEriFvY0xrlwA9lG1G9_mukV3kND4jlK8QohpXUlRC0aZqlItKj8WlV9d1d2bH6AgXRbmjNLndLZZwCchaKLNfC6W4hDI7hZLDXKzAiLCmDJvZCpzlqCeqd2A_qmfQXO6mdAK6Vbq73_xxp7qay2VCebz_f-W2wY3LJefua0BnBP1Btsrnn2mTe6dFPum2UH65yEkdOuURKahU8tCpwWBJOzC9z5TlK6ZjB3tb8xLPZrxOEY5GvKRBgaZzH5z2g_vNH2PPNWNPfR_hO4ilvTebL2AG4Sx14YmpLvmzt9O0d8uooxILYycLLRMW1VH2Ay0_PIJYMNzI5qHj1hngXRP_yGJBM72gGaYE_pbm2LsR4pYazm6FYt_Mwjun4mGs28bwfjclHMeFEtlSiZoBrf9WCT3IP-UnyvZcwpHvQolX995VC09yoUW-yE2UNE1U4B_ScWXZTJGrGvwj1CdmC-rFgnqblyRkM-rbz47tsYb8n5AeOS1Il0vSRUij6CdIf_LF7zJSpq53Jez5zAmT8NLKNZkHiIAdZYdppzpT_9D154j_52l7Vgvaiz03zKMwahrMVNdzASdjsj3VPmFf5OyPH79-ulPSwssxjQjBru4rhCzlhE1dN9hXHe-j24i4UO2i2q3bpgxxVbkqpDKWalsxKkR1Kn2YGV4XZ1P5d22SPzWnvqrMzlKTS6mQhNjP4ZLbS0Fj06GvPPpYbREHSmbWS6-BLlS5psVV8Dh3xUN6xs4uPEPrMMUj6rv5xmGefLNxVSr44oYpDf5kDTPXXXv-ceV7OcD6Qg431FJBD2qwGMX3GBECKxessHIxGRP_teojF53OyMWqJ-c2z9zpI0tW0o_MktVjRIqV5M4pY7nv_ULIQqjVvHcn7lGgO3XHZDXIb1I9y9XKXZ9mHM2ejkfsYE8Fb6BqubCgqw4sdRpUNkjDII2DNAvSMshIkKVBWXgJ9tADRvkt5jHx5-Lxp7d6-YNRfr-QeT6tn-UYqzTdjdThZTpENUZVQjEqxgKBShcHv0V4Lr-BlkvA3xVv8OLJga-hvLxqkK7GbSraNI7_7TgTpNWH06MXjGuNBa1BOFaIEFK1Sldc9oNFJIkCEwaH4KCCg6peqnb6UcFgXjnh16bGG4ziW9xraMzk63SkNvFCJA39DS4NaAvjkRej-I7gF--n-AH3ihu3fXrH4dA3sgSHM5DIg5j90LYCvgOzSl-AOElu5o-gl_1_gVYu93Aq-F-gZ5KIl0SbBkvz_FpGNGGdmcYERyh-mEHEo8as67Hxa-ACwwfnjxkkfnrNLaPmbKpomhxjqzAns_HpGwa-tC_xAq5ZOHvDwkfi6dyQv2nf_Kp2RwmZ0w7Fd8lR5dnM4rgkNWVzRZO5efJXutUa88jP9xv1cZVYPUBV1z6QZ920dWt47J8tjNnoazH_W0sOD1IDZXtaC5jLmlOIN_in_t6JkZtZ_pKZo-NMDdYnskmTZaJtgAmqX2e6U7J8I-WROFpYx1rN68GCGR9Qen3zW7fLjFvPqgVqBw1jgrr3D89vDd_JlS_J7vxV17iCwl9IJa2mfc_lbtX2VvmHhu5GN1jnmtVOqJoKBzfbP4477U2zjpsyLukNrKOsLMKCZEV0s19DXdcEaMsgYQmJElYXLG3KImdhnCR1e8PXJCRx5D55XIRhEIYpixihNclZnWcZSkLoKBeBqycCpXc3_in9OivLNLzxEWv8WxdCJDxjf9Npm97f6LWvQephZ1ASCm6sOaNYbgWs3RaM6enlREu5GDS4gPvxu4ibQYv1779b8MT_EwAA__-ARcBB">