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

    <tr>
        <th>Summary</th>
        <td>
            in llvm/lib/Transforms/Utils/FlattenCFG.cpp comment
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    Maybe the comment is problematic?
I think that PS1 must have a unconditional branch
  
// PS1 must have a conditional branch.
  if (!PBI1 || !PBI1->isUnconditional())
    return false;
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkkd1q3DAQhZ9mfDPEWPKuvb7QRXdTl1wUAm0eYCzPruXKspHGKXn7YmdDAwHBoJ_v6MBHKblbYDZwPMPxMaNVhjmaNNpxtGNKfUqjzbq5fzM_6a1jlIHRztPEQdAlXOLceZ5InIWyheIRim9PKIMLf1AGEnz-pXBak-BAr4yEa7Bz6J24OZDHLlKwwzuG-D5Bt6DbL-BXLP_g3BVBn0Cr5_OTQqgvUF_wvn2A8rtLL59_3d8227rziJFljQGv5BNDec56U_ZN2VDGRlVN3RxrXVXZYGxZH7W9NrXSTFfVKO6rjk-Wiq62dCoyZ3ShS1VoXVSH-lDlWikie7BW8UlR2cOh4Imcz71_nfI53jKX0sqmak51kXnq2KddhtaB_-J-CVpvbqLZmIduvSU4FN4lSf9TxIln4wJuJ6Bb7zrQ7e9IIV3nOCXQ7Ys4v83WkwiHS_sjt8vyYTNbozeDyJKgvDu4ORnWLrfzHnjP3SoscR7ZCuh277eF7v3_BQAA__9A9rqG">