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

    <tr>
        <th>Summary</th>
        <td>
            Clang emits not the smallest code with `-Os` for `(unsigned)x >> C1 == C2`
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

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

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

<pre>
    ```c
unsigned int pred2_rshift(unsigned int x) {
    return (x >> 11) == 0x1B;
    // 0x1B == (0xD800 >> 11);
}
unsigned int pred2_bitand(unsigned int x) {
 return (x &= ~0x7FF) == 0xD800;
}
```

When tested on Compiler Explorer, x86-64 clang 19.1.0, with `-Os` option, `pred2_rshift` translates to `pred2_bitand` which is slightly larger code.

My expected result is the right shift should be used, as I specify `-Os` I expect smallest code size.

Note: The example code is part of [a report I reported to GCC](https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115529). When checking whether an integer is in a specified range, and the range happens to be aligned to a power of two, then all of these comparisons can do the same thing:

```c
unsigned int pred2(unsigned int x) {
    return x >= 0xD800 && x <= 0xDFFF;
}
unsigned int pred2_sub(unsigned int x) {
    return (x - 0xD800) <= (0xDFFF - 0xD800);
}
unsigned int pred2_bitand(unsigned int x) {
    return (x &= ~0x7FF) == 0xD800;
}
unsigned int pred2_bitor(unsigned int x) {
    return (x |= 0x7FF) == 0xDFFF;
}
unsigned int pred2_rshift(unsigned int x) {
    return (x >>= 11) == (0xD800 >> 11);
}
unsigned int pred2_div(unsigned int x) {
    return (x / 0x800) == (0xD800 / 0x800);
}
```

While Clang can recognize _all_ of these as equivalent (good job, by the way), it made a strange decision on which code to emit. While I can't tell which one is best for speed (performance), I can figure out which one is the smallest size.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJykVU1v4zYQ_TX0ZRCDomx9HHRI7FWRQ9tLgR4DShxL3FKkSlKxnUN_e0FKjuN0sdlsAQMWyBm-mcd5j9w52WnEimwfyHa_4pPvja2-nEZlLFparhojzhXJ6PxrCb2fdMwRILWH0aJgT9b18uAJK272ToSVQPIHQu8BACz6yWogrDgBSb-Q9AskSQxJ9yTdAz0lDyS9RBNWE1bHxUsAYQU97QtKb9LnFJLvv11aIz3X4nul3dTFsoD0Dz3ldX1TW8B9C_VKSfim93_2qMGj8yjAaNiZYZQKLVyYJGwHpyK7yzbQKq47SMp1sqZh-Sh9DySjd787klEwo5dGhw2S0Rt6Mwrecu0U9-jAm2vA0mRG4djLtgfpwCnZ9V6dQXHboYXWCFzPtf56BjyN2IZaLbpJ-ZDgewQbciCigevNpAQ0CJNDEerhDh7BjdjKw_lNwY_LaeAGrhQ6H7HAyZcL4G_GI0nv4Y8eAU98GBXOMdLByK0HcwCyfeBgcTTWw-PygSJ0-ctuR7Z7wore-9GR9H4eja5t152e1sZ2hNXN1L1IpThhtevN8amZunXbSZLWUpB0nyTbLSsJK9cQb6rtsf1L6g6OPfoeLXAd5gIDU9KB1MCXTmUgiesOIwNazDyFBej5OKKON9EgcDWPlzfAYTRHtKEtfzQh0QdQrlRc6tGF_oeRW-mMdtByDcLEkx0fEHwvdRcajex9IL4fU90iucskx0FnWVzeLct1XX-gJTc1n9D43UU1UUa7q4Lrun67-b8F_N5bfljD30Yz9jNg-ULff7A-pvMnXTOcf2OcP-WLQj5_itNgxa-X-R72ze53PVIqhF20vzDyFlvTafmC8MSVerpqgzvAvyf5zBVqH3A6YwR8NU2QUnOOQjnyc0BjO5AeBi4wKNbPwhTYSieNDk48G2J0G28AB-mDBYRCHkMRhOUePCq1BBodXakJNnYwNpgAilDCiPZg7MB1iwtuzIeD7CaLYCZ_e0IU88UQoxeuRJWKMi35Cqsk3yS0SIoiX_VVm-ebvG0POUMqspzlmJcpz2jeiOSwKdhKVoyyLU3phpbbhOXrhpZ5KYpNyvkhL_mGbCgOXKq1Us9DcMSVdG7CKmFllmcrxRtU7vLG2ypE3TVT58iGKum8u-Z56RVW8x0Fshxo42-biVy-e7QCVeGerxNFWPn6zO-Sy8zsGMnoarKqemfm0vdTs27NQFgdiln-7kZrvmLrCatjR46wemnquWL_BgAA__88Eqdu">