3649                      assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkU32(rs)));  in disDSPInstr_MIPS_WRK()
3734                      assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkexpr(t8)));  in disDSPInstr_MIPS_WRK()
4377                      assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkU32(rs)));  in disDSPInstr_MIPS_WRK()
4473                      assign(t2, binop(Iop_CmpLT32U, mkexpr(t1), mkexpr(t8)));  in disDSPInstr_MIPS_WRK()
5738                      assign(t1, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
5758                      assign(t3, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
5983                      assign(t1, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
6003                      assign(t3, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
6794                      assign(t1, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
6811                      assign(t2, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
6828                      assign(t3, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
6845                      assign(t4, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7077                      assign(t1, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7088                      assign(t2, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7099                      assign(t3, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7111                      assign(t4, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7372                      assign(t4, IRExpr_ITE(binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7399                      assign(t6, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7419                      assign(t7, IRExpr_ITE(binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7448                      assign(t9, IRExpr_ITE(binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7465                      assign(t10, IRExpr_ITE(binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7494                      assign(t12, IRExpr_ITE(binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7511                      assign(t13, IRExpr_ITE(binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7540                      assign(t15, IRExpr_ITE(binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7805                      assign(t1, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7823                      assign(t2, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7841                      assign(t3, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
7860                      assign(t4, binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
10999                                                       binop(Iop_CmpLT32U,  in disDSPInstr_MIPS_WRK()
14528                   assign(t5, unop(Iop_1Uto32, binop(Iop_CmpLT32U, mkexpr(t4),  in disInstr_MIPS_WRK()
14590                assign(t5, unop(Iop_1Uto32, binop(Iop_CmpLT32U, mkexpr(t4),  in disInstr_MIPS_WRK()
14652                assign(t5, binop(Iop_CmpLT32U,  in disInstr_MIPS_WRK()
14718                assign(t5, binop(Iop_CmpLT32U,  in disInstr_MIPS_WRK()
15981             putIReg(rd, unop(Iop_1Uto32, binop(Iop_CmpLT32U, getIReg(rs),  in disInstr_MIPS_WRK()
16205                                         binop (Iop_CmpLT32U,  in disInstr_MIPS_WRK()
16213                                         binop (Iop_CmpLT32U,  in disInstr_MIPS_WRK()
16221                                         binop (Iop_CmpLT32U,  in disInstr_MIPS_WRK()
16287                stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),  in disInstr_MIPS_WRK()
16292                stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),  in disInstr_MIPS_WRK()
16297                stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),  in disInstr_MIPS_WRK()
16632                                      binop (Iop_CmpLT32U,  in disInstr_MIPS_WRK()
16667             stmt (IRStmt_Exit (binop (Iop_CmpLT32U, getIReg (rs),  in disInstr_MIPS_WRK()
16715          dis_branch(False, unop(Iop_Not1, binop(Iop_CmpLT32U, mkexpr(t0),  in disInstr_MIPS_WRK()
16887          putIReg(rt, unop(Iop_1Uto32, binop(Iop_CmpLT32U, getIReg(rs),  in disInstr_MIPS_WRK()