diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-07-05 07:53:40 +0000 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-07-05 07:53:40 +0000 |
| commit | 40bbb77d4dfebff4f99c2f90b2c0db737b0ecc5a (patch) | |
| tree | b48e8ed73df5afe4df4f14b919a092200cb32a80 /results/classifier/mode-deepseek-r1:32b/output/user/653 | |
| parent | 55df9e6905dc57854bea8e34d1e71ea383eb0352 (diff) | |
| download | emulator-bug-study-40bbb77d4dfebff4f99c2f90b2c0db737b0ecc5a.tar.gz emulator-bug-study-40bbb77d4dfebff4f99c2f90b2c0db737b0ecc5a.zip | |
add deepseek classification results: classifies into user and system mode
Diffstat (limited to 'results/classifier/mode-deepseek-r1:32b/output/user/653')
| -rw-r--r-- | results/classifier/mode-deepseek-r1:32b/output/user/653 | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/results/classifier/mode-deepseek-r1:32b/output/user/653 b/results/classifier/mode-deepseek-r1:32b/output/user/653 new file mode 100644 index 00000000..60eede7d --- /dev/null +++ b/results/classifier/mode-deepseek-r1:32b/output/user/653 @@ -0,0 +1,61 @@ + + +Tricore: wrong implementation of OPC2_32_RCRW_IMASK and OPC2_32_RCRW_INSERT in target/tricore/translate.c +Description of problem: +The translation of the instructions is not done properly. +please check +https://www.infineon.com/dgdl/Infineon-TC2xx_Architecture_vol2-UM-v01_00-EN.pdf?fileId=5546d46269bda8df0169ca1bf33124a8 + +1) Implemented in target/tricore/translate.c as + switch (op2) { + case OPC2_32_RCRW_IMASK: + tcg_gen_andi_tl(temp, cpu_gpr_d[r4], 0x1f); + tcg_gen_movi_tl(temp2, (1 << width) - 1); + tcg_gen_shl_tl(cpu_gpr_d[r3 + 1], temp2, temp); + tcg_gen_movi_tl(temp2, const4); + tcg_gen_shl_tl(cpu_gpr_d[r3], temp2, temp); + break; + case OPC2_32_RCRW_INSERT: + temp3 = tcg_temp_new(); + + tcg_gen_movi_tl(temp, width); + tcg_gen_movi_tl(temp2, const4); + tcg_gen_andi_tl(temp3, cpu_gpr_d[r4], 0x1f); + gen_insert(cpu_gpr_d[r3], cpu_gpr_d[r1], temp2, temp, temp3); + + tcg_temp_free(temp3); + break; + +2) Should be + case OPC2_32_RCRW_IMASK: + tcg_gen_andi_tl(temp, cpu_gpr_d[r3], 0x1f); + tcg_gen_movi_tl(temp2, (1 << width) - 1); + tcg_gen_shl_tl(cpu_gpr_d[r4 + 1], temp2, temp); + tcg_gen_movi_tl(temp2, const4); + tcg_gen_shl_tl(cpu_gpr_d[r4], temp2, temp); + break; + case OPC2_32_RCRW_INSERT: + temp3 = tcg_temp_new(); + + tcg_gen_movi_tl(temp, width); + tcg_gen_movi_tl(temp2, const4); + tcg_gen_andi_tl(temp3, cpu_gpr_d[r3], 0x1f); + gen_insert(cpu_gpr_d[r4], cpu_gpr_d[r1], temp2, temp, temp3); + + tcg_temp_free(temp3); + break; +From encoding point of view d4 is target and not source. +Assumption is here misleading swap of d3 and d4. + + +Detected: +testsuite libstdc++ 9.1.0 delta analysis of Infineon Instruction Set Simulator vs. qemu-system-tricore +fix from 2) is successfull + +Confidence Level for bugfix high. +Is according to spec. and in line with reference Instruction Set Simulator from Infineon. + +Motivation +Reexecution of gcc/g++/libstdc++ testsuites with qemu + +I honor the implementation work which was done by bkoppelmann, vo_lumit@gmx.de |