Lines Matching refs:IRExpr_Mux0X
989 IRExpr_Mux0X( mkexpr(guard),
993 IRExpr_Mux0X( mkexpr(guard),
997 IRExpr_Mux0X( mkexpr(guard),
1003 IRExpr_Mux0X( mkexpr(guard),
2574 IRExpr_Mux0X( mkexpr(rot_amt32),
2578 IRExpr_Mux0X( mkexpr(rot_amt32),
2582 IRExpr_Mux0X( mkexpr(rot_amt32),
2586 IRExpr_Mux0X( mkexpr(rot_amt32),
3422 IRExpr_Mux0X(
3562 IRExpr_Mux0X( get_ST_TAG(i),
3588 IRExpr_Mux0X( get_ST_TAG(i),
4525 IRExpr_Mux0X(
4535 IRExpr_Mux0X(
4545 IRExpr_Mux0X(
4555 IRExpr_Mux0X(
4690 IRExpr_Mux0X(
4700 IRExpr_Mux0X(
4710 IRExpr_Mux0X(
4720 IRExpr_Mux0X(
5645 IRExpr_Mux0X(
5655 IRExpr_Mux0X(
6399 IRExpr_Mux0X( mkexpr(src8),
6435 IRExpr_Mux0X(
6566 assign( dest2, IRExpr_Mux0X(mkexpr(cond8), mkexpr(dest), mkexpr(src)) );
6567 assign( acc2, IRExpr_Mux0X(mkexpr(cond8), mkexpr(dest), mkexpr(acc)) );
6583 assign( dest2, IRExpr_Mux0X(mkexpr(cond8), mkexpr(dest), mkexpr(src)) );
6584 assign( acc2, IRExpr_Mux0X(mkexpr(cond8), mkexpr(dest), mkexpr(acc)) );
6606 assign( acc2, IRExpr_Mux0X(mkexpr(cond8), mkexpr(dest), mkexpr(acc)) );
6653 IRExpr_Mux0X( unop(Iop_1Uto8,
6672 IRExpr_Mux0X( unop(Iop_1Uto8,
7303 IRExpr_Mux0X(
7313 IRExpr_Mux0X(
7518 IRExpr_Mux0X(
7530 IRExpr_Mux0X(
7543 IRExpr_Mux0X(
14610 IRExpr_Mux0X( unop(Iop_1Uto8, mkexpr(success)),
14615 IRExpr_Mux0X( unop(Iop_1Uto8, mkexpr(success)),
