Searched refs:mask0x80hi (Results 1 – 2 of 2) sorted by relevance
12798 IRTemp mask0x80hi = newTemp(Ity_I64); in disInstr_X86_WRK() local12840 mask0x80hi, in disInstr_X86_WRK()12862 assign(rHi, binop(Iop_And64,mkexpr(permdHi),mkexpr(mask0x80hi)) ); in disInstr_X86_WRK()
15593 IRTemp mask0x80hi = newTemp(Ity_I64); in math_PSHUFB_XMM() local15618 mask0x80hi, in math_PSHUFB_XMM()15640 assign(rHi, binop(Iop_And64,mkexpr(permdHi),mkexpr(mask0x80hi)) ); in math_PSHUFB_XMM()