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

    <tr>
        <th>Summary</th>
        <td>
            FastISel::handlePHINodesInSuccessorBlocks crashes on valid IR (LLVM 20.1.0)
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

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

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

<pre>
    **Reproducible demo (via Compiler Explorer):**  
🔗 https://gcc.godbolt.org/z/PGKcj7xn3

```
warning: overriding the module target triple with x86_64-unknown-linux-gnu [-Woverride-module]
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-20.1.0/bin/clang++ -g -o /app/output.s -masm=intel -fno-verbose-asm -S -x ir -fcolor-diagnostics -fno-crash-diagnostics <source>
1.      Code generation
2.      Running pass 'Function Pass Manager' on module '<source>'.
3.      Running pass 'X86 DAG->DAG Instruction Selection' on function '@s4114_inner'
 #0 0x0000000003a59568 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x3a59568)
 #1 0x0000000003a576ac llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x3a576ac)
 #2 0x00000000039a69e8 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007030b2e42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x0000000004bfb426 llvm::FastISel::handlePHINodesInSuccessorBlocks(llvm::BasicBlock const*) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x4bfb426)
 #5 0x0000000004c008dc llvm::FastISel::selectInstruction(llvm::Instruction const*) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x4c008dc)
 #6 0x0000000004d1a8ba llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x4d1a8ba)
 #7 0x0000000004d1c327 llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x4d1c327)
 #8 0x0000000004d08361 llvm::SelectionDAGISelLegacy::runOnMachineFunction(llvm::MachineFunction&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x4d08361)
 #9 0x0000000002e678f5 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (.part.0) MachineFunctionPass.cpp:0:0
#10 0x00000000033c4012 llvm::FPPassManager::runOnFunction(llvm::Function&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x33c4012)
#11 0x00000000033c42a1 llvm::FPPassManager::runOnModule(llvm::Module&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x33c42a1)
#12 0x00000000033c5c09 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x33c5c09)
#13 0x0000000003d01a28 clang::emitBackendOutput(clang::CompilerInstance&, clang::CodeGenOptions&, llvm::StringRef, llvm::Module*, clang::BackendAction, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>, clang::BackendConsumer*) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x3d01a28)
#14 0x00000000043aa0bb clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x43aa0bb)
#15 0x0000000004682ca1 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x4682ca1)
#16 0x000000000460260b clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x460260b)
#17 0x000000000476e173 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x476e173)
#18 0x0000000000d116c1 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0xd116c1)
#19 0x0000000000d09eed ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#20 0x00000000043f5b49 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::'lambda'()>(long) Job.cpp:0:0
#21 0x00000000039a6e13 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x39a6e13)
#22 0x00000000043f5d69 clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const (.part.0) Job.cpp:0:0
#23 0x00000000043b9ebd clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x43b9ebd)
#24 0x00000000043bae51 clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x43bae51)
#25 0x00000000043c51ec clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0x43c51ec)
#26 0x0000000000d0e391 clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0xd0e391)
#27 0x0000000000bd3bc4 main (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0xbd3bc4)
#28 0x00007030b2e29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#29 0x00007030b2e29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#30 0x0000000000d09985 _start (/opt/compiler-explorer/clang-20.1.0/bin/clang+++0xd09985)
clang++: error: clang frontend command failed with exit code 139 (use -v to see invocation)
Compiler returned: 139
```
source LLVM IR code
```
; ModuleID = 's4114_inner'
source_filename = "s4114_inner"

@flat_2d_array = external global [65536 x float], align 64
@x              = external global [32000 x float], align 64
@a              = external global [32000 x float], align 64
@b              = external global [32000 x float], align 64
@c              = external global [32000 x float], align 64
@d              = external global [32000 x float], align 64
@e              = external global [32000 x float], align 64
@aa             = external global [256 x [256 x float]], align 64
@bb             = external global [256 x [256 x float]], align 64
@cc             = external global [256 x [256 x float]], align 64
@tt             = external global [256 x [256 x float]], align 64
@indx           = external global [32000 x i32], align 64
@xx             = external global float*, align 8
@yy             = external global float*, align 8

declare i32 @dummy(float*, float*, float*, float*, float*, float*, float*, float*, float)

define void @s4114_inner(i32* nocapture readonly %ip, i32 %n1) {
entry:
  ; Compute the initial value for i = n1 - 1
  %start = sub nsw i32 %n1, 1
  br label %for.outer

; Outer loop over nl
for.outer:
  %nl = phi i32 [ 0, %entry ], [ %nl.next, %for.inc.outer ]
  br label %for.inner

; Inner loop over i
for.inner:
  %i.01 = phi i32 [ %start, %for.outer ], [ %i.next, %for.inner ]
  %cmp.i = icmp slt i32 %i.01, 32000
  br i1 %cmp.i, label %loop.body, label %for.inc.outer

loop.body:
  ; k = ip[i]
  %ip.idx = getelementptr inbounds i32, i32* %ip, i32 %i.01
  %k      = load i32, i32* %ip.idx, align 4

  ; a[i] = b[i] + c[31999 - k] * d[i]
  %c.idx = sub nsw i32 31999, %k
  %c.base = getelementptr inbounds [32000 x float], [32000 x float]* @c, i32 0, i32 0
  %c.effective.idx = getelementptr inbounds float, float* %c.base, i32 %c.idx
  %c.val = load float, float* %c.effective.idx, align 4

  %d.base = getelementptr inbounds [32000 x float], [32000 x float]* @d, i32 0, i32 0
  %d.effective.idx = getelementptr inbounds float, float* %d.base, i32 %i.01
  %d.val = load float, float* %d.effective.idx, align 4

  %mul.cd = fmul float %c.val, %d.val

  %b.base = getelementptr inbounds [32000 x float], [32000 x float]* @b, i32 0, i32 0
  %b.effective.idx = getelementptr inbounds float, float* %b.base, i32 %i.01
  %b.val = load float, float* %b.effective.idx, align 4

  %add.bc = fadd float %b.val, %mul.cd

  %a.base = getelementptr inbounds [32000 x float], [32000 x float]* @a, i32 0, i32 0
  %a.effective.idx = getelementptr inbounds float, float* %a.base, i32 %i.01
  store float %add.bc, float* %a.effective.idx, align 4

  ; k += 5 (not used further, but preserved from C code)
  %k.plus.5 = add i32 %k, 5

  ; Increment i
  %i.next = add nuw nsw i32 %i.01, 1
  br label %for.inner

; After finishing inner loop, call dummy
for.inc.outer:
  %nl.next = add nuw nsw i32 %nl, 1
  %a.ptr   = getelementptr inbounds [32000 x float], [32000 x float]* @a,  i32 0, i32 0
  %b.ptr   = getelementptr inbounds [32000 x float], [32000 x float]* @b,  i32 0, i32 0
  %c.ptr   = getelementptr inbounds [32000 x float], [32000 x float]* @c,  i32 0, i32 0
  %d.ptr   = getelementptr inbounds [32000 x float], [32000 x float]* @d,  i32 0, i32 0
  %e.ptr   = getelementptr inbounds [32000 x float], [32000 x float]* @e,  i32 0, i32 0
  %aa.ptr  = getelementptr inbounds [256 x [256 x float]], [256 x [256 x float]]* @aa,   i32 0, i32 0, i32 0
  %bb.ptr  = getelementptr inbounds [256 x [256 x float]], [256 x [256 x float]]* @bb,   i32 0, i32 0, i32 0
  %cc.ptr  = getelementptr inbounds [256 x [256 x float]], [256 x [256 x float]]* @cc,   i32 0, i32 0, i32 0

  %dummy.ret = call i32 @dummy(float* %a.ptr, float* %b.ptr, float* %c.ptr, float* %d.ptr, float* %e.ptr,
                               float* %aa.ptr, float* %bb.ptr, float* %cc.ptr, float 0.000000e+00)

  ; Check if we reached nl == 100000
  %cmp.nl = icmp eq i32 %nl.next, 100000
  br i1 %cmp.nl, label %for.outer.end, label %for.outer

for.outer.end:
  ret void
}
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkW1Fz4jgS_jXOiwpKljHghzwYMsxmb-YmlWzt3RslSzJoI0teWSbkfv2VJINtAiSz49m6qkvt1oKk7v76U6u7ZbO4qvhGMnYbxIsgvrvBtdkqffvCtxJBFN5kir7eBigNUPrISq1oTXgmGKCsUCBA8x3HYKmKkgumwad9KZRmOkBJEKVeCoAApsEKBskqSCZBMgNbY8rKza8CtNoQMt4omilhxkpvArT6T4BWD5__Qf6Y7WVkhWEaTGHzD0xfsJZcboIoBWrHtOaUyw0wWwYKRWvBgMF6wwwwmpeCgRdutmA_n66nk1Etn6V6kSPBZb0fbWQNgngx-lejho28giC-C2D68OVT-vQJVHVWcAMwyOoN0KxU2gCjTn3gZltnY6KKAK2E2B3-Myq1-oMRE6AVr6qaVQFaASwp4JKImjKHmmhcbUGGybPRmLAALUGpLdWEVRWjoFK19sNWEleVIhwbRoGuJaiI5qUZBzB9Mpg8A1oXpYUFUzgOYPKg1UbjAmC9qQsmjYUMArRSpcVEmn0bseO-rYjAcjNCcByOYYBWGZeHwQAtArQAow0Y2Z1f4bK0mmpT1mZcgVGBqyKI7rg0TIBRLtVox3SmKjbCVQFGT2C0B1yDUU6UUHpEOd5IVRlOKr_a8dAbDqJl43z0KYBpaD1aKsrAhkmmseFKBjBFdvixljYoQImrCgRotqolsfPgwQ58xRJvrHszoOQhTAI06xlAM0tjdE7bv-dTcJd-HgXRp7v0M7iXldG11__EBHOfGuX5wbBVP4HVJAwnay6lsx5Ay34EAdzDw1-E4ySezoELmygNorR6rfyHB82lcfv6m4-MebtI45e1qoxmuAjQ1EYHlyZAiT2TP7TBAVrAfQPKnmMPOTyBPJticg7yUjAs6_KbfOIbiUWA5rV0CYYCoayJ4QBaCC1A1AOY4GnC5mBpQ-qREXvAXz2iX7CkwtqZN3z11iyVNGxvxqS0pwi6f73-qNE_gxHMEJugGMHGFcGzAK2aFHNMLX6CjCs1njrITqQFPOkCnmR5NkHTDqMrXJn7Jyb8t61D_fDL_T8VZdW9fKqJzQ5KL4Qiz1UvMha44sSNA6JkZVwaHoj2BmfrRdzzgkA4p-SiF5U7K53T08PdPVXDA_fQWuDTHnAa4nmGO8CPx_ou_dw64EdTIVqO-9wf007jwHQ4BzzE1oHZiQMkQrN3HdC1_Ca_YrLlkh2w9hx4MzeoBxZj68G87wGcR9Pwigdf2AaT1_8FPxzS1o-k6wdi09k8j8FFKLYgdZw4i_4t7HGJtbGgEnBG30m-svm6X2MiMoEh6h7MByt3qIvfDWeABO4heRYt4PAUMMLhBwB_9S1bb--boWHBIhy2YNEJ2JjApANWdEK1A_u-KNtz-PMhW1At5KgHmcIQoznwUg4CK7hZYPLMJP3meroAzTvThx7fZmksCWuajt4Kyj4z-a20oVI1853jbDSXm0eW94cPnqcn2hooaRN4XZF7aXRd8R17ZPlSmgejg2jZTu_y5nytuGBPr5VhhWvvlqAy1M_Ukv9Zs3V5Iml7qvJFc8PWh86qI0RZjmth1pQJZtg7gtGnxuZbl5ZKVnVhd3K48tbsZ7vb_e4iwhhm2ZnNauh1Q5_2jNSGHRifD5cwvfkWXL9pmM4RwWEX3ErbNuy4-V10g-Lylltc_Z5gCtEUnpB2cgbO8nbZkSGLkEfXYu-3A7MpC2dRF3uDsnVhpwh-i_jtMR-wB_OoWsy9BgDSMJySEBASrgvM-_kx1Rq_2twRLckW67Y_bA5ZbwwtwU5xOiR0j61FnvSRw4QxCg4UL8PflBI9_E8FFuJ3RoxqisAZN07ypdXRXEd63STVfMf024qPYP_I53E2SRwRHaWH2-laOy7drD9SLmPZJQQLkWHyvM6lhdmGhjfchMkyXKqiwJKens6ze3bMocoVByx62bOtDMeseRRYr8l-H4b-S2a7bpth3eMfR2FvsR1YG425qQ7TJ-qwEDbsle7M2yUuaDK3ay5oPOFOJEAzgYuMYnt_P1KF5ofr7K8qO7MZ4el1lIVRZx_OXTr9zGMtn3DOxGuPy-v7NlgV8TiPYY7QaUjRaQL-n0PipBU_v_dRn7UsYRm9yJrbK_ymzh2o7CXnE0G7oJMalldsdJemzWrvW8exISq9c7YNoJM2JMMsDr-Xil9VVl3m4VeVfeGV6fFwLe8e973E3G65ewr0ceqa4PiJBFqKWgL7rVJE4pCRS2DvOp975f5Mnb9E_N9I4GDdpSOlpWx6UptZlDQxd-grDpBdskibo_5-5R2mk3B4WrS9vg1mNMrIBFicw5jzCltz8_5jTJTQ5DsfYzqRVmFyqpBNIFivrcy6MlibdceZD5tgk9ZE_3G5bbaSeQy88qH2xKr0BrtzUQqY1rYypD6AQN409IA0cZ1jLhj1L5nYntuAoQyEkYuWumJgtANGgYoxwDstt7V0fGummam1ZPZYWcmT113-BQX48uX3r-D-0ek_WRFEC-Cv0fd3IIjuQIBmb947eDXrnAsmccGadai3DjUv2yYwF9isEV1jW7DdWrY3TEsswEaoDAsQxItpHEdTsAe5UNgE8Z17RSX4RoLpxKvZg97fBT0RghBe1YMH0pMNpIcMpIcOpIcNxTP-iB4U210_fjiqO8t4NrRGQobWaMzQGrmk-4_vB4_Q-dOzfxeXR-ELmBeee9nX178qC1PKiMCaWVzABmldFPY20l3_Ez8nBxA5l8zfX0_fo84tYygFUhFcmlozoBmmSopXEKCYl-5tqAWPYhm6yj1bBDBl0uhX_3LcMrJwv1uojX8LzyU3HAuww6JmIFcacMeaDMEIhF4ExU3Rie5AVWdAVi9dO8tmXaaBwBkTdjxXeqxqw3STWqMF-Ga_AqFU6X6_AKQIYNquO-BDsRTOUrnl3kq8ANBaCVDsXAFN1NgJt3ws7TXSr7AKuSReKfA_aXgLzRN6hHZvv3ag8QaZX9Yi42MYvsF2oKcDoDXewuRvUcoOwgDFpCjHnnxOihJUwhxYtnatpDs5B4d4eBRyfdzBP-vGOFP0tTfa48V73i7sxMazB1AG8YJ3sPFyzOnezW2YYYIVTJrSaMBlpmpJK3eaffzZED2NR-dBo-u5PZtCYXpO0hprz-fE4_UAcYPMyWfHL2gBiM0tYZIkYASe_WAK6Ikj5OhHN5KdWLM3z-3SDFfsms8XisvZ4dQeZ3KgBLYfjtZYnjNi-I69R3WTMdo00qLtUO48bbXvsGgpv6Chh-Ac_yimw5NCL5NCf5AUekpKNw7pBzihH-GkqMWYUKcpL-qmwhxZb8LKWesIZcMTmV0mMvtBIrNrRGYfIDL7CJGY0nFGPJGY0pbIrEOkZ7srNTyT-DKT-AeZxBeZrIzSrPXZk_FW_F0efRa397g7ENv7mFQG1BWjIK-12TL3pDCrDSg1q5je2QmtCrD0lyz_ft9lwnEp6mocOx_tfjSIn62CuGvvXhLt_HelE7T17igq65du33CoaOc7h5PynOa2nOZc8mrL5QbwY7l2jzOwEMA3a4eqTc70FFfhSNGCcSTbfQTDh9TF0zm8veyKPfIT7JEr9uhPsEev2GM_wR67Yg83AXPd3vWb1DsLfAz5IDpF8Sacsr8HTpZ9CA4hfw8cQt6Dc4xHmy3Gmvl84BLIhUvfMRu8rWdnBsm5QXpukDWDDtHVvx6S81DOY-mDAXDsnyOyAC0gPN43mxvhlpFnwHPw4u6UZMso8NcwS1DoBLvXlOaK5u4p7M82ix7vOB2R3lXFJ9q318Qxk_T8jIfZX9jkdbuB7o03TIPZXffp4A29jWgSJfiG3YazSRTD6QzObra3eRQmYYinBCZsOokhopjkOEQwzCfZDKMbfosgiuEEhmGIYjgbT1GSJ4jR-RzOJgmjNhUUmIuxELtirPTmxv3E_TaMonkyv3EOVIf_q0Dfup_DZ_WmCiZQ8MpUrZzhRrDb7_rBq__RPKuAkvbGzim4f7QV3j0lPTztTW5qLW7_-i_1G092t-i_AQAA__-rX10D">