mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-01 22:02:45 +01:00
Jon Ross-PerkinsandRichard Smith
d13f76e001
This updates lexing to use the data. I'll do checking separately, just to split changes. Note the ValueStore structure is also set up such that SemIR::File can use it for other fields. --------- Co-authored-by: Richard Smith <richard@metafoo.co.uk>
108 lines
3.6 KiB
C++
108 lines
3.6 KiB
C++
// 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/context.h"
|
|
#include "toolchain/check/convert.h"
|
|
|
|
namespace Carbon::Check {
|
|
|
|
auto HandleStructComma(Context& context, Parse::Node /*parse_node*/) -> bool {
|
|
context.ParamOrArgComma();
|
|
return true;
|
|
}
|
|
|
|
auto HandleStructFieldDesignator(Context& context, Parse::Node /*parse_node*/)
|
|
-> bool {
|
|
// This leaves the designated name on top because the `.` isn't interesting.
|
|
CARBON_CHECK(
|
|
context.parse_tree().node_kind(context.node_stack().PeekParseNode()) ==
|
|
Parse::NodeKind::Name);
|
|
return true;
|
|
}
|
|
|
|
auto HandleStructFieldType(Context& context, Parse::Node parse_node) -> bool {
|
|
auto [type_node, type_id] = context.node_stack().PopExpressionWithParseNode();
|
|
SemIR::TypeId cast_type_id = ExpressionAsType(context, type_node, type_id);
|
|
|
|
auto [name_node, name_id] =
|
|
context.node_stack().PopWithParseNode<Parse::NodeKind::Name>();
|
|
|
|
context.AddNodeAndPush(
|
|
parse_node, SemIR::StructTypeField(name_node, name_id, cast_type_id));
|
|
return true;
|
|
}
|
|
|
|
auto HandleStructFieldUnknown(Context& context, Parse::Node parse_node)
|
|
-> bool {
|
|
return context.TODO(parse_node, "HandleStructFieldUnknown");
|
|
}
|
|
|
|
auto HandleStructFieldValue(Context& context, Parse::Node parse_node) -> bool {
|
|
auto [value_parse_node, value_node_id] =
|
|
context.node_stack().PopExpressionWithParseNode();
|
|
StringId name_id = context.node_stack().Pop<Parse::NodeKind::Name>();
|
|
|
|
// Store the name for the type.
|
|
context.args_type_info_stack().AddNode(SemIR::StructTypeField(
|
|
parse_node, name_id,
|
|
context.semantics_ir().GetNode(value_node_id).type_id()));
|
|
|
|
// Push the value back on the stack as an argument.
|
|
context.node_stack().Push(parse_node, value_node_id);
|
|
return true;
|
|
}
|
|
|
|
auto HandleStructLiteral(Context& context, Parse::Node parse_node) -> bool {
|
|
auto refs_id = context.ParamOrArgEnd(
|
|
Parse::NodeKind::StructLiteralOrStructTypeLiteralStart);
|
|
|
|
context.PopScope();
|
|
context.node_stack()
|
|
.PopAndDiscardSoloParseNode<
|
|
Parse::NodeKind::StructLiteralOrStructTypeLiteralStart>();
|
|
auto type_block_id = context.args_type_info_stack().Pop();
|
|
|
|
auto type_id = context.CanonicalizeStructType(parse_node, type_block_id);
|
|
|
|
auto value_id =
|
|
context.AddNode(SemIR::StructLiteral(parse_node, type_id, refs_id));
|
|
context.node_stack().Push(parse_node, value_id);
|
|
return true;
|
|
}
|
|
|
|
auto HandleStructLiteralOrStructTypeLiteralStart(Context& context,
|
|
Parse::Node parse_node)
|
|
-> bool {
|
|
context.PushScope();
|
|
context.node_stack().Push(parse_node);
|
|
// At this point we aren't sure whether this will be a value or type literal,
|
|
// so we push onto args irrespective. It just won't be used for a type
|
|
// literal.
|
|
context.args_type_info_stack().Push();
|
|
context.ParamOrArgStart();
|
|
return true;
|
|
}
|
|
|
|
auto HandleStructTypeLiteral(Context& context, Parse::Node parse_node) -> bool {
|
|
auto refs_id = context.ParamOrArgEnd(
|
|
Parse::NodeKind::StructLiteralOrStructTypeLiteralStart);
|
|
|
|
context.PopScope();
|
|
context.node_stack()
|
|
.PopAndDiscardSoloParseNode<
|
|
Parse::NodeKind::StructLiteralOrStructTypeLiteralStart>();
|
|
// This is only used for value literals.
|
|
context.args_type_info_stack().Pop();
|
|
|
|
CARBON_CHECK(refs_id != SemIR::NodeBlockId::Empty)
|
|
<< "{} is handled by StructLiteral.";
|
|
|
|
context.AddNodeAndPush(
|
|
parse_node,
|
|
SemIR::StructType(parse_node, SemIR::TypeId::TypeType, refs_id));
|
|
return true;
|
|
}
|
|
|
|
} // namespace Carbon::Check
|