commit 606dbeb1dadcc6421b38766e7e5e5dfaf8f7aaca
author florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Sun Sep 09 18:12:28 2012 +0000
committer florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Sun Sep 09 18:12:28 2012 +0000
tree b9665e5653829a9cd565c4cc418e5e6aeec140f4
parent be927ba1bef0b3a8493b49a10343a2ab88bab3bf

s390: Add asserts to s390_emit_XYZ functions for convert-to/from-logical.
This should have been part of r2496 when those functions were added.


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

priv/host_s390_defs.c

diff --git a/priv/host_s390_defs.c b/priv/host_s390_defs.c
index 658b153..1cf0c78 100644
--- a/priv/host_s390_defs.c
+++ b/priv/host_s390_defs.c
@@ -3242,6 +3242,9 @@
 static UChar *
 s390_emit_CELFBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, FPR, UINT, GPR, UINT), "celfbr", r1, m3, r2, m4);
 
@@ -3252,6 +3255,9 @@
 static UChar *
 s390_emit_CDLFBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, FPR, UINT, GPR, UINT), "cdlfbr", r1, m3, r2, m4);
 
@@ -3262,6 +3268,9 @@
 static UChar *
 s390_emit_CXLFBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, FPR, UINT, GPR, UINT), "cxlfbr", r1, m3, r2, m4);
 
@@ -3272,6 +3281,9 @@
 static UChar *
 s390_emit_CELGBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, FPR, UINT, GPR, UINT), "celgbr", r1, m3, r2, m4);
 
@@ -3282,6 +3294,9 @@
 static UChar *
 s390_emit_CDLGBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, FPR, UINT, GPR, UINT), "cdlgbr", r1, m3, r2, m4);
 
@@ -3292,6 +3307,9 @@
 static UChar *
 s390_emit_CXLGBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, FPR, UINT, GPR, UINT), "cxlgbr", r1, m3, r2, m4);
 
@@ -3302,6 +3320,9 @@
 static UChar *
 s390_emit_CLFEBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, GPR, UINT, FPR, UINT), "clfebr", r1, m3, r2, m4);
 
@@ -3312,6 +3333,9 @@
 static UChar *
 s390_emit_CLFDBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, GPR, UINT, FPR, UINT), "clfdbr", r1, m3, r2, m4);
 
@@ -3322,6 +3346,9 @@
 static UChar *
 s390_emit_CLFXBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, GPR, UINT, FPR, UINT), "clfxbr", r1, m3, r2, m4);
 
@@ -3332,6 +3359,9 @@
 static UChar *
 s390_emit_CLGEBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, GPR, UINT, FPR, UINT), "clgebr", r1, m3, r2, m4);
 
@@ -3342,6 +3372,9 @@
 static UChar *
 s390_emit_CLGDBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, GPR, UINT, FPR, UINT), "clgdbr", r1, m3, r2, m4);
 
@@ -3352,6 +3385,9 @@
 static UChar *
 s390_emit_CLGXBR(UChar *p, UChar m3, UChar m4, UChar r1, UChar r2)
 {
+   vassert(m4 == 0);
+   vassert(s390_host_has_fpext);
+
    if (UNLIKELY(vex_traceflags & VEX_TRACE_ASM))
       s390_disasm(ENC5(MNM, GPR, UINT, FPR, UINT), "clgxbr", r1, m3, r2, m4);