|
From: <sv...@va...> - 2013-02-07 03:29:43
|
florian 2013-02-07 03:28:52 +0000 (Thu, 07 Feb 2013)
New Revision: 2677
Log:
s390: Fix debugging output in IR injection.
Modified files:
trunk/priv/ir_inject.c
Modified: trunk/priv/ir_inject.c (+2 -2)
===================================================================
--- trunk/priv/ir_inject.c 2013-02-02 22:58:25 +00:00 (rev 2676)
+++ trunk/priv/ir_inject.c 2013-02-07 03:28:52 +00:00 (rev 2677)
@@ -140,7 +140,7 @@
/* Store a value to memory. If a value requires more than 8 bytes a series
- of 8-byte loads will be generated. */
+ of 8-byte stores will be generated. */
static void __inline__
store(IRSB *irsb, IREndness endian, HWord haddr, IRExpr *data)
{
@@ -251,7 +251,7 @@
if (0) {
vex_printf("BEGIN inject\n");
- if (sizeofIRType(iricb.t_result) <= 8) {
+ if (iricb.t_result == Ity_I1 || sizeofIRType(iricb.t_result) <= 8) {
ppIRStmt(irsb->stmts[irsb->stmts_used - 1]);
} else if (sizeofIRType(iricb.t_result) == 16) {
ppIRStmt(irsb->stmts[irsb->stmts_used - 2]);
|