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

    <tr>
        <th>Summary</th>
        <td>
            Possible typo in LoopFlatten.cpp
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          cxjiang-bk
      </td>
    </tr>
</table>

<pre>
    Hi! When I was reading the llvm/lib/Transforms/Scalar/LoopFlatten.cpp source file, I noticed in function `CanFlattenLoopPair` in line 697, when checking whether both outer and inner loops are invariant, it uses `FI.OuterLoop->isLoopInvariant` for the inner loop check. Is this a typo or it's designed to be this? Thanks!
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcUs1q3DwUfRp5c4mRJY8VL7z4vrSmA4UGGuhaku9YN9FIRpIzzdsXOaGB7gw-f1fn6JxpDYgTO_3PTl8avRcX02R_P5MO6515aUxc3qZvxEQHvxwGOMNNZ0ioFworFIfg_euVidmTYWJ-SjrkS0zXzMT802qvExPz9xi32etSMLR22yDHPVmEC3lk4gHOEGIhiwtQgMsebKEYgA38QYcPWlV41JTYwCvIU0AYRlXZtxrLOrQvNdHNYXGYwMTiIO4FE-hQhQMm8DFuGXRCoPCqE-lQqgIV2DPm6jif2x-VVP3umPxKuX6d_6IHDpeYjrs_Jd_dWzhnKI4yaChvW4SYgAoTKsOCxzMvUCIYPEBMzvDkdHjJTHTNMslllKNucOoU78bu_r5TjZt6a_QyajXIYTFSdIafTqMYuRnVuCiuGpoEF7ITXHHZSalaY3oue2n6i7VKWs16jldNvq01tTGtDeW846T6Yewarw36fLQvRMAbHD-ZEHUMaaqcO7OvmfXcUy75U6VQ8Tg9xpzJeHw_mAL803SzJz-5UrbM5H9MzEzMKxW3m9bGYzQf26k-W4rPaAsT8xGiDugI-ScAAP__PGrgUA">