diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-07-08 13:28:15 +0200 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-07-08 13:28:28 +0200 |
| commit | 5aa276efcbd67f4300ca1a7f809c6e00aadb03da (patch) | |
| tree | 9b8f0e074014cda8d42f5a97a95bc25082d8b764 /results/classifier/zero-shot-user-mode/output/instruction/2971 | |
| parent | 1a3c4faf4e0a25ed0b86e8739d5319a634cb9112 (diff) | |
| download | qemu-analysis-5aa276efcbd67f4300ca1a7f809c6e00aadb03da.tar.gz qemu-analysis-5aa276efcbd67f4300ca1a7f809c6e00aadb03da.zip | |
restructure results
Diffstat (limited to 'results/classifier/zero-shot-user-mode/output/instruction/2971')
| -rw-r--r-- | results/classifier/zero-shot-user-mode/output/instruction/2971 | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/results/classifier/zero-shot-user-mode/output/instruction/2971 b/results/classifier/zero-shot-user-mode/output/instruction/2971 deleted file mode 100644 index 9d9b4ed13..000000000 --- a/results/classifier/zero-shot-user-mode/output/instruction/2971 +++ /dev/null @@ -1,50 +0,0 @@ -instruction: 0.525 -runtime: 0.324 -syscall: 0.151 - - - -loongarch64 crashes caused by lenient instruction decoding of vldi and xvldi -Description of problem: -Lenient instruction decoding of `vldi` and `xvldi` leads to Qemu crashes. - -The decoding of `vldi` and `xvldi` instruction allows for instructions with illegal immediates. - -`target/loongarch/insns.decode`: - -``` -vldi 0111 00111110 00 ............. ..... @v_i13 -xvldi 0111 01111110 00 ............. ..... @v_i13 -``` - -This is considered in `target/loongarch/tcg/insn_trans/trans_vec.c.inc`: - -```C - /* - * imm bit [11:8] is mode, mode value is 0-12. - * other values are invalid. - */ -``` - -However, an assertion error is raised when this condition is violated and qemu crashes: - -``` -** -ERROR:target/loongarch/insn_trans/trans_vec.c.inc:3574:vldi_get_value: code should not be reached -Bail out! ERROR:target/loongarch/insn_trans/trans_vec.c.inc:3574:vldi_get_value: code should not be reached -``` - -On hardware (Loongson 3A5000), these instructions cause a SIGILL. -Steps to reproduce: -1. compile the `test_inv_vldi` test program for loongarch64 (see additional information) -2. run `qemu-loongarch64-static ./test_inv_vldi` -Additional information: -I will post a patch for this issue to the mailing list soon. - -`test_inv_vldi` source code: - -```C -int main(int argc, char** argv) { - asm volatile(".4byte 0x73e3a000"); -} -``` |