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)),
9047 binop( Iop_Shr32,
10744 binop(Iop_Shr32, unop(Iop_64to32, mkexpr(irt_prod)), mkU8(16))
11454 binop( Iop_Shr32, mkexpr(irt_regN), mkU8(16) ),
11455 binop( Iop_Shr32,
11462 binop( Iop_Shr32,
11465 binop( Iop_Shr32, mkexpr(irt_regM), mkU8(16) )) );
11523 binop( Iop_Shr32,
11526 binop( Iop_Shr32, mkexpr(irt_regM), mkU8(16) ) ) );
11531 binop( Iop_Shr32, mkexpr(irt_regN), mkU8(16) ),
11532 binop( Iop_Shr32,
11592 binop( Iop_Shr32, mkexpr(irt_regM), mkU8(16) ) ) );
11596 binop( Iop_Shr32, mkexpr(irt_regN), mkU8(16) ),
11670 binop( Iop_Shr32, mkexpr(irt_regM), mkU8(16) ) ) );
11674 binop( Iop_Shr32, mkexpr(irt_regN), mkU8(16) ),
11880 binop(Iop_Shr32,
11945 binop(Iop_Shr32,
11957 binop(Iop_Shr32,
11973 binop(Iop_Shr32,
11979 binop(Iop_Shr32,
12042 binop(Iop_Shr32,
12054 binop(Iop_Shr32,
12070 binop(Iop_Shr32,
12076 binop(Iop_Shr32,
12139 binop(Iop_Shr32,
12151 binop(Iop_Shr32,
12167 binop(Iop_Shr32,
12173 binop(Iop_Shr32,
12236 binop(Iop_Shr32,
12248 binop(Iop_Shr32,
12264 binop(Iop_Shr32,
12270 binop(Iop_Shr32,
16286 assign(hi32, binop(Iop_Shr32, mkexpr(rotT), mkU8(16)));
16377 binop(Iop_Shr32, mkexpr(src), mkU8(lsb)),
16379 assign(res, binop(isU ? Iop_Shr32 : Iop_Sar32,
16694 binop(Iop_Shr32, mkexpr(irt_rM), mkU8(8)),
17693 // binop(Iop_Shr32, mkexpr(old_itstate), mkU8(8)));
17761 binop(Iop_Shr32, mkexpr(old_itstate), mkU8(8)));
18176 binop(Iop_Shr32, mkexpr(irt_rM), mkU8(8)),
20769 binop(Iop_Shr32, mkexpr(src), mkU8(lsb)),
20771 assign(res, binop(isU ? Iop_Shr32 : Iop_Sar32,
20840 assign(hi32, binop(Iop_Shr32, mkexpr(rotT), mkU8(16)));
21291 binop(Iop_Shr32, mkexpr(irt_rM), mkU8(8)),
22109 if (out3) assign(*out3, binop(Iop_Shr32, mkexpr(hi32), mkU8(16)));
22111 if (out1) assign(*out1, binop(Iop_Shr32, mkexpr(lo32), mkU8(16)));
22206 binop(Iop_Shr32, mkexpr(hi32), mkU8(24)),
22210 binop(Iop_Shr32, mkexpr(hi32), mkU8(16)),
22214 binop(Iop_Shr32, mkexpr(hi32), mkU8(8)),
22220 binop(Iop_Shr32, mkexpr(lo32), mkU8(24)),
22224 binop(Iop_Shr32, mkexpr(lo32), mkU8(16)),
22228 binop(Iop_Shr32, mkexpr(lo32), mkU8(8)),
