Lines Matching defs:BI
1819 Hence in IBM's notation, BI=0 is CR7[SO], BI=1 is CR7[==], etc.
1821 Indexing from BI to guest state:
1823 let n = BI / 4
1824 off = BI % 4
1866 static IRExpr* /* :: Ity_I32 */ getCRbit ( UInt bi )
1868 UInt n = bi / 4;
1869 UInt off = bi % 4;
1870 vassert(bi < 32);
1888 static void putCRbit ( UInt bi, IRExpr* bit )
1894 n = bi / 4;
1895 off = bi % 4;
1896 vassert(bi < 32);
1926 IRExpr* /* :: Ity_I32 */ getCRbit_anywhere ( UInt bi, Int* where )
1928 UInt n = bi / 4;
1929 UInt off = bi % 4;
1930 vassert(bi < 32);
5785 Branch helper function cond_ok = BO[4] | (CR[BI] == BO[3])
5789 static IRExpr* /* :: Ity_I32 */ branch_cond_ok( UInt BO, UInt BI )
5798 // ok = (CR[BI] == BO[3]) Note, the following relies on
5801 assign( cr_bi, getCRbit_anywhere( BI, &where ) );
5829 UChar BI = ifieldRegA(theInstr);
5849 DIP("bcl 0x%x, 0x%x (a.k.a mr lr,cia+4)\n", BO, BI);
5896 flag_LK ? "l" : "", flag_AA ? "a" : "", BO, BI, BD);
5910 assign( cond_ok, branch_cond_ok( BO, BI ) );
5947 DIP("bcctr%s 0x%x, 0x%x\n", flag_LK ? "l" : "", BO, BI);
5949 assign( cond_ok, branch_cond_ok( BO, BI ) );
5978 DIP("bclr%s 0x%x, 0x%x\n", flag_LK ? "l" : "", BO, BI);
5989 assign( cond_ok, branch_cond_ok( BO, BI ) );
20104 UInt bi = ifieldRegC( theInstr );
20107 IRExpr_ITE( binop(Iop_CmpNE32, getCRbit( bi ), mkU32(0)),
20113 DIP("isel r%u,r%u,r%u,crb%u\n", rT,rA,rB,bi);
