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

    <tr>
        <th>Summary</th>
        <td>
            [IndVarSimplify] LFTR Narrows IV to an Odd Sized Integer
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          veera-efficient
      </td>
    </tr>
</table>

<pre>
    Godbolt: https://c.godbolt.org/z/MejP96PP9

Discourse: https://discourse.llvm.org/t/why-does-indvarsimplify-narrow-induction-variable-to-an-odd-sized-integer/86753

`linearFunctionTestReplace()` narrows the induction variable in the given example to an `i5`. But this can be problematic if the architecture doesn't support arbitrary sized integers.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxkkk9r5DgQxT-NfBE2svwvPvjQIXgJ7O6EJORekqrtCmrJSHJnOp9-aLeTYZiTQI-qV7-qBzHS5BAH1tyz5iGDNc0-DGfEADkej6QJXcqUN5fhH2-Ut4lVBz6ntERWHZgcmRx1Md2kwoeJyfGTyfE_fH_q26ennokDE4cHitqvIeLf1eZLKqw9n_YWicnxY77kxmPMyZkzhEinxdLxkjsIwX9cf1edyLv8DIFAWcyTz8Hl3pg80ieanFzCCQOT413bNdVtFNYKSw4hjKvb6l8xpmdcLGhk8o7JnrWC30wiTzPybyf-5cTJbcpEZ3Qcf8JpsciT5-A4awU1rBUFv18TTzNFrsFxhXwJXlk8QSLN6bg1gKBnSqjTGpBfYR2TXeJxXRYfEoegKAUIF74B8R0oFpkZKtNXPWQ4lF3d173oRZfNg5Sq1cdS3UELAkGUGmSHnTaiNFBik9EghWxEK_qyq8u6K7BrW6VkpWvTVo2uWS3wBGS_z5FRjCsOZV3VZZ1ZUGjjlhcpHX7wTWVSXuMThmtRrtYpslpYiin-bpMo2S1oj868QXjZ78maB_7v-PrM_99X_vi2b_KHMfxl4368cWdrsMOf6ZkozasqtD8xOV6t9idfgn9Hfc3RNmBkctwJzoP8FQAA__89QPwY">