Home | History | Annotate | Download | only in priv

Lines Matching refs:Iop_CmpLT32U

3639                      assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkU32(rs)));
3724 assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkexpr(t8)));
4367 assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkU32(rs)));
4463 assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkexpr(t8)));
5728 assign(t1, binop(Iop_CmpLT32U,
5748 assign(t3, binop(Iop_CmpLT32U,
5973 assign(t1, binop(Iop_CmpLT32U,
5993 assign(t3, binop(Iop_CmpLT32U,
6784 assign(t1, binop(Iop_CmpLT32U,
6801 assign(t2, binop(Iop_CmpLT32U,
6818 assign(t3, binop(Iop_CmpLT32U,
6835 assign(t4, binop(Iop_CmpLT32U,
7067 assign(t1, binop(Iop_CmpLT32U,
7078 assign(t2, binop(Iop_CmpLT32U,
7089 assign(t3, binop(Iop_CmpLT32U,
7101 assign(t4, binop(Iop_CmpLT32U,
7362 assign(t4, IRExpr_ITE(binop(Iop_CmpLT32U,
7389 assign(t6, binop(Iop_CmpLT32U,
7409 assign(t7, IRExpr_ITE(binop(Iop_CmpLT32U,
7438 assign(t9, IRExpr_ITE(binop(Iop_CmpLT32U,
7455 assign(t10, IRExpr_ITE(binop(Iop_CmpLT32U,
7484 assign(t12, IRExpr_ITE(binop(Iop_CmpLT32U,
7501 assign(t13, IRExpr_ITE(binop(Iop_CmpLT32U,
7530 assign(t15, IRExpr_ITE(binop(Iop_CmpLT32U,
7795 assign(t1, binop(Iop_CmpLT32U,
7813 assign(t2, binop(Iop_CmpLT32U,
7831 assign(t3, binop(Iop_CmpLT32U,
7850 assign(t4, binop(Iop_CmpLT32U,
10989 binop(Iop_CmpLT32U,
14544 assign(t5, unop(Iop_1Uto32, binop(Iop_CmpLT32U, mkexpr(t4),
14606 assign(t5, unop(Iop_1Uto32, binop(Iop_CmpLT32U, mkexpr(t4),
14668 assign(t5, binop(Iop_CmpLT32U,
14734 assign(t5, binop(Iop_CmpLT32U,
15994 putIReg(rd, unop(Iop_1Uto32, binop(Iop_CmpLT32U, getIReg(rs),
16218 binop (Iop_CmpLT32U,
16226 binop (Iop_CmpLT32U,
16234 binop (Iop_CmpLT32U,
16300 stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),
16305 stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),
16310 stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),
16645 binop (Iop_CmpLT32U,
16680 stmt (IRStmt_Exit (binop (Iop_CmpLT32U, getIReg (rs),
16728 dis_branch(False, unop(Iop_Not1, binop(Iop_CmpLT32U, mkexpr(t0),
16900 putIReg(rt, unop(Iop_1Uto32, binop(Iop_CmpLT32U, getIReg(rs),