object-introspection/oi/type_graph/CMakeLists.txt

add_library(type_graph
  AddChildren.cpp
  AddPadding.cpp
  AlignmentCalc.cpp
  ClangTypeParser.cpp
  DrgnExporter.cpp
  DrgnParser.cpp
  EnforceCompatibility.cpp
  Flattener.cpp
  IdentifyContainers.cpp
  KeyCapture.cpp
  NameGen.cpp
  PassManager.cpp
  Printer.cpp
  Prune.cpp
  RemoveMembers.cpp
  RemoveTopLevelPointer.cpp
  TopoSorter.cpp
  TypeGraph.cpp
  TypeIdentifier.cpp
  Types.cpp
)
add_dependencies(type_graph libdrgn)
target_link_libraries(type_graph
  container_info
  symbol_service

  "-L${DRGN_PATH}/.libs"
  drgn
)
target_include_directories(type_graph SYSTEM PUBLIC ${LLVM_INCLUDE_DIRS} ${CLANG_INCLUDE_DIRS})
TypeGraph: Add core code This code mostly works, but is obviously not complete. This commit just adds the code and tests, but does not enable it in OID or OIL. 2023-05-26 13:52:09 +01:00			`add_library(type_graph`
			`AddChildren.cpp`
			`AddPadding.cpp`
			`AlignmentCalc.cpp`
oilgen: migrate to source parsing (#421) Summary: oilgen: migrate to source parsing Using debug information generated from partial source (that is, not the final binary) has been insufficient to generally generate OIL code. A particular example is pointers to templates: ```cpp #include <oi/oi.h> template <typename T> struct Foo { T t; }; template <typename T> struct Bar { Foo<T>& f; }; void foo(const Bar<int>& b) { oi::introspect(b); } ``` The pointer/reference to `Foo<int>` appears in DWARF with `DW_AT_declaration(true)` because it could be specialised before its usage. However, with OIL, we are creating an implicit usage site in the `oi::introspect` call that the compiler is unable to see. This change reworks OILGen to work from a Clang command line rather than debug information. We setup and run a compiler on the source, giving us access to an AST and Semantic Analyser. We then: - Find the `oi::introspect` template. - Iterate through each of its callsites for their type. - Run `ClangTypeParser::parse` on each type. - Run codegen. - Compile into an object file. Having access to the semantic analyser allows us to forcefully complete a type, as it would be if it was used in the initial code. Test Plan: hope `buck2 run fbcode//mode/opt fbcode//object-introspection/oil/examples/compile-time:compile-time` Reviewed By: tyroguru Differential Revision: D51854477 Pulled By: JakeHillion 2023-12-19 19:57:44 +00:00			`ClangTypeParser.cpp`
CodeGen v2: Enable independent running without CodeGen v1 Create DrgnExporter to translate Type Graph "Type" nodes into drgn_type structs, suitable for use in OICache and TreeBuilder. 2023-12-13 16:49:41 +00:00			`DrgnExporter.cpp`
TypeGraph: Add core code This code mostly works, but is obviously not complete. This commit just adds the code and tests, but does not enable it in OID or OIL. 2023-05-26 13:52:09 +01:00			`DrgnParser.cpp`
TypeGraph: Add EnforceCompatibility pass This extracts the compatibility logic from AddPadding, which allows for it to be simplified and will make it easier to extend and eventually remove in the future. No functional changes. 2023-07-11 17:58:21 +01:00			`EnforceCompatibility.cpp`
TypeGraph: Add core code This code mostly works, but is obviously not complete. This commit just adds the code and tests, but does not enable it in OID or OIL. 2023-05-26 13:52:09 +01:00			`Flattener.cpp`
TypeGraph: Add IdentifyContainers mutator pass 2023-11-02 13:05:35 +00:00			`IdentifyContainers.cpp`
TypeGraph: Add KeyCapture pass 2023-09-22 14:34:22 +01:00			`KeyCapture.cpp`
TypeGraph: Add core code This code mostly works, but is obviously not complete. This commit just adds the code and tests, but does not enable it in OID or OIL. 2023-05-26 13:52:09 +01:00			`NameGen.cpp`
			`PassManager.cpp`
			`Printer.cpp`
TypeGraph: Add Prune pass This lets us remove fields from types when they are no longer needed, speeding up later passes. A secondary benefit of pruning unused types means that we sometimes remove types for which we can't generate correct C++ code. This can allow us to CodeGen for complex types which reference these broken types without actually requiring them (e.g. as template parameters). Add a new feature flag "prune-type-graph" to control this pass. It makes sense to prune most of the time, but for testing CodeGen functionality on a wider range of types, it will be useful to have the option to not prune. 2023-07-25 18:02:53 +01:00			`Prune.cpp`
Rename RemoveIgnored -> RemoveMembers Also reshuffle CodeGen's passes to fix an alignment bug with removed members. Change RemoveMembers to actually remove members instead of replacing them with padding. AddPadding must be run afterwards to fill in the gaps. 2023-07-25 13:45:22 +01:00			`RemoveMembers.cpp`
TypeGraph: Add core code This code mostly works, but is obviously not complete. This commit just adds the code and tests, but does not enable it in OID or OIL. 2023-05-26 13:52:09 +01:00			`RemoveTopLevelPointer.cpp`
			`TopoSorter.cpp`
TypeGraph: Make Primitive types singletons Should save some memory and improve performance by not having loads of copies of primitive types. 2023-07-04 19:07:30 +01:00			`TypeGraph.cpp`
TypeGraph: Add core code This code mostly works, but is obviously not complete. This commit just adds the code and tests, but does not enable it in OID or OIL. 2023-05-26 13:52:09 +01:00			`TypeIdentifier.cpp`
			`Types.cpp`
			`)`
			`add_dependencies(type_graph libdrgn)`
			`target_link_libraries(type_graph`
TypeGraph: Create dummy containers These represent types which don't store any interesting data for us to measure, but which are required by a real container so can not be replaced with our own generated class types. std::allocator often has bad DWARF, so it must be replaced after the DWARF is fixed up in Flattener. The others could be replaced earlier in the transformation process if desired, but I've left them all together for simplicity for now. This fixes the folly::fbstring tests. 2023-06-26 19:00:51 +01:00			`container_info`
TypeGraph: Add core code This code mostly works, but is obviously not complete. This commit just adds the code and tests, but does not enable it in OID or OIL. 2023-05-26 13:52:09 +01:00			`symbol_service`

			`"-L${DRGN_PATH}/.libs"`
			`drgn`
			`)`
oilgen: migrate to source parsing (#421) Summary: oilgen: migrate to source parsing Using debug information generated from partial source (that is, not the final binary) has been insufficient to generally generate OIL code. A particular example is pointers to templates: ```cpp #include <oi/oi.h> template <typename T> struct Foo { T t; }; template <typename T> struct Bar { Foo<T>& f; }; void foo(const Bar<int>& b) { oi::introspect(b); } ``` The pointer/reference to `Foo<int>` appears in DWARF with `DW_AT_declaration(true)` because it could be specialised before its usage. However, with OIL, we are creating an implicit usage site in the `oi::introspect` call that the compiler is unable to see. This change reworks OILGen to work from a Clang command line rather than debug information. We setup and run a compiler on the source, giving us access to an AST and Semantic Analyser. We then: - Find the `oi::introspect` template. - Iterate through each of its callsites for their type. - Run `ClangTypeParser::parse` on each type. - Run codegen. - Compile into an object file. Having access to the semantic analyser allows us to forcefully complete a type, as it would be if it was used in the initial code. Test Plan: hope `buck2 run fbcode//mode/opt fbcode//object-introspection/oil/examples/compile-time:compile-time` Reviewed By: tyroguru Differential Revision: D51854477 Pulled By: JakeHillion 2023-12-19 19:57:44 +00:00			`target_include_directories(type_graph SYSTEM PUBLIC ${LLVM_INCLUDE_DIRS} ${CLANG_INCLUDE_DIRS})`