private ControlSet StoreResult1ControlSet(BitWord psr) {
    ControlSet control_set = StateIndependentControlSet();
    control_set.addr1_mux_select = BitWord.FALSE;
    control_set.addr2_mux_select = BitWord.FromInt(2, 2);
    control_set.pc_mux_select = BitWord.FromInt(1, 2);
    // Note: By convention, the case where none of the flags is used in the
    // instruction is considered to be an unconditional branch, rather than a
    // NOP.
    if ((psr.TestBit(ProcessorStatusRegister.kNBit) && n()) ||
        (psr.TestBit(ProcessorStatusRegister.kZBit) && z()) ||
        (psr.TestBit(ProcessorStatusRegister.kPBit) && p()) ||
        (!n() && !z() && !p())){
      control_set.pc_load = BitWord.TRUE;
    }
    return control_set;
  }