Lines Matching defs:crbD
5365 IRTemp crbD = newTemp(Ity_I32);
5377 vex_printf("dis_cond_logic(ppc)(crbD|crbA|crbB != 0)\n");
5393 assign( crbD, binop(Iop_And32, mkexpr(crbA), mkexpr(crbB)) );
5397 assign( crbD, binop(Iop_And32,
5403 assign( crbD, unop(Iop_Not32,
5408 assign( crbD, unop(Iop_Not32,
5413 assign( crbD, unop(Iop_Not32,
5418 assign( crbD, binop(Iop_Or32, mkexpr(crbA), mkexpr(crbB)) );
5422 assign( crbD, binop(Iop_Or32,
5428 assign( crbD, binop(Iop_Xor32, mkexpr(crbA), mkexpr(crbB)) );
5435 putCRbit( crbD_addr, mkexpr(crbD) );
8241 // Bit crbD of the FPSCR is set.
8242 UChar crbD = ifieldRegDS(theInstr);
8249 DIP("mtfsb1%s crb%d \n", flag_rC ? ".":"", crbD);
8250 putGST_masked( PPC_GST_FPSCR, mkU32(1<<(31-crbD)), 1<<(31-crbD) );
8277 // Bit crbD of the FPSCR is cleared.
8278 UChar crbD = ifieldRegDS(theInstr);
8285 DIP("mtfsb0%s crb%d\n", flag_rC ? ".":"", crbD);
8286 putGST_masked( PPC_GST_FPSCR, mkU32(0), 1<<(31-crbD) );