where signextimm64 is the output of the sign extender. branch is true if the current instruction is a conditional branch instruction, uncondbranch is true if the current instruction is an unconditional branch (b), and aluzero is the zero output of the alu.