mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 21:30:12 +01:00
Richard Smith
e24ba02352
Build a `SpecificConstant` (if needed) and `NameRef` instruction when referencing the thunk target from a thunk. The former is necessary if the impl is generic in order to call the right version of the thunk target. This previously caused a crash in lowering. Also add some more check testing for the interaction of thunks and generics. This testing uncovered an unrelated bug with thunks for generic interface functions for which I've added a TODO.
34 lines
1.2 KiB
C++
34 lines
1.2 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/name_ref.h"
|
|
|
|
#include "toolchain/check/inst.h"
|
|
|
|
namespace Carbon::Check {
|
|
|
|
auto BuildNameRef(Context& context, SemIR::LocId loc_id, SemIR::NameId name_id,
|
|
SemIR::InstId inst_id, SemIR::SpecificId specific_id)
|
|
-> SemIR::InstId {
|
|
auto type_id =
|
|
SemIR::GetTypeOfInstInSpecific(context.sem_ir(), specific_id, inst_id);
|
|
CARBON_CHECK(type_id.has_value(), "Missing type for {0}",
|
|
context.insts().Get(inst_id));
|
|
|
|
// If the named entity has a constant value that depends on its specific,
|
|
// store the specific too.
|
|
if (specific_id.has_value() &&
|
|
context.constant_values().Get(inst_id).is_symbolic()) {
|
|
inst_id = AddInst<SemIR::SpecificConstant>(
|
|
context, loc_id,
|
|
{.type_id = type_id, .inst_id = inst_id, .specific_id = specific_id});
|
|
}
|
|
|
|
return AddInst<SemIR::NameRef>(
|
|
context, loc_id,
|
|
{.type_id = type_id, .name_id = name_id, .value_id = inst_id});
|
|
}
|
|
|
|
} // namespace Carbon::Check
|