Computer system with logic for writing instruction identifying data into array control lists for precise post-branch recoveries

Claim 1

A computer system which has provision for out of sequence instruction execution and provision for processing a conditional branch instruction based on a branch direction guess, comprising: memory means for storing instructions and data, a register array (RA) comprising m physical registers in a system architecture having n logical registers, wherein m is greater than n, said register array (RA) being connected to receive and send information to and from said memory means, array control list (ACL) means for storing register status information, said ACL means having m positions, wherein each position comprises a register status identifying field associated with one of the m physical registers in said register array (RA) and an instruction identification field indicative of an instruction addressing said one of said m registers, decode register assignment list (RAL) means connected with said register array (RA), for maintaining assignment status, said RAL means having n positions wherein each position comprises an assignment status identifying field associated with the one of said n logical registers, instruction execution means for receiving instructions and data and for producing results of instructions, said instruction execution means being connected to provide execution status signals to said ACL means and said DRAL means, instruction decoding and register means for receiving instructions from said memory means and for sending decoded instructions to be executed to said instruction execution means, and logic means, connected with said ACL means and said DRAL means, for: assigning, in accord with said register status, a selected one of said physical registers to perform functions for a first logical register addressed by an instruction decoded by said instruction decoding and register means; writing first data identifying said selected one of said physical registers into said assignment status identifying field associated with said first logical register; and writing second data identifying said instruction into said instruction identifying field.