qemu-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Qemu-devel] Fwd: Patch: fix to gen_mcrxr() in target-ppc/translate.c


From: Sorav Bansal
Subject: [Qemu-devel] Fwd: Patch: fix to gen_mcrxr() in target-ppc/translate.c
Date: Wed, 11 Jun 2014 13:31:38 +0530

[I had posted to qemu-ppc list earlier, reposting to qemu-devel also
on being suggested to do so. Also adding some description about the
patch]

Hi,

I saw a minor bug in the gen_mcrxr() function in
target-ppc/translate.c. Here is the patch for your consideration. I
have verified the patch by checking the generated code using a
SAT-solver based verification tool.

thanks,
Sorav

Patch Description:
As I see it, the XER[SO], XER[OV], and XER[CA] flags are stored in the
least significant bit (bit 0) of their respective registers. They need
to be shifted left (by their respective offsets) to generate the final
XER value. The old code seemed to be assuming that  the flags are
stored in bit 2, and was shifting them right (by their respective
offsets), which seems incorrect.

>From 31f39e258cbb289c2e0a3c3adde87cde7ae02a15 Mon Sep 17 00:00:00 2001
From: Sorav Bansal <address@hidden>
Date: Tue, 10 Jun 2014 19:01:12 +0530
Subject: [PATCH] Fix to the translation of mcrxr instruction

---
 target-ppc/translate.c |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/target-ppc/translate.c b/target-ppc/translate.c
index f089014..b513998 100644
--- a/target-ppc/translate.c
+++ b/target-ppc/translate.c
@@ -4147,8 +4147,8 @@ static void gen_mcrxr(DisasContext *ctx)
     tcg_gen_trunc_tl_i32(t0, cpu_so);
     tcg_gen_trunc_tl_i32(t1, cpu_ov);
     tcg_gen_trunc_tl_i32(dst, cpu_ca);
-    tcg_gen_shri_i32(t0, t0, 2);
-    tcg_gen_shri_i32(t1, t1, 1);
+    tcg_gen_shli_i32(dst, dst, 2);
+    tcg_gen_shli_i32(t1, t1, 1);
     tcg_gen_or_i32(dst, dst, t0);
     tcg_gen_or_i32(dst, dst, t1);
     tcg_temp_free_i32(t0);
--
1.7.9.5



reply via email to

[Prev in Thread] Current Thread [Next in Thread]