Lines Matching defs:rS
3759 IRTemp rS = newTemp(ty);
3765 assign( rS, getIReg(rS_addr) );
3771 assign( rA, binop( mkSzOp(ty, Iop_And8), mkexpr(rS),
3779 assign( rA, binop( mkSzOp(ty, Iop_And8), mkexpr(rS),
3787 assign( rA, binop( mkSzOp(ty, Iop_Or8), mkexpr(rS),
3793 assign( rA, binop( mkSzOp(ty, Iop_Or8), mkexpr(rS),
3799 assign( rA, binop( mkSzOp(ty, Iop_Xor8), mkexpr(rS),
3805 assign( rA, binop( mkSzOp(ty, Iop_Xor8), mkexpr(rS),
3818 mkexpr(rS), mkexpr(rB)));
3824 assign(rA, binop( mkSzOp(ty, Iop_And8), mkexpr(rS),
3839 lo32 = mode64 ? unop(Iop_64to32, mkexpr(rS)) : mkexpr(rS);
3849 // TODO: alternatively: assign(rA, verbose_Clz32(rS));
3858 mkexpr(rS), mkexpr(rB))) );
3869 assign( rA, unop(Iop_8Sto64, unop(Iop_64to8, mkexpr(rS))) );
3871 assign( rA, unop(Iop_8Sto32, unop(Iop_32to8, mkexpr(rS))) );
3883 unop(Iop_64to16, mkexpr(rS))) );
3886 unop(Iop_32to16, mkexpr(rS))) );
3894 mkexpr(rS), mkexpr(rB))) );
3902 mkexpr(rS), mkexpr(rB))) );
3908 assign( rA, mkexpr(rS) );
3913 mkexpr(rS), mkexpr(rB)) );
3920 assign( rA, binop( mkSzOp(ty, Iop_Or8), mkexpr(rS),
3928 mkexpr(rS), mkexpr(rB)) );
3939 assign(rA, unop(Iop_32Sto64, unop(Iop_64to32, mkexpr(rS))));
3950 irx = binop(Iop_CmpNE64, mkexpr(rS), mkU64(0));
3953 unop(Iop_Clz64, mkexpr(rS)) ));
3954 // TODO: alternatively: assign(rA, verbose_Clz64(rS));
3963 binop( Iop_64HLtoV128, mkU64(0), mkexpr(rS) ),
3969 unop( Iop_32UtoV128, mkexpr(rS) ),
4003 IRTemp result = gen_POPCOUNT(ty, rS, False);
4014 assign(argLo, unop(Iop_64to32, mkexpr(rS)));
4015 assign(argHi, unop(Iop_64HIto32, mkexpr(rS)));
4020 IRTemp result = gen_POPCOUNT(ty, rS, False);
4033 assign(argLo, unop(Iop_64to32, mkexpr(rS)));
4034 assign(argHi, unop(Iop_64HIto32, mkexpr(rS)));
4040 IRTemp result = gen_POPCOUNT(ty, rS, True);
4056 IRExpr * rS_expr = mkexpr(rS);
4136 IRTemp rS = newTemp(ty);
4163 assign( rS, getIReg(rS_addr) );
4168 assign( iTot1, unop(Iop_1Uto32, unop(to_bit, mkexpr(rS))) );
4169 assign( rS1, binop(shr_op, mkexpr(rS), mkU8(8)) );
4205 assign( iTot1, unop(Iop_1Uto32, unop(to_bit, mkexpr(rS))) );
4206 assign( rS1, binop(shr_op, mkexpr(rS), mkU8(8)) );
4270 IRTemp rS = newTemp(ty);
4278 assign( rS, getIReg(rS_addr) );
4290 r = ROTL( unop(Iop_64to32, mkexpr(rS) ), mkU8(sh_imm) );
4300 // rA = (ROTL(rS, Imm) & mask) | (rA & ~mask);
4302 r = ROTL(mkexpr(rS), mkU8(sh_imm));
4324 r = ROTL( unop(Iop_64to32, mkexpr(rS) ), mkU8(sh_imm) );
4338 assign( rA, binop(Iop_Shl32, mkexpr(rS), mkU8(sh_imm)) );
4345 assign( rA, binop(Iop_Shr32, mkexpr(rS), mkU8(MaskBeg)) );
4352 // rA = ROTL(rS, Imm) & mask
4354 ROTL(mkexpr(rS), mkU8(sh_imm)),
4372 r = ROTL( unop(Iop_64to32, mkexpr(rS)),
4379 // rA = ROTL(rS, rB[0-4]) & mask
4382 ROTL(mkexpr(rS),
4399 /* r = ROTL64( rS, rB_lo6) */
4400 r = ROTL( mkexpr(rS), unop(Iop_64to8, mkexpr(rB)) );
4421 r = ROTL(mkexpr(rS), mkU8(sh_imm));
4428 r = SHL(rS, sh_imm)
4440 assign( rA, binop(Iop_Shr64, mkexpr(rS), mkU8(msk_imm)) );
4444 r = ROTL(mkexpr(rS), mkU8(sh_imm));
4457 assign( rA, binop(Iop_Shl64, mkexpr(rS), mkU8(sh_imm)) );
4461 r = ROTL(mkexpr(rS), mkU8(sh_imm));
4471 r = ROTL(mkexpr(rS), mkU8(sh_imm));
4775 IRTemp rS = newTemp(ty);
4780 assign( rS, getIReg(rS_addr) );
4797 storeBE( mkexpr(EA), mkNarrowTo8(ty, mkexpr(rS)) );
4807 storeBE( mkexpr(EA), mkNarrowTo8(ty, mkexpr(rS)) );
4812 storeBE( mkexpr(EA), mkNarrowTo16(ty, mkexpr(rS)) );
4822 storeBE( mkexpr(EA), mkNarrowTo16(ty, mkexpr(rS)) );
4827 storeBE( mkexpr(EA), mkNarrowTo32(ty, mkexpr(rS)) );
4837 storeBE( mkexpr(EA), mkNarrowTo32(ty, mkexpr(rS)) );
4855 storeBE( mkexpr(EA), mkNarrowTo8(ty, mkexpr(rS)) );
4860 storeBE( mkexpr(EA), mkNarrowTo8(ty, mkexpr(rS)) );
4870 storeBE( mkexpr(EA), mkNarrowTo16(ty, mkexpr(rS)) );
4875 storeBE( mkexpr(EA), mkNarrowTo16(ty, mkexpr(rS)) );
4885 storeBE( mkexpr(EA), mkNarrowTo32(ty, mkexpr(rS)) );
4890 storeBE( mkexpr(EA), mkNarrowTo32(ty, mkexpr(rS)) );
4902 storeBE( mkexpr(EA), mkexpr(rS) );
4907 storeBE( mkexpr(EA), mkexpr(rS) );
4922 storeBE( mkexpr(EA), mkexpr(rS) );
4928 storeBE( mkexpr(EA), mkexpr(rS) );
5057 Int rS, // first src register
5065 vassert(rS >= 0 && rS < 32);
5066 rS--; if (rS < 0) rS = 31;
5075 rS++; if (rS == 32) rS = 0;
5078 /* *(EA+i) = 32to8(rS >> shift) */
5084 mkNarrowTo32(ty, getIReg(rS)),
5875 IRTemp rS = newTemp(Ity_I32);
5887 assign( rS, mkNarrowTo32(ty, getIReg(rS_addr)) );
5891 stmt( IRStmt_LLSC(Iend_BE, resSC, mkexpr(EA), mkexpr(rS)) );
5900 whether rS is stored is dependent on that value. */
5966 IRTemp rS = newTemp(Ity_I64);
5980 assign( rS, getIReg(rS_addr) );
5984 stmt( IRStmt_LLSC(Iend_BE, resSC, mkexpr(EA), mkexpr(rS)) );
5993 whether rS is stored is dependent on that value. */
6030 IRTemp rS = newTemp(ty);
6037 assign( rS, getIReg(rS_addr) );
6039 assign( rS_lo32, mkNarrowTo32(ty, mkexpr(rS)) );
6047 /* rA = rS << rB */
6074 rA = Sar32( rS, amt > 31 ? 31 : amt )
6075 XER.CA = amt > 31 ? sign-of-rS : (computation as per srawi)
6123 /* rA = rS >>u rB */
6150 /* rA = rS << rB */
6160 mkexpr(rS),
6174 rA = Sar64( rS, amt > 63 ? 63 : amt )
6175 XER.CA = amt > 63 ? sign-of-rS : (computation as per srawi)
6184 mkexpr(rS),
6191 mkexpr(rA), mkexpr(rS), mkexpr(sh_amt),
6213 /* rA = rS >>u rB */
6223 mkexpr(rS),
6359 IRTemp rS = newTemp(Ity_I64);
6360 assign( rS, getIReg( rS_addr ) );
6362 assign(lo, unop(Iop_64HIto32, mkexpr(rS)));
6363 assign(hi, unop(Iop_64to32, mkexpr(rS)));
6403 IRTemp rS = newTemp(ty);
6404 assign( rS, getIReg(rS_addr) );
6592 mkNarrowTo32(ty, mkexpr(rS)),
6603 putGST( PPC_GST_XER, mkNarrowTo32(ty, mkexpr(rS)) );
6607 putGST( PPC_GST_LR, mkexpr(rS) );
6611 putGST( PPC_GST_CTR, mkexpr(rS) );
6615 putGST( PPC_GST_VRSAVE, mkNarrowTo32(ty, mkexpr(rS)) );