Improved branch prediction in a pipelined microprocessor