Method checkInstr

lib/validator/formchecker.cpp:172–2028

}

Expect<void> FormChecker::checkInstr(const AST::Instruction &Instr) {
  // Note: The instructions and their immediates have passed proposal
  // configuration checking in the loader phase.

  // Helper lambda for checking whether the table index is valid.
  auto checkTableIdx = [this](const uint32_t Idx) -> Expect<void> {
    if (unlikely(Idx >= Tables.size())) {
      return logOutOfRange(ErrCode::Value::InvalidTableIdx,
                           ErrInfo::IndexCategory::Table, Idx,
                           static_cast<uint32_t>(Tables.size()));
    }
    return {};
  };

  // Helper lambda for checking whether the memory index is valid.
  auto checkMemIdx = [this](const uint32_t Idx) -> Expect<void> {
    if (unlikely(Idx >= Mems.size())) {
      return logOutOfRange(ErrCode::Value::InvalidMemoryIdx,
                           ErrInfo::IndexCategory::Memory, Idx,
                           static_cast<uint32_t>(Mems.size()));
    }
    return {};
  };

  // Helper lambda for checking whether the data index is valid.
  auto checkDataIdx = [this](const uint32_t Idx) -> Expect<void> {
    if (unlikely(Idx >= Datas.size())) {
      return logOutOfRange(ErrCode::Value::InvalidDataIdx,
                           ErrInfo::IndexCategory::Data, Idx,
                           static_cast<uint32_t>(Datas.size()));
    }
    return {};
  };

  // Helper lambda for checking whether the element index is valid.
  auto checkElemIdx = [this](const uint32_t Idx) -> Expect<void> {
    if (unlikely(Idx >= Elems.size())) {
      return logOutOfRange(ErrCode::Value::InvalidElemIdx,
                           ErrInfo::IndexCategory::Element, Idx,
                           static_cast<uint32_t>(Elems.size()));
    }
    return {};
  };

  // Helper lambda for checking whether the tag index is valid.
  auto checkTagIdx = [this](const uint32_t Idx) -> Expect<void> {
    if (unlikely(Idx >= Tags.size())) {
      return logOutOfRange(ErrCode::Value::InvalidTagIdx,
                           ErrInfo::IndexCategory::Tag, Idx,
                           static_cast<uint32_t>(Tags.size()));
    }
    return {};
  };

  // Helper lambda for checking the defined type.
  auto checkDefinedType =
      [this](uint32_t TIdx, TypeCode TC) -> Expect<const AST::CompositeType *> {
    if (TIdx >= Types.size()) {