1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
id = 1441
title = "Assertion failure when executing RISC-V vfncvt.rtz.x.f.w instruction"
state = "closed"
created_at = "2023-01-13T22:10:02.691Z"
closed_at = "2023-01-17T17:39:50.962Z"
labels = ["Closed::Duplicate", "accel: TCG", "target: riscv"]
url = "https://gitlab.com/qemu-project/qemu/-/issues/1441"
host-os = "RHEL 8.6"
host-arch = "x86"
qemu-version = "7.2.50"
guest-os = "n/a"
guest-arch = "RISC-V"
description = """When emulating the `vfncvt.rtz.x.f.w` instruction, QEMU crashes with an assertion failure at `target/riscv/translate.c:211`, complaining that ```decode_save_opc: Assertion `ctx->insn_start != NULL' failed.```
It appears this problem first emerged with https://gitlab.com/qemu-project/qemu/-/commit/a9814e3e08d2aacbd9018c36c77c2fb652537848"""
reproduce = """The following C program triggers the assertion failure when built a sufficiently recent version of the Clang cross compiler (in my case 15.0.6):
```
/* test.c */
#include <riscv_vector.h>
#define LEN 4
int main(int argc, char *argv[]) {
double in[LEN];
int out[LEN];
vfloat64m1_t vf = vle64_v_f64m1(in, LEN);
vint32mf2_t vi = vfncvt_rtz_x_f_w_i32mf2(vf, LEN);
vse32_v_i32mf2(out, vi, LEN);
return 0;
}
```
The above `test.c` can be compiled and run as follows:
```
clang -O3 -march=rv64gcv -static test.c
qemu-riscv64 -cpu "rv64,zba=true,zbb=true,zbc=true,zbs=true,v=true,vlen=512,elen=64,vext_spec=v1.0" a.out
qemu-riscv64: ../target/riscv/translate.c:211: decode_save_opc: Assertion `ctx->insn_start != NULL' failed.
Segmentation fault (core dumped)
```"""
additional = """"""
|