From: Julian Seward <jseward@acm.org>
Date: Tue, 21 Feb 2006 17:43:20 +0000 (+0000)
Subject: Re-enable 'fsqrt'.  This isn't really correct in the sense that the
X-Git-Tag: svn/VALGRIND_3_1_1^2~15
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6fb4fede4b5a6ece913c0df01a2a428bbe6e905c;p=thirdparty%2Fvalgrind.git

Re-enable 'fsqrt'.  This isn't really correct in the sense that the
insn is allowed even if the CPU doesn't support it.  No matter; it
is done properly in the svn trunk (to become 3.2.0).


git-svn-id: svn://svn.valgrind.org/vex/branches/VEX_3_1_BRANCH@1575
---

diff --git a/VEX/priv/guest-ppc32/toIR.c b/VEX/priv/guest-ppc32/toIR.c
index c436c591b1..622a6dd950 100644
--- a/VEX/priv/guest-ppc32/toIR.c
+++ b/VEX/priv/guest-ppc32/toIR.c
@@ -4419,15 +4419,15 @@ static Bool dis_fp_arith ( UInt theInstr )
          assign( frD, binop( Iop_AddF64, mkexpr(frA), mkexpr(frB) ) );
          break;
 
-//zz       case 0x16: // fsqrt (Floating SqRt (Double-Precision), PPC32 p427)
-//zz          if (frA_addr != 0 || frC_addr != 0) {
-//zz             vex_printf("dis_fp_arith(PPC32)(instr,fsqrt)\n");
-//zz             return False;
-//zz          }
-//zz          DIP("fsqrt%s fr%d,fr%d\n", flag_rC ? "." : "",
-//zz              frD_addr, frB_addr);
-//zz          assign( frD, unop( Iop_SqrtF64, mkexpr(frB) ) );
-//zz          break;
+      case 0x16: // fsqrt (Floating SqRt (Double-Precision), PPC32 p427)
+         if (frA_addr != 0 || frC_addr != 0) {
+            vex_printf("dis_fp_arith(PPC32)(instr,fsqrt)\n");
+            return False;
+         }
+         DIP("fsqrt%s fr%d,fr%d\n", flag_rC ? "." : "",
+              frD_addr, frB_addr);
+         assign( frD, unop( Iop_SqrtF64, mkexpr(frB) ) );
+         break;
 
       case 0x17: { // fsel (Floating Select, PPC32 p426)
          IRTemp cc    = newTemp(Ity_I32);