From 33041338ca03e3bf4f56dc59a1d38e1b7aa6232c Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 31 May 2012 08:17:28 +0000
Subject: checklink: fixed FSQRTEx parsing

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1906 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 checklink/PPC_parsers.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checklink')

diff --git a/checklink/PPC_parsers.ml b/checklink/PPC_parsers.ml
index 192c14a..5fb8c2d 100644
--- a/checklink/PPC_parsers.ml
+++ b/checklink/PPC_parsers.ml
@@ -141,7 +141,7 @@ let parse_instr bs =
     -> FRESx(d, b, rc)
   | { 63:6; d:5;    0:5;    b:5;    12:10;  rc:1 }
     -> FRSPx(d, b, rc)
-  | { 63:6; d:5;    0:5;    b:5;    0:5;    22:5;   rc:1 }
+  | { 63:6; d:5;    0:5;    b:5;    0:5;    26:5;   rc:1 }
     -> FRSQRTEx(d, b, rc)
   | { 63:6; d:5;    a:5;    b:5;    c:5;    23:5;   rc:1 }
     -> FSELx(d, a, b, c, rc)
-- 
cgit v1.2.3