Implement a -dump-type-info frontend action

This commit is contained in:
Slava Pestov
2018-07-25 17:11:44 -07:00
parent bb59562192
commit b15c9d7129
17 changed files with 528 additions and 2 deletions

View File

@@ -57,6 +57,7 @@ bool FrontendOptions::needsProperModuleName(ActionType action) {
case ActionType::EmitBC:
case ActionType::EmitObject:
case ActionType::EmitImportedModules:
case ActionType::DumpTypeInfo:
return true;
}
llvm_unreachable("Unknown ActionType");
@@ -91,6 +92,7 @@ bool FrontendOptions::isActionImmediate(ActionType action) {
case ActionType::EmitBC:
case ActionType::EmitObject:
case ActionType::EmitImportedModules:
case ActionType::DumpTypeInfo:
return false;
}
llvm_unreachable("Unknown ActionType");
@@ -148,6 +150,7 @@ FrontendOptions::formatForPrincipalOutputFileForAction(ActionType action) {
case ActionType::PrintAST:
case ActionType::DumpScopeMaps:
case ActionType::DumpTypeRefinementContexts:
case ActionType::DumpTypeInfo:
return TY_Nothing;
case ActionType::EmitPCH:
@@ -202,6 +205,7 @@ bool FrontendOptions::canActionEmitDependencies(ActionType action) {
case ActionType::PrintAST:
case ActionType::DumpScopeMaps:
case ActionType::DumpTypeRefinementContexts:
case ActionType::DumpTypeInfo:
case ActionType::Immediate:
case ActionType::REPL:
return false;
@@ -235,6 +239,7 @@ bool FrontendOptions::canActionEmitReferenceDependencies(ActionType action) {
case ActionType::PrintAST:
case ActionType::DumpScopeMaps:
case ActionType::DumpTypeRefinementContexts:
case ActionType::DumpTypeInfo:
case ActionType::Immediate:
case ActionType::REPL:
return false;
@@ -268,6 +273,7 @@ bool FrontendOptions::canActionEmitObjCHeader(ActionType action) {
case ActionType::EmitPCH:
case ActionType::DumpScopeMaps:
case ActionType::DumpTypeRefinementContexts:
case ActionType::DumpTypeInfo:
case ActionType::Immediate:
case ActionType::REPL:
return false;
@@ -298,6 +304,7 @@ bool FrontendOptions::canActionEmitLoadedModuleTrace(ActionType action) {
case ActionType::PrintAST:
case ActionType::DumpScopeMaps:
case ActionType::DumpTypeRefinementContexts:
case ActionType::DumpTypeInfo:
case ActionType::Immediate:
case ActionType::REPL:
return false;
@@ -333,6 +340,7 @@ bool FrontendOptions::canActionEmitModule(ActionType action) {
case ActionType::EmitPCH:
case ActionType::DumpScopeMaps:
case ActionType::DumpTypeRefinementContexts:
case ActionType::DumpTypeInfo:
case ActionType::EmitSILGen:
case ActionType::Immediate:
case ActionType::REPL:
@@ -369,6 +377,7 @@ bool FrontendOptions::canActionEmitInterface(ActionType action) {
case ActionType::EmitPCH:
case ActionType::DumpScopeMaps:
case ActionType::DumpTypeRefinementContexts:
case ActionType::DumpTypeInfo:
case ActionType::EmitSILGen:
case ActionType::EmitSIBGen:
case ActionType::Immediate:
@@ -411,6 +420,7 @@ bool FrontendOptions::doesActionProduceOutput(ActionType action) {
case ActionType::EmitObject:
case ActionType::EmitImportedModules:
case ActionType::MergeModules:
case ActionType::DumpTypeInfo:
return true;
case ActionType::NoneAction:
@@ -450,6 +460,7 @@ bool FrontendOptions::doesActionProduceTextualOutput(ActionType action) {
case ActionType::EmitSIL:
case ActionType::EmitAssembly:
case ActionType::EmitIR:
case ActionType::DumpTypeInfo:
return true;
}
}
@@ -467,6 +478,7 @@ bool FrontendOptions::doesActionRunSILPasses(ActionType action) {
case ActionType::PrintAST:
case ActionType::DumpScopeMaps:
case ActionType::DumpTypeRefinementContexts:
case ActionType::DumpTypeInfo:
case ActionType::EmitImportedModules:
case ActionType::EmitPCH:
case ActionType::EmitSILGen: