From: Julian Seward Date: Sat, 6 Sep 2014 08:08:47 +0000 (+0000) Subject: Handle fcvtpu Xd,Sn. Fixes #335564. X-Git-Tag: svn/VALGRIND_3_10_1^2~25 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6904f43e467882a78b732ef6c6a7ef4ab342e9c1;p=thirdparty%2Fvalgrind.git Handle fcvtpu Xd,Sn. Fixes #335564. git-svn-id: svn://svn.valgrind.org/vex/trunk@2947 --- diff --git a/VEX/priv/guest_arm64_toIR.c b/VEX/priv/guest_arm64_toIR.c index 27d7b4cb48..15b71eb595 100644 --- a/VEX/priv/guest_arm64_toIR.c +++ b/VEX/priv/guest_arm64_toIR.c @@ -11002,6 +11002,7 @@ Bool dis_AdvSIMD_fp_to_from_int_conv(/*MB_OUT*/DisResult* dres, UInt insn) || (iop == Iop_F32toI64S && irrm == Irrm_ZERO) /* FCVTZS Xd,Sn */ /* F32toI64U */ || (iop == Iop_F32toI64U && irrm == Irrm_ZERO) /* FCVTZU Xd,Sn */ + || (iop == Iop_F32toI64U && irrm == Irrm_PosINF) /* FCVTPU Xd,Sn */ /* F64toI32S */ || (iop == Iop_F64toI32S && irrm == Irrm_ZERO) /* FCVTZS Wd,Dn */ || (iop == Iop_F64toI32S && irrm == Irrm_NegINF) /* FCVTMS Wd,Dn */