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

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

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

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

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

<pre>
    Testcase:
```c
_Bool a;
long long q;
char f;
char g;
char k[18];
int l[18];
int main() {
 for (int i = 0; i < 18; ++i)
    k[i] = l[i] = 7;
  for (signed i = 0; i < g + 18; i += 4) {
    int o = (_Bool)(l[i] ? k[i] : f / l[i]);
    a = a < o ? a : o;
  }
  q = a;
  __builtin_printf("%llu\n", q);
}
```

Commands:
```
# riscv
$ ./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
1

$ ./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
1

$ ./bin/clang -march=rv64gcv_zvl256b -flto -O1 ./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
0

# x86
$ ./native.out
0
```

Bisected to f044564db1cbc588d0cad4f953d38f6c787dadd4 as the first bad commit

Found via fuzzer


</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsVU2vozYU_TU3mysiYxtCFiySUKQuRtOv6RYZ2xB3DH4PG2aaX1_hJG_QvFW77UhRfHy499zrY7CF96YftS4hO0NW7cQcrm4q9Rc771qn_i7_0D5I4TWwE5AT5OT-k0BOzdk5iwLYGcjJurHH-Pd6J-RVTNhtcL_BnyE7pwVk1Z0zY0D7nhqEGYEWQI8Ih5XEzk0ItFgfGgRWIQF2jvCCabFioGegZwP0uMYjxlIGsiqG2-3kcK-ET9XohHov3K-iD3kTC7AK-aYrRFw7cjERaBGNWTugxaZgvW3lhB0Crd8aWqPZU0xEIRGLu5gpYop7hsChiuPrPfBJN007GxvM2LxMZgxd9I4CzaydIbuMcXLB17did523TV0xOV3cMIhR-e92fMWU4WS8XCLmuAdat-sW1dKKscdkEJO8AqumJee9XJrbYmmWt5h0NjhMPrKYMmm1l5g4nL2eEunGzvR7N4eH6q8_ffjUXH759NABelmsHoFVNMuBXqZlaYJohLVN6oFVYZr1gx7e08sG6q-h8S9aAquWdE-AXm6LZrT7FnJbdM6fcwxm0G4OmCSLnlrnNSafkexT3K78VQ9zEk3J-fcLwhTIKb27-p_8oj_8-ld-pf9Dv8jTL4Zfi3zj3CiCWfRj4eT9d342XsugFQaHHeE8y7lqU9nKrCgUkULx7pgxxYoul4fioIRSHIXHcNXYmckHbIVC6YbBhLti7eZR4WIEdvPtpqc7u1MlU0d2FDtdpgfOMloQznfXUuWCFYIxJpXKU8IJ75TgVGZasE7ybGdKSmhGOEnTAyWc7_UhT_Wx40euheBHDpzoQRi7t3YZ9m7qd8b7WZcpY0fOdla02vrn1TaVa1TSzr0HTqzxwX_LCybYeAn-9vPvl-TP9ZD-YLx0w4uxGt2Ij1cOv5hwxeQjZGfKVtV5suU1hJd4XNIaaN2bcJ3bvXQD0Hot8BiSl8n9pWUAWscuPdD60ehS0n8CAAD__-JfM-o">