Lines Matching defs:ROTL
1078 // ROTL(src32/64, rot_amt5/6)
1079 static IRExpr* /* :: Ity_I32/64 */ ROTL ( IRExpr* src,
3452 // tmp32 = (ROTL(rS_Lo32, Imm)
3455 r = ROTL( unop(Iop_64to32, mkexpr(rS) ), mkU8(sh_imm) );
3465 // rA = (ROTL(rS, Imm) & mask) | (rA & ~mask);
3467 r = ROTL(mkexpr(rS), mkU8(sh_imm));
3487 // tmp32 = (ROTL(rS_Lo32, Imm)
3489 r = ROTL( unop(Iop_64to32, mkexpr(rS) ), mkU8(sh_imm) );
3517 // rA = ROTL(rS, Imm) & mask
3519 ROTL(mkexpr(rS), mkU8(sh_imm)),
3533 tmp32 = (ROTL(rS_Lo32, rB[0-4])
3536 // note, ROTL does the masking, so we don't do it here
3537 r = ROTL( unop(Iop_64to32, mkexpr(rS)),
3544 // rA = ROTL(rS, rB[0-4]) & mask
3545 // note, ROTL does the masking, so we don't do it here
3547 ROTL(mkexpr(rS),
3565 r = ROTL( mkexpr(rS), unop(Iop_64to8, mkexpr(rB)) );
3567 if (b1 == 0) { // rldcl (Rotl DWord, Clear Left, PPC64 p555)
3570 // note, ROTL does the masking, so we don't do it here
3574 } else { // rldcr (Rotl DWord, Clear Right, PPC64 p556)
3583 case 0x2: // rldic (Rotl DWord Imm, Clear, PPC64 p557)
3586 r = ROTL(mkexpr(rS), mkU8(sh_imm));
3598 case 0x0: // rldicl (Rotl DWord Imm, Clear Left, PPC64 p558)
3609 r = ROTL(mkexpr(rS), mkU8(sh_imm));
3615 case 0x1: // rldicr (Rotl DWord Imm, Clear Right, PPC64 p559)
3626 r = ROTL(mkexpr(rS), mkU8(sh_imm));
3632 case 0x3: { // rldimi (Rotl DWord Imm, Mask Insert, PPC64 p560)
3636 r = ROTL(mkexpr(rS), mkU8(sh_imm));
