|
 |
de7a086 |
diff --git a/VEX/priv/guest_ppc_toIR.c b/VEX/priv/guest_ppc_toIR.c
|
|
|
de7a086 |
index c9c058a7a..d726d63de 100644
|
|
|
de7a086 |
--- a/VEX/priv/guest_ppc_toIR.c
|
|
|
de7a086 |
+++ b/VEX/priv/guest_ppc_toIR.c
|
|
|
de7a086 |
@@ -25671,49 +25671,29 @@ dis_vx_store ( UInt prefix, UInt theInstr )
|
|
|
de7a086 |
|
|
|
de7a086 |
case 0x38D: // stxsibx
|
|
|
de7a086 |
{
|
|
|
de7a086 |
- IRExpr *stored_word;
|
|
|
de7a086 |
- IRTemp byte_to_store = newTemp( Ity_I64 );
|
|
|
de7a086 |
+ IRTemp byte_to_store = newTemp( Ity_I8 );
|
|
|
de7a086 |
|
|
|
de7a086 |
DIP("stxsibx %u,r%u,r%u\n", (UInt)XS, rA_addr, rB_addr);
|
|
|
de7a086 |
|
|
|
de7a086 |
- /* Can't store just a byte, need to fetch the word at EA merge data
|
|
|
de7a086 |
- * and store.
|
|
|
de7a086 |
- */
|
|
|
de7a086 |
- stored_word = load( Ity_I64, mkexpr( EA ) );
|
|
|
de7a086 |
- assign( byte_to_store, binop( Iop_And64,
|
|
|
de7a086 |
+ assign( byte_to_store, unop( Iop_64to8,
|
|
|
de7a086 |
unop( Iop_V128HIto64,
|
|
|
de7a086 |
- mkexpr( vS ) ),
|
|
|
de7a086 |
- mkU64( 0xFF ) ) );
|
|
|
de7a086 |
+ mkexpr( vS ) ) ) );
|
|
|
de7a086 |
|
|
|
de7a086 |
- store( mkexpr( EA ), binop( Iop_Or64,
|
|
|
de7a086 |
- binop( Iop_And64,
|
|
|
de7a086 |
- stored_word,
|
|
|
de7a086 |
- mkU64( 0xFFFFFFFFFFFFFF00 ) ),
|
|
|
de7a086 |
- mkexpr( byte_to_store ) ) );
|
|
|
de7a086 |
+ store( mkexpr( EA ), mkexpr( byte_to_store ) );
|
|
|
de7a086 |
break;
|
|
|
de7a086 |
}
|
|
|
de7a086 |
|
|
|
de7a086 |
case 0x3AD: // stxsihx
|
|
|
de7a086 |
{
|
|
|
de7a086 |
- IRExpr *stored_word;
|
|
|
de7a086 |
- IRTemp byte_to_store = newTemp( Ity_I64 );
|
|
|
de7a086 |
+ IRTemp hword_to_store = newTemp( Ity_I16 );
|
|
|
de7a086 |
|
|
|
de7a086 |
DIP("stxsihx %u,r%u,r%u\n", (UInt)XS, rA_addr, rB_addr);
|
|
|
de7a086 |
|
|
|
de7a086 |
- /* Can't store just a halfword, need to fetch the word at EA merge data
|
|
|
de7a086 |
- * and store.
|
|
|
de7a086 |
- */
|
|
|
de7a086 |
- stored_word = load( Ity_I64, mkexpr( EA ) );
|
|
|
de7a086 |
- assign( byte_to_store, binop( Iop_And64,
|
|
|
de7a086 |
- unop( Iop_V128HIto64,
|
|
|
de7a086 |
- mkexpr( vS ) ),
|
|
|
de7a086 |
- mkU64( 0xFFFF ) ) );
|
|
|
de7a086 |
+ assign( hword_to_store, unop( Iop_64to16,
|
|
|
de7a086 |
+ unop( Iop_V128HIto64,
|
|
|
de7a086 |
+ mkexpr( vS ) ) ) );
|
|
|
de7a086 |
|
|
|
de7a086 |
- store( mkexpr( EA ), binop( Iop_Or64,
|
|
|
de7a086 |
- binop( Iop_And64,
|
|
|
de7a086 |
- stored_word,
|
|
|
de7a086 |
- mkU64( 0xFFFFFFFFFFFF0000 ) ),
|
|
|
de7a086 |
- mkexpr( byte_to_store ) ) );
|
|
|
de7a086 |
+ store( mkexpr( EA ), mkexpr( hword_to_store ) );
|
|
|
de7a086 |
break;
|
|
|
de7a086 |
}
|
|
|
de7a086 |
|