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

    <tr>
        <th>Summary</th>
        <td>
            [DirectX] `ScalarizierPass` does not invalidate analyses after modifying function
        </td>
    </tr>

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

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

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

<pre>
    The `llc-vector-store-scalarize.ll` test case fails when running with `DLLVM_ENABLE_EXPENSIVE_CHECKS` enabled.

It causes us to reach and report a fatal error, (here)[https://github.com/llvm/llvm-project/blob/f78d6caadc60b58a6cf390efc2b3d2da7a21caef/llvm/lib/Passes/StandardInstrumentations.cpp#L1413], and reports the following:

```
LLVM ERROR: Function @store_array_vec_test changed by ScalarizerPass without invalidating analyses
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: llvm-project/build/bin/opt -S -passes=dxil-data-scalarization,scalarizer<load-store>,dxil-op-lower -mtriple=dxil-pc-shadermodel6.3-library llvm-project/llvm/test/CodeGen/DirectX/llc-vector-store-scalarize.ll
1. Running pass "function(scalarizer)" on module "llvm-project/llvm/test/CodeGen/DirectX/llc-vector-store-scalarize.ll"
 #0 0x00005b83e8064bb7 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (llvm-project/build/bin/opt+0x1fe9bb7)
 #1 0x00005b83e8062235 llvm::sys::RunSignalHandlers() (llvm-project/build/bin/opt+0x1fe7235)
 #2 0x00005b83e80659fe SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x0000730f21442520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x0000730f214969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x0000730f21442476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x0000730f214287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00005b83e804be54 llvm::report_fatal_error(llvm::Twine const&, bool) (llvm-project/build/bin/opt+0x1fd0e54)
 #8 0x00005b83e9a29161 void llvm::detail::UniqueFunctionBase<void, llvm::StringRef, llvm::Any, llvm::PreservedAnalyses const&>::CallImpl<llvm::PreservedCFGCheckerInstrumentation::registerCallbacks(llvm::PassInstrumentationCallbacks&, llvm::AnalysisManager<llvm::Module>&)::$_18>(void*, llvm::StringRef, llvm::Any&, llvm::PreservedAnalyses const&) StandardInstrumentations.cpp:0:0
 #9 0x00005b83e82cfa52 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (llvm-project/build/bin/opt+0x2254a52)
#10 0x00005b83e95c3d9d llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) X86CodeGenPassBuilder.cpp:0:0
#11 0x00005b83e82c8321 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (llvm-project/build/bin/opt+0x224d321)
#12 0x00005b83e99f86ba llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::ArrayRef<std::function<void (llvm::PassBuilder&)>>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool) (llvm-project/build/bin/opt+0x397d6ba)
#13 0x00005b83e8024850 optMain (llvm-project/build/bin/opt+0x1fa9850)
#14 0x0000730f21429d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#15 0x0000730f21429e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#16 0x00005b83e801e1a5 _start (llvm-project/build/bin/opt+0x1fa31a5)
FileCheck error: '<stdin>' is empty.
FileCheck command line:  llvm-project/build/bin/FileCheck llvm-project/llvm/test/CodeGen/DirectX/llc-vector-store-scalarize.ll
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzMWE1v4zgS_TX0hbBBkfo8-OA49kxjkpkgyTb6JlAiJXObJrUklY_99QtScmy500E8MwtMowM7Eqv46tVjFSvUWtEqzpcguQLJ9Yz2bqfNUqiKS1HPKs1el487DkGKpKznT7x22syt04bPbU0lNeK_fCElSBF03DpYU8thQ4W08HnHFTS9UkK18Fm4nfdyfXPz9bbc_L66utmUm293m98fvnzdlOtfN-vfHrwXrmglOVsAtAJo9cV77C23sLfQaWg4rXeQKgYN77RxkMKGOiohN0YbgNcQ4HzHDQe4AMnVzrnOArICeAvwthVu11eLWu8B3kr5dPiYd0b_m9cO4G0ldQXwtslyltaUsjpFVZLTtG5IgXhT44owzGhGcVRT3pz4Ed7ujlrLLcDbB0cVo4Z9UdaZfs-Vo05oZRd11wFMbqI4IiC59oCPwVjodhw2Wkr9LFTrcQcSQIrG_2jl6YOb-_s_7gFZwW2vau8XghiFpJTUGPpaPvG6HNKxo6rlDFav8OGQLuNRhoTo3kGhnqgUjDqfJaqofPURoNXdzWb1sIG2r_bC01z17YFzp-HFxApr-8BMiFeoWvaMh3hrQ-0OVrT-7gytuU_8g6P1d8j6fTdwgBYw_LszujV0D6lpA6ceATzPYC8k859CAbzVnYPzBzjvhsSQa_Yi5JxRR9_kGxID8PpNzgaQtdSUDTIHZAPwOpjpbi71MzdwvndGdJIf_HX13O4o42avGZfpgsylqAw1r-fgRm58agDerjXjv3AP81oYXrtvYcVHpwytogW8H4-UjwkCjJtRBADnJzHgAmAMtYJ7zXrJ_cK_GQzGAK0gwARB9IIQQkmVE56jNK6qLETus0dW9tUOX-6MUC7k9tFnGuD8uMjQ51JbZzjdA5z6cyGUA7iA46qPMgzwFXqJGl5UVebjHlBFZ6gwJsl7qO579SBaReWvVDHJjQU4v3DjDJPkuDE-2zgpGg4nWwCch-jW0IpWqEaXDuCV__1JCxa-FqPFUDHICoWfYQMybpAR1OAojnGCEQyoxzL0kqdlGs-lUP3LvFX98KJeWL1IA-ZgckQcTx0WadHUsHM7wykrvwspL_Me7I_ek3O4cZbC1obwLoUdZ-nRcTp1jPOsIZBWvkRd5DYYHt1m0_zFFU_iE-EMRbAMbacc286JkB-fheKw1sqfqiDkSmt5maAY4kl8BJSfAiooLqI0Cko5QcW4o0IO3_-lxH96fugNV9RyQNaDstYnJg_OCNXe-y52-nilXqcP7gy33Dxxthq7wzE6shmWrKmUX_ad9JXzR7v19pf1jtffuTlrhwdCW2EdN96JbwN2wqdvVmdmJwvTc-weobC3VNF2KORv725DHQzlPGgoPAQ4LqM8PMzfzt5nSUo_zZM_zh_dCKbnu5gIENcNTTA8D-RRHxLsGVox2jltRkJ7NaFwjPwvkPVp7WKcxDTBg3Z9EZ70hiKpCSt-Jlsfx61voO8hmSD_iIE_EeJBxf8H3r7l6dhYPcYrzxk3Zyn3NEVnKc8JjuD0EHyw3T8r5s9rJWYER0etTBpnUTR5WtHTwtsHEu9Ex6VQ0-vDT47pT6J5pKbl7pbWu-Bn9d7bm-EG90U1OlS2H1ZpLf_oXde7rZDvOPlLr39Wdfzl3j-dlFnPiexboYar6vvrrWPDs7fb4tAS4A_FdhTpoUpufvCqO1c639PCb0MUvwnFPlr1lRvRCG4O64aeeOnn57VFioylFT1qi0ybOo7zBEHduVsq1AWdmRZ5go5ezy5OuGDFhTexYHJ0mJw75DGCZeltSuuoceV-BHzJFjw-2SKdMhHxiCZwcH4JESSi453XKzj093EIJ76JZYPmRlFmUFjI9517XUwMar3f-3kwnGeygh8Pc0e7v32sehuxZ2xJWEEKOuPLKEtwEpECRbPdkrMiqXGdZThJs5wUlDUFwVFS5Elc5VUyE0uMcIKyKI4ynKBogSKes5wUJMUJiWMGYsT3VMiFh7vQpp2FoXgZxXmaRzNJKy5t-EMMxv56w5U_sm8xYJBcz8wyhF71rQUxksI6e3TnhJPhLzkHm-QaghQdBn8xTP4gRZBpbqHSJ9M_f5v9IW0cN35sFM2rnzMPFWPWG7n884P_GObTEv8vAAD__xrJwrI">