Searched refs:mask0x80lo (Results 1 – 2 of 2) sorted by relevance
12799 IRTemp mask0x80lo = newTemp(Ity_I64); in disInstr_X86_WRK() local12867 mask0x80lo, in disInstr_X86_WRK()12889 assign(rLo, binop(Iop_And64,mkexpr(permdLo),mkexpr(mask0x80lo)) ); in disInstr_X86_WRK()
15594 IRTemp mask0x80lo = newTemp(Ity_I64); in math_PSHUFB_XMM() local15645 mask0x80lo, in math_PSHUFB_XMM()15667 assign(rLo, binop(Iop_And64,mkexpr(permdLo),mkexpr(mask0x80lo)) ); in math_PSHUFB_XMM()