Searched refs:maddResult (Results 1 – 1 of 1) sorted by relevance
14802 IRTemp maddResult = newTemp(Ity_I64); in dis_vxs_arith() local14807 assign( maddResult, unop( Iop_ReinterpF64asI64, qop( Iop_MAddF64, rm, in dis_vxs_arith()14812 putVSReg( XT, binop( Iop_64HLtoV128, mkexpr( getNegatedResult(maddResult) ), in dis_vxs_arith()14822 IRTemp maddResult = newTemp(Ity_I64); in dis_vxs_arith() local14827 assign( maddResult, in dis_vxs_arith()14836 mkexpr( getNegatedResult(maddResult) ), in dis_vxs_arith()