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

    <tr>
        <th>Summary</th>
        <td>
            [RISC-V] Miscompile on rv64gcv with -O[23]
        </td>
    </tr>

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

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

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

<pre>
    Testcase:
```c
short a[12];
short b[12];
long long al;
int f;
short m = 31554;
long long q[12];
int main() {
  for (int i = 0; i < 2; ++i)
    q[i] = 6;
  for (short i = 0; i < 12; i += m - 31553) {
    a[i] = q[i];
    b[i] = f > q[i];
  }
  for (int i = 0; i < 12; ++i)
    al += a[i];
  for (int i = 0; i < 2; ++i)
    al += b[i];
  __builtin_printf("%llu\n", al);
}
```

Commands:
```
# riscv
$ ./bin/clang -march=rv64gcv_zvl256b -flto -O2 red.c -o user-config.out
$ QEMU_CPU=rv64,vlen=256,rvv_ta_all_1s=true,rvv_ma_all_1s=true,v=true,vext_spec=v1.0,zve32f=true,zve64f=true timeout --verbose -k 0.1 4 ./bin/qemu-riscv64 user-config.out 1
10

$ ./bin/clang -march=rv64gcv_zvl256b -flto -O3 red.c -o user-config.out
$ QEMU_CPU=rv64,vlen=256,rvv_ta_all_1s=true,rvv_ma_all_1s=true,v=true,vext_spec=v1.0,zve32f=true,zve64f=true timeout --verbose -k 0.1 4 ./bin/qemu-riscv64 user-config.out 1
10

# x86
$ ./native.out 1
12
```

Godbolt: https://godbolt.org/z/7hMW6eerT

Bisected to 9b7282e545d5e47315e3ffb9e5e00d0fb547c8e3 as the first bad commit

Found via fuzzer
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkVU-vozYQ_zSTy4jIHmMIBw5JWKoenrZ_dttjZMAkbg1-iw1vm09fQfLysnmVqva6EjLj-fPzzG9GtvLeHHutc5A7kMVKjeHkhly_2HFVueav_JP2oVZeg9gC20LCLl8NbOtPbgioQO44gSxA7G7K6luldf0Rl0XZi8b0Adv7iA5BFCi4lPFjzJdvwebQTpkeaAOUIaSzErF1AwJtZqtZsBiI3SLukWYRaAe0M0DZ4o8LrgFZLN7JBfyGc8nqHRKnq0y72dJhtOQs7jPBhZMb8usxrwfgws7N3CKID--cIC3-tSr-z2Up-5qdegD97xS9YVUPWIdDNRobTH94Hkwf2qUbBCStHUHu-2Wzn_tN2SXmUtJtgmaZbfeu61Tf-IfxmmUSOBhfT4sc4xqorOaul7VV_RGjTg31CUQxTEl8rKfDebIkkwqj1gaH0UfCQTfrGiOHo9dDVLu-Nce1G8MV8ecPT58P-58-XzGA9pPVPYiCZAK0H6bpENRBWXvgHkQRhlFf1d179XQn6q_h4J91DaKY-JoB7c-TFtS-uZwnncSvewym024MGEWTHirnNUZ_IltzvK_6i-7GaCEkiR8LQg5sy6-U_i-yxHdLlsCvm-SOtl4FM-k3R3o_tD-4pnI2gNjiKYTnZXipBCqPF8PaDUeg8gxUpqen3xOth0-XyJ3xug66weAwq1LakJaxbKSOU8GlFm1bZVpqxhrWVjJO640WqDyGk8bWDD5gpRqsXdeZcEEs3dg3OBmF7Xg-62HV5KLJRKZWOudpTDFLY8ZWp1w2MquoadKYRKt5pnjFkzarWpUmvGZyZXJiJJngGd_M65qSmm9YKlOqiScNh5jpThm7tnbq5hpXxvtR51wQS_nKqkpbvzwkRL1-wcU63wOyWA35HBRV49FDzKzxwb_BBBPs8gL98uOv--i3-WZ8Mr523bOxGl2P16nFFxNOGH0EuSMxo46DzR86YMJprNa164DK-YDrL3oe3B-6DkDlkpYHKq95Tzn9HQAA__8bCgFj">