carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 18:40:16 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

More Dump() output for constants, generics, specifics (#5222)

Browse Source 
Example output:

Symbolic `constant_id`:

```
(std::string) $2 = "symbolic_constant36: {inst: inst74, generic: generic3, index: generic_inst_in_decl2, kind: checked}
inst74: {kind: FacetType, arg0: facet_type3, type: type(TypeType)}
  - type: type(TypeType): type; {kind: TypeType, type: type(TypeType)}
  - value: symbolic_constant26
generic3: {decl: inst75, bindings: inst_block41}
inst75: {kind: ImplDecl, arg0: impl0, arg1: inst_block39}
  - value: concrete_constant(inst75)"
```

`generic_id`:

```
(std::string) $3 = "generic3: {decl: inst75, bindings: inst_block41}
inst75: {kind: ImplDecl, arg0: impl0, arg1: inst_block39}
  - value: concrete_constant(inst75)
inst_block41:
  - inst60: {kind: BindSymbolicName, arg0: entity_name4, arg1: inst<none>, type: type(TypeType)}
generic decl block: inst_block46:
  - inst85: {kind: BindSymbolicName, arg0: entity_name4, arg1: inst<none>, type: type(TypeType)}
  - inst86: {kind: ClassType, arg0: class0, arg1: specific7, type: type(TypeType)}
  - inst87: {kind: FacetType, arg0: facet_type4, type: type(TypeType)}
  - inst88: {kind: RequireCompleteType, arg0: type(symbolic_constant36), type: type(inst(WitnessType))}
  - inst89: {kind: ImplWitness, arg0: inst_block42, arg1: specific9, type: type(inst(WitnessType))}"
```

`specific_id`:

```
(std::string) $1 = "specific8: {generic: generic0, args: inst_block67}
inst_block67:
  - inst255: {kind: BindSymbolicName, arg0: entity_name67, arg1: inst<none>, type: type(inst(IntLiteralType))}
generic0: {decl: inst51, bindings: inst_block7}
inst51: {kind: ClassDecl, arg0: class0, arg1: inst_block_empty, type: type(inst52)}
  - type: type(inst52): <type of Int>; {kind: GenericClassType, arg0: class0, arg1: specific<none>, type: type(TypeType)}
  - value: concrete_constant(inst54): {kind: StructValue, arg0: inst_block_empty, type: type(inst52)}
specific decl block: inst_block68:
  - inst255: {kind: BindSymbolicName, arg0: entity_name67, arg1: inst<none>, type: type(inst(IntLiteralType))}
  - inst255: {kind: BindSymbolicName, arg0: entity_name67, arg1: inst<none>, type: type(inst(IntLiteralType))}"
```

---------

Co-authored-by: Josh L <josh11b@users.noreply.github.com>
Co-authored-by: Dana Jansens <danakj@orodu.net>
This commit is contained in:
josh11b
2025-03-31 15:58:32 +00:00
committed by GitHub
co-authored by Josh L Dana Jansens
parent 384be1dbe3
commit 0ebe031dac
1 changed files with 58 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/sem_ir/dump.cpp
+58 -10
View File
@@ -19,6 +19,33 @@ static auto DumpNameIfValid(const File& file, NameId name_id) -> std::string {
return out.TakeStr();
}
static auto DumpConstantSummary(const File& file, ConstantId const_id)
-> std::string {
RawStringOstream out;
out << const_id;
if (!const_id.has_value()) {
return out.TakeStr();
}
if (const_id.is_symbolic()) {
out << ": " << file.constant_values().GetSymbolicConstant(const_id);
} else if (const_id.is_concrete()) {
out << ": " << file.insts().Get(file.constant_values().GetInstId(const_id));
}
return out.TakeStr();
}
static auto DumpGenericSummary(const File& file, GenericId generic_id)
-> std::string {
RawStringOstream out;
out << generic_id;
if (!generic_id.has_value()) {
return out.TakeStr();
}
const auto& generic = file.generics().Get(generic_id);
out << ": " << generic << "\ndecl: " << Dump(file, generic.decl_id);
return out.TakeStr();
}
static auto DumpInstSummary(const File& file, InstId inst_id) -> std::string {
RawStringOstream out;
out << inst_id;
@@ -56,9 +83,12 @@ LLVM_DUMP_METHOD auto Dump(const File& file, ConstantId const_id)
return out.TakeStr();
}
if (const_id.is_symbolic()) {
out << ": " << file.constant_values().GetSymbolicConstant(const_id);
const auto& symbolic = file.constant_values().GetSymbolicConstant(const_id);
out << ": " << symbolic << '\n'
<< Dump(file, symbolic.inst_id) << '\n'
<< DumpGenericSummary(file, symbolic.generic_id);
} else if (const_id.is_concrete()) {
out << ": " << file.insts().Get(file.constant_values().GetInstId(const_id));
out << ": " << Dump(file, file.constant_values().GetInstId(const_id));
}
return out.TakeStr();
}
@@ -92,8 +122,8 @@ LLVM_DUMP_METHOD auto Dump(const File& file, FacetTypeId facet_type_id)
}
for (auto rewrite : facet_type.rewrite_constraints) {
out << "\n"
<< " - " << Dump(file, rewrite.lhs_const_id) << "\n"
<< " - " << Dump(file, rewrite.rhs_const_id);
<< " - " << DumpConstantSummary(file, rewrite.lhs_const_id) << "\n"
<< " - " << DumpConstantSummary(file, rewrite.rhs_const_id);
}
if (auto complete_id = file.complete_facet_types().TryGetId(facet_type_id);
complete_id.has_value()) {
@@ -116,12 +146,19 @@ LLVM_DUMP_METHOD auto Dump(const File& file, FunctionId function_id)
LLVM_DUMP_METHOD auto Dump(const File& file, GenericId generic_id)
-> std::string {
RawStringOstream out;
out << generic_id;
out << DumpGenericSummary(file, generic_id);
if (!generic_id.has_value()) {
return out.TakeStr();
}
out << ": " << file.generics().Get(generic_id) << '\n'
<< Dump(file, file.generics().Get(generic_id).bindings_id);
const auto& generic = file.generics().Get(generic_id);
out << "\nbindings block: " << Dump(file, generic.bindings_id);
if (generic.decl_block_id.has_value()) {
out << "\ngeneric decl block: " << Dump(file, generic.decl_block_id);
}
if (generic.definition_block_id.has_value()) {
out << "\ngeneric definition block: "
<< Dump(file, generic.definition_block_id);
}
return out.TakeStr();
}
@@ -176,7 +213,7 @@ LLVM_DUMP_METHOD auto Dump(const File& file, InstId inst_id) -> std::string {
if (const_inst_id == inst_id) {
out << const_id;
} else {
out << Dump(file, const_id);
out << DumpConstantSummary(file, const_id);
}
}
return out.TakeStr();
@@ -267,7 +304,17 @@ LLVM_DUMP_METHOD auto Dump(const File& file, SpecificId specific_id)
RawStringOstream out;
out << DumpSpecificSummary(file, specific_id);
if (specific_id.has_value()) {
out << "\n" << Dump(file, file.specifics().Get(specific_id).args_id);
const auto& specific = file.specifics().Get(specific_id);
out << '\n'
<< Dump(file, specific.args_id) << '\n'
<< DumpGenericSummary(file, specific.generic_id);
if (specific.decl_block_id.has_value()) {
out << "\nspecific decl block: " << Dump(file, specific.decl_block_id);
}
if (specific.definition_block_id.has_value()) {
out << "\nspecific definition block: "
<< Dump(file, specific.definition_block_id);
}
}
return out.TakeStr();
}
@@ -279,7 +326,8 @@ LLVM_DUMP_METHOD auto Dump(const File& file,
const auto& interface = file.specific_interfaces().Get(specific_interface_id);
out << specific_interface_id << "\n"
<< " - interface: " << Dump(file, interface.interface_id) << "\n"
<< " - specific_id: " << Dump(file, interface.specific_id);
<< " - specific_id: "
<< DumpSpecificSummary(file, interface.specific_id);
return out.TakeStr();
}