file_context.cpp 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. #include "toolchain/lower/file_context.h"
  5. #include "common/vlog.h"
  6. #include "llvm/ADT/STLExtras.h"
  7. #include "llvm/ADT/Sequence.h"
  8. #include "llvm/Transforms/Utils/ModuleUtils.h"
  9. #include "toolchain/base/kind_switch.h"
  10. #include "toolchain/lower/constant.h"
  11. #include "toolchain/lower/function_context.h"
  12. #include "toolchain/lower/mangler.h"
  13. #include "toolchain/sem_ir/entry_point.h"
  14. #include "toolchain/sem_ir/file.h"
  15. #include "toolchain/sem_ir/function.h"
  16. #include "toolchain/sem_ir/generic.h"
  17. #include "toolchain/sem_ir/ids.h"
  18. #include "toolchain/sem_ir/inst.h"
  19. #include "toolchain/sem_ir/typed_insts.h"
  20. namespace Carbon::Lower {
  21. FileContext::FileContext(llvm::LLVMContext& llvm_context,
  22. bool include_debug_info,
  23. const Check::SemIRDiagnosticConverter& converter,
  24. llvm::StringRef module_name, const SemIR::File& sem_ir,
  25. const SemIR::InstNamer* inst_namer,
  26. llvm::raw_ostream* vlog_stream)
  27. : llvm_context_(&llvm_context),
  28. llvm_module_(std::make_unique<llvm::Module>(module_name, llvm_context)),
  29. di_builder_(*llvm_module_),
  30. di_compile_unit_(
  31. include_debug_info
  32. ? BuildDICompileUnit(module_name, *llvm_module_, di_builder_)
  33. : nullptr),
  34. converter_(converter),
  35. sem_ir_(&sem_ir),
  36. inst_namer_(inst_namer),
  37. vlog_stream_(vlog_stream) {
  38. CARBON_CHECK(!sem_ir.has_errors(),
  39. "Generating LLVM IR from invalid SemIR::File is unsupported.");
  40. }
  41. // TODO: Move this to lower.cpp.
  42. auto FileContext::Run() -> std::unique_ptr<llvm::Module> {
  43. CARBON_CHECK(llvm_module_, "Run can only be called once.");
  44. // Lower all types that were required to be complete.
  45. types_.resize(sem_ir_->insts().size());
  46. for (auto type_id : sem_ir_->types().complete_types()) {
  47. if (type_id.index >= 0) {
  48. types_[type_id.index] = BuildType(sem_ir_->types().GetInstId(type_id));
  49. }
  50. }
  51. // Lower function declarations.
  52. functions_.resize_for_overwrite(sem_ir_->functions().size());
  53. for (auto i : llvm::seq(sem_ir_->functions().size())) {
  54. functions_[i] = BuildFunctionDecl(SemIR::FunctionId(i));
  55. }
  56. // Specific functions are lowered when we emit a reference to them.
  57. specific_functions_.resize(sem_ir_->specifics().size());
  58. // Lower global variable declarations.
  59. for (auto inst_id :
  60. sem_ir().inst_blocks().Get(sem_ir().top_inst_block_id())) {
  61. // Only `VarStorage` indicates a global variable declaration in the
  62. // top instruction block.
  63. if (auto var = sem_ir().insts().TryGetAs<SemIR::VarStorage>(inst_id)) {
  64. global_variables_.Insert(inst_id, BuildGlobalVariableDecl(*var));
  65. }
  66. }
  67. // Lower constants.
  68. constants_.resize(sem_ir_->insts().size());
  69. LowerConstants(*this, constants_);
  70. // Lower function definitions.
  71. for (auto i : llvm::seq(sem_ir_->functions().size())) {
  72. BuildFunctionDefinition(SemIR::FunctionId(i));
  73. }
  74. // Append `__global_init` to `llvm::global_ctors` to initialize global
  75. // variables.
  76. if (sem_ir().global_ctor_id().is_valid()) {
  77. llvm::appendToGlobalCtors(llvm_module(),
  78. GetFunction(sem_ir().global_ctor_id()),
  79. /*Priority=*/0);
  80. }
  81. return std::move(llvm_module_);
  82. }
  83. auto FileContext::BuildDICompileUnit(llvm::StringRef module_name,
  84. llvm::Module& llvm_module,
  85. llvm::DIBuilder& di_builder)
  86. -> llvm::DICompileUnit* {
  87. llvm_module.addModuleFlag(llvm::Module::Max, "Dwarf Version", 5);
  88. llvm_module.addModuleFlag(llvm::Module::Warning, "Debug Info Version",
  89. llvm::DEBUG_METADATA_VERSION);
  90. // FIXME: Include directory path in the compile_unit_file.
  91. llvm::DIFile* compile_unit_file = di_builder.createFile(module_name, "");
  92. // FIXME: Introduce a new language code for Carbon. C works well for now since
  93. // it's something debuggers will already know/have support for at least.
  94. // Probably have to bump to C++ at some point for virtual functions,
  95. // templates, etc.
  96. return di_builder.createCompileUnit(llvm::dwarf::DW_LANG_C, compile_unit_file,
  97. "carbon",
  98. /*isOptimized=*/false, /*Flags=*/"",
  99. /*RV=*/0);
  100. }
  101. auto FileContext::GetGlobal(SemIR::InstId inst_id) -> llvm::Value* {
  102. auto inst = sem_ir().insts().Get(inst_id);
  103. auto const_id = sem_ir().constant_values().Get(inst_id);
  104. if (const_id.is_template()) {
  105. auto const_inst_id = sem_ir().constant_values().GetInstId(const_id);
  106. // For value expressions and initializing expressions, the value produced by
  107. // a constant instruction is a value representation of the constant. For
  108. // initializing expressions, `FinishInit` will perform a copy if needed.
  109. // TODO: Handle reference expression constants.
  110. auto* const_value = constants_[const_inst_id.index];
  111. // If we want a pointer to the constant, materialize a global to hold it.
  112. // TODO: We could reuse the same global if the constant is used more than
  113. // once.
  114. auto value_rep = SemIR::ValueRepr::ForType(sem_ir(), inst.type_id());
  115. if (value_rep.kind == SemIR::ValueRepr::Pointer) {
  116. // Include both the name of the constant, if any, and the point of use in
  117. // the name of the variable.
  118. llvm::StringRef const_name;
  119. llvm::StringRef use_name;
  120. if (inst_namer_) {
  121. const_name = inst_namer_->GetUnscopedNameFor(const_inst_id);
  122. use_name = inst_namer_->GetUnscopedNameFor(inst_id);
  123. }
  124. // We always need to give the global a name even if the instruction namer
  125. // doesn't have one to use.
  126. if (const_name.empty()) {
  127. const_name = "const";
  128. }
  129. if (use_name.empty()) {
  130. use_name = "anon";
  131. }
  132. llvm::StringRef sep = (use_name[0] == '.') ? "" : ".";
  133. return new llvm::GlobalVariable(
  134. llvm_module(), GetType(sem_ir().GetPointeeType(value_rep.type_id)),
  135. /*isConstant=*/true, llvm::GlobalVariable::InternalLinkage,
  136. const_value, const_name + sep + use_name);
  137. }
  138. // Otherwise, we can use the constant value directly.
  139. return const_value;
  140. }
  141. // TODO: For generics, handle references to symbolic constants.
  142. CARBON_FATAL("Missing value: {0} {1}", inst_id,
  143. sem_ir().insts().Get(inst_id));
  144. }
  145. auto FileContext::GetOrCreateFunction(SemIR::FunctionId function_id,
  146. SemIR::SpecificId specific_id)
  147. -> llvm::Function* {
  148. // Non-generic functions are declared eagerly.
  149. if (!specific_id.is_valid()) {
  150. return GetFunction(function_id);
  151. }
  152. if (auto* result = specific_functions_[specific_id.index]) {
  153. return result;
  154. }
  155. auto* result = BuildFunctionDecl(function_id, specific_id);
  156. // TODO: Add this function to a list of specific functions whose definitions
  157. // we need to emit.
  158. specific_functions_[specific_id.index] = result;
  159. return result;
  160. }
  161. auto FileContext::BuildFunctionDecl(SemIR::FunctionId function_id,
  162. SemIR::SpecificId specific_id)
  163. -> llvm::Function* {
  164. const auto& function = sem_ir().functions().Get(function_id);
  165. // Don't lower generic functions. Note that associated functions in interfaces
  166. // have `Self` in scope, so are implicitly generic functions.
  167. if (function.generic_id.is_valid() && !specific_id.is_valid()) {
  168. return nullptr;
  169. }
  170. // Don't lower builtins.
  171. if (function.builtin_function_kind != SemIR::BuiltinFunctionKind::None) {
  172. return nullptr;
  173. }
  174. // TODO: Consider tracking whether the function has been used, and only
  175. // lowering it if it's needed.
  176. const auto return_info =
  177. SemIR::ReturnTypeInfo::ForFunction(sem_ir(), function, specific_id);
  178. CARBON_CHECK(return_info.is_valid(), "Should not lower invalid functions.");
  179. auto implicit_param_patterns =
  180. sem_ir().inst_blocks().GetOrEmpty(function.implicit_param_patterns_id);
  181. // TODO: Include parameters corresponding to positional parameters.
  182. auto param_patterns =
  183. sem_ir().inst_blocks().GetOrEmpty(function.param_patterns_id);
  184. auto* return_type =
  185. return_info.type_id.is_valid() ? GetType(return_info.type_id) : nullptr;
  186. llvm::SmallVector<llvm::Type*> param_types;
  187. // TODO: Consider either storing `param_inst_ids` somewhere so that we can
  188. // reuse it from `BuildFunctionDefinition` and when building calls, or factor
  189. // out a mechanism to compute the mapping between parameters and arguments on
  190. // demand.
  191. llvm::SmallVector<SemIR::InstId> param_inst_ids;
  192. auto max_llvm_params = (return_info.has_return_slot() ? 1 : 0) +
  193. implicit_param_patterns.size() + param_patterns.size();
  194. param_types.reserve(max_llvm_params);
  195. param_inst_ids.reserve(max_llvm_params);
  196. auto return_param_id = SemIR::InstId::Invalid;
  197. if (return_info.has_return_slot()) {
  198. param_types.push_back(return_type->getPointerTo());
  199. return_param_id = sem_ir()
  200. .insts()
  201. .GetAs<SemIR::ReturnSlot>(function.return_slot_id)
  202. .storage_id;
  203. param_inst_ids.push_back(return_param_id);
  204. }
  205. for (auto param_pattern_id : llvm::concat<const SemIR::InstId>(
  206. implicit_param_patterns, param_patterns)) {
  207. auto param_pattern = SemIR::Function::GetParamPatternInfoFromPatternId(
  208. sem_ir(), param_pattern_id)
  209. .inst;
  210. if (!param_pattern.runtime_index.is_valid()) {
  211. continue;
  212. }
  213. auto param_type_id =
  214. SemIR::GetTypeInSpecific(sem_ir(), specific_id, param_pattern.type_id);
  215. switch (auto value_rep = SemIR::ValueRepr::ForType(sem_ir(), param_type_id);
  216. value_rep.kind) {
  217. case SemIR::ValueRepr::Unknown:
  218. CARBON_FATAL("Incomplete parameter type lowering function declaration");
  219. case SemIR::ValueRepr::None:
  220. break;
  221. case SemIR::ValueRepr::Copy:
  222. case SemIR::ValueRepr::Custom:
  223. case SemIR::ValueRepr::Pointer:
  224. param_types.push_back(GetType(value_rep.type_id));
  225. param_inst_ids.push_back(param_pattern_id);
  226. break;
  227. }
  228. }
  229. // Compute the return type to use for the LLVM function. If the initializing
  230. // representation doesn't produce a value, set the return type to void.
  231. // TODO: For the `Run` entry point, remap return type to i32 if it doesn't
  232. // return a value.
  233. llvm::Type* function_return_type =
  234. return_info.init_repr.kind == SemIR::InitRepr::ByCopy
  235. ? return_type
  236. : llvm::Type::getVoidTy(llvm_context());
  237. Mangler m(*this);
  238. std::string mangled_name = m.Mangle(function_id, specific_id);
  239. llvm::FunctionType* function_type = llvm::FunctionType::get(
  240. function_return_type, param_types, /*isVarArg=*/false);
  241. auto* llvm_function =
  242. llvm::Function::Create(function_type, llvm::Function::ExternalLinkage,
  243. mangled_name, llvm_module());
  244. CARBON_CHECK(llvm_function->getName() == mangled_name,
  245. "Mangled name collision: {0}", mangled_name);
  246. // Set up parameters and the return slot.
  247. for (auto [inst_id, arg] :
  248. llvm::zip_equal(param_inst_ids, llvm_function->args())) {
  249. auto name_id = SemIR::NameId::Invalid;
  250. if (inst_id == return_param_id) {
  251. name_id = SemIR::NameId::ReturnSlot;
  252. arg.addAttr(
  253. llvm::Attribute::getWithStructRetType(llvm_context(), return_type));
  254. } else {
  255. name_id = SemIR::Function::GetNameFromPatternId(sem_ir(), inst_id);
  256. }
  257. arg.setName(sem_ir().names().GetIRBaseName(name_id));
  258. }
  259. return llvm_function;
  260. }
  261. auto FileContext::BuildFunctionDefinition(SemIR::FunctionId function_id)
  262. -> void {
  263. const auto& function = sem_ir().functions().Get(function_id);
  264. const auto& body_block_ids = function.body_block_ids;
  265. if (body_block_ids.empty()) {
  266. // Function is probably defined in another file; not an error.
  267. return;
  268. }
  269. llvm::Function* llvm_function = GetFunction(function_id);
  270. if (!llvm_function) {
  271. // We chose not to lower this function at all, for example because it's a
  272. // generic function.
  273. return;
  274. }
  275. FunctionContext function_lowering(*this, llvm_function,
  276. BuildDISubprogram(function, llvm_function),
  277. vlog_stream_);
  278. // TODO: Pass in a specific ID for generic functions.
  279. const auto specific_id = SemIR::SpecificId::Invalid;
  280. // Add parameters to locals.
  281. // TODO: This duplicates the mapping between sem_ir instructions and LLVM
  282. // function parameters that was already computed in BuildFunctionDecl.
  283. // We should only do that once.
  284. auto implicit_param_refs =
  285. sem_ir().inst_blocks().GetOrEmpty(function.implicit_param_refs_id);
  286. auto param_refs = sem_ir().inst_blocks().GetOrEmpty(function.param_refs_id);
  287. int param_index = 0;
  288. // The SemIR calling-convention parameters of the function, in order of
  289. // runtime index. This is a transitional step toward generating this list
  290. // in the check phase, which is why we're using the runtime index order
  291. // even though it's less convenient for this usage.
  292. llvm::SmallVector<SemIR::InstId> calling_convention_param_ids;
  293. // This is an upper bound on the size because `self` and the return slot
  294. // are the only runtime parameters that don't appear in the explicit
  295. // parameter list.
  296. calling_convention_param_ids.reserve(param_refs.size() + 2);
  297. bool has_return_slot =
  298. SemIR::ReturnTypeInfo::ForFunction(sem_ir(), function, specific_id)
  299. .has_return_slot();
  300. for (auto param_ref_id :
  301. llvm::concat<const SemIR::InstId>(implicit_param_refs, param_refs)) {
  302. auto param_info =
  303. SemIR::Function::GetParamFromParamRefId(sem_ir(), param_ref_id);
  304. if (param_info.inst.runtime_index.is_valid()) {
  305. calling_convention_param_ids.push_back(param_info.inst_id);
  306. }
  307. }
  308. if (has_return_slot) {
  309. auto return_slot =
  310. sem_ir().insts().GetAs<SemIR::ReturnSlot>(function.return_slot_id);
  311. calling_convention_param_ids.push_back(return_slot.storage_id);
  312. }
  313. // TODO: find a way to ensure this code and the function-call lowering use
  314. // the same parameter ordering.
  315. // Lowers the given parameter. Must be called in LLVM calling convention
  316. // parameter order.
  317. auto lower_param = [&](SemIR::InstId param_id) {
  318. // Get the value of the parameter from the function argument.
  319. auto param_inst = sem_ir().insts().GetAs<SemIR::AnyParam>(param_id);
  320. llvm::Value* param_value =
  321. llvm::PoisonValue::get(GetType(param_inst.type_id));
  322. if (SemIR::ValueRepr::ForType(sem_ir(), param_inst.type_id).kind !=
  323. SemIR::ValueRepr::None) {
  324. param_value = llvm_function->getArg(param_index);
  325. ++param_index;
  326. }
  327. // The value of the parameter is the value of the argument.
  328. function_lowering.SetLocal(param_id, param_value);
  329. };
  330. // The subset of calling_convention_param_id that is in sequential order.
  331. llvm::ArrayRef<SemIR::InstId> sequential_param_ids =
  332. calling_convention_param_ids;
  333. // The LLVM calling convention has the return slot first rather than last.
  334. if (has_return_slot) {
  335. lower_param(calling_convention_param_ids.back());
  336. sequential_param_ids = sequential_param_ids.drop_back();
  337. }
  338. for (auto param_id : sequential_param_ids) {
  339. lower_param(param_id);
  340. }
  341. auto decl_block_id = SemIR::InstBlockId::Invalid;
  342. if (function_id == sem_ir().global_ctor_id()) {
  343. decl_block_id = SemIR::InstBlockId::Empty;
  344. } else {
  345. decl_block_id = sem_ir()
  346. .insts()
  347. .GetAs<SemIR::FunctionDecl>(function.latest_decl_id())
  348. .decl_block_id;
  349. }
  350. // Lowers the contents of block_id into the corresponding LLVM block,
  351. // creating it if it doesn't already exist.
  352. auto lower_block = [&](SemIR::InstBlockId block_id) {
  353. CARBON_VLOG("Lowering {0}\n", block_id);
  354. auto* llvm_block = function_lowering.GetBlock(block_id);
  355. // Keep the LLVM blocks in lexical order.
  356. llvm_block->moveBefore(llvm_function->end());
  357. function_lowering.builder().SetInsertPoint(llvm_block);
  358. function_lowering.LowerBlockContents(block_id);
  359. };
  360. lower_block(decl_block_id);
  361. // If the decl block is empty, reuse it as the first body block. We don't do
  362. // this when the decl block is non-empty so that any branches back to the
  363. // first body block don't also re-execute the decl.
  364. llvm::BasicBlock* block = function_lowering.builder().GetInsertBlock();
  365. if (block->empty() &&
  366. function_lowering.TryToReuseBlock(body_block_ids.front(), block)) {
  367. // Reuse this block as the first block of the function body.
  368. } else {
  369. function_lowering.builder().CreateBr(
  370. function_lowering.GetBlock(body_block_ids.front()));
  371. }
  372. // Lower all blocks.
  373. for (auto block_id : body_block_ids) {
  374. lower_block(block_id);
  375. }
  376. // LLVM requires that the entry block has no predecessors.
  377. auto* entry_block = &llvm_function->getEntryBlock();
  378. if (entry_block->hasNPredecessorsOrMore(1)) {
  379. auto* new_entry_block = llvm::BasicBlock::Create(
  380. llvm_context(), "entry", llvm_function, entry_block);
  381. llvm::BranchInst::Create(entry_block, new_entry_block);
  382. }
  383. }
  384. auto FileContext::BuildDISubprogram(const SemIR::Function& function,
  385. const llvm::Function* llvm_function)
  386. -> llvm::DISubprogram* {
  387. if (!di_compile_unit_) {
  388. return nullptr;
  389. }
  390. auto name = sem_ir().names().GetAsStringIfIdentifier(function.name_id);
  391. CARBON_CHECK(name, "Unexpected special name for function: {0}",
  392. function.name_id);
  393. auto loc = GetLocForDI(function.definition_id);
  394. // FIXME: Add more details here, including real subroutine type (once type
  395. // information is built), etc.
  396. return di_builder_.createFunction(
  397. di_compile_unit_, *name, llvm_function->getName(),
  398. /*File=*/di_builder_.createFile(loc.filename, ""),
  399. /*LineNo=*/loc.line_number,
  400. di_builder_.createSubroutineType(
  401. di_builder_.getOrCreateTypeArray(std::nullopt)),
  402. /*ScopeLine=*/0, llvm::DINode::FlagZero,
  403. llvm::DISubprogram::SPFlagDefinition);
  404. }
  405. static auto BuildTypeForInst(FileContext& context, SemIR::ArrayType inst)
  406. -> llvm::Type* {
  407. return llvm::ArrayType::get(
  408. context.GetType(inst.element_type_id),
  409. context.sem_ir().GetArrayBoundValue(inst.bound_id));
  410. }
  411. static auto BuildTypeForInst(FileContext& context, SemIR::BuiltinInst inst)
  412. -> llvm::Type* {
  413. switch (inst.builtin_inst_kind) {
  414. case SemIR::BuiltinInstKind::Invalid:
  415. case SemIR::BuiltinInstKind::AutoType:
  416. CARBON_FATAL("Unexpected builtin type in lowering: {0}", inst);
  417. case SemIR::BuiltinInstKind::Error:
  418. // This is a complete type but uses of it should never be lowered.
  419. return nullptr;
  420. case SemIR::BuiltinInstKind::TypeType:
  421. return context.GetTypeType();
  422. case SemIR::BuiltinInstKind::FloatType:
  423. return llvm::Type::getDoubleTy(context.llvm_context());
  424. case SemIR::BuiltinInstKind::IntType:
  425. return llvm::Type::getInt32Ty(context.llvm_context());
  426. case SemIR::BuiltinInstKind::BoolType:
  427. // TODO: We may want to have different representations for `bool`
  428. // storage
  429. // (`i8`) versus for `bool` values (`i1`).
  430. return llvm::Type::getInt1Ty(context.llvm_context());
  431. case SemIR::BuiltinInstKind::SpecificFunctionType:
  432. case SemIR::BuiltinInstKind::StringType:
  433. // TODO: Decide how we want to represent `StringType`.
  434. return llvm::PointerType::get(context.llvm_context(), 0);
  435. case SemIR::BuiltinInstKind::BoundMethodType:
  436. case SemIR::BuiltinInstKind::IntLiteralType:
  437. case SemIR::BuiltinInstKind::NamespaceType:
  438. case SemIR::BuiltinInstKind::WitnessType:
  439. // Return an empty struct as a placeholder.
  440. return llvm::StructType::get(context.llvm_context());
  441. case SemIR::BuiltinInstKind::VtableType:
  442. return llvm::Type::getVoidTy(context.llvm_context());
  443. }
  444. }
  445. // BuildTypeForInst is used to construct types for FileContext::BuildType below.
  446. // Implementations return the LLVM type for the instruction. This first overload
  447. // is the fallback handler for non-type instructions.
  448. template <typename InstT>
  449. requires(InstT::Kind.is_type() == SemIR::InstIsType::Never)
  450. static auto BuildTypeForInst(FileContext& /*context*/, InstT inst)
  451. -> llvm::Type* {
  452. CARBON_FATAL("Cannot use inst as type: {0}", inst);
  453. }
  454. static auto BuildTypeForInst(FileContext& context, SemIR::ClassType inst)
  455. -> llvm::Type* {
  456. auto object_repr_id = context.sem_ir()
  457. .classes()
  458. .Get(inst.class_id)
  459. .GetObjectRepr(context.sem_ir(), inst.specific_id);
  460. return context.GetType(object_repr_id);
  461. }
  462. static auto BuildTypeForInst(FileContext& context, SemIR::ConstType inst)
  463. -> llvm::Type* {
  464. return context.GetType(inst.inner_id);
  465. }
  466. static auto BuildTypeForInst(FileContext& context, SemIR::FloatType /*inst*/)
  467. -> llvm::Type* {
  468. // TODO: Handle different sizes.
  469. return llvm::Type::getDoubleTy(context.llvm_context());
  470. }
  471. static auto BuildTypeForInst(FileContext& context, SemIR::IntType inst)
  472. -> llvm::Type* {
  473. auto width =
  474. context.sem_ir().insts().TryGetAs<SemIR::IntValue>(inst.bit_width_id);
  475. CARBON_CHECK(width, "Can't lower int type with symbolic width");
  476. return llvm::IntegerType::get(
  477. context.llvm_context(),
  478. context.sem_ir().ints().Get(width->int_id).getZExtValue());
  479. }
  480. static auto BuildTypeForInst(FileContext& context, SemIR::PointerType /*inst*/)
  481. -> llvm::Type* {
  482. return llvm::PointerType::get(context.llvm_context(), /*AddressSpace=*/0);
  483. }
  484. static auto BuildTypeForInst(FileContext& context, SemIR::StructType inst)
  485. -> llvm::Type* {
  486. auto fields = context.sem_ir().inst_blocks().Get(inst.fields_id);
  487. llvm::SmallVector<llvm::Type*> subtypes;
  488. subtypes.reserve(fields.size());
  489. for (auto field_id : fields) {
  490. auto field =
  491. context.sem_ir().insts().GetAs<SemIR::StructTypeField>(field_id);
  492. subtypes.push_back(context.GetType(field.field_type_id));
  493. }
  494. return llvm::StructType::get(context.llvm_context(), subtypes);
  495. }
  496. static auto BuildTypeForInst(FileContext& context, SemIR::TupleType inst)
  497. -> llvm::Type* {
  498. // TODO: Investigate special-casing handling of empty tuples so that they
  499. // can be collectively replaced with LLVM's void, particularly around
  500. // function returns. LLVM doesn't allow declaring variables with a void
  501. // type, so that may require significant special casing.
  502. auto elements = context.sem_ir().type_blocks().Get(inst.elements_id);
  503. llvm::SmallVector<llvm::Type*> subtypes;
  504. subtypes.reserve(elements.size());
  505. for (auto element_id : elements) {
  506. subtypes.push_back(context.GetType(element_id));
  507. }
  508. return llvm::StructType::get(context.llvm_context(), subtypes);
  509. }
  510. template <typename InstT>
  511. requires(InstT::Kind.template IsAnyOf<
  512. SemIR::AssociatedEntityType, SemIR::FunctionType,
  513. SemIR::GenericClassType, SemIR::GenericInterfaceType,
  514. SemIR::InterfaceType, SemIR::UnboundElementType, SemIR::WhereExpr>())
  515. static auto BuildTypeForInst(FileContext& context, InstT /*inst*/)
  516. -> llvm::Type* {
  517. // Return an empty struct as a placeholder.
  518. // TODO: Should we model an interface as a witness table, or an associated
  519. // entity as an index?
  520. return llvm::StructType::get(context.llvm_context());
  521. }
  522. // Treat non-monomorphized symbolic types as opaque.
  523. template <typename InstT>
  524. requires(InstT::Kind.template IsAnyOf<SemIR::BindSymbolicName,
  525. SemIR::InterfaceWitnessAccess>())
  526. static auto BuildTypeForInst(FileContext& context, InstT /*inst*/)
  527. -> llvm::Type* {
  528. return llvm::StructType::get(context.llvm_context());
  529. }
  530. auto FileContext::BuildType(SemIR::InstId inst_id) -> llvm::Type* {
  531. // Use overload resolution to select the implementation, producing compile
  532. // errors when BuildTypeForInst isn't defined for a given instruction.
  533. CARBON_KIND_SWITCH(sem_ir_->insts().Get(inst_id)) {
  534. #define CARBON_SEM_IR_INST_KIND(Name) \
  535. case CARBON_KIND(SemIR::Name inst): { \
  536. return BuildTypeForInst(*this, inst); \
  537. }
  538. #include "toolchain/sem_ir/inst_kind.def"
  539. }
  540. }
  541. auto FileContext::BuildGlobalVariableDecl(SemIR::VarStorage var_storage)
  542. -> llvm::GlobalVariable* {
  543. // TODO: Mangle name.
  544. auto mangled_name =
  545. *sem_ir().names().GetAsStringIfIdentifier(var_storage.name_id);
  546. auto* type =
  547. var_storage.type_id.is_valid() ? GetType(var_storage.type_id) : nullptr;
  548. return new llvm::GlobalVariable(llvm_module(), type,
  549. /*isConstant=*/false,
  550. llvm::GlobalVariable::InternalLinkage,
  551. /*Initializer=*/nullptr, mangled_name);
  552. }
  553. auto FileContext::GetLocForDI(SemIR::InstId inst_id) -> LocForDI {
  554. auto diag_loc = converter_.ConvertLoc(
  555. inst_id, [&](DiagnosticLoc /*context_loc*/,
  556. const DiagnosticBase<>& /*context_diagnostic_base*/) {});
  557. return {.filename = diag_loc.filename,
  558. .line_number = diag_loc.line_number == -1 ? 0 : diag_loc.line_number,
  559. .column_number =
  560. diag_loc.column_number == -1 ? 0 : diag_loc.column_number};
  561. }
  562. } // namespace Carbon::Lower