<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/87843>87843</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[SPIRV] crash on alloca\store for i8 while emitting function
</td>
</tr>
<tr>
<th>Labels</th>
<td>
backend:SPIR-V,
SPIR-V
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
farzonl
</td>
</tr>
</table>
<pre>
This is a minified example I came across from testing hlsl's all intrinsic in preperation for lowering
https://github.com/llvm/llvm-project/blob/main/clang/test/CodeGenHLSL/builtins/all.hlsl#L259C1-L259C48
The example below is the spirv func without the all intrinsic on a bool scalar.
; RUN: llc -O0 -mtriple=spirv-unknown-unknown %s -o - | FileCheck %s
```python
define spir_func noundef i1 @test_bool_ret(i1 noundef %p0) {
entry:
%p0.addr = alloca i8, align 1
%frombool = zext i1 %p0 to i8
store i8 %frombool, ptr %p0.addr, align 1
%0 = load i8, ptr %p0.addr, align 1
%tobool = trunc i8 %0 to i1
ret i1 %tobool
}
```
If I instead change the function up to be an int16 instead of an int8 everything works fine
```python
define spir_func noundef i1 @test_bool_ret(i1 noundef %p0) {
entry:
%p0.addr = alloca i16, align 2
%frombool = zext i1 %p0 to i16
store i16 %frombool, ptr %p0.addr, align 2
%0 = load i16, ptr %p0.addr, align 2
%tobool = trunc i16 %0 to i1
ret i1 %tobool
}
```
```python
OpCapability Shader
OpCapability Linkage
OpCapability Int16
OpMemoryModel Logical GLSL450
OpSource Unknown 0
OpName %7 "p0"
OpName %8 "test_bool_ret"
OpName %9 "p0.addr"
OpName %10 "frombool"
OpName %13 "tobool"
OpDecorate %8 LinkageAttributes "test_bool_ret" Export
%1 = OpTypeBool
%2 = OpTypeFunction %1 %1
%3 = OpTypeInt 16 0
%4 = OpConstant %3 0
%5 = OpConstant %3 1
%6 = OpTypePointer Function %3
%8 = OpFunction %1 None %2 ; -- Begin function test_bool_ret
%7 = OpFunctionParameter %1
%14 = OpLabel
%9 = OpVariable %6 Function
%10 = OpSelect %3 %7 %5 %4
OpStore %9 %10 Aligned 2
%11 = OpLoad %3 %9 Aligned 2
%12 = OpBitwiseAnd %3 %11 %5
%13 = OpINotEqual %1 %12 %4
OpReturnValue %13
OpFunctionEnd
```
Crash Stack
```
LLVM ERROR: Unable to meet SPIR-V requirements for this target.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: /mnt/DevDrive/projects/spirv-debug-build/bin/llc -O0 -mtriple=spirv-unknown-unknown /mnt/DevDrive/projects/llvm-project/llvm/test/CodeGen/SPIRV/hlsl-intrinsics/all_test.ll -o -
1. Running pass 'Function Pass Manager' on module '/mnt/DevDrive/projects/llvm-project/llvm/test/CodeGen/SPIRV/hlsl-intrinsics/all_test.ll'.
2. Running pass 'SPIRV Assembly Printer' on function '@test_bool_ret'
#0 0x00005654a4b163cd llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /mnt/DevDrive/projects/llvm-project/llvm/lib/Support/Unix/Signals.inc:723:11
#1 0x00005654a4b168bb PrintStackTraceSignalHandler(void*) /mnt/DevDrive/projects/llvm-project/llvm/lib/Support/Unix/Signals.inc:798:1
#2 0x00005654a4b14926 llvm::sys::RunSignalHandlers() /mnt/DevDrive/projects/llvm-project/llvm/lib/Support/Signals.cpp:105:5
#3 0x00005654a4b17075 SignalHandler(int) /mnt/DevDrive/projects/llvm-project/llvm/lib/Support/Unix/Signals.inc:413:1
#4 0x000078a21ba42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#5 0x000078a21ba969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#6 0x000078a21ba42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#7 0x000078a21ba287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#8 0x00005654a4a2e9c4 llvm::report_fatal_error(llvm::Twine const&, bool) /mnt/DevDrive/projects/llvm-project/llvm/lib/Support/ErrorHandling.cpp:125:5
#9 0x00005654a4a2e832 /mnt/DevDrive/projects/llvm-project/llvm/lib/Support/ErrorHandling.cpp:83:3
#10 0x00005654a27ed330 llvm::SPIRV::RequirementHandler::checkSatisfiable(llvm::SPIRVSubtarget const&) const /mnt/DevDrive/projects/llvm-project/llvm/lib/Target/SPIRV/SPIRVModuleAnalysis.cpp:577:1
#11 0x00005654a27e0d8d (anonymous namespace)::SPIRVAsmPrinter::outputGlobalRequirements() /mnt/DevDrive/projects/llvm-project/llvm/lib/Target/SPIRV/SPIRVAsmPrinter.cpp:346:13
#12 0x00005654a27e0cd3 (anonymous namespace)::SPIRVAsmPrinter::outputModuleSections() /mnt/DevDrive/projects/llvm-project/llvm/lib/Target/SPIRV/SPIRVAsmPrinter.cpp:561:3
#13 0x00005654a27e0ab1 (anonymous namespace)::SPIRVAsmPrinter::emitFunctionHeader() /mnt/DevDrive/projects/llvm-project/llvm/lib/Target/SPIRV/SPIRVAsmPrinter.cpp:126:5
#14 0x00005654a30dda03 llvm::AsmPrinter::emitFunctionBody() /mnt/DevDrive/projects/llvm-project/llvm/lib/CodeGen/AsmPrinter/AsmPrinter.cpp:1715:3
#15 0x00005654a176c96e llvm::AsmPrinter::runOnMachineFunction(llvm::MachineFunction&) /mnt/DevDrive/projects/llvm-project/llvm/include/llvm/CodeGen/AsmPrinter.h:398:5
#16 0x00005654a3557246 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) /mnt/DevDrive/projects/llvm-project/llvm/lib/CodeGen/MachineFunctionPass.cpp:93:8
#17 0x00005654a3cb81aa llvm::FPPassManager::runOnFunction(llvm::Function&) /mnt/DevDrive/projects/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1441:23
#18 0x00005654a3cbd002 llvm::FPPassManager::runOnModule(llvm::Module&) /mnt/DevDrive/projects/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1487:16
#19 0x00005654a3cb8a9b (anonymous namespace)::MPPassManager::runOnModule(llvm::Module&) /mnt/DevDrive/projects/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1556:23
#20 0x00005654a3cb8611 llvm::legacy::PassManagerImpl::run(llvm::Module&) /mnt/DevDrive/projects/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:541:16
#21 0x00005654a3cbd2e1 llvm::legacy::PassManager::run(llvm::Module&) /mnt/DevDrive/projects/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1683:3
#22 0x00005654a06c3207 compileModule(char**, llvm::LLVMContext&) /mnt/DevDrive/projects/llvm-project/llvm/tools/llc/llc.cpp:741:9
#23 0x00005654a06c13b5 main /mnt/DevDrive/projects/llvm-project/llvm/tools/llc/llc.cpp:408:13
#24 0x000078a21ba29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#25 0x000078a21ba29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#26 0x00005654a06c0b25 _start (/mnt/DevDrive/projects/spirv-debug-build/bin/llc+0x5687b25)
Aborted (core dumped)
```
@sudonatalie @Keenuts for awareness.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMWdty27rOfhrmhmOPRJ0vcuEcvJr5nTaTtLn1UBJs8w9FapFUE6-n30NKtg5Ou5v0sFenY8cUCHwfAIIgRbVmWwFwjqILFF2d0cbspDrfUPWPFPwsl-X-_POOacw0prhigm0YlBheaFVzwDe4oBVgWiipNd4oWWED2jCxxTuuOSKJxpRzzIRRTGhWYCZwraAGRQ2TAm-kwlw-g2Jii7wr5C12xtQaBQtElogst8zsmnxeyAqRJedfD1-zWsn_h8Igssy5zBFZVpQJRJYFp2KLyNLCQGR5KUv4C8SH1cPKijaMGyY0IkvK-byFGKxIlF36M_cVpi2K9vPzDo5Uc-Dy2brB7ADrmqmveNOIAj8zs5ONccNjqlJginMpOdYF5VTNh6q7z-AC33_5iIIF5rzAs08enlVGsZoDCq6clVkjnoR8FodvjEik8UziGUbJJV4yDpc7KJ7c-Eh37LX_673ZSdEOlrBhosW_dvCFbEQJG8x8jELPem1tIa8VGERS5h8FEIlqD5EMo-Si1QXCqL2NlPuFW4k5LUuFUXBlnSELilmKyCWmnG0F9geiNlmcc6zsP_BiHASrAhtpZ3Wi2kgFmKXDOVZjbdTA4us2PKecS1p2MH5kkpFHWEZZF7W2W1hHQQUHwK185_PkauL89ufNBt9gJrQBWuJiR8UWXMLYELh10NRWfQ6YCptBfnyUlptuLMXwFdTe7OzqepbqSWMby39XsP24dyr58Wj78STcfvyj8SbfiHeL5EdmnQa8tf5TEf9OWHD371N9SWuaM87MHj_saAmqExg9WTHxRLfwnbk3NmGmz2-hkmp_K0vgeCW3rKAc_7V6WIWRNxV9kI0qAH_pCszJ84-2xiMSJRgRYvOCHHEeHtklQiYJRb6lJ2v1dCE5VeZ7VqAP_jcV-YEzK8din-orKKSipkPWOXBhjGJ5Y0C_hhVfv9RSmbEla8Llxaf6876Gi2PUBwJkILA8LOd2Ion8E_FgIH4jDPbjqb8RicJO6FIKbagw7cRTuehVuYNRRKJ4YO1OMmFA4SHI4ERl2s0YU_koBRzIXuDZDF_Alom-fI29OdWZTHTeUUUrsFhedZF_oL-iOZw6POuePlLFaM6h5dnjPZL3vU7yATgUnXO6NLauI1F4shJc9elS1CpY2GoB5bFe2NFDSqxsnTkozU5EB4QOOXLBzDPTsBD9PN_lSTRQf8iQm4_SXP_dUN5nE3kV9D2YRolHyptuURzXwcEp16L8TpG6VFTv8IOhxdOrUqvV4y2-vr__dG_7lC_COd1IXAEY_HB3cz97xAr-bpiCCoTRrqkztmk0VG3BdH3P3ep68XCNdZNXzNjOqNliBXbRWWVvbvuY1g3YTg5TUWImCt6U7aZaOD45LZ6MogV05h0_XDZVfdzFvHnrwjslt4pWmKpt4xhYnralFNbQFXy9UuwrILLsrFurbW9WQt5sZ7atLG176TrQNzRy37Uw4dt5YdzXIrK0AXhEZGmb2dmx-exa3LUVn3Pu-sWWtN-Rvm-EsJ1ETbUtiMlxAd3ZgVsq6BYUIoltYytZNm6hJX8QMyJJFzoyP0HrNOCF1lDlfI_vlKttHdxNX7uS0z4nOa61wMPei-d5XhRHIQ1zPw6KEjvQwQIFC73X7R9OvUugzzajEEl7IUWf11IbBbRCxPUczDooe194ObNnmYemdpsRWX4R7MUOsK2gXM-ZKFCwSEiAgoXf1_nAnxJJ8xxPULc6PlBRcuup9KtkJSKL3ww1Sy3UHimZIA0zEr_m8vtGjABrRNJfBvWAsahtMfC9CAWLvgQHwQRj4iURnrrvt0c59IOx68IOVpJS4uc0JBGxjVJ6VPiSxus4nHEmmpfZVjTtg2Ku5TxG5MJ7cVMQyXqd0VhnFmebAtdmp4CW6yfG-dsMuPkjA_EUdJjEeKsd07eCD5N4pDsZ6yZpsgkwze2O8ibNbuJIczrKAEogK8JBlrbb1npDDeVrUEqqUUn4_GyPXYVtyrqS0Daovyhbrq1Bl4hMbA85TCY5nE0ZpAH5feZTm6pd32HL0aiwkgTKIPAG_mvrf7vO-8bhsLbceLGD4umBGqY3rssbOdjNf2jytr8YeDpr__4Zop-dzsEm5b5v3Q64EJTvNTsUjihJ-hVqafsT2l6Z2k4vpUKKfSUbjQWtQNduD8kGXBa6OmxhblA2pm7MX1zmlA889AuK4Ov0evsdtSCMLbVBSMmUW1EGP8GtdegDuI36z_GKYn-cqcGUFs39d9GCiplDD_UB3GH-T5HySdwvfksqHJIKvLKkXjBYft-DfiHL_c8D71u9ga3hjwPyxI_G8YiG0P0kLrIYvgNdNeKTuKXFjonj6XtUKk6exe-m1p0x-oHXWM53lo_regYBiUcBiaKEhMOuZwLSduADeq_y-hWEprF6BUYXp8zW97Tnk4z4FHnqUzrgs7yzcw9niD_G5OYekeUKtrTYD-wfUi0M7dIng1xLJyxKzyM_wKItXeMs64Z-M4PU7TdxzyCbxoFm-X-rXrf_NlpRFI8DQ7wprdj3B4HhTlN3NOv13VQ1P_L58zwil1-D6BB_ml8EfoDG_5CCH08aOTLa9b24CIiX4EJWNeNwTJhiR5U7SS5sr9tjXq0eby-lMPBifga4kZK3T4v2s0ObOIdnPdhgAtYP8ghXlL33quUbdkMvHfdGZHIyI1mZvfFk5qYcjyBWZzTVCaGH12s7ba0NVWbdMXuTFQjHVuKJy7ycRLjV36l-9yWYsxjFaZKT6GhzYU9n4JriQipw93FQ9pAm95Ohp5tSCnvOYoAxCr3_AxCN0dhdMtJnqkCA1vOz8jwosyCjZ3DuJz4JYp9E2dnu3I_SlJTgpX6eZJGXZEGw8ckmKWkeFHkSnLFz4pHQC72IBFHoZ_MQvCwEmsZlHuQkoSj0oKKMz21azKXanrmrx_M0ScPgjNMcuHavzwnJafEEouxaxNkjIgSRS0RI_zO6OlPnLt_yZqtR6HGmje51G2a4exvftnzRFe7uM6XoXrKh6LJ9SWY9wFKMn3eMA7ZNnHvxfrj9OmsUP3__taqj958AAAD__0bMreI">