<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/152348>152348</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [DirectX] Select of two different RawBuffer can not easily be reduced to a callInst.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            backend:DirectX
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          farzonl
      </td>
    </tr>
</table>

<pre>
    This bug is very similar to [#140819](https://github.com/llvm/llvm-project/issues/140819)
However instead of an alloca store like pattern we have two different RawBuffer determined via a select.

## Possible Solution
What we might want to do here is replace the select with a branch and then create two calls for each RawBuffer

## Assert location
```gdb
 frame #4: 0x00000001003b7430 clang-dxc`(anonymous namespace)::OpLowerer::lowerIntrinsics() [inlined] decltype(auto) llvm::cast<llvm::CallInst, llvm::Value>(Val=0x000060f00000a3c0) at Casting.h:578:3 [opt]
   575 
 576  template <typename To, typename From>
   577  [[nodiscard]] inline decltype(auto) cast(From *Val) {
-> 578    assert(isa<To>(Val) && "cast<Ty>() argument of incompatible type!");
   579    return CastInfo<To, From *>::doCast(Val);
   580  }
   581 
```

Like before the issue is we were expecting a CallInst
```gdb
frame #5: 0x00000001003b73e8 clang-dxc`(anonymous namespace)::OpLowerer::lowerIntrinsics() at DXILOpLowering.cpp:177:23 [opt]
 174        }
   175        // Otherwise, we're the second handle in a pair. Forward the arguments and
   176        // remove the (second) cast.
-> 177        CallInst *Def = cast<CallInst>(Cast->getOperand(0));
 178        assert(Def->getIntrinsicID() == Intrinsic::dx_resource_casthandle &&
   179               "Unbalanced pair of temporary handle casts");
 180        Cast->replaceAllUsesWith(Def->getOperand(0));
```

Crashing instruction:
```llvm
%. = select i1 %cmp14.not.i, target("dx.RawBuffer", half, 1, 0) %15, target("dx.RawBuffer", half, 1, 0) %11
```
```gdb
clang-dxc: error: clang frontend command failed with exit code 134 (use -v to see invocation)
clang version 22.0.0git (git@github.com:llvm/llvm-project.git 6d25d1d5508b7ba9aca77188a175d0a6348c581f)
Target: dxilv1.2-unknown-shadermodel6.2-compute
Thread model: posix
InstalledDir: /llvm_rel_with_deb_info/bin
Build config: +assertions, +asan
Cause instances: 60
Cause:
0.      Program arguments: /llvm_rel_with_deb_info/bin/clang-dxc ../DirectML/Product/Shaders/Generated/Quantize_256_4_float16_native_accum32_int4_packed32.hlsl -E CSMain -T cs_6_2  -enable-16bit-types  -O3 -D DXC_COMPILER=1 -D __SHADER_TARGET_MAJOR=6 -D __SHADER_TARGET_MINOR=2 -Vd -I ../DirectML/Product/Shaders/ -Fo ClangDML/tools/validation/Quantize_256_4_float16_native_accum32_int4_packed32.dat
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'DXIL Embedder' on module '../DirectML/Product/Shaders/Generated/Quantize_256_4_float16_native_accum32_int4_packed32.hlsl'.
----------------------------------------
============================================================
Stack Traces:
#0 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (llvm_rel_with_deb_info/bin/clang-21+)
 #1 llvm::sys::CleanupOnSignal(unsigned long) (llvm_rel_with_deb_info/bin/clang-21+)
 #2 CrashRecoverySignalHandler(int) (llvm_rel_with_deb_info/bin/clang-21+)
 #3 (/usr/lib/system/libsystem_platform.dylib+)
 #4 (/usr/lib/system/libsystem_pthread.dylib+)
 #5 (/usr/lib/system/libsystem_c.dylib+)
 #6 (/usr/lib/system/libsystem_c.dylib+)
 #7 (anonymous namespace)::OpLowerer::lowerIntrinsics() (/llvm_rel_with_deb_info/bin/clang-21+)
 #8 (anonymous namespace)::DXILOpLoweringLegacy::runOnModule(llvm::Module&) (/llvm_rel_with_deb_info/bin/clang-21+)
 #9 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/llvm_rel_with_deb_info/bin/clang-21+)
#10 clang::emitBackendOutput(clang::CompilerInstance&, clang::CodeGenOptions&, llvm::StringRef, llvm::Module*, clang::BackendAction, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, std::__1::unique_ptr<llvm::raw_pwrite_stream, std::__1::default_delete<llvm::raw_pwrite_stream>>, clang::BackendConsumer*) (/llvm_rel_with_deb_info/bin/clang-21+)
#11 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (llvm_rel_with_deb_info/bin/clang-21+)
#12 clang::ParseAST(clang::Sema&, bool, bool) (lvm_rel_with_deb_info/bin/clang-21+)
#13 clang::CodeGenAction::ExecuteAction() (llvm_rel_with_deb_info/bin/clang-21+)
#14 clang::FrontendAction::Execute() (/llvm_rel_with_deb_info/bin/clang-21+)
#15 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/llvm_rel_with_deb_info/bin/clang-21+)
#16 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/llvm_rel_with_deb_info/bin/clang-21+)
#17 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/llvm_rel_with_deb_info/bin/clang-21+)
#18 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) (/llvm_rel_with_deb_info/bin/clang-21+)
#19 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::__1::optional<llvm::StringRef>>, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>*, bool*) const::$_0>(long) (/llvm_rel_with_deb_info/bin/clang-21+)
#20 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/llvm_rel_with_deb_info/bin/clang-21+)
#21 clang::driver::CC1Command::Execute(llvm::ArrayRef<std::__1::optional<llvm::StringRef>>, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>*, bool*) const (/llvm_rel_with_deb_info/bin/clang-21+)
#22 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/llvm_rel_with_deb_info/bin/clang-21+)
#23 clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::__1::pair<int, clang::driver::Command const*>>&, bool) const (/llvm_rel_with_deb_info/bin/clang-21+)
#24 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::__1::pair<int, clang::driver::Command const*>>&) (/llvm_rel_with_deb_info/bin/clang-21+)
#25 clang_main(int, char**, llvm::ToolContext const&) (/llvm_rel_with_deb_info/bin/clang-21+)
#26 main (/llvm_rel_with_deb_info/bin/clang-21+)
#27 
clang-dxc: error: clang frontend command failed with exit code 134 (use -v to see invocation)
clang version 22.0.0git (git@github.com:llvm/llvm-project.git 6d25d1d5508b7ba9aca77188a175d0a6348c581f)
Target: dxilv1.2-unknown-shadermodel6.2-compute
Thread model: posix
InstalledDir: /llvm_rel_with_deb_info/bin
Build config: +assertions, +asan
Cause instances: 2
Cause:
0.      Program arguments: /llvm_rel_with_deb_info/bin/clang-dxc ../DirectML/Product/Shaders/Generated/RNNOverwrite_16.hlsl -E CSMain -T cs_6_2  -enable-16bit-types  -O3 -D DXC_COMPILER=1 -D __SHADER_TARGET_MAJOR=6 -D __SHADER_TARGET_MINOR=2 -Vd -I ../DirectML/Product/Shaders/ -Fo /ClangDML/tools/validation/RNNOverwrite_16.dat
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'DXIL Op Lowering' on module '../DirectML/Product/Shaders/Generated/RNNOverwrite_16.hlsl'.
----------------------------------------
============================================================
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWt1y47aSfhr4pksqEhQl-cIXNGUlTs3EXtuZkzsWRDYl7ICAFgBl-zz9VoPUn0eezBnN2U3qROWyJQLo36-_BmAJ5-RSI16x9JqlswvR-pWxV7Ww_zRaXSxM9Xr1tJIOFu0SpIMN2ldwspFKWPAGaBlP4lE0jS9ZOmN8uvJ-7ViSMT5nfL6UftUuhqVpGJ8rtdn-Gayt-W8sPeNz6VyLjvF5L4Vfsij72TzjBi1I7TyKCkwNQoNQypQCnDcWQcnPCGvhPVoNzwgrsUHwzwYqWddoUXt4EM_XLX2ACj3aRmqsYCMFCHCosPRDFmX0wxPGE7g3zsmFQng0qvXSaBZl_1gJT9IbuVx5eBbak9uVgRVapIhYXCtRIvgV9kLhWfoVCFhYocsVCF3RoIbSovCdiaVQykFtLKAoV3s7j8zJnEPrgVzujWHjqPtZVgsWZVBb0SAwnoxYkkH0EnWvOIqSxWSURFAqoZeD6qWkZXwqtNGvjWkdaNGgW4sSKdxJxpLsbv3BPKNF231U9OFWeyu1k6VjfMr4JaVbakVhZOkMKiyVf10jSW69oQkhxUFAKZxnSb5_kAulbrXzjOcH0z4J1SJLbhiffhKKJbPOi3FUB1dEUkYkV3jIhfNSL4crlmTpZMqSLCF7zNoT8KIMANJJCvQunYwBPDZrRQFnSU5WksvwZEj97uPcmoaU96snEACdXmtTSVcKS26Sp53TpxwObvIpCQLGyZ0Qp8k1i7IBS24gnUwBAERIJuNT6QRL8iez95nm8zHjY2Cc92F7eu3Gg-922TYEZ1OD1KVp1sIHmHamxIzzkMXrrRuXpNCib60OUbvVtel08hy2lpL8kIHK5J0PnS17OdMIgE22oZ3GcIjADqkfqAYXWFM9UgGEWqaqeEYgMAG-rLGktIGAHQC-APIOx-kJHCc4_eE4Fh5mv99-6OcSqsr1miVZPJmwJONvgBVPRtC_dvGIJ-nuWWA6uPMrtM_SIUX5GRmf2C0rlEZXsBK6UghSg4C1kHYIc2OfhQ3ssEuyI77Yqhi_UWGxMZtOKOPTTu4WhMMt4GKCcffaRpzyPcMaWDKDHmC7ZASYEQJo8RL93RotmcCnVHh7QMQdjo-wPMO6X7WL8O1sSxXJjNTtBnqwvRQWnWltiQVZ0gelw__W7Us4fjHOf9MLoYQusQqxo1Kg-jZW2NdtZEmeOyqGmCC8DUXnYU_XmVK_OXT_kH515Mc73r-BfW6FWxGoqT3Ztgz0nGSHEwPDEZWnwxD2vjXIGBhPy2Ydj4ba-KEMdCTsEn2IG69ehvtuQL7ksBKqpr8x_Yo6ukjj9LtXxm8dOi7Gfa0lGaC1hiqpq0CordEedQWlaRpqbLWQCquu4-GL9FCaCiFORgTQ1iEMNtQvHRLwN9tOFlp8J3GD1kmjgfNhNIyWkrA6XUrPRtHB3iHJTuwdhjR7XPG0iqs0jaaLyUJcilJMJvF0KuJJWkVinIymZTqN607nUxevJIPqRapNPOSDVn_W5lkP3EpUaBtToRoP-YBotvVIa1aWdiBhhFaujZMvLMqoeoRSWM1kiFBvXWFRFRSPosJFIYl6-XwhqX1ft1JR6HQtl92K666UpNGOUhQeCJqaCwoewYtAT_spCLkKzzuoRUMWXd5bs7Si2dPHt1jC57scw3DI-HwmLZb-4wfG5_fWVG3Ylz2GgNDG7CfUaIXHivH5f7VCe_lPLHg6LkZFrYzw8bjQwssNFqIs2ybhhdR-VKxF-RmrhA9XyikY3ED--FFIDYMnKF0xLjjAALVYKBzE44X0A-pnDmBwl8BgBrPf8yK_-3h_--HmgSWzmJ4VxePP2ezmoXjKHn66eSo-Zr_c0eD45ODtr2GQw-BTBYPbb_IVBnMDOYVnFuZ4YxQ93wglqx693xWESlDjiylpLMnR1MTVa2EdWmpHVFSmhloqwhynaTmV0rKLfbf_S-jxQ6s1cc9aOAeMT6iRwU2zwKqiwp-A0QTWNtDq5P8qv6SKOtA3voh2QoP4i_1E2aMX5Wd4sqIry267Hh3saN2r697cW6l9mB5mMz7dT7LiuTDOWxRN6H05SO07gp5-U-3Stu-6IzXaOMWnDMgVCt2u7_SjXGra3E1bHY57FSijl2eo4xBa4AOWhk6EnfyfQxu2tMc9y5cEQkObt84Sk8kF43P36jw23cfufUGb-9rYZli9hjkHEkbfKMEHaj8hIP02AeWJpePvXzqBH3JGC-q_J_DTP9J_vGf-gEtRvvZ4bvWd_hhY5wjn20fj8yw7PFiqA7X3wrmPQosl2ttmrXa2_GgbqML603QnExvpr4n_dHXX-nVLe7CD4dw0a6koOV0D72v8aEaFP6G-W_fNf3x8LH6kpC4fsD5-vHUleyOtNyXrdqJHSwgfrZMbfMA61_7e26NT-abuyWIuFT52OKUjQQ7OV91IUcTdm1bL_2mxWL8RQVy2frbSY7FltFOrK6xFq3xRoUKPfyCBDqc3p53MjXZtQzyTnZfQ-GvCw8OO0Z6s0E6FHvyblm8ynT0-5bQnfvF7gH2PMfzQmHvaFmSPT8eqHrERPVAWxqj9307pv64zOQHIbHeYSbKbFyxbj1tUTc9wb3Soat6fIk7oOovDSFEKXyvDk269b9m5lDE-NKZXu7dpfxz6OnWcCfMJlGVcNEIes2JmrXglgknyciUsHUuc7--FqO6OnvEcNkZWZ9syhW0U8vgpYPfAosdGKPUJS296Mj9h2BuaJBl9-W3nnZmyy-DogYq61QEMhQ2xCqMdSnc3aKVQaiHKz0Wtyeh9LisrN1suyfM47w7NbwF_Midf8qcJrUKoI-bc94kdY365ciGcLIlZJRkWonp6Io0U3gpJ58hu3nsyu6t4b-zBRJqb7WkpYKXLSljC-KiIuvumg-3n9-WJH-64j_aiWzYOIw-tfhQ1qtejMH89pWeZddRT_k5_l_4z4snfjWegSfFFA9kG-YhT3ywMN1d7usi_ouNwanbUfM_3LflXffvFLNz7jv1iFh-k80eOfY1cv0zqWkjKZzi9fXtQ-sz_0NCM3tM-O3h_1FBPdNL3Qvr_EZpzOKXf0mxb-NaGUMZZX3L_xpbIx0CazxAwgb-vlf-018r8z3Cr_PDrr3cbtN0RMB7_9W6MGZ__0aXxWx__vRfCd2vY3tOcfSd8Kjv_Mfe9u_-OXVRXSXWZXIoLvIon6SiN-DiKLlZX6ajEqRjheHy5EOnl4rKqeBTVZTmKUxFXeCGveMTTaBqN40kaRdFwKi5xdFmORVmO67ResFGEjZBqSAU2NHZ5Ef6RfhWnPBlNL5RYoHLhKzqcL7qLCuqFIYO_M85ZOruwV4HEFu3SsVGkpPNuL85Lr8J3fLZr0hk8dv-RNPW7X5ophQZtPKBwUr3CAsFi1ZZYEfeK8CUWYqvhRWvV1Rnf--m83Fzx_w0AAP__dUgm_Q">