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