Lines Matching refs:Iop_Shr32
400 binop(Iop_Shr32, mkexpr(src), mkU8(rot)));
989 assign(masked, binop(Iop_Shr32, e, mkU8(lowbits_to_ignore)));
1075 binop(Iop_Shr32, IRExpr_Get(OFFB_FPSCR, Ity_I32), mkU8(22)));
1083 binop(Iop_Shr32, mkexpr(armEncd), mkU8(1)),
1483 binop(Iop_Shr32, mkexpr(old_itstate), mkU8(8)));
1683 binop( Iop_Shr32,
1698 binop( Iop_Shr32,
1748 binop(Iop_Shr32, mkexpr(rMt),
1793 binop(Iop_Shr32,
1847 binop(Iop_Shr32, mkexpr(rMt), mkU8(31)),
1860 binop(Iop_Shr32, mkexpr(rMt),
1865 binop(Iop_Shr32, mkexpr(rMt), mkU8(shift_amt)) );
1903 binop(Iop_Shr32,
1929 binop(Iop_Shr32,
1957 binop(Iop_Shr32, mkexpr(rMt), mkU8(31)),
1970 binop(Iop_Shr32, mkexpr(rMt),
2013 binop(Iop_Shr32,
2027 binop(Iop_Shr32,
2077 binop(Iop_Shr32,
2100 binop(Iop_Shr32,
2181 binop(Iop_Shr32, mkexpr(rMt), mkU8(1))) );
2191 binop(Iop_Shr32, mkexpr(rMt),
2197 binop(Iop_Shr32, mkexpr(rMt), mkU8(shift_amt)),
2410 index = binop(Iop_Shr32, getIRegA(rM), mkU8(imm5));
2435 binop(Iop_Shr32, mkexpr(rmT), mkU8(1)));
2443 binop(Iop_Shr32, mkexpr(rmT), mkU8(imm5)));
2535 binop(Iop_Shr32, mkexpr(irRes), mkU8(5)),
2542 binop(Iop_Shr32,
2556 binop(Iop_Shr32, mkexpr(ix), mkU8(1))),
2718 binop(Iop_Shr32,
2727 binop(Iop_Shr32,
2736 binop(Iop_Shr32,
2745 binop(Iop_Shr32,
2754 binop(Iop_Shr32,
2774 binop(Iop_And32, binop(Iop_Shr32, mkexpr(arg), mkU8(8)),
2776 binop(Iop_And32, binop(Iop_Shr32, mkexpr(arg), mkU8(24)),
2794 binop(Iop_Shr32, mkexpr(arg), mkU8(8)),
9045 binop( Iop_Shr32,
10742 binop(Iop_Shr32, unop(Iop_64to32, mkexpr(irt_prod)), mkU8(16))
11452 binop( Iop_Shr32, mkexpr(irt_regN), mkU8(16) ),
11453 binop( Iop_Shr32,
11460 binop( Iop_Shr32,
11463 binop( Iop_Shr32, mkexpr(irt_regM), mkU8(16) )) );
11521 binop( Iop_Shr32,
11524 binop( Iop_Shr32, mkexpr(irt_regM), mkU8(16) ) ) );
11529 binop( Iop_Shr32, mkexpr(irt_regN), mkU8(16) ),
11530 binop( Iop_Shr32,
11590 binop( Iop_Shr32, mkexpr(irt_regM), mkU8(16) ) ) );
11594 binop( Iop_Shr32, mkexpr(irt_regN), mkU8(16) ),
11668 binop( Iop_Shr32, mkexpr(irt_regM), mkU8(16) ) ) );
11672 binop( Iop_Shr32, mkexpr(irt_regN), mkU8(16) ),
11878 binop(Iop_Shr32,
11943 binop(Iop_Shr32,
11955 binop(Iop_Shr32,
11971 Iop_Shr32,
11977 binop(Iop_Shr32,
12040 binop(Iop_Shr32,
12052 binop(Iop_Shr32,
12068 binop(Iop_Shr32,
12074 binop(Iop_Shr32,
12137 binop(Iop_Shr32,
12149 binop(Iop_Shr32,
12165 binop(Iop_Shr32,
12171 binop(Iop_Shr32,
12234 binop(Iop_Shr32,
12246 binop(Iop_Shr32,
12262 binop(Iop_Shr32,
12268 binop(Iop_Shr32,
16240 assign(hi32, binop(Iop_Shr32, mkexpr(rotT), mkU8(16)));
16331 binop(Iop_Shr32, mkexpr(src), mkU8(lsb)),
16333 assign(res, binop(isU ? Iop_Shr32 : Iop_Sar32,
16648 binop(Iop_Shr32, mkexpr(irt_rM), mkU8(8)),
17646 // binop(Iop_Shr32, mkexpr(old_itstate), mkU8(8)));
17714 binop(Iop_Shr32, mkexpr(old_itstate), mkU8(8)));
18129 binop(Iop_Shr32, mkexpr(irt_rM), mkU8(8)),
20725 binop(Iop_Shr32, mkexpr(src), mkU8(lsb)),
20727 assign(res, binop(isU ? Iop_Shr32 : Iop_Sar32,
20796 assign(hi32, binop(Iop_Shr32, mkexpr(rotT), mkU8(16)));
21247 binop(Iop_Shr32, mkexpr(irt_rM), mkU8(8)),
22064 if (out3) assign(*out3, binop(Iop_Shr32, mkexpr(hi32), mkU8(16)));
22066 if (out1) assign(*out1, binop(Iop_Shr32, mkexpr(lo32), mkU8(16)));
22161 binop(Iop_Shr32, mkexpr(hi32), mkU8(24)),
22165 binop(Iop_Shr32, mkexpr(hi32), mkU8(16)),
22169 binop(Iop_Shr32, mkexpr(hi32), mkU8(8)),
22175 binop(Iop_Shr32, mkexpr(lo32), mkU8(24)),
22179 binop(Iop_Shr32, mkexpr(lo32), mkU8(16)),
22183 binop(Iop_Shr32, mkexpr(lo32), mkU8(8)),