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

    <tr>
        <th>Summary</th>
        <td>
            [RISC-V] Miscompile at -O2
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          patrick-rivos
      </td>
    </tr>
</table>

<pre>
    Testcase:
```c
int printf(const char *, ...);
long a;
short b = 2;
char c(unsigned char d, unsigned char e) { return e == 0 ?: d % e; }
int main() {
  char f;
  a = 1;
  f = c(0 <= 7, b);
  a ^= f;
  printf("%lX\n", a);
}
```

Commands:
```bash
> /scratch/tc-testing/tc-mar-5-llvm-slp-ice-2/build/bin/clang -O2 red.c -o red.out
> /scratch/tc-testing/tc-mar-4-llvm/build/bin/qemu-riscv64 red.out
FFFFFFFFFFFFFFFE
> /scratch/tc-testing/tc-mar-5-llvm-slp-ice-2/build/bin/clang red.c -o red.out
> /scratch/tc-testing/tc-mar-4-llvm/build/bin/qemu-riscv64 red.out
0
```

`-opt-bisect-limit` points to `Type Promotion on function (main)`

This is a recent regression.
Known good hash: 083d8aa03aca55b88098a91e41e41a8e321a5721
Known bad hash: 8f79cdd8da97c131ae7d8a3210bb69cb6654903d

Found via fuzzer
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy8VF2L6zYQ_TXjl8FBlvwhP_ghm6yhlNLSLqWvY0mJ1dpSKsl7uffXF9tLNtuFQqE0iFhzpDlzpJkRxWivzpgOqieozhktafShu1EKVv2RB_vqYzZ4_bV7MTEpigbEEdgZ2BFqtg-129YlvAXr0gW4VN7FhGqkgMCPwE94OByAtyCe9t2Td1ekuxlHHxIOCOKM_I5u_gq4XNwmU--MeuX7CBngLULzhMGkJTg0K9NKxhBED-KIGoFXaEA8ITTnd8kzWQdcvvnvOO6kl7sQRNqkFQ_IZUNWdWuM02o0q7Dh8ZibY_W8Lj6y3e8JOAdeTb9BdXLb_IT06H-Xer_tN3P7P_l5Jqfj55wMFMc3SDwj8D6qQEmNwPuk8mRisu66GzOFvMqn6XXO43TLrTI5B94Pi530-l2vp1cTuSvmP3IMRh8U5n6b-CX9iyjlFuUT959mXvJgo3qty4-s_cff839_ov_zNOwfMgk1y_0t5YONRqV8srNNUDO8eetSxOQRavby9Wbwp-Bnn6x36B1eFqe2OXC5F3L7N-KX0Ua0EQmDUcYlDOYaTIzWu8O-43vnvzi8eq9xXKtGHJFJoSURE6SoqgYpWSupLUy5DpJG8IKqhhePBAO9-8tL0yqtpaa2UYUoyDRakuAFG4a6VUNdV2XLhH4U2vvFaXy1hJfl2zcTMt0J3YqWMtMVDWulKFlZZ2MniV0kGWoHUlVba1JyaOum0Je2FhddZLbjjJdMsKZoqpLVh6Fty6rghRyUKiRnUDIzk50OawIPPlwzG-NiOlmKimUTDWaK24PIuTNfcFtcm7M6Z6HbympYrhFKNtmY4jtLsmnaXtKfv_vllP8K1Rl_sFH5-WYng5TW_smWMHVjSretaXkPvL_aNC7DQfm1mN5qaotyC_53oxLwfpMQgfebxL8CAAD__175qO4">