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

    <tr>
        <th>Summary</th>
        <td>
            Assertion failed: (!MBB.isLiveIn(X86::EFLAGS) && "Stack probe calls will clobber live EFLAGS."), function emitStackProbeCall
        </td>
    </tr>

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

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

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

<pre>
    ```
% ./llc ./a.ll
Assertion failed: (!MBB.isLiveIn(X86::EFLAGS) && "Stack probe calls will clobber live EFLAGS."), function emitStackProbeCall, file X86FrameLowering.cpp, line 1116.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: ./llc ./a.ll
1.      Running pass 'Function Pass Manager' on module './a.ll'.
```

```
 % cat a.ll 
target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64h-apple-macosx13.0.0"

define void @patatino(i64 %length) #0 {
entry:
  %cmp4 = icmp eq i64 %length, 0
  br i1 %cmp4, label %cleanup78, label %if.end6

if.end6:                                          ; preds = %entry
  %0 = tail call i64 @llvm.smax.i64(i64 %length, i64 -1)
  %vla = alloca i8, i64 %0, align 16
  br label %cleanup78

cleanup78:
  ret void
}

declare i64 @llvm.smax.i64(i64, i64)
attributes #0 = { "probe-stack"="__chkstk_darwin" }
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzNVEtv4zgM_jXOhbBhyYnjHHxImmawQAcotpe9FbSs2JrKj5HkPv79UnLctDOzi8WexhAsihSpj_woVUP9VkZ5ehnpMUr3Ed9AEvGT1iLMmGg9W_bWSuPU0MMZlZZ1lO0h4kXE2dfDIVH2Tj3LP3rS_FXkZKNxe7rbf3mI-I725TRo4g8OxROMZqgkCNTawovSGoQeqkoa0BQEZj86nZNvxG_gPPUinCw75UKEex_ghvyDmeAAnXoy2Mm74UUa1TeJGEdv1KqXwBjLkzmN-7vb_cMt2KmiWIBQTQ0YOQ7GgRugdW60Hj0_0WiUa6cqEUMXKvK8TDHh_yaFo6WydpKWBMC-BtULPdUSXEvZGbQtVATWGRTycvycfz11oz8lqFIy7SihhuADmmbqZO88iH8ggvn9f059T1nCiNZSXbenpUT3XvEVe2ykIT2QqhvqiSpEq_dAXpz5_oH-XynBN4VAqha5wqxzBFQ6qNGhxrdhchBlR0-wjDuCPsQj36YkZDz8_JJ9XnopX4dfrBbhXHgnxou4L7yQLz5ke2C-2_in851Ro09tPvu1yB_zdRvjSMq4QzHYV5YlaZK--83_Wp59WzwPqoZonY6UhVP9QM1LSHy6WvaNa-fWzVKItofZkZgxb-_Mgd8qunEdACiSQH6HH0LcwFJGqAwotviE5sRK6qDQEvtp3BaftOqcyL7OPyJfVNQd__mLsgPdOFnbS502cxbXFNJgcHStw52cM1invtUT2-Fr4vn5qTY3YV_M_CW9xnrWGKJRnEEgqGLZ6M_xMmrV9MDyD0X5RRk-pHxVXutuiHvP3mXf9viZXaHRyH9J44LpHTk6aqRqctJe-PZ12h58T4WnKrb-2vomyo70f3wU7ZN1T481mhdFbx6HK4Tl7qxkyfJ8lxYZZ-mqLrN6l-1w5ZTTsvw9H9PVZHT5_5_AzY5xtmpLRMbXOxRnsc3yFNfV9iyqWhTyLNd4FmIV-LZltDlEm-NKlTzlnDFOE8v4JikEVhsU-WZT70SVV8Sh7KhMSWByMM3KlAEDvd3WE6yss1cjPYDUYVIu8XFy7WDKWgi1CljLAPRvaj0BPw">