Lines Matching refs:high64
7441 IRExpr * high64; in dis_proc_ctl() local
7453 high64 = unop( Iop_V128HIto64, mkexpr( vS ) ); in dis_proc_ctl()
7454 putIReg( rA_addr, (mode64) ? high64 : in dis_proc_ctl()
7455 unop( Iop_64to32, high64 ) ); in dis_proc_ctl()
7463 IRExpr * high64; in dis_proc_ctl() local
7475 high64 = unop( Iop_V128HIto64, mkexpr( vS ) ); in dis_proc_ctl()
7478 binop( Iop_And64, high64, mkU64( 0xFFFFFFFF ) ) : in dis_proc_ctl()
7480 binop( Iop_And64, high64, mkU64( 0xFFFFFFFF ) ) ) ); in dis_proc_ctl()
15680 IRExpr * high64, * low32; in dis_vx_store() local
15682 high64 = unop( Iop_V128HIto64, mkexpr( vS ) ); in dis_vx_store()
15683 low32 = unop( Iop_64to32, high64 ); in dis_vx_store()
15689 IRTemp high64 = newTemp(Ity_F64); in dis_vx_store() local
15692 assign(high64, unop( Iop_ReinterpI64asF64, in dis_vx_store()
15696 mkexpr(high64) ) ) ); in dis_vx_store()
15702 IRExpr * high64; in dis_vx_store() local
15704 high64 = unop( Iop_V128HIto64, mkexpr( vS ) ); in dis_vx_store()
15705 store( mkexpr( EA ), high64 ); in dis_vx_store()
15710 IRExpr * high64, *low64; in dis_vx_store() local
15712 high64 = unop( Iop_V128HIto64, mkexpr( vS ) ); in dis_vx_store()
15714 store( mkexpr( EA ), high64 ); in dis_vx_store()