Ratrob

                 THIS PAGE IS UNDER CONSTUCTION

BPredRecoveryType OUTPUT

• BoolType

→ miss <sp> (1 bit) </sp>

*BoolType taken (1 bit)

• {| width:30%"

|width=100pt | AddrType |width=100pt | target_PC |width=200pt | (32 bits) |}

AddrType addrs (32 bits)

BPredStateType state