Lines Matching defs: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
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 ) );