// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

#include "toolchain/check/generic_region_stack.h"

#include "common/vlog.h"

namespace Carbon::Check {

auto GenericRegionStack::Push(PendingGeneric generic) -> void {
  CARBON_VLOG("GenericRegion Push: {0} {1}\n", generic.generic_id,
              generic.region);
  pending_generic_ids_.push_back(generic);
  pending_eval_block_stack_.PushArray();
  dependent_inst_stack_.PushArray();
  constants_in_generic_stack_.emplace_back();
}

auto GenericRegionStack::Pop() -> void {
  auto pending = pending_generic_ids_.pop_back_val();
  CARBON_VLOG("GenericRegion Pop: {0} {1}\n", pending.generic_id,
              pending.region);
  pending_eval_block_stack_.PopArray();
  dependent_inst_stack_.PopArray();
  constants_in_generic_stack_.pop_back();
}

}  // namespace Carbon::Check