commit 12b0bca02bf8e8b4910fff962b7c050bc62ff218
author florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Wed Sep 05 20:05:20 2012 +0000
committer florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Wed Sep 05 20:05:20 2012 +0000
tree 6c4bbf9ba463fcc1441980151070ff7de0ea79e6
parent db4fcaa0f01071042f1669936469ff1c5cd9969e

s390: The load-rounded insns also need to issue an emulation
warning when the floating point extension is not present and
m3 != 0.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2515 8f6e269a-dfd6-0310-a8e1-e2731360e62c

priv/guest_s390_toIR.c

diff --git a/priv/guest_s390_toIR.c b/priv/guest_s390_toIR.c
index aaf2cab..0be8233 100644
--- a/priv/guest_s390_toIR.c
+++ b/priv/guest_s390_toIR.c
@@ -8668,6 +8668,10 @@
 s390_irgen_LEDBR(UChar m3, UChar m4 __attribute__((unused)),
                  UChar r1, UChar r2)
 {
+   if (! s390_host_has_fpext && m3 != S390_ROUND_PER_FPC) {
+      emulation_warning(EmWarn_S390X_fpext_rounding);
+      m3 = S390_ROUND_PER_FPC;
+   }
    IRTemp op = newTemp(Ity_F64);
 
    assign(op, get_fpr_dw0(r2));
@@ -10652,6 +10656,10 @@
 s390_irgen_LDXBR(UChar m3, UChar m4 __attribute__((unused)),
                  UChar r1, UChar r2)
 {
+   if (! s390_host_has_fpext && m3 != S390_ROUND_PER_FPC) {
+      emulation_warning(EmWarn_S390X_fpext_rounding);
+      m3 = S390_ROUND_PER_FPC;
+   }
    IRTemp result = newTemp(Ity_F64);
 
    assign(result, binop(Iop_F128toF64, mkexpr(encode_bfp_rounding_mode(m3)),
@@ -10665,6 +10673,10 @@
 s390_irgen_LEXBR(UChar m3, UChar m4 __attribute__((unused)),
                  UChar r1, UChar r2)
 {
+   if (! s390_host_has_fpext && m3 != S390_ROUND_PER_FPC) {
+      emulation_warning(EmWarn_S390X_fpext_rounding);
+      m3 = S390_ROUND_PER_FPC;
+   }
    IRTemp result = newTemp(Ity_F32);
 
    assign(result, binop(Iop_F128toF32, mkexpr(encode_bfp_rounding_mode(m3)),