if (RS1 == RS2)
  set_pc(BRANCH_TARGET);