DLA: Decouple DLATypeSystem from LLVM Values

mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00

- Remove `CreateInterProceduralTypes` and `CreateIntraProceduralTypes`
  from the StepManager and put them in a separate
  `DLATypeSystemLLVMBuilder` object that is in charge of initializing
  the DLATypeSystem graph.
- Remove `MakeLayouts` from the StepManager and split into two free
  functions: `makeLayouts` and `makeLayoutMap()`
- Remove all LLVM-related stuff (Module, LayoutTypePtrs and mappings
  between these and DLATypeSystemNodes) from DLATypeSystem
- Add an IntEqClasses member to DLATypeSystem, to use to map between
  LayoutTypePtrs and Layouts
- Add a TSDebugPrinter object inside the DLATypeSystem, which by default
  prints only IDs
- Define an LLVMTSDebugPrinter inside DLATypeSystemBuilder which
  overrides the default printer's behavior, printing LLVM-related info.
- Add the possibility to dump into a .csv file the bindings between
  Nodes in the TypeSystem and `llvm::Value`s

This commit is contained in:

Alvise de Faveri

2021-05-27 17:11:05 +02:00

committed by

Pietro Fezzardi

parent dfd81a017d

commit 105edb69a3

21 changed files with 944 additions and 616 deletions

									
										lib/ValueManipulationAnalysis/TypeFlowGraph.cpp
									
		-1
	
												View File
												
				@@ -23,7 +23,6 @@

				#include "revng-c/ValueManipulationAnalysis/TypeColors.h"

				#include "TypeFlowGraph.h"

				#include "TypeFlowGraphWriter.h"

				#include "TypeFlowNode.h"