<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylVkuPozgQ_jXkYgWBCQEOOSSdbqml7b30aA97iYxtEu8Yg2wzmd5fv2UDAZLe2VlNRMBV1OOrh8uUDfvYBduov6T8VgfRMYj2QXJAbw3rJH89oiCBP86C5Mk0naY8SJ4d6QV7zqkSkitS80EWL2VxL2uJPnOLGLFEko-ms6M0X9dBsufrFmcRLBLsb46Ml6RbbTf-thbjosqdUozztcrdYjvqwLt3YN_7t1q08ob0e749gWCnvqrmqtZSqO77-qy6m9aUkJdOUSsahfbWagMOUN0Z2-rmrLkxSDWV5hwemtNOG7cyH4rCo1NXoRjqrpaUkvcGGa-E4uhbIxgKNpEUtA5wzprOSeA9XIhIcVYoR4xrXsFfUe71cQ4xFQA-Pb2dDERlQxHgJwQZcUzV1c-S114kO_TeuLL6AxD3FEKlRpKUXDr5qtEhbRSbh3vjQZA_-3MpajVnZkitN1xCgzlsQPYYBgBAfw0jL9leRA89PaBoLguco6fhBfCEosPb0bAXmAzSuvUGhVt00o4JAUeD4piaKQsiHjSdxCIlI_KHPIVUcqK69j5fXuFX8zUVwofUZ0g2hKFZazyhRZ88NMLQOH3QsS0Jcc9kZpcwFrZWh8Lbh13BIS2QdOAhoUroWIA1Opm585hmveZSO1g1Fhp_kEQ4jPwPdA5R9GDi5v7f0eYztFB5jxPUkOqud3WNf9jUvVU32ULZNK0j4uizVr-V9SdK-J-l0zBn3NYeHGXHxSwZ8NR-wIaVJOfRUOx2LI6Hfo3jSXPQEQyqtBTGj-ajmYRIMKSotwdD7UovRJ-M-Ju7CecqCe83cz_xnXI2KY8TbNJcIMRLYCBGJVFn9I1r4-ZmnIaR2_Q4v1jbugka4Be4zsJeuhISCEPrxR9C_WMNs_UvTm0IAqiiaRwVRV5lFOcZq3BJ4yTabLOER5TlmxSzNCoT8Fo4fDNYyRLWZognHfs4mgtvHmI4_fnl_fd3G-PTH4Cl0aeSGP7K3skre36Os5Er6lae3Nn2PKRn6eKOkd8z4NiaoUgfUBD1gdpGKMv1ZH_7aQjbB-WmVqJtrGsdV_7JQPapgezBwLuLjqMn2M5woS-H_f4uyflSpxgcFJ86KB4cjOPhx5ENjc2EsTAT7GRh2jFjq8cLdIum7j3eRkI4P8XvovqkpSe9TulGyhDQjJvipjl-UfXkiu0SViQFWZHOXhq9u5q6MdysOi13_28rACmM6TgAfUmTrNisLjtS0WK7xbSIyyznLKVpnvCiopSnPE03ycpPRbODc3TAD-4oTGsHOT2ufh2D2OEIwxVDaVOcpGEW5WVONwXJtrSIsgK-cHhNhAx99hp9XumdN1l2Z-M_f4w100tiDJwJnHvIgNAKKz3x2-vTmzv004NvwfSIHAeBKJNQPfmBmG5a4xt05UHuPMJ_AN4k7es>53794</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [LICM][TBAA] LICM needlessly drops TBAA
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:core
      </td>
    </tr>

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

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

<pre>
    ```llvm
; ModuleID = '<source>'
source_filename = "<source>"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs: mustprogress nofree norecurse nosync nounwind uwtable
define void @licm(double** align 8 dereferenceable(8) %_M_start.i, i64 %numElem) {
entry:
  br label %for.cond

for.cond:                                         ; preds = %for.body, %entry
  %k.0 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
  %cmp = icmp ult i64 %k.0, %numElem
  br i1 %cmp, label %for.body, label %for.cond.cleanup

for.body:                                         ; preds = %for.cond
  %0 = load double*, double** %_M_start.i, align 8, !tbaa !3
  %add.ptr.i = getelementptr inbounds double, double* %0, i64 %k.0
  store double 2.000000e+00, double* %add.ptr.i, align 8, !tbaa !8
  %inc = add nuw i64 %k.0, 1
  br label %for.cond, !llvm.loop !10

for.cond.cleanup:                                 ; preds = %for.cond
  ret void
}

!llvm.module.flags = !{!0, !1}
!llvm.ident = !{!2}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 7, !"uwtable", i32 1}
!2 = !{!"clang version 15.0.0 (https://github.com/llvm/llvm-project.git fc510998f7c287df2bc1304673e0cd8452d50b31)"}
!3 = !{!4, !5, i64 0}
!4 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !5, i64 0, !5, i64 8, !5, i64 16}
!5 = !{!"any pointer", !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C++ TBAA"}
!8 = !{!9, !9, i64 0}
!9 = !{!"double", !6, i64 0}
!10 = distinct !{!10, !11, !12}
!11 = !{!"llvm.loop.mustprogress"}
!12 = !{!"llvm.loop.unroll.disable"}
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJylVk2PozgQ_TXkYgWBCQEOOaQ73VJL23vp0R72EhlsEu8YG9lmMtlfv2UDAZKe2VltRMAu6uPVc7lMqeh1F2yj_hLiWxNEhyDaB8kTele0E-ztgIIE_jgLkmejOl2xIHlxU6_YS441F0yShg26eKmLe11L9IlZRIklglxVZ0dttm6CZM_WLc4iGCTY39w0Xk7daLvxtzUfB3XujGKcr2XuBtvRBt59gPg-vtW8FTek3_PtERQ7-VWqi1wLLrvv65PsblYTIa-drCxXEu2t1QYCoKYzttXqpJkxSKpaMwYPzapOGzcyV1nBo5MXLinqLpaUgvUOKau5ZOib4hQFm0jwqglwTlXnNPAeLkQEP0mUI8o0q-EvK-btcQ45FQA-Pb4fDWRlQx7gZwSMOKHsmhfBGq-SPfXRmLT6Coj7GUKlRoKUTDj9WumwUpLO073JIMlf_TmKWs2oGaj1jksoMIcNpj2GAQDMv4aR12zPvIeePqForguSg5_DC5BxWQ1vR8deYXJYNa13yN2gE3YkBAINhiM1Ews8HiydxoKSEfkDT2ElGJFde8-XN_i_fE0L4VPqGRKKUDQrjWe0qJOHQhgKp086tiUh7pnM_BJKw9bqkHv_sCsY0AKkgwxxWULFAqwxyCycxzSrNUft4NVYKPxBE-Ew8j-weYqiBxe38D9Gm8_Qwsp7nGCGZHe5W9f4p0Xde3WdLRRKtW4SR5-V-m1Zf2EJ_3XpNPQZt7WHQNlh0UsGPI1vsGEtyGl0FLsdi-OhXuN4shxsOIVVWirjR_fRTIMnGCjq_UFTu1Rnoo-G_81ch3MrCe838zjxnXE2GY8dbLJcIMRLYKBWCSJP6BvTxvXNOA0jt-lxfra2dR00wK9wnbg9dyUQCE3r1R9C_WMNvfUvVtkQFFBdpXFUFHmdVTjPaI3LKk6izTZLWFTRfJNimkZlAlELh28GK1nC2gz5pGMdR3PlzUMOxz-_fPz-YWN8_AOwKH0siWFv9IO80ZeXOBulvGnF0Z1tLwM9yxB3gvxeAMfWDEX6gILIK2oVl5bpyf_20xS2D8aqkbxV1pWOW_7JQfapg-zBwYfLjqFn2M5woS9P-_0dyfnSphgCFJ8GKB4CjO3h55kNhU25sdAT7ORh2jFjqccLdIui7iPeWkI4P8XvsvqkpCe7TmolRAhoxk1xsxy_qPrpiu4SWiQFWVluBdvBgfbb2_O7O73SJ89lekBOgiRjVAAMcUVUq9Z4pledFrv_tmNgyo3pGOTzmiZZsVmddyRN84rlZU7rqNqkNK7rmlU1Sattgum2XvnmaRy6IU0IV0FTd5mlhxXf4QjDFcP6pThJwywCZ9WmINm2KqKsgM8Y1hAuQk-R0qeV3nlQZXcy_hvHWDO9JMZA42eeDuefdPas9O5iGmWYWXn8Ow_-Hx3t2SI">