|
From: <sv...@va...> - 2014-11-25 17:43:00
|
Author: sewardj
Date: Tue Nov 25 17:42:52 2014
New Revision: 3026
Log:
Implement FRINTI d_d, s_s.
Modified:
trunk/priv/guest_arm64_toIR.c
Modified: trunk/priv/guest_arm64_toIR.c
==============================================================================
--- trunk/priv/guest_arm64_toIR.c (original)
+++ trunk/priv/guest_arm64_toIR.c Tue Nov 25 17:42:52 2014
@@ -12163,9 +12163,11 @@
// The following is a kludge. Should be: Irrm_NEAREST_TIE_AWAY_0
case BITS3(1,0,0): ch = 'a'; irrmE = mkU32(Irrm_NEAREST); break;
// I am unsure about the following, due to the "integral exact"
- // description in the manual. What does it mean?
+ // description in the manual. What does it mean? (frintx, that is)
case BITS3(1,1,0):
ch = 'x'; irrmE = mkexpr(mk_get_IR_rounding_mode()); break;
+ case BITS3(1,1,1):
+ ch = 'i'; irrmE = mkexpr(mk_get_IR_rounding_mode()); break;
default: break;
}
if (irrmE) {
|