Lines Matching refs:IRExpr_ITE
542 IRExpr_ITE( binop(Iop_CmpEQ32, mkU32(cc), mkU32(0)), \
2888 assign(t3, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
2890 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
2913 assign(t7, IRExpr_ITE(mkexpr(t5), in disDSPInstr_MIPS_WRK()
2915 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
2938 assign(t11, IRExpr_ITE(mkexpr(t9), in disDSPInstr_MIPS_WRK()
2940 IRExpr_ITE(mkexpr(t10), in disDSPInstr_MIPS_WRK()
2963 assign(t15, IRExpr_ITE(mkexpr(t13), in disDSPInstr_MIPS_WRK()
2965 IRExpr_ITE(mkexpr(t14), in disDSPInstr_MIPS_WRK()
2983 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
3117 assign(t3, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
3119 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
3140 assign(t7, IRExpr_ITE(mkexpr(t5), in disDSPInstr_MIPS_WRK()
3142 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
3154 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
3211 putDSPControl(IRExpr_ITE(mkexpr(t0), in disDSPInstr_MIPS_WRK()
3219 assign(t2, IRExpr_ITE(mkexpr(t0), in disDSPInstr_MIPS_WRK()
3221 IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
3424 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
3478 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
3518 putIReg(rt, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
3557 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
3571 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
3618 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
3651 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
3669 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
3677 assign(t5, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
3685 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
3695 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
3736 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
3755 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
3763 assign(t5, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
3771 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
3787 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
3830 assign(t1, IRExpr_ITE(mkexpr(t16), in disDSPInstr_MIPS_WRK()
3850 IRExpr_ITE(mkexpr(t16), in disDSPInstr_MIPS_WRK()
3891 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
3929 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
3997 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4011 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
4060 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4128 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4183 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4195 putIReg(rt, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4198 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
4235 assign(t1, IRExpr_ITE(mkexpr(t17), in disDSPInstr_MIPS_WRK()
4274 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4288 IRExpr_ITE(mkexpr(t17), in disDSPInstr_MIPS_WRK()
4331 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4343 putIReg(rt, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4346 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
4390 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
4407 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
4415 assign(t5, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
4423 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
4433 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
4488 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
4505 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
4513 assign(t5, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
4521 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
4537 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
4579 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4616 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4651 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4658 putIReg(rt, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4662 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4699 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4736 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4771 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4778 putIReg(rt, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
4782 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
5007 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
5011 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
5033 putDSPControl(IRExpr_ITE(binop(Iop_CmpLE32U, in disDSPInstr_MIPS_WRK()
5156 putIReg(rt, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
5159 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
5166 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
5273 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
5375 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
5425 assign(t2, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
5445 assign(t5, IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
5465 assign(t8, IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
5485 assign(t11, IRExpr_ITE(mkexpr(t10), in disDSPInstr_MIPS_WRK()
5498 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
5571 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
5581 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5591 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
5601 putDSPControl(IRExpr_ITE(mkexpr(t5), in disDSPInstr_MIPS_WRK()
5646 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
5650 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5657 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
5660 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5702 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
5706 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5712 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
5716 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5744 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
5765 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5798 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
5818 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5860 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
5887 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5929 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
5956 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
5989 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6009 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6016 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6020 IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6047 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6066 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6074 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6077 IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6115 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6121 assign(t4, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6122 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6150 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6156 assign(t5, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6157 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6200 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6206 assign(t4, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6207 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6235 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6241 assign(t5, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6242 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6269 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6313 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
6344 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6400 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6406 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6407 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6438 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6444 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6445 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6479 assign(t3, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6480 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6488 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6489 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6520 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6521 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6528 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6529 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6584 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6609 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6614 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
6653 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6654 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6661 assign(t3, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6662 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6690 putDSPControl(IRExpr_ITE(mkexpr(t5), in disDSPInstr_MIPS_WRK()
6691 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
6697 assign(t7, IRExpr_ITE(mkexpr(t5), in disDSPInstr_MIPS_WRK()
6698 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
6726 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6743 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6760 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6777 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
6803 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6820 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6837 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6854 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
6880 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
6897 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
6914 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
6931 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
6950 assign(t1, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
6961 assign(t2, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
6971 assign(t3, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
6982 assign(t4, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
7019 assign(t5, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7030 assign(t6, IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7042 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7054 assign(t8, IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7085 assign(t5, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7096 assign(t6, IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7108 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7120 assign(t8, IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7150 assign(t5, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7161 assign(t6, IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7173 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7185 assign(t8, IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7204 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7214 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7234 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7247 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7267 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7280 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7298 assign(t1, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
7306 assign(t2, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
7372 assign(t4, IRExpr_ITE(binop(Iop_CmpLT32U, in disDSPInstr_MIPS_WRK()
7385 assign(t0, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
7406 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
7409 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
7419 assign(t7, IRExpr_ITE(binop(Iop_CmpLT32U, in disDSPInstr_MIPS_WRK()
7432 assign(t1, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
7448 assign(t9, IRExpr_ITE(binop(Iop_CmpLT32U, in disDSPInstr_MIPS_WRK()
7459 putDSPControl(IRExpr_ITE(mkexpr(t8), in disDSPInstr_MIPS_WRK()
7465 assign(t10, IRExpr_ITE(binop(Iop_CmpLT32U, in disDSPInstr_MIPS_WRK()
7478 assign(t2, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
7494 assign(t12, IRExpr_ITE(binop(Iop_CmpLT32U, in disDSPInstr_MIPS_WRK()
7505 putDSPControl(IRExpr_ITE(mkexpr(t11), in disDSPInstr_MIPS_WRK()
7511 assign(t13, IRExpr_ITE(binop(Iop_CmpLT32U, in disDSPInstr_MIPS_WRK()
7524 assign(t3, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
7540 assign(t15, IRExpr_ITE(binop(Iop_CmpLT32U, in disDSPInstr_MIPS_WRK()
7551 putDSPControl(IRExpr_ITE(mkexpr(t14), in disDSPInstr_MIPS_WRK()
7600 assign(t2, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7603 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7626 assign(t5, IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7629 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7719 assign(t5, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7721 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7737 assign(t6, IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7739 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7756 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7758 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7775 assign(t8, IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7777 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7813 assign(t5, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7815 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7831 assign(t6, IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7833 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7850 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7852 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7869 assign(t8, IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7871 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7907 assign(t5, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7910 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
7926 assign(t6, IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7928 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
7945 assign(t7, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7947 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
7964 assign(t8, IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
7966 putDSPControl(IRExpr_ITE(mkexpr(t4), in disDSPInstr_MIPS_WRK()
8086 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
8150 putIReg(rd, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8262 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
8269 putIReg(rd, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8352 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8373 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8394 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8415 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8541 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8572 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8603 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8634 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8653 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8662 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8672 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8681 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8756 putIReg(rd, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8805 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8812 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8845 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8852 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8859 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
8950 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
8956 IRExpr_ITE(mkexpr(t12), in disDSPInstr_MIPS_WRK()
8993 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
8999 IRExpr_ITE(mkexpr(t13), in disDSPInstr_MIPS_WRK()
9031 IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
9034 IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
9082 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9089 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9102 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9105 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9116 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9124 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9152 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9159 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9171 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9180 assign(t13, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9188 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9197 assign(t14, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9205 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9307 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9313 IRExpr_ITE(mkexpr(t12), in disDSPInstr_MIPS_WRK()
9319 assign(t14, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9324 assign(t15, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9328 IRExpr_ITE(mkexpr(t12), in disDSPInstr_MIPS_WRK()
9363 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9369 IRExpr_ITE(mkexpr(t13), in disDSPInstr_MIPS_WRK()
9376 assign(t16, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9381 assign(t17, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9385 IRExpr_ITE(mkexpr(t13), in disDSPInstr_MIPS_WRK()
9426 IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
9431 IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
9460 assign(t1, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9469 assign(t3, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9479 assign(t4, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9482 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9489 assign(t5, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9496 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
9501 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
9584 putDSPControl(IRExpr_ITE(unop(Iop_32to1, mkexpr(t6)), in disDSPInstr_MIPS_WRK()
9588 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
9595 assign(t8, IRExpr_ITE(unop(Iop_32to1, in disDSPInstr_MIPS_WRK()
9599 putIReg(rd, IRExpr_ITE(unop(Iop_32to1, mkexpr(t6)), in disDSPInstr_MIPS_WRK()
9600 IRExpr_ITE(unop(Iop_32to1, in disDSPInstr_MIPS_WRK()
9604 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
9623 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
9676 assign(t4, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
9679 assign(t5, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
10032 putDSPControl(IRExpr_ITE(unop(Iop_Not1, in disDSPInstr_MIPS_WRK()
10039 IRExpr_ITE(binop(Iop_CmpLT32S, in disDSPInstr_MIPS_WRK()
10056 putDSPControl(IRExpr_ITE(unop(Iop_Not1, in disDSPInstr_MIPS_WRK()
10063 IRExpr_ITE(binop(Iop_CmpLT32S, in disDSPInstr_MIPS_WRK()
10098 IRExpr_ITE(unop(Iop_Not1, in disDSPInstr_MIPS_WRK()
10103 IRExpr_ITE(binop(Iop_CmpLT32S, in disDSPInstr_MIPS_WRK()
10110 putDSPControl(IRExpr_ITE(unop(Iop_Not1, in disDSPInstr_MIPS_WRK()
10117 IRExpr_ITE(binop(Iop_CmpLT32S, in disDSPInstr_MIPS_WRK()
10134 assign(t3, IRExpr_ITE(unop(Iop_Not1, in disDSPInstr_MIPS_WRK()
10139 IRExpr_ITE(binop(Iop_CmpLT32S, in disDSPInstr_MIPS_WRK()
10146 putDSPControl(IRExpr_ITE(unop(Iop_Not1, in disDSPInstr_MIPS_WRK()
10153 IRExpr_ITE(binop(Iop_CmpLT32S, in disDSPInstr_MIPS_WRK()
10257 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
10258 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10265 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
10266 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10291 putDSPControl(IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
10292 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10299 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disDSPInstr_MIPS_WRK()
10300 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10466 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10467 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
10472 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10473 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
10501 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
10502 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
10507 putDSPControl(IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
10508 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
10559 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10560 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
10565 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10566 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
10594 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
10595 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
10600 putDSPControl(IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
10601 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
10653 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
10665 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
10692 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
10703 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
10872 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10873 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
10878 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10879 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
10924 putDSPControl(IRExpr_ITE(mkexpr(t8), in disDSPInstr_MIPS_WRK()
10932 IRExpr_ITE(mkexpr(t8), in disDSPInstr_MIPS_WRK()
10934 IRExpr_ITE(mkexpr(t9), in disDSPInstr_MIPS_WRK()
10969 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10970 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
10975 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
10976 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11023 putDSPControl(IRExpr_ITE(mkexpr(t8), in disDSPInstr_MIPS_WRK()
11031 IRExpr_ITE(mkexpr(t8), in disDSPInstr_MIPS_WRK()
11033 IRExpr_ITE(mkexpr(t9), in disDSPInstr_MIPS_WRK()
11108 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
11109 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11114 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
11115 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11139 putDSPControl(IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
11147 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
11149 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
11198 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
11199 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11204 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
11205 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11229 putDSPControl(IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
11237 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
11239 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
11284 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11295 putAcc(ac, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11341 putDSPControl(IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11352 putAcc(ac, IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11399 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
11400 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11405 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
11406 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11433 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
11434 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
11439 putDSPControl(IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
11440 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
11491 IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
11492 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11497 putDSPControl(IRExpr_ITE(mkexpr(t2), in disDSPInstr_MIPS_WRK()
11498 IRExpr_ITE(mkexpr(t3), in disDSPInstr_MIPS_WRK()
11527 IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
11528 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
11533 putDSPControl(IRExpr_ITE(mkexpr(t6), in disDSPInstr_MIPS_WRK()
11534 IRExpr_ITE(mkexpr(t7), in disDSPInstr_MIPS_WRK()
11592 assign(t4, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11602 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11640 assign(t8, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11650 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11671 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
11677 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11685 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11693 assign(t10, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
11704 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
11758 assign(t4, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11768 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11806 assign(t8, IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11816 putDSPControl(IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11837 IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
11843 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11851 IRExpr_ITE(binop(Iop_CmpNE32, in disDSPInstr_MIPS_WRK()
11859 assign(t10, IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
11870 putDSPControl(IRExpr_ITE(binop(Iop_CmpEQ32, in disDSPInstr_MIPS_WRK()
12262 assign(t2, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
12548 assign(t4, IRExpr_ITE(mkexpr(t3), mkexpr(t1), mkexpr(t2))); in disInstr_MIPS_WRK()
12576 putDReg(fd, IRExpr_ITE(mkexpr(t3), getDReg(fs), getDReg(fd))); in disInstr_MIPS_WRK()
12604 assign(t4, IRExpr_ITE(mkexpr(t3), mkexpr(t1), mkexpr(t2))); in disInstr_MIPS_WRK()
12631 putDReg(fd, IRExpr_ITE(mkexpr(t3), getDReg(fs), getDReg(fd))); in disInstr_MIPS_WRK()
12650 assign(t2, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
12662 assign(t4, IRExpr_ITE(mkexpr(t3), in disInstr_MIPS_WRK()
12685 assign(t2, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
12697 assign(t4, IRExpr_ITE(mkexpr(t3), in disInstr_MIPS_WRK()
12731 assign(t2, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
12743 assign(t4, IRExpr_ITE(mkexpr(t3), in disInstr_MIPS_WRK()
12765 assign(t2, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
12777 assign(t4, IRExpr_ITE(mkexpr(t3), in disInstr_MIPS_WRK()
13978 assign(B_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x1)), in disInstr_MIPS_WRK()
13982 assign(C_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x2)), in disInstr_MIPS_WRK()
13986 assign(D_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x3)), in disInstr_MIPS_WRK()
13990 assign(E_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x4)), in disInstr_MIPS_WRK()
13994 assign(F_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x5)), in disInstr_MIPS_WRK()
13998 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x7)), in disInstr_MIPS_WRK()
14014 assign(B_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x7)), in disInstr_MIPS_WRK()
14018 assign(C_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x6)), in disInstr_MIPS_WRK()
14022 assign(D_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x5)), in disInstr_MIPS_WRK()
14026 assign(E_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x4)), in disInstr_MIPS_WRK()
14030 assign(F_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkexpr(t3), mkU64(0x3)), in disInstr_MIPS_WRK()
14034 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x0)), in disInstr_MIPS_WRK()
14102 assign(B_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x1), mkexpr(t3)), in disInstr_MIPS_WRK()
14106 assign(C_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x2), mkexpr(t3)), in disInstr_MIPS_WRK()
14110 assign(D_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x3), mkexpr(t3)), in disInstr_MIPS_WRK()
14114 assign(E_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x4), mkexpr(t3)), in disInstr_MIPS_WRK()
14118 assign(F_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x5), mkexpr(t3)), in disInstr_MIPS_WRK()
14122 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x7)), in disInstr_MIPS_WRK()
14138 assign(B_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x5), mkexpr(t3)), in disInstr_MIPS_WRK()
14142 assign(C_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x4), mkexpr(t3)), in disInstr_MIPS_WRK()
14146 assign(D_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x3), mkexpr(t3)), in disInstr_MIPS_WRK()
14150 assign(E_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x2), mkexpr(t3)), in disInstr_MIPS_WRK()
14154 assign(F_pos, IRExpr_ITE(binop(Iop_CmpLT64U, mkU64(0x1), mkexpr(t3)), in disInstr_MIPS_WRK()
14158 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x0)), in disInstr_MIPS_WRK()
14220 assign(F_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x0)), in disInstr_MIPS_WRK()
14224 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x3)), in disInstr_MIPS_WRK()
14236 assign(F_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x3)), in disInstr_MIPS_WRK()
14240 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x0)), in disInstr_MIPS_WRK()
14281 assign(F_pos, IRExpr_ITE(binop(Iop_CmpEQ32, mkexpr(t3), mkU32(0x0)), in disInstr_MIPS_WRK()
14285 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ32, mkexpr(t3), mkU32(0x3)), in disInstr_MIPS_WRK()
14297 assign(F_pos, IRExpr_ITE(binop(Iop_CmpEQ32, mkexpr(t3), mkU32(0x3)), in disInstr_MIPS_WRK()
14301 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ32, mkexpr(t3), mkU32(0x0)), in disInstr_MIPS_WRK()
14347 assign(F_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x0)), in disInstr_MIPS_WRK()
14351 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x3)), in disInstr_MIPS_WRK()
14363 assign(F_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x3)), in disInstr_MIPS_WRK()
14367 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(t3), mkU64(0x0)), in disInstr_MIPS_WRK()
14408 assign(F_pos, IRExpr_ITE(binop(Iop_CmpEQ32, mkexpr(t3), mkU32(0x0)), in disInstr_MIPS_WRK()
14412 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ32, mkexpr(t3), mkU32(0x3)), in disInstr_MIPS_WRK()
14424 assign(F_pos, IRExpr_ITE(binop(Iop_CmpEQ32, mkexpr(t3), mkU32(0x3)), in disInstr_MIPS_WRK()
14428 assign(G_pos, IRExpr_ITE(binop(Iop_CmpEQ32, mkexpr(t3), mkU32(0x0)), in disInstr_MIPS_WRK()
14656 assign(t6, IRExpr_ITE(mkexpr(t5), in disInstr_MIPS_WRK()
14722 assign(t6, IRExpr_ITE(mkexpr(t5), in disInstr_MIPS_WRK()
14815 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
14831 assign(tmpClo32, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
14840 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
14852 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
14862 putIReg(rd, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
15521 assign(t2, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
15532 putIReg(rd, IRExpr_ITE(mkexpr(t3), getIReg(rs), getIReg(rd))); in disInstr_MIPS_WRK()
15540 assign(t2, IRExpr_ITE(mkexpr(t1), in disInstr_MIPS_WRK()
15551 putIReg(rd, IRExpr_ITE(mkexpr(t3), getIReg(rs), getIReg(rd))); in disInstr_MIPS_WRK()