aboutsummaryrefslogtreecommitdiff
path: root/ppc64.risu
diff options
context:
space:
mode:
authorJose Ricardo Ziviani <joserz@linux.vnet.ibm.com>2017-02-04 00:17:16 -0200
committerPeter Maydell <peter.maydell@linaro.org>2017-02-07 13:13:28 +0000
commit282686eeb729be6f7e52cccffca23e1fb6c46b93 (patch)
treef0ce5632e982df8e618c40f00bd4d7ebbefc456a /ppc64.risu
parent4bc854b249d9375771a07e4f1f45618b2779a58e (diff)
risu_ppc64le: improve xsrqpi[x] and xsrqpxp instructions
New constraint added to the referred instructions in order to avoid generation of reserved (not used today) rounding modes for floating point operations. Signed-off-by: Jose Ricardo Ziviani <joserz@linux.vnet.ibm.com> Message-id: 1486174642-14883-2-git-send-email-joserz@linux.vnet.ibm.com Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'ppc64.risu')
-rw-r--r--ppc64.risu9
1 files changed, 6 insertions, 3 deletions
diff --git a/ppc64.risu b/ppc64.risu
index 7b2bfe3..f7fa3f4 100644
--- a/ppc64.risu
+++ b/ppc64.risu
@@ -3019,12 +3019,15 @@ XSREDP PPC64LE 111100 t:5 00000 b:5 00101 1010 bx:1 tx:1
XSRESP PPC64LE 111100 t:5 00000 b:5 00001 1010 bx:1 tx:1
# format:Z23 book:I page:636 v3.0 xsrqpi[x] VSX Scalar Round QP to Integral
-XSRQPI PPC64LE 111111 vrt:5 0000 r:1 vrb:5 rmc:2 000001010
+XSRQPI PPC64LE 111111 vrt:5 0000 r:1 vrb:5 rmc:2 000001010 \
+!constraints { ($r == 0 && ($rmc != 1 && $rmc != 2)) || $r == 1; }
# format:Z23 book:I page:636 v3.0 xsrqpi[x] VSX Scalar Round QP to Integral
-XSRQPIx PPC64LE 111111 vrt:5 0000 r:1 vrb:5 rmc:2 000001011
+XSRQPIx PPC64LE 111111 vrt:5 0000 r:1 vrb:5 rmc:2 000001011 \
+!constraints { ($r == 0 && ($rmc != 1 && $rmc != 2)) || $r == 1; }
# format:Z23 book:I page:638 v3.0 xsrqpxp VSX Scalar Round QP to XP
-XSRQPXP PPC64LE 111111 vrt:5 0000 r:1 vrb:5 rmc:2 001001010
+XSRQPXP PPC64LE 111111 vrt:5 0000 r:1 vrb:5 rmc:2 001001010 \
+!constraints { ($r == 0 && ($rmc != 1 && $rmc != 2)) || $r == 1; }
# format:XX2 book:I page:640 v2.07 xsrsp VSX Scalar Round DP to SP
XSRSP PPC64LE 111100 t:5 00000 b:5 10001 1001 bx:1 tx:1