0..5 18 6..29 LI 30 AA 31 LK AA LK b target 0 0 Branch ba target 1 0 bl target 0 1 bla target 1 1 if AA { NIA <- sign_ext(LI * 4) } else { NIA <- CIA + sign_extend(li * 4) } if LK { LR <- CIA + 4 } // ----------------------------------------------------------------------