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