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

    <tr>
        <th>Summary</th>
        <td>
            [LoopIdiomRecognize] Poison flags stripped even though no transform performed
        </td>
    </tr>

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

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

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

<pre>
    In this example, LIR will remove the nuw/exact flags on `%dist` and `%len`, even though it does not actually perform any transform:
```llvm
; RUN: opt -S -passes=loop-idiom < %s
define void @test(ptr %p.end, ptr %p.start) {
entry:
  %p.end.int = ptrtoint ptr %p.end to i64
  %p.start.int = ptrtoint ptr %p.start to i64
  %dist = sub nuw i64 %p.end.int, %p.start.int
  %len = lshr exact i64 %dist, 5
 %cmp = icmp eq ptr %p.end, %p.start
  br i1 %cmp, label %exit, label %preheader

preheader:
  br label %loop

loop:
  %iv = phi i64 [ %len, %preheader ], [ %iv.dec, %loop ]
  %iv.neg = sub nsw i64 0, %iv
  %src = getelementptr inbounds [32 x i8], ptr %p.end, i64 %iv.neg
 %v = load <4 x i64>, ptr %src, align 8
  %dst = getelementptr inbounds [32 x i8], ptr %p.start, i64 %iv.neg
  store <4 x i64> %v, ptr %dst, align 8
  %iv.dec = add i64 %iv, -1
  %cmp2 = icmp eq i64 %iv.dec, 0
  br i1 %cmp2, label %loop.exit, label %loop

loop.exit:
  br label %exit

exit:
  ret void
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVe1ugzYUfRrz5yoIzFfygx9ts0iVqmnqtAcw-Aa8GZvZJm339JMNLdBGkyZFCbbPOT73IxdmregUYk2KR1KcIza5Xptaib9EGzWaf9TPClwvLOA7G0aJhD7By_MrvAkpweCgbwiuR1DTG6EXfGetg6tknQWtgJQJoQUX1pEyAab4siNRhYcnwBt6fT11PQgHXKMFpR2w1k1Myg8Y0Vy1GYCpD3CGKetXJHsgyZkkD14lfKS8DctW9givf_xKsgfQo4PD73AYmbVoSXaWWo8HwYUegGRPQGhhZxLHq1AINy04kDxxaB2hx9EZjxljVNyb_Vpbx4wj9ASkepwFUDnz8WULvmixUA5IdvZcp_1iKwpOgyjzHSlo_wctnP8k-iQHhp0aXwx_vHPhA9hfsGFLVIEsbW9gLuLCD8WjT1AsaEKLdhgDWPgH_Bu-p2mTouWGxoBIF6pHSNag9Gt8F263MRrskXE0SzHD97q5JrgxK8mXdYsP610txG3OZi_muIrHJepPv583ACnOYW9GiFvMsV1AXjacb3Vjhd2adzvnPVkY4rbBWtMGYIcOJQ6onE-cUI2eFLf-xozCO4jjYuF7WpeCzFeu1Zgjk5px39O5Vyhzkv2ykbAmhMCk6BQct02z9Mz_trT8Ae6bAuu0wb2b4HQjweeu-mlpznhwxThf9T36kG6A7TDSXRuuVpaSJffaj-7azZc0_tGE9_ppRt3vv3C0wX-DGnRhsiyQ6vxtdkW8zvgpO7EI67RKjjktqiqN-vp05GWVYZnl12tVFuxE8cqKpjmdaJYW1yYSNU1onlCapElOizQ-0vJU5SnytGmKY1mQPMGBCRn7-Rhr00XC2gnrI82yKgoB2DD6KVX4BuGQUOrfBKb2nEMzdZbkiRTW2VXFCSfDO-NF6_HZD9RXbHWnxD9IijP8poXVankPWGfEOCLfzXql12n-OeORR5ORde_caH366IXQSydcPzVxqwdCL2HKzz-H0eg_sXWEXoJrS-glRPVvAAAA___dcgEE">