Lines Matching defs:F_byte
13617 IRTemp F_byte = newTemp(Ity_I8);
13632 assign(F_byte, getByteFromReg(rt, 2));
13685 store(binop(Iop_Sub64, mkexpr(t1), mkexpr(F_pos)), mkexpr(F_byte));
13721 store(binop(Iop_Add64, mkexpr(t1), mkexpr(F_pos)), mkexpr(F_byte));
13741 IRTemp F_byte = newTemp(Ity_I8);
13756 assign(F_byte, getByteFromReg(rt, 2));
13812 store(binop(Iop_Add64, mkexpr(t1), mkexpr(F_pos)), mkexpr(F_byte));
13848 store(binop(Iop_Sub64, mkexpr(t1), mkexpr(F_pos)), mkexpr(F_byte));
13871 IRTemp F_byte = newTemp(Ity_I8);
13882 assign(F_byte, getByteFromReg(rt, 2));
13911 store(binop(Iop_Sub64, mkexpr(t1), mkexpr(F_pos)), mkexpr(F_byte));
13926 store(binop(Iop_Add64, mkexpr(t1), mkexpr(F_pos)), mkexpr(F_byte));
13932 IRTemp F_byte = newTemp(Ity_I8);
13943 assign(F_byte, getByteFromReg(rt, 2));
13972 store(binop(Iop_Sub32, mkexpr(t1), mkexpr(F_pos)), mkexpr(F_byte));
13987 store(binop(Iop_Add32, mkexpr(t1), mkexpr(F_pos)), mkexpr(F_byte));
13998 IRTemp F_byte = newTemp(Ity_I8);
14009 assign(F_byte, getByteFromReg(rt, 2));
14037 store(binop(Iop_Add64, mkexpr(t2), mkexpr(F_pos)), mkexpr(F_byte));
14053 store(binop(Iop_Add64, mkexpr(t2), mkexpr(F_pos)), mkexpr(F_byte));
14059 IRTemp F_byte = newTemp(Ity_I8);
14070 assign(F_byte, getByteFromReg(rt, 2));
14098 store(binop(Iop_Add32, mkexpr(t2), mkexpr(F_pos)), mkexpr(F_byte));
14114 store(binop(Iop_Add32, mkexpr(t2), mkexpr(F_pos)), mkexpr(F_byte));