Home | History | Annotate | Download | only in priv

Lines Matching refs:Iop_CmpLT32U

3303                      assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkU32(rs)));
3388 assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkexpr(t8)));
4031 assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkU32(rs)));
4127 assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkexpr(t8)));
5392 assign(t1, binop(Iop_CmpLT32U,
5412 assign(t3, binop(Iop_CmpLT32U,
5637 assign(t1, binop(Iop_CmpLT32U,
5657 assign(t3, binop(Iop_CmpLT32U,
6448 assign(t1, binop(Iop_CmpLT32U,
6465 assign(t2, binop(Iop_CmpLT32U,
6482 assign(t3, binop(Iop_CmpLT32U,
6499 assign(t4, binop(Iop_CmpLT32U,
6731 assign(t1, binop(Iop_CmpLT32U,
6742 assign(t2, binop(Iop_CmpLT32U,
6753 assign(t3, binop(Iop_CmpLT32U,
6765 assign(t4, binop(Iop_CmpLT32U,
7026 assign(t4, IRExpr_ITE(binop(Iop_CmpLT32U,
7053 assign(t6, binop(Iop_CmpLT32U,
7073 assign(t7, IRExpr_ITE(binop(Iop_CmpLT32U,
7102 assign(t9, IRExpr_ITE(binop(Iop_CmpLT32U,
7119 assign(t10, IRExpr_ITE(binop(Iop_CmpLT32U,
7148 assign(t12, IRExpr_ITE(binop(Iop_CmpLT32U,
7165 assign(t13, IRExpr_ITE(binop(Iop_CmpLT32U,
7194 assign(t15, IRExpr_ITE(binop(Iop_CmpLT32U,
7459 assign(t1, binop(Iop_CmpLT32U,
7477 assign(t2, binop(Iop_CmpLT32U,
7495 assign(t3, binop(Iop_CmpLT32U,
7514 assign(t4, binop(Iop_CmpLT32U,
10653 binop(Iop_CmpLT32U,
14202 assign(t5, unop(Iop_1Uto32, binop(Iop_CmpLT32U, mkexpr(t4),
14264 assign(t5, unop(Iop_1Uto32, binop(Iop_CmpLT32U, mkexpr(t4),
14326 assign(t5, binop(Iop_CmpLT32U,
14392 assign(t5, binop(Iop_CmpLT32U,
15652 putIReg(rd, unop(Iop_1Uto32, binop(Iop_CmpLT32U, getIReg(rs),
15876 binop (Iop_CmpLT32U,
15884 binop (Iop_CmpLT32U,
15892 Iop_CmpLT32U,
15958 stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),
15963 stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),
15968 stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),
16303 binop (Iop_CmpLT32U,
16338 stmt (IRStmt_Exit (binop (Iop_CmpLT32U, getIReg (rs),
16386 dis_branch(False, unop(Iop_Not1, binop(Iop_CmpLT32U, mkexpr(t0),
16558 putIReg(rt, unop(Iop_1Uto32, binop(Iop_CmpLT32U, getIReg(rs),