Lines Matching refs:Iop_CmpLE32U
1791 binop(Iop_CmpLE32U, mkexpr(amtT), mkU32(32)),
1901 binop(Iop_CmpLE32U, mkexpr(amtT), mkU32(32)),
2011 binop(Iop_CmpLE32U, mkexpr(amtT), mkU32(32)),
11609 assign( ge10, IRExpr_ITE( binop( Iop_CmpLE32U,
11690 assign( ge32, IRExpr_ITE( binop( Iop_CmpLE32U,
