From: Julian Seward Date: Thu, 5 Feb 2015 15:22:30 +0000 (+0000) Subject: Enable FCVTMU Xd,Sn. Fixes #343332. X-Git-Tag: svn/VALGRIND_3_11_0^2~97 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e8addc44652ce5c4ba32f398f7222ddd69c149f2;p=thirdparty%2Fvalgrind.git Enable FCVTMU Xd,Sn. Fixes #343332. git-svn-id: svn://svn.valgrind.org/vex/trunk@3085 --- diff --git a/VEX/priv/guest_arm64_toIR.c b/VEX/priv/guest_arm64_toIR.c index f5a903a9ae..8cefe7e3c0 100644 --- a/VEX/priv/guest_arm64_toIR.c +++ b/VEX/priv/guest_arm64_toIR.c @@ -12558,6 +12558,7 @@ Bool dis_AdvSIMD_fp_to_from_int_conv(/*MB_OUT*/DisResult* dres, UInt insn) || (iop == Iop_F32toI64S && irrm == Irrm_NEAREST)/* FCVT{A,N}S X,S */ /* F32toI64U */ || (iop == Iop_F32toI64U && irrm == Irrm_ZERO) /* FCVTZU Xd,Sn */ + || (iop == Iop_F32toI64U && irrm == Irrm_NegINF) /* FCVTMU Xd,Sn */ || (iop == Iop_F32toI64U && irrm == Irrm_PosINF) /* FCVTPU Xd,Sn */ /* F64toI32S */ || (iop == Iop_F64toI32S && irrm == Irrm_ZERO) /* FCVTZS Wd,Dn */