mirror of
https://github.com/JakeHillion/object-introspection.git
synced 2024-09-19 11:09:05 +01:00
a931d2f52f
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
|
||
|---|---|---|
| .. | ||
| exporters | ||
| support | ||
| type_graph | ||
| types/test | ||
| CMakeLists.txt | ||
| CodeGen.cpp | ||
| CodeGen.h | ||
| Config.cpp | ||
| Config.h | ||
| ContainerInfo.cpp | ||
| ContainerInfo.h | ||
| ContainerTypeEnum.h | ||
| Descs.cpp | ||
| Descs.h | ||
| DrgnUtils.cpp | ||
| DrgnUtils.h | ||
| EnumBitset.h | ||
| Features.cpp | ||
| Features.h | ||
| FuncGen.cpp | ||
| FuncGen.h | ||
| Headers.h | ||
| IntrospectionResult.cpp | ||
| Metrics.cpp | ||
| Metrics.h | ||
| OICache.cpp | ||
| OICache.h | ||
| OICodeGen.cpp | ||
| OICodeGen.h | ||
| OICompiler.cpp | ||
| OICompiler.h | ||
| OID.cpp | ||
| OIDebugger.cpp | ||
| OIDebugger.h | ||
| OIGenerator.cpp | ||
| OIGenerator.h | ||
| OILexer.h | ||
| OILexer.l | ||
| OILibrary.cpp | ||
| OILibraryImpl.cpp | ||
| OILibraryImpl.h | ||
| OIOpts.h | ||
| OIParser.h | ||
| OIParser.yy | ||
| OITraceCode.cpp | ||
| PaddingHunter.cpp | ||
| PaddingHunter.h | ||
| Portability.h | ||
| Serialize.cpp | ||
| Serialize.h | ||
| SymbolService.cpp | ||
| SymbolService.h | ||
| Syscall.h | ||
| TimeUtils.h | ||
| TrapInfo.h | ||
| TreeBuilder.cpp | ||
| TreeBuilder.h | ||
| TypeHierarchy.h | ||
| X86InstDefs.h | ||