summary refs log tree commit diff stats
path: root/results/classifier/mode-deepseek-r1:32b/output/user/653
diff options
context:
space:
mode:
authorChristian Krinitsin <mail@krinitsin.com>2025-07-05 07:53:40 +0000
committerChristian Krinitsin <mail@krinitsin.com>2025-07-05 07:53:40 +0000
commit40bbb77d4dfebff4f99c2f90b2c0db737b0ecc5a (patch)
treeb48e8ed73df5afe4df4f14b919a092200cb32a80 /results/classifier/mode-deepseek-r1:32b/output/user/653
parent55df9e6905dc57854bea8e34d1e71ea383eb0352 (diff)
downloademulator-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/65361
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