Lines Matching refs:Iop_CmpLT64U
9424 binop(Iop_CmpLT64U, mkexpr(addr2), mkexpr(addr1))));
9427 binop(Iop_CmpLT64U, mkexpr(addr1),
9432 binop(Iop_CmpLT64U,
10810 assign(inc, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)),
10818 assign(mask, mkite(binop(Iop_CmpLT64U, mkexpr(len), mkU64(4)),
