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

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

253 lines
7.1 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) {
TypeGraph: Add Node IDs to non-leaf types These aren't used for anything yet, but should be useful for stable IDs when printing nodes before and after passes and for faster cycle detection than the current map of pointers.
2023-07-05 09:14:05 +01:00
auto myclass = Class{0, Class::Kind::Class, "MyClass", 16};
Unit tests: Remove unnecessary make_unique calls This was a purely mechanical change made with some find-and-replace macros.
2023-07-04 16:55:10 +01:00
auto myint8 = Primitive{Primitive::Kind::Int8};
auto myint64 = Primitive{Primitive::Kind::Int64};
TypeGraph: Switch from pointers to references References must always have a value, so are semantically clearer than pointers for variables which must always be set. No functional changes.
2023-07-05 10:33:44 +01:00
myclass.members.push_back(Member{myint8, "n", 0});
myclass.members.push_back(Member{myint64, "n", 8 * 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
Unit tests: Remove unnecessary make_unique calls This was a purely mechanical change made with some find-and-replace macros.
2023-07-04 16:55:10 +01:00
test(AlignmentCalc::createPass(), {myclass}, 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) {
TypeGraph: Add Node IDs to non-leaf types These aren't used for anything yet, but should be useful for stable IDs when printing nodes before and after passes and for faster cycle detection than the current map of pointers.
2023-07-05 09:14:05 +01:00
auto mystruct = Class{1, Class::Kind::Struct, "MyStruct", 8};
Unit tests: Remove unnecessary make_unique calls This was a purely mechanical change made with some find-and-replace macros.
2023-07-04 16:55:10 +01:00
auto myint32 = Primitive{Primitive::Kind::Int32};
TypeGraph: Switch from pointers to references References must always have a value, so are semantically clearer than pointers for variables which must always be set. No functional changes.
2023-07-05 10:33:44 +01:00
mystruct.members.push_back(Member{myint32, "n1", 0});
mystruct.members.push_back(Member{myint32, "n2", 4 * 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
TypeGraph: Add Node IDs to non-leaf types These aren't used for anything yet, but should be useful for stable IDs when printing nodes before and after passes and for faster cycle detection than the current map of pointers.
2023-07-05 09:14:05 +01:00
auto myclass = Class{0, Class::Kind::Class, "MyClass", 12};
Unit tests: Remove unnecessary make_unique calls This was a purely mechanical change made with some find-and-replace macros.
2023-07-04 16:55:10 +01:00
auto myint8 = Primitive{Primitive::Kind::Int8};
TypeGraph: Switch from pointers to references References must always have a value, so are semantically clearer than pointers for variables which must always be set. No functional changes.
2023-07-05 10:33:44 +01:00
myclass.members.push_back(Member{myint8, "n", 0});
myclass.members.push_back(Member{mystruct, "s", 4 * 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
Unit tests: Remove unnecessary make_unique calls This was a purely mechanical change made with some find-and-replace macros.
2023-07-04 16:55:10 +01:00
test(AlignmentCalc::createPass(), {myclass}, 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) {
TypeGraph: Add Node IDs to non-leaf types These aren't used for anything yet, but should be useful for stable IDs when printing nodes before and after passes and for faster cycle detection than the current map of pointers.
2023-07-05 09:14:05 +01:00
auto myclass = Class{1, Class::Kind::Class, "MyClass", 16};
Unit tests: Remove unnecessary make_unique calls This was a purely mechanical change made with some find-and-replace macros.
2023-07-04 16:55:10 +01:00
auto myint8 = Primitive{Primitive::Kind::Int8};
auto myint64 = Primitive{Primitive::Kind::Int64};
TypeGraph: Switch from pointers to references References must always have a value, so are semantically clearer than pointers for variables which must always be set. No functional changes.
2023-07-05 10:33:44 +01:00
myclass.members.push_back(Member{myint8, "n", 0});
myclass.members.push_back(Member{myint64, "n", 8 * 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
TypeGraph: Add Node IDs to non-leaf types These aren't used for anything yet, but should be useful for stable IDs when printing nodes before and after passes and for faster cycle detection than the current map of pointers.
2023-07-05 09:14:05 +01:00
auto mycontainer = Container{0, ContainerInfo{}, 8};
TypeGraph: Switch from pointers to references References must always have a value, so are semantically clearer than pointers for variables which must always be set. No functional changes.
2023-07-05 10:33:44 +01:00
mycontainer.templateParams.push_back(myclass);
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
Unit tests: Remove unnecessary make_unique calls This was a purely mechanical change made with some find-and-replace macros.
2023-07-04 16:55:10 +01:00
test(AlignmentCalc::createPass(), {mycontainer}, 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] Container: (size: 8)
Param
[1] Class: MyClass (size: 16, align: 8)
Member: n (offset: 0, align: 1)
Primitive: int8_t
Member: n (offset: 8, align: 8)
Primitive: int64_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
TEST(AlignmentCalcTest, PackedMembers) {
test(AlignmentCalc::createPass(), R"(
[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) {
test(AlignmentCalc::createPass(), R"(
[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) {
test(AlignmentCalc::createPass(), R"(
[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) {
test(AlignmentCalc::createPass(), R"(
[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) {
test(AlignmentCalc::createPass(), R"(
[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) {
test(AlignmentCalc::createPass(), R"(
[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) {
test(AlignmentCalc::createPass(), R"(
[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) {
test(AlignmentCalc::createPass(), R"(
[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) {
test(AlignmentCalc::createPass(), R"(
[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
)");
}
Reference in New Issue Copy Permalink