JakeHillion/object-introspection
1
0
Fork 0
mirror of https://github.com/JakeHillion/object-introspection.git synced 2024-11-14 14:26:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
333447a736
object-introspection/test/test_alignment_calc.cpp

297 lines
7.7 KiB
C++
Raw Normal View History

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
#include <gtest/gtest.h>
#include "oi/type_graph/AlignmentCalc.h"
Unit tests: Move last remaining tests onto using the type_graph_utils helpers
2023-07-04 16:56:27 +01:00
#include "test/type_graph_utils.h"
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
using namespace type_graph;
TEST(AlignmentCalcTest, PrimitiveMembers) {
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(AlignmentCalc::createPass(),
R"(
TypeGraph: Convert unit tests relying on Printer to use TypeGraphParser
2023-08-01 19:06:02 +01:00
[0] Class: MyClass (size: 16)
Member: n (offset: 0)
Primitive: int8_t
Member: n (offset: 8)
Primitive: int64_t
)",
R"(
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
[0] Class: MyClass (size: 16, align: 8)
Member: n (offset: 0, align: 1)
Primitive: int8_t
Member: n (offset: 8, align: 8)
Primitive: int64_t
)");
}
TEST(AlignmentCalcTest, StructMembers) {
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(AlignmentCalc::createPass(),
R"(
TypeGraph: Convert unit tests relying on Printer to use TypeGraphParser
2023-08-01 19:06:02 +01:00
[0] Class: MyClass (size: 12)
Member: n (offset: 0)
Primitive: int8_t
Member: s (offset: 4)
[1] Struct: MyStruct (size: 8)
Member: n1 (offset: 0)
Primitive: int32_t
Member: n2 (offset: 4)
Primitive: int32_t
)",
R"(
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
[0] Class: MyClass (size: 12, align: 4)
Member: n (offset: 0, align: 1)
Primitive: int8_t
Member: s (offset: 4, align: 4)
[1] Struct: MyStruct (size: 8, align: 4)
Member: n1 (offset: 0, align: 4)
Primitive: int32_t
Member: n2 (offset: 4, align: 4)
Primitive: int32_t
)");
}
TEST(AlignmentCalcTest, StructInContainer) {
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(AlignmentCalc::createPass(),
R"(
TypeGraph: Convert unit tests relying on Printer to use TypeGraphParser
2023-08-01 19:06:02 +01:00
[0] Container: std::vector (size: 8)
Param
[1] Class: MyClass (size: 16)
Member: n (offset: 0)
Primitive: int8_t
Member: n (offset: 8)
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
Primitive: int32_t
TypeGraph: Convert unit tests relying on Printer to use TypeGraphParser
2023-08-01 19:06:02 +01:00
)",
R"(
[0] Container: std::vector (size: 8)
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
Param
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
[1] Class: MyClass (size: 16, align: 4)
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
Member: n (offset: 0, align: 1)
Primitive: int8_t
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
Member: n (offset: 8, align: 4)
Primitive: int32_t
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
)");
}
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
TEST(AlignmentCalcTest, PackedMembers) {
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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
[0] Struct: MyStruct (size: 8)
Member: n1 (offset: 0)
Primitive: int8_t
Member: n2 (offset: 1)
Primitive: int32_t
Member: n3 (offset: 5)
Primitive: int8_t
Member: n4 (offset: 6)
Primitive: int8_t
Member: n5 (offset: 7)
Primitive: int8_t
)",
R"(
[0] Struct: MyStruct (size: 8, align: 4, packed)
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
Member: n1 (offset: 0, align: 1)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: n2 (offset: 1, align: 4)
Primitive: int32_t
Member: n3 (offset: 5, align: 1)
Primitive: int8_t
Member: n4 (offset: 6, align: 1)
Primitive: int8_t
Member: n5 (offset: 7, align: 1)
Primitive: int8_t
)");
}
TEST(AlignmentCalcTest, PackedTailPadding) {
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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
[0] Struct: MyStruct (size: 5)
Member: n1 (offset: 0)
Primitive: int32_t
Member: n2 (offset: 4)
Primitive: int8_t
)",
R"(
[0] Struct: MyStruct (size: 5, align: 4, packed)
Member: n1 (offset: 0, align: 4)
Primitive: int32_t
Member: n2 (offset: 4, align: 1)
Primitive: int8_t
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
)");
}
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
TEST(AlignmentCalcTest, RecurseClassParam) {
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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
[0] Class: MyClass (size: 0)
Param
[1] Class: ClassA (size: 16)
Member: a (offset: 0)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: b (offset: 8)
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
Primitive: int64_t
)",
R"(
[0] Class: MyClass (size: 0, align: 1)
Param
[1] Class: ClassA (size: 16, align: 8)
Member: a (offset: 0, align: 1)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: b (offset: 8, align: 8)
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
Primitive: int64_t
)");
}
TEST(AlignmentCalcTest, RecurseClassParent) {
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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
[0] Class: MyClass (size: 0)
Parent (offset: 0)
[1] Class: ClassA (size: 16)
Member: a (offset: 0)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: b (offset: 8)
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
Primitive: int64_t
)",
R"(
[0] Class: MyClass (size: 0, align: 1)
Parent (offset: 0)
[1] Class: ClassA (size: 16, align: 8)
Member: a (offset: 0, align: 1)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: b (offset: 8, align: 8)
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
Primitive: int64_t
)");
}
TEST(AlignmentCalcTest, 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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
[0] Class: MyClass (size: 0)
Member: xxx (offset: 0)
[1] Class: ClassA (size: 16)
Member: a (offset: 0)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: b (offset: 8)
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
Primitive: int64_t
)",
R"(
[0] Class: MyClass (size: 0, align: 8)
Member: xxx (offset: 0, align: 8)
[1] Class: ClassA (size: 16, align: 8)
Member: a (offset: 0, align: 1)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: b (offset: 8, align: 8)
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
Primitive: int64_t
)");
}
TEST(AlignmentCalcTest, 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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
[0] Class: MyClass (size: 0)
Child
[1] Class: ClassA (size: 16)
Member: a (offset: 0)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: b (offset: 8)
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
Primitive: int64_t
)",
R"(
[0] Class: MyClass (size: 0, align: 1)
Child
[1] Class: ClassA (size: 16, align: 8)
Member: a (offset: 0, align: 1)
Primitive: int8_t
AlignmentCalc: Mark as packed if members are not aligned We previously only marked as packed if there was no tail padding, which was not a sufficient condition. The new AlignmentCalcTest.PackedMembers test case is an example which would previously not have been marked as packed.
2023-08-01 16:08:46 +01:00
Member: b (offset: 8, align: 8)
AlignmentCalc: Recurse into params,parents,members,children of Classes
2023-07-19 15:43:49 +01:00
Primitive: int64_t
)");
}
AlignmentCalc: Tests for bitfields Extend TypeGraphParser to understand bitfields
2023-07-19 15:49:27 +01:00
TEST(AlignmentCalcTest, Bitfields) {
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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Tests for bitfields Extend TypeGraphParser to understand bitfields
2023-07-19 15:49:27 +01:00
[0] Class: MyClass (size: 8)
Member: a (offset: 0, bitsize: 2)
Primitive: int8_t
Member: b (offset: 0.25, bitsize: 30)
Primitive: int64_t
)",
R"(
[0] Class: MyClass (size: 8, align: 8)
Member: a (offset: 0, align: 1, bitsize: 2)
Primitive: int8_t
Member: b (offset: 0.25, align: 8, bitsize: 30)
Primitive: int64_t
)");
}
AlignmentCalc: Array alignment should be based on elementType's alignment
2023-07-25 14:09:48 +01:00
TEST(AlignmentCalcTest, Array) {
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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Array alignment should be based on elementType's alignment
2023-07-25 14:09:48 +01:00
[0] Class: MyClass (size: 1)
Member: a (offset: 0)
[1] Array: (length: 1)
[2] Class: AlignedClass (size: 1)
Member: b (offset: 0, align: 16)
Primitive: int8_t
)",
R"(
[0] Class: MyClass (size: 1, align: 16, packed)
Member: a (offset: 0, align: 16)
[1] Array: (length: 1)
[2] Class: AlignedClass (size: 1, align: 16, packed)
Member: b (offset: 0, align: 16)
Primitive: int8_t
)");
}
TEST(AlignmentCalcTest, Typedef) {
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(AlignmentCalc::createPass(),
R"(
AlignmentCalc: Array alignment should be based on elementType's alignment
2023-07-25 14:09:48 +01:00
[0] Class: MyClass (size: 1)
Member: a (offset: 0)
[1] Typedef: MyTypedef
[2] Class: AlignedClass (size: 1)
Member: b (offset: 0, align: 16)
Primitive: int8_t
)",
R"(
[0] Class: MyClass (size: 1, align: 16, packed)
Member: a (offset: 0, align: 16)
[1] Typedef: MyTypedef
[2] Class: AlignedClass (size: 1, align: 16, packed)
Member: b (offset: 0, align: 16)
Primitive: int8_t
)");
}
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(AlignmentCalcTest, Container) {
test(AlignmentCalc::createPass(),
R"(
[0] Container: std::vector (size: 24)
Underlying
[1] Class: vector (size: 24)
Member: n (offset: 0)
Primitive: int8_t
Member: s (offset: 4)
[2] Struct: MyStruct (size: 8)
Member: n1 (offset: 0)
Primitive: int32_t
Member: n2 (offset: 4)
Primitive: int32_t
)",
R"(
[0] Container: std::vector (size: 24, align: 4)
Underlying
[1] Class: vector (size: 24, align: 4)
Member: n (offset: 0, align: 1)
Primitive: int8_t
Member: s (offset: 4, align: 4)
[2] Struct: MyStruct (size: 8, align: 4)
Member: n1 (offset: 0, align: 4)
Primitive: int32_t
Member: n2 (offset: 4, align: 4)
Primitive: int32_t
)");
}
Reference in New Issue Copy Permalink