JakeHillion/object-introspection
1
0
Fork 0
mirror of https://github.com/JakeHillion/object-introspection.git synced 2024-09-19 19:19:05 +01:00
Code Issues Packages Projects Releases Wiki Activity
main
object-introspection/test/test_prune.cpp

96 lines
2.0 KiB
C++
Raw Permalink Normal View History

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
#include <gtest/gtest.h>
#include "oi/type_graph/Prune.h"
#include "test/type_graph_utils.h"
using type_graph::Prune;
TEST(PruneTest, PruneClass) {
clang-format: disable bin packing Bin packing often makes code hard to read. Disable it entirely. Test plan: - CI
2023-11-13 16:50:09 +00:00
test(Prune::createPass(),
R"(
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
[0] Class: MyClass (size: 8)
Param
Primitive: int32_t
Param
Value: "123"
DrgnParser: store type of template param value
2023-08-16 20:44:58 +01:00
Primitive: int32_t
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
Parent (offset: 0)
[1] Class: MyParent (size: 4)
Member: a (offset: 0)
Primitive: int32_t
Member: a (offset: 0)
Primitive: int32_t
Member: b (offset: 4)
Primitive: int32_t
Function: foo
Function: bar
)",
R"(
[0] Class: MyClass (size: 8)
Member: a (offset: 0)
Primitive: int32_t
Member: b (offset: 4)
Primitive: int32_t
)");
}
TEST(PruneTest, RecurseClassMember) {
clang-format: disable bin packing Bin packing often makes code hard to read. Disable it entirely. Test plan: - CI
2023-11-13 16:50:09 +00:00
test(Prune::createPass(),
R"(
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
[0] Class: MyClass (size: 0)
Member: xxx (offset: 0)
[1] Class: ClassA (size: 12)
Function: foo
)",
R"(
[0] Class: MyClass (size: 0)
Member: xxx (offset: 0)
[1] Class: ClassA (size: 12)
)");
}
TEST(PruneTest, RecurseClassChild) {
clang-format: disable bin packing Bin packing often makes code hard to read. Disable it entirely. Test plan: - CI
2023-11-13 16:50:09 +00:00
test(Prune::createPass(),
R"(
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
[0] Class: MyClass (size: 0)
Child
[1] Class: ClassA (size: 12)
Function: foo
)",
R"(
[0] Class: MyClass (size: 0)
Child
[1] Class: ClassA (size: 12)
)");
}
TypeGraph: Fix handling for classes which inherit from containers We previously moved container identification later in CodeGen in order to preserve information for AlignmentCalc. However, Flattener needs to know if a class is a container in order to apply its special handling for this case. This new approach moves container identification in front of Flattener, but has Container own a type node, representing its layout. This underlying type node can be used for calculating a container's alignment in a later pass.
2023-12-14 16:15:43 +00:00
TEST(PruneTest, PruneContainer) {
test(Prune::createPass(),
R"(
[0] Container: std::vector (size: 24)
Param
Primitive: int32_t
Param
Value: "123"
Primitive: int32_t
Underlying
[1] Class: vector<int32_t> (size: 24)
Parent (offset: 0)
[2] Class: MyParent (size: 4)
Member: a (offset: 0)
Primitive: int32_t
Member: a (offset: 0)
Primitive: int32_t
Member: b (offset: 4)
Primitive: int32_t
)",
R"(
[0] Container: std::vector (size: 24)
Param
Primitive: int32_t
Param
Value: "123"
Primitive: int32_t
)");
}
Reference in New Issue Copy Permalink