Lines Matching refs:BI
1701 Hence in IBM's notation, BI=0 is CR7[SO], BI=1 is CR7[==], etc.
1703 Indexing from BI to guest state:
1705 let n = BI / 4
1706 off = BI % 4
1748 static IRExpr* /* :: Ity_I32 */ getCRbit ( UInt bi )
1750 UInt n = bi / 4;
1751 UInt off = bi % 4;
1752 vassert(bi < 32);
1770 static void putCRbit ( UInt bi, IRExpr* bit )
1776 n = bi / 4;
1777 off = bi % 4;
1778 vassert(bi < 32);
1808 IRExpr* /* :: Ity_I32 */ getCRbit_anywhere ( UInt bi, Int* where )
1810 UInt n = bi / 4;
1811 UInt off = bi % 4;
1812 vassert(bi < 32);
5506 Branch helper function cond_ok = BO[4] | (CR[BI] == BO[3])
5510 static IRExpr* /* :: Ity_I32 */ branch_cond_ok( UInt BO, UInt BI )
5519 // ok = (CR[BI] == BO[3]) Note, the following relies on
5522 assign( cr_bi, getCRbit_anywhere( BI, &where ) );
5550 UChar BI = ifieldRegA(theInstr);
5570 DIP("bcl 0x%x, 0x%x (a.k.a mr lr,cia+4)\n", BO, BI);
5617 flag_LK ? "l" : "", flag_AA ? "a" : "", BO, BI, BD);
5631 assign( cond_ok, branch_cond_ok( BO, BI ) );
5668 DIP("bcctr%s 0x%x, 0x%x\n", flag_LK ? "l" : "", BO, BI);
5670 assign( cond_ok, branch_cond_ok( BO, BI ) );
5699 DIP("bclr%s 0x%x, 0x%x\n", flag_LK ? "l" : "", BO, BI);
5710 assign( cond_ok, branch_cond_ok( BO, BI ) );
19570 UInt bi = ifieldRegC( theInstr );
19573 IRExpr_ITE( binop(Iop_CmpNE32, getCRbit( bi ), mkU32(0)),
19579 DIP("isel r%u,r%u,r%u,crb%u\n", rT,rA,rB,bi);
