xref: /llvm-project/llvm/unittests/IR/DataLayoutTest.cpp (revision 4d7a0abae8b40482a44c22257b2e86c6fa89547c)
1308e82ecSMichael Platings //===- ConstantRangeTest.cpp - ConstantRange tests ------------------------===//
2308e82ecSMichael Platings //
3308e82ecSMichael Platings // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4308e82ecSMichael Platings // See https://llvm.org/LICENSE.txt for license information.
5308e82ecSMichael Platings // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6308e82ecSMichael Platings //
7308e82ecSMichael Platings //===----------------------------------------------------------------------===//
8308e82ecSMichael Platings 
9308e82ecSMichael Platings #include "llvm/IR/DataLayout.h"
103bc41575SAlex Richardson #include "llvm/IR/GlobalVariable.h"
11c7a76d6bSGuillaume Chatelet #include "llvm/IR/LLVMContext.h"
123bc41575SAlex Richardson #include "llvm/IR/Module.h"
13c7a76d6bSGuillaume Chatelet #include "llvm/IR/Type.h"
14720e3bacSprabhukr #include "llvm/TargetParser/Triple.h"
158002fa67SFraser Cormack #include "llvm/Testing/Support/Error.h"
16308e82ecSMichael Platings #include "gtest/gtest.h"
17308e82ecSMichael Platings 
18308e82ecSMichael Platings using namespace llvm;
19308e82ecSMichael Platings 
20308e82ecSMichael Platings namespace {
21308e82ecSMichael Platings 
2250daa239SSergei Barannikov class DataLayoutTest : public ::testing::Test {};
2350daa239SSergei Barannikov 
246543bd71SSergei Barannikov TEST(DataLayout, LayoutStringFormat) {
256543bd71SSergei Barannikov   for (StringRef Str : {"", "e", "m:e", "m:e-e"})
266543bd71SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
276543bd71SSergei Barannikov 
286543bd71SSergei Barannikov   for (StringRef Str : {"-", "e-", "-m:e", "m:e--e"})
296543bd71SSergei Barannikov     EXPECT_THAT_EXPECTED(
306543bd71SSergei Barannikov         DataLayout::parse(Str),
316543bd71SSergei Barannikov         FailedWithMessage("empty specification is not allowed"));
326543bd71SSergei Barannikov }
336543bd71SSergei Barannikov 
34c91cc459SSergei Barannikov TEST(DataLayoutTest, InvalidSpecifier) {
35c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(DataLayout::parse("^"),
36c91cc459SSergei Barannikov                        FailedWithMessage("unknown specifier '^'"));
37c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(DataLayout::parse("I8:8"),
38c91cc459SSergei Barannikov                        FailedWithMessage("unknown specifier 'I'"));
39c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(DataLayout::parse("e-X"),
40c91cc459SSergei Barannikov                        FailedWithMessage("unknown specifier 'X'"));
41c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(DataLayout::parse("p0:32:32-64"),
42c91cc459SSergei Barannikov                        FailedWithMessage("unknown specifier '6'"));
43c91cc459SSergei Barannikov }
44c91cc459SSergei Barannikov 
45c91cc459SSergei Barannikov TEST(DataLayoutTest, ParseEndianness) {
46c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(DataLayout::parse("e"), Succeeded());
47c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(DataLayout::parse("E"), Succeeded());
48c91cc459SSergei Barannikov 
49c91cc459SSergei Barannikov   for (StringRef Str : {"ee", "e0", "e:0", "E0:E", "El", "E:B"})
50c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
51c91cc459SSergei Barannikov         DataLayout::parse(Str),
52c91cc459SSergei Barannikov         FailedWithMessage("malformed specification, must be just 'e' or 'E'"));
53c91cc459SSergei Barannikov }
54c91cc459SSergei Barannikov 
55c91cc459SSergei Barannikov TEST(DataLayoutTest, ParseMangling) {
56c91cc459SSergei Barannikov   for (StringRef Str : {"m:a", "m:e", "m:l", "m:m", "m:o", "m:w", "m:x"})
57c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
58c91cc459SSergei Barannikov 
59c91cc459SSergei Barannikov   for (StringRef Str : {"m", "ms:m", "m:"})
60c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
61c91cc459SSergei Barannikov         DataLayout::parse(Str),
62c91cc459SSergei Barannikov         FailedWithMessage(
63c91cc459SSergei Barannikov             "malformed specification, must be of the form \"m:<mangling>\""));
64c91cc459SSergei Barannikov 
65c91cc459SSergei Barannikov   for (StringRef Str : {"m:ms", "m:E", "m:0"})
66c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str),
67c91cc459SSergei Barannikov                          FailedWithMessage("unknown mangling mode"));
68c91cc459SSergei Barannikov }
69c91cc459SSergei Barannikov 
70c91cc459SSergei Barannikov TEST(DataLayoutTest, ParseStackNaturalAlign) {
71c91cc459SSergei Barannikov   for (StringRef Str : {"S8", "S32768"})
72c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
73c91cc459SSergei Barannikov 
74c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(
75c91cc459SSergei Barannikov       DataLayout::parse("S"),
76c91cc459SSergei Barannikov       FailedWithMessage(
77c91cc459SSergei Barannikov           "malformed specification, must be of the form \"S<size>\""));
78c91cc459SSergei Barannikov 
79c91cc459SSergei Barannikov   for (StringRef Str : {"SX", "S0x20", "S65536"})
80c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
81c91cc459SSergei Barannikov         DataLayout::parse(Str),
82c91cc459SSergei Barannikov         FailedWithMessage("stack natural alignment must be a 16-bit integer"));
83c91cc459SSergei Barannikov 
84c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(
85c91cc459SSergei Barannikov       DataLayout::parse("S0"),
86c91cc459SSergei Barannikov       FailedWithMessage("stack natural alignment must be non-zero"));
87c91cc459SSergei Barannikov 
88c91cc459SSergei Barannikov   for (StringRef Str : {"S1", "S7", "S24", "S65535"})
89c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
90c91cc459SSergei Barannikov         DataLayout::parse(Str),
91c91cc459SSergei Barannikov         FailedWithMessage("stack natural alignment must be a power of two "
92c91cc459SSergei Barannikov                           "times the byte width"));
93c91cc459SSergei Barannikov }
94c91cc459SSergei Barannikov 
95c91cc459SSergei Barannikov TEST(DataLayoutTest, ParseAddrSpace) {
96c91cc459SSergei Barannikov   for (StringRef Str : {"P0", "A0", "G0", "P1", "A1", "G1", "P16777215",
97c91cc459SSergei Barannikov                         "A16777215", "G16777215"})
98c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
99c91cc459SSergei Barannikov 
100c91cc459SSergei Barannikov   for (StringRef Str : {"P", "A", "G"})
101c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
102c91cc459SSergei Barannikov         DataLayout::parse(Str),
103c91cc459SSergei Barannikov         FailedWithMessage(("malformed specification, must be of the form \"" +
104c91cc459SSergei Barannikov                            Twine(Str.front()) + "<address space>\"")
105c91cc459SSergei Barannikov                               .str()));
106c91cc459SSergei Barannikov 
107c91cc459SSergei Barannikov   for (StringRef Str : {"Px", "A0x1", "G16777216"})
108c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
109c91cc459SSergei Barannikov         DataLayout::parse(Str),
110c91cc459SSergei Barannikov         FailedWithMessage("address space must be a 24-bit integer"));
111c91cc459SSergei Barannikov }
112c91cc459SSergei Barannikov 
113c91cc459SSergei Barannikov TEST(DataLayoutTest, ParseFuncPtrSpec) {
114c91cc459SSergei Barannikov   for (StringRef Str : {"Fi8", "Fn16", "Fi32768", "Fn32768"})
115c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
116c91cc459SSergei Barannikov 
117c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(
118c91cc459SSergei Barannikov       DataLayout::parse("F"),
119c91cc459SSergei Barannikov       FailedWithMessage(
120c91cc459SSergei Barannikov           "malformed specification, must be of the form \"F<type><abi>\""));
121c91cc459SSergei Barannikov 
122c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(
123c91cc459SSergei Barannikov       DataLayout::parse("FN"),
124c91cc459SSergei Barannikov       FailedWithMessage("unknown function pointer alignment type 'N'"));
125c91cc459SSergei Barannikov   EXPECT_THAT_EXPECTED(
126c91cc459SSergei Barannikov       DataLayout::parse("F32"),
127c91cc459SSergei Barannikov       FailedWithMessage("unknown function pointer alignment type '3'"));
128c91cc459SSergei Barannikov 
129c91cc459SSergei Barannikov   for (StringRef Str : {"Fi", "Fn"})
130c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
131c91cc459SSergei Barannikov         DataLayout::parse(Str),
132c91cc459SSergei Barannikov         FailedWithMessage("ABI alignment component cannot be empty"));
133c91cc459SSergei Barannikov 
134c91cc459SSergei Barannikov   for (StringRef Str : {"Fii", "Fn32x", "Fi65536", "Fn65536"})
135c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
136c91cc459SSergei Barannikov         DataLayout::parse(Str),
137c91cc459SSergei Barannikov         FailedWithMessage("ABI alignment must be a 16-bit integer"));
138c91cc459SSergei Barannikov 
139c91cc459SSergei Barannikov   for (StringRef Str : {"Fi0", "Fn0"})
140c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str),
141c91cc459SSergei Barannikov                          FailedWithMessage("ABI alignment must be non-zero"));
142c91cc459SSergei Barannikov 
143c91cc459SSergei Barannikov   for (StringRef Str : {"Fi12", "Fn24"})
144c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
145c91cc459SSergei Barannikov         DataLayout::parse(Str),
146c91cc459SSergei Barannikov         FailedWithMessage(
147c91cc459SSergei Barannikov             "ABI alignment must be a power of two times the byte width"));
148c91cc459SSergei Barannikov }
149c91cc459SSergei Barannikov 
15050daa239SSergei Barannikov class DataLayoutPrimitiveSpecificationTest
15150daa239SSergei Barannikov     : public DataLayoutTest,
15250daa239SSergei Barannikov       public ::testing::WithParamInterface<char> {
15350daa239SSergei Barannikov   char Specifier;
15450daa239SSergei Barannikov 
15550daa239SSergei Barannikov public:
15650daa239SSergei Barannikov   DataLayoutPrimitiveSpecificationTest() : Specifier(GetParam()) {}
15750daa239SSergei Barannikov 
15850daa239SSergei Barannikov   std::string format(StringRef Str) const {
15950daa239SSergei Barannikov     std::string Res = Str.str();
16050daa239SSergei Barannikov     std::replace(Res.begin(), Res.end(), '!', Specifier);
16150daa239SSergei Barannikov     return Res;
16250daa239SSergei Barannikov   }
16350daa239SSergei Barannikov };
16450daa239SSergei Barannikov 
16550daa239SSergei Barannikov INSTANTIATE_TEST_SUITE_P(PrmitiveSpecifiers,
16650daa239SSergei Barannikov                          DataLayoutPrimitiveSpecificationTest,
16750daa239SSergei Barannikov                          ::testing::Values('i', 'f', 'v'));
16850daa239SSergei Barannikov 
16950daa239SSergei Barannikov TEST_P(DataLayoutPrimitiveSpecificationTest, ParsePrimitiveSpec) {
17050daa239SSergei Barannikov   for (StringRef Str :
17150daa239SSergei Barannikov        {"!1:16", "!8:8:8", "!16:32:64", "!16777215:32768:32768"})
17250daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(format(Str)), Succeeded());
17350daa239SSergei Barannikov 
17450daa239SSergei Barannikov   for (StringRef Str : {"!", "!1", "!32:32:32:32", "!16:32:64:128"})
17550daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
17650daa239SSergei Barannikov         DataLayout::parse(format(Str)),
17750daa239SSergei Barannikov         FailedWithMessage(format("malformed specification, must be of the form "
17850daa239SSergei Barannikov                                  "\"!<size>:<abi>[:<pref>]\"")));
17950daa239SSergei Barannikov 
18050daa239SSergei Barannikov   // size
18150daa239SSergei Barannikov   for (StringRef Str : {"!:8", "!:16:16", "!:32:64"})
18250daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(format(Str)),
18350daa239SSergei Barannikov                          FailedWithMessage("size component cannot be empty"));
18450daa239SSergei Barannikov 
18550daa239SSergei Barannikov   for (StringRef Str :
18650daa239SSergei Barannikov        {"!0:8", "!0x8:8", "!x:8:8", "!0:16:32", "!16777216:64:64"})
18750daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
18850daa239SSergei Barannikov         DataLayout::parse(format(Str)),
18950daa239SSergei Barannikov         FailedWithMessage("size must be a non-zero 24-bit integer"));
19050daa239SSergei Barannikov 
19150daa239SSergei Barannikov   // ABI alignment
19250daa239SSergei Barannikov   for (StringRef Str : {"!8:", "!16::16", "!32::64"})
19350daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
19450daa239SSergei Barannikov         DataLayout::parse(format(Str)),
19550daa239SSergei Barannikov         FailedWithMessage("ABI alignment component cannot be empty"));
19650daa239SSergei Barannikov 
19750daa239SSergei Barannikov   for (StringRef Str : {"!1:x", "!8:8x:8", "!16:65536:65536"})
19850daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
19950daa239SSergei Barannikov         DataLayout::parse(format(Str)),
20050daa239SSergei Barannikov         FailedWithMessage("ABI alignment must be a 16-bit integer"));
20150daa239SSergei Barannikov 
20250daa239SSergei Barannikov   for (StringRef Str : {"!8:0", "!16:0:16", "!32:0:64"})
20350daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(format(Str)),
20450daa239SSergei Barannikov                          FailedWithMessage("ABI alignment must be non-zero"));
20550daa239SSergei Barannikov 
20650daa239SSergei Barannikov   for (StringRef Str : {"!1:1", "!8:4", "!16:6:16", "!32:24:64"})
20750daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
20850daa239SSergei Barannikov         DataLayout::parse(format(Str)),
20950daa239SSergei Barannikov         FailedWithMessage(
21050daa239SSergei Barannikov             "ABI alignment must be a power of two times the byte width"));
21150daa239SSergei Barannikov 
21250daa239SSergei Barannikov   // preferred alignment
21350daa239SSergei Barannikov   for (StringRef Str : {"!1:8:", "!16:16:", "!64:32:"})
21450daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
21550daa239SSergei Barannikov         DataLayout::parse(format(Str)),
21650daa239SSergei Barannikov         FailedWithMessage("preferred alignment component cannot be empty"));
21750daa239SSergei Barannikov 
21850daa239SSergei Barannikov   for (StringRef Str : {"!1:8:x", "!8:8:0x8", "!16:32:65536"})
21950daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
22050daa239SSergei Barannikov         DataLayout::parse(format(Str)),
22150daa239SSergei Barannikov         FailedWithMessage("preferred alignment must be a 16-bit integer"));
22250daa239SSergei Barannikov 
22350daa239SSergei Barannikov   for (StringRef Str : {"!8:8:0", "!32:16:0"})
22450daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
22550daa239SSergei Barannikov         DataLayout::parse(format(Str)),
22650daa239SSergei Barannikov         FailedWithMessage("preferred alignment must be non-zero"));
22750daa239SSergei Barannikov 
22850daa239SSergei Barannikov   for (StringRef Str : {"!1:8:12", "!8:8:17", "!16:32:40"})
22950daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
23050daa239SSergei Barannikov         DataLayout::parse(format(Str)),
23150daa239SSergei Barannikov         FailedWithMessage(
23250daa239SSergei Barannikov             "preferred alignment must be a power of two times the byte width"));
23350daa239SSergei Barannikov 
23450daa239SSergei Barannikov   for (StringRef Str : {"!1:16:8", "!64:32:16"})
23550daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
23650daa239SSergei Barannikov         DataLayout::parse(format(Str)),
23750daa239SSergei Barannikov         FailedWithMessage(
23850daa239SSergei Barannikov             "preferred alignment cannot be less than the ABI alignment"));
23950daa239SSergei Barannikov 
24050daa239SSergei Barannikov   // Additional check for byte-sized integer.
24150daa239SSergei Barannikov   if (GetParam() == 'i') {
24250daa239SSergei Barannikov     for (StringRef Str : {"!8:16", "!8:16:8", "!8:16:32"})
24350daa239SSergei Barannikov       EXPECT_THAT_EXPECTED(DataLayout::parse(format(Str)),
24450daa239SSergei Barannikov                            FailedWithMessage("i8 must be 8-bit aligned"));
24550daa239SSergei Barannikov   }
24650daa239SSergei Barannikov }
24750daa239SSergei Barannikov 
24850daa239SSergei Barannikov TEST(DataLayoutTest, ParseAggregateSpec) {
24950daa239SSergei Barannikov   for (StringRef Str : {"a:8", "a:0:16", "a0:32:64", "a:32768:32768"})
25050daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
25150daa239SSergei Barannikov 
25250daa239SSergei Barannikov   for (StringRef Str : {"a", "a0", "a:32:32:32", "a0:32:64:128"})
25350daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
25450daa239SSergei Barannikov         DataLayout::parse(Str),
25550daa239SSergei Barannikov         FailedWithMessage("malformed specification, must be of the form "
25650daa239SSergei Barannikov                           "\"a:<abi>[:<pref>]\""));
25750daa239SSergei Barannikov 
25850daa239SSergei Barannikov   // size
25950daa239SSergei Barannikov   for (StringRef Str : {"a1:8", "a0x0:8", "ax:16:32"})
26050daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str),
26150daa239SSergei Barannikov                          FailedWithMessage("size must be zero"));
26250daa239SSergei Barannikov 
26350daa239SSergei Barannikov   // ABI alignment
26450daa239SSergei Barannikov   for (StringRef Str : {"a:", "a0:", "a::32"})
26550daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
26650daa239SSergei Barannikov         DataLayout::parse(Str),
26750daa239SSergei Barannikov         FailedWithMessage("ABI alignment component cannot be empty"));
26850daa239SSergei Barannikov 
26950daa239SSergei Barannikov   for (StringRef Str : {"a:x", "a0:0x0", "a:65536", "a0:65536:65536"})
27050daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
27150daa239SSergei Barannikov         DataLayout::parse(Str),
27250daa239SSergei Barannikov         FailedWithMessage("ABI alignment must be a 16-bit integer"));
27350daa239SSergei Barannikov 
27450daa239SSergei Barannikov   for (StringRef Str : {"a:1", "a:4", "a:9:16", "a0:24:32"})
27550daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
27650daa239SSergei Barannikov         DataLayout::parse(Str),
27750daa239SSergei Barannikov         FailedWithMessage(
27850daa239SSergei Barannikov             "ABI alignment must be a power of two times the byte width"));
27950daa239SSergei Barannikov 
28050daa239SSergei Barannikov   // preferred alignment
28150daa239SSergei Barannikov   for (StringRef Str : {"a:8:", "a0:16:", "a0:0:"})
28250daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
28350daa239SSergei Barannikov         DataLayout::parse(Str),
28450daa239SSergei Barannikov         FailedWithMessage("preferred alignment component cannot be empty"));
28550daa239SSergei Barannikov 
28650daa239SSergei Barannikov   for (StringRef Str : {"a:16:x", "a0:8:0x8", "a:16:65536"})
28750daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
28850daa239SSergei Barannikov         DataLayout::parse(Str),
28950daa239SSergei Barannikov         FailedWithMessage("preferred alignment must be a 16-bit integer"));
29050daa239SSergei Barannikov 
29150daa239SSergei Barannikov   for (StringRef Str : {"a:0:0", "a0:16:0"})
29250daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
29350daa239SSergei Barannikov         DataLayout::parse(Str),
29450daa239SSergei Barannikov         FailedWithMessage("preferred alignment must be non-zero"));
29550daa239SSergei Barannikov 
29650daa239SSergei Barannikov   for (StringRef Str : {"a:8:12", "a:16:17", "a0:32:40"})
29750daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
29850daa239SSergei Barannikov         DataLayout::parse(Str),
29950daa239SSergei Barannikov         FailedWithMessage(
30050daa239SSergei Barannikov             "preferred alignment must be a power of two times the byte width"));
30150daa239SSergei Barannikov 
30250daa239SSergei Barannikov   for (StringRef Str : {"a:16:8", "a0:32:16"})
30350daa239SSergei Barannikov     EXPECT_THAT_EXPECTED(
30450daa239SSergei Barannikov         DataLayout::parse(Str),
30550daa239SSergei Barannikov         FailedWithMessage(
30650daa239SSergei Barannikov             "preferred alignment cannot be less than the ABI alignment"));
30750daa239SSergei Barannikov }
30850daa239SSergei Barannikov 
30913779ec2SSergei Barannikov TEST(DataLayout, ParsePointerSpec) {
31013779ec2SSergei Barannikov   for (StringRef Str :
31113779ec2SSergei Barannikov        {"p:16:8", "p:16:16:64", "p:32:64:64:32", "p0:32:64", "p42:64:32:32",
31213779ec2SSergei Barannikov         "p16777215:32:32:64:8", "p16777215:16777215:32768:32768:16777215"})
31313779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
31413779ec2SSergei Barannikov 
31513779ec2SSergei Barannikov   for (StringRef Str :
31613779ec2SSergei Barannikov        {"p", "p0", "p:32", "p0:32", "p:32:32:32:32:32", "p0:32:32:32:32:32"})
31713779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
31813779ec2SSergei Barannikov         DataLayout::parse(Str),
31913779ec2SSergei Barannikov         FailedWithMessage("malformed specification, must be of the form "
32013779ec2SSergei Barannikov                           "\"p[<n>]:<size>:<abi>[:<pref>[:<idx>]]\""));
32113779ec2SSergei Barannikov 
32213779ec2SSergei Barannikov   // address space
32313779ec2SSergei Barannikov   for (StringRef Str : {"p0x0:32:32", "px:32:32:32", "p16777216:32:32:32:32"})
32413779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
32513779ec2SSergei Barannikov         DataLayout::parse(Str),
32613779ec2SSergei Barannikov         FailedWithMessage("address space must be a 24-bit integer"));
32713779ec2SSergei Barannikov 
32813779ec2SSergei Barannikov   // pointer size
32913779ec2SSergei Barannikov   for (StringRef Str : {"p::32", "p0::32"})
33013779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
33113779ec2SSergei Barannikov         DataLayout::parse(Str),
33213779ec2SSergei Barannikov         FailedWithMessage("pointer size component cannot be empty"));
33313779ec2SSergei Barannikov 
33413779ec2SSergei Barannikov   for (StringRef Str : {"p:0:32", "p0:0x1:32:32", "p42:16777216:32:32:32"})
33513779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
33613779ec2SSergei Barannikov         DataLayout::parse(Str),
33713779ec2SSergei Barannikov         FailedWithMessage("pointer size must be a non-zero 24-bit integer"));
33813779ec2SSergei Barannikov 
33913779ec2SSergei Barannikov   // ABI alignment
34013779ec2SSergei Barannikov   for (StringRef Str : {"p:32:", "p0:32::32", "p42:32::32:32"})
34113779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
34213779ec2SSergei Barannikov         DataLayout::parse(Str),
34313779ec2SSergei Barannikov         FailedWithMessage("ABI alignment component cannot be empty"));
34413779ec2SSergei Barannikov 
34513779ec2SSergei Barannikov   for (StringRef Str : {"p:32:x", "p0:32:0x20:32", "p42:32:65536:32:32"})
34613779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
34713779ec2SSergei Barannikov         DataLayout::parse(Str),
34813779ec2SSergei Barannikov         FailedWithMessage("ABI alignment must be a 16-bit integer"));
34913779ec2SSergei Barannikov 
35013779ec2SSergei Barannikov   for (StringRef Str : {"p:32:0", "p0:32:0:32", "p42:32:0:32:32"})
35113779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str),
35213779ec2SSergei Barannikov                          FailedWithMessage("ABI alignment must be non-zero"));
35313779ec2SSergei Barannikov 
35413779ec2SSergei Barannikov   for (StringRef Str : {"p:32:4", "p42:32:24:32", "p0:32:65535:32:32"})
35513779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
35613779ec2SSergei Barannikov         DataLayout::parse(Str),
35713779ec2SSergei Barannikov         FailedWithMessage(
35813779ec2SSergei Barannikov             "ABI alignment must be a power of two times the byte width"));
35913779ec2SSergei Barannikov 
36013779ec2SSergei Barannikov   // preferred alignment
36113779ec2SSergei Barannikov   for (StringRef Str : {"p:32:32:", "p0:32:32:", "p42:32:32::32"})
36213779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
36313779ec2SSergei Barannikov         DataLayout::parse(Str),
36413779ec2SSergei Barannikov         FailedWithMessage("preferred alignment component cannot be empty"));
36513779ec2SSergei Barannikov 
36613779ec2SSergei Barannikov   for (StringRef Str : {"p:32:32:x", "p0:32:32:0x20", "p42:32:32:65536:32"})
36713779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
36813779ec2SSergei Barannikov         DataLayout::parse(Str),
36913779ec2SSergei Barannikov         FailedWithMessage("preferred alignment must be a 16-bit integer"));
37013779ec2SSergei Barannikov 
37113779ec2SSergei Barannikov   for (StringRef Str : {"p:32:32:0", "p0:32:32:0", "p42:32:32:0:32"})
37213779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
37313779ec2SSergei Barannikov         DataLayout::parse(Str),
37413779ec2SSergei Barannikov         FailedWithMessage("preferred alignment must be non-zero"));
37513779ec2SSergei Barannikov 
37613779ec2SSergei Barannikov   for (StringRef Str : {"p:32:32:4", "p0:32:32:24", "p42:32:32:65535:32"})
37713779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
37813779ec2SSergei Barannikov         DataLayout::parse(Str),
37913779ec2SSergei Barannikov         FailedWithMessage(
38013779ec2SSergei Barannikov             "preferred alignment must be a power of two times the byte width"));
38113779ec2SSergei Barannikov 
38213779ec2SSergei Barannikov   for (StringRef Str : {"p:64:64:32", "p0:16:32:16:16"})
38313779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
38413779ec2SSergei Barannikov         DataLayout::parse(Str),
38513779ec2SSergei Barannikov         FailedWithMessage(
38613779ec2SSergei Barannikov             "preferred alignment cannot be less than the ABI alignment"));
38713779ec2SSergei Barannikov 
38813779ec2SSergei Barannikov   // index size
38913779ec2SSergei Barannikov   for (StringRef Str : {"p:32:32:32:", "p0:32:32:32:"})
39013779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
39113779ec2SSergei Barannikov         DataLayout::parse(Str),
39213779ec2SSergei Barannikov         FailedWithMessage("index size component cannot be empty"));
39313779ec2SSergei Barannikov 
39413779ec2SSergei Barannikov   for (StringRef Str :
39513779ec2SSergei Barannikov        {"p:32:32:32:0", "p0:32:32:32:0x20", "p42:32:32:32:16777216"})
39613779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
39713779ec2SSergei Barannikov         DataLayout::parse(Str),
39813779ec2SSergei Barannikov         FailedWithMessage("index size must be a non-zero 24-bit integer"));
39913779ec2SSergei Barannikov 
40013779ec2SSergei Barannikov   for (StringRef Str : {"p:16:16:16:17", "p0:32:64:64:64", "p42:16:64:64:32"})
40113779ec2SSergei Barannikov     EXPECT_THAT_EXPECTED(
40213779ec2SSergei Barannikov         DataLayout::parse(Str),
40313779ec2SSergei Barannikov         FailedWithMessage("index size cannot be larger than the pointer size"));
40413779ec2SSergei Barannikov }
40513779ec2SSergei Barannikov 
406c91cc459SSergei Barannikov TEST(DataLayoutTest, ParseNativeIntegersSpec) {
407c91cc459SSergei Barannikov   for (StringRef Str : {"n1", "n1:8", "n24:12:16777215"})
408c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
409c91cc459SSergei Barannikov 
410c91cc459SSergei Barannikov   for (StringRef Str : {"n", "n1:", "n:8", "n16::32"})
411c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str),
412c91cc459SSergei Barannikov                          FailedWithMessage("size component cannot be empty"));
413c91cc459SSergei Barannikov 
414c91cc459SSergei Barannikov   for (StringRef Str : {"n0", "n0x8:16", "n8:0", "n16:0:32", "n16777216",
415c91cc459SSergei Barannikov                         "n16:16777216", "n32:64:16777216"})
416c91cc459SSergei Barannikov     EXPECT_THAT_EXPECTED(
417c91cc459SSergei Barannikov         DataLayout::parse(Str),
418c91cc459SSergei Barannikov         FailedWithMessage("size must be a non-zero 24-bit integer"));
419c91cc459SSergei Barannikov }
420c91cc459SSergei Barannikov 
421d867988cSSergei Barannikov TEST(DataLayout, ParseNonIntegralAddrSpace) {
422d867988cSSergei Barannikov   for (StringRef Str : {"ni:1", "ni:16777215", "ni:1:16777215"})
423d867988cSSergei Barannikov     EXPECT_THAT_EXPECTED(DataLayout::parse(Str), Succeeded());
424d867988cSSergei Barannikov 
425d867988cSSergei Barannikov   for (StringRef Str : {"ni", "ni42", "nix"})
426d867988cSSergei Barannikov     EXPECT_THAT_EXPECTED(
427d867988cSSergei Barannikov         DataLayout::parse(Str),
428d867988cSSergei Barannikov         FailedWithMessage("malformed specification, must be of the form "
429d867988cSSergei Barannikov                           "\"ni:<address space>[:<address space>]...\""));
430d867988cSSergei Barannikov 
431d867988cSSergei Barannikov   for (StringRef Str : {"ni:", "ni::42", "ni:42:"})
432d867988cSSergei Barannikov     EXPECT_THAT_EXPECTED(
433d867988cSSergei Barannikov         DataLayout::parse(Str),
434d867988cSSergei Barannikov         FailedWithMessage("address space component cannot be empty"));
435d867988cSSergei Barannikov 
436d867988cSSergei Barannikov   for (StringRef Str : {"ni:x", "ni:42:0x1", "ni:16777216", "ni:42:16777216"})
437d867988cSSergei Barannikov     EXPECT_THAT_EXPECTED(
438d867988cSSergei Barannikov         DataLayout::parse(Str),
439d867988cSSergei Barannikov         FailedWithMessage("address space must be a 24-bit integer"));
440d867988cSSergei Barannikov 
441d867988cSSergei Barannikov   for (StringRef Str : {"ni:0", "ni:42:0"})
442d867988cSSergei Barannikov     EXPECT_THAT_EXPECTED(
443d867988cSSergei Barannikov         DataLayout::parse(Str),
444d867988cSSergei Barannikov         FailedWithMessage("address space 0 cannot be non-integral"));
445d867988cSSergei Barannikov }
446d867988cSSergei Barannikov 
447*4d7a0abaSSergei Barannikov TEST(DataLayout, GetStackAlignment) {
448*4d7a0abaSSergei Barannikov   DataLayout Default;
449*4d7a0abaSSergei Barannikov   EXPECT_FALSE(Default.getStackAlignment().has_value());
450*4d7a0abaSSergei Barannikov 
451*4d7a0abaSSergei Barannikov   std::pair<StringRef, Align> Cases[] = {
452*4d7a0abaSSergei Barannikov       {"S8", Align(1)},
453*4d7a0abaSSergei Barannikov       {"S64", Align(8)},
454*4d7a0abaSSergei Barannikov       {"S32768", Align(4096)},
455*4d7a0abaSSergei Barannikov   };
456*4d7a0abaSSergei Barannikov   for (auto [Layout, Val] : Cases) {
457*4d7a0abaSSergei Barannikov     DataLayout DL = cantFail(DataLayout::parse(Layout));
458*4d7a0abaSSergei Barannikov     EXPECT_EQ(DL.getStackAlignment(), Val) << Layout;
459*4d7a0abaSSergei Barannikov   }
460*4d7a0abaSSergei Barannikov }
461*4d7a0abaSSergei Barannikov 
46213779ec2SSergei Barannikov TEST(DataLayout, GetPointerSizeInBits) {
46313779ec2SSergei Barannikov   std::tuple<StringRef, unsigned, unsigned, unsigned> Cases[] = {
46413779ec2SSergei Barannikov       {"", 64, 64, 64},
46513779ec2SSergei Barannikov       {"p:16:32", 16, 16, 16},
46613779ec2SSergei Barannikov       {"p0:32:64", 32, 32, 32},
46713779ec2SSergei Barannikov       {"p1:16:32", 64, 16, 64},
46813779ec2SSergei Barannikov       {"p1:31:32-p2:15:16:16:14", 64, 31, 15},
46913779ec2SSergei Barannikov   };
47013779ec2SSergei Barannikov   for (auto [Layout, V0, V1, V2] : Cases) {
47113779ec2SSergei Barannikov     DataLayout DL = cantFail(DataLayout::parse(Layout));
47213779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerSizeInBits(0), V0) << Layout;
47313779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerSizeInBits(1), V1) << Layout;
47413779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerSizeInBits(2), V2) << Layout;
47513779ec2SSergei Barannikov   }
47613779ec2SSergei Barannikov }
47713779ec2SSergei Barannikov 
47813779ec2SSergei Barannikov TEST(DataLayout, GetPointerSize) {
47913779ec2SSergei Barannikov   std::tuple<StringRef, unsigned, unsigned, unsigned> Cases[] = {
48013779ec2SSergei Barannikov       {"", 8, 8, 8},
48113779ec2SSergei Barannikov       {"p:16:32", 2, 2, 2},
48213779ec2SSergei Barannikov       {"p0:32:64", 4, 4, 4},
48313779ec2SSergei Barannikov       {"p1:17:32", 8, 3, 8},
48413779ec2SSergei Barannikov       {"p1:31:64-p2:23:8:16:9", 8, 4, 3},
48513779ec2SSergei Barannikov   };
48613779ec2SSergei Barannikov   for (auto [Layout, V0, V1, V2] : Cases) {
48713779ec2SSergei Barannikov     DataLayout DL = cantFail(DataLayout::parse(Layout));
48813779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerSize(0), V0) << Layout;
48913779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerSize(1), V1) << Layout;
49013779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerSize(2), V2) << Layout;
49113779ec2SSergei Barannikov   }
49213779ec2SSergei Barannikov }
49313779ec2SSergei Barannikov 
49413779ec2SSergei Barannikov TEST(DataLayout, GetIndexSizeInBits) {
49513779ec2SSergei Barannikov   std::tuple<StringRef, unsigned, unsigned, unsigned> Cases[] = {
49613779ec2SSergei Barannikov       {"", 64, 64, 64},
49713779ec2SSergei Barannikov       {"p:16:32", 16, 16, 16},
49813779ec2SSergei Barannikov       {"p0:32:64", 32, 32, 32},
49913779ec2SSergei Barannikov       {"p1:16:32:32:10", 64, 10, 64},
50013779ec2SSergei Barannikov       {"p1:31:32:64:20-p2:17:16:16:15", 64, 20, 15},
50113779ec2SSergei Barannikov   };
50213779ec2SSergei Barannikov   for (auto [Layout, V0, V1, V2] : Cases) {
50313779ec2SSergei Barannikov     DataLayout DL = cantFail(DataLayout::parse(Layout));
50413779ec2SSergei Barannikov     EXPECT_EQ(DL.getIndexSizeInBits(0), V0) << Layout;
50513779ec2SSergei Barannikov     EXPECT_EQ(DL.getIndexSizeInBits(1), V1) << Layout;
50613779ec2SSergei Barannikov     EXPECT_EQ(DL.getIndexSizeInBits(2), V2) << Layout;
50713779ec2SSergei Barannikov   }
50813779ec2SSergei Barannikov }
50913779ec2SSergei Barannikov 
51013779ec2SSergei Barannikov TEST(DataLayout, GetIndexSize) {
51113779ec2SSergei Barannikov   std::tuple<StringRef, unsigned, unsigned, unsigned> Cases[] = {
51213779ec2SSergei Barannikov       {"", 8, 8, 8},
51313779ec2SSergei Barannikov       {"p:16:32", 2, 2, 2},
51413779ec2SSergei Barannikov       {"p0:27:64", 4, 4, 4},
51513779ec2SSergei Barannikov       {"p1:19:32:64:5", 8, 1, 8},
51613779ec2SSergei Barannikov       {"p1:33:32:64:23-p2:21:8:16:13", 8, 3, 2},
51713779ec2SSergei Barannikov   };
51813779ec2SSergei Barannikov   for (auto [Layout, V0, V1, V2] : Cases) {
51913779ec2SSergei Barannikov     DataLayout DL = cantFail(DataLayout::parse(Layout));
52013779ec2SSergei Barannikov     EXPECT_EQ(DL.getIndexSize(0), V0) << Layout;
52113779ec2SSergei Barannikov     EXPECT_EQ(DL.getIndexSize(1), V1) << Layout;
52213779ec2SSergei Barannikov     EXPECT_EQ(DL.getIndexSize(2), V2) << Layout;
52313779ec2SSergei Barannikov   }
52413779ec2SSergei Barannikov }
52513779ec2SSergei Barannikov 
52613779ec2SSergei Barannikov TEST(DataLayout, GetPointerABIAlignment) {
52713779ec2SSergei Barannikov   std::tuple<StringRef, unsigned, unsigned, unsigned> Cases[] = {
52813779ec2SSergei Barannikov       {"", 8, 8, 8},
52913779ec2SSergei Barannikov       {"p:16:32", 4, 4, 4},
53013779ec2SSergei Barannikov       {"p0:16:32:64", 4, 4, 4},
53113779ec2SSergei Barannikov       {"p1:32:16:64", 8, 2, 8},
53213779ec2SSergei Barannikov       {"p1:33:16:32:15-p2:23:8:16:9", 8, 2, 1},
53313779ec2SSergei Barannikov   };
53413779ec2SSergei Barannikov   for (auto [Layout, V0, V1, V2] : Cases) {
53513779ec2SSergei Barannikov     DataLayout DL = cantFail(DataLayout::parse(Layout));
53613779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerABIAlignment(0).value(), V0) << Layout;
53713779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerABIAlignment(1).value(), V1) << Layout;
53813779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerABIAlignment(2).value(), V2) << Layout;
53913779ec2SSergei Barannikov   }
54013779ec2SSergei Barannikov }
54113779ec2SSergei Barannikov 
54213779ec2SSergei Barannikov TEST(DataLayout, GetPointerPrefAlignment) {
54313779ec2SSergei Barannikov   std::tuple<StringRef, unsigned, unsigned, unsigned> Cases[] = {
54413779ec2SSergei Barannikov       {"", 8, 8, 8},
54513779ec2SSergei Barannikov       {"p:16:32", 4, 4, 4},
54613779ec2SSergei Barannikov       {"p0:8:16:32", 4, 4, 4},
54713779ec2SSergei Barannikov       {"p1:32:8:16", 8, 2, 8},
54813779ec2SSergei Barannikov       {"p1:33:8:16:31-p2:23:8:32:17", 8, 2, 4},
54913779ec2SSergei Barannikov   };
55013779ec2SSergei Barannikov   for (auto [Layout, V0, V1, V2] : Cases) {
55113779ec2SSergei Barannikov     DataLayout DL = cantFail(DataLayout::parse(Layout));
55213779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerPrefAlignment(0).value(), V0) << Layout;
55313779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerPrefAlignment(1).value(), V1) << Layout;
55413779ec2SSergei Barannikov     EXPECT_EQ(DL.getPointerPrefAlignment(2).value(), V2) << Layout;
55513779ec2SSergei Barannikov   }
55613779ec2SSergei Barannikov }
55713779ec2SSergei Barannikov 
558d867988cSSergei Barannikov TEST(DataLayout, IsNonIntegralAddressSpace) {
559d867988cSSergei Barannikov   DataLayout Default;
560d867988cSSergei Barannikov   EXPECT_THAT(Default.getNonIntegralAddressSpaces(), ::testing::SizeIs(0));
561d867988cSSergei Barannikov   EXPECT_FALSE(Default.isNonIntegralAddressSpace(0));
562d867988cSSergei Barannikov   EXPECT_FALSE(Default.isNonIntegralAddressSpace(1));
563d867988cSSergei Barannikov 
564d867988cSSergei Barannikov   DataLayout Custom = cantFail(DataLayout::parse("ni:2:16777215"));
565d867988cSSergei Barannikov   EXPECT_THAT(Custom.getNonIntegralAddressSpaces(),
566d867988cSSergei Barannikov               ::testing::ElementsAreArray({2U, 16777215U}));
567d867988cSSergei Barannikov   EXPECT_FALSE(Custom.isNonIntegralAddressSpace(0));
568d867988cSSergei Barannikov   EXPECT_FALSE(Custom.isNonIntegralAddressSpace(1));
569d867988cSSergei Barannikov   EXPECT_TRUE(Custom.isNonIntegralAddressSpace(2));
570d867988cSSergei Barannikov   EXPECT_TRUE(Custom.isNonIntegralAddressSpace(16777215));
571d867988cSSergei Barannikov }
572d867988cSSergei Barannikov 
573b1aa0b0bSSergei Barannikov TEST(DataLayoutTest, CopyAssignmentInvalidatesStructLayout) {
574b1aa0b0bSSergei Barannikov   DataLayout DL1 = cantFail(DataLayout::parse("p:32:32"));
575b1aa0b0bSSergei Barannikov   DataLayout DL2 = cantFail(DataLayout::parse("p:64:64"));
576b1aa0b0bSSergei Barannikov 
577b1aa0b0bSSergei Barannikov   LLVMContext Ctx;
578b1aa0b0bSSergei Barannikov   StructType *Ty = StructType::get(PointerType::getUnqual(Ctx));
579b1aa0b0bSSergei Barannikov 
580b1aa0b0bSSergei Barannikov   // Initialize struct layout caches.
581b1aa0b0bSSergei Barannikov   EXPECT_EQ(DL1.getStructLayout(Ty)->getSizeInBits(), 32U);
582b1aa0b0bSSergei Barannikov   EXPECT_EQ(DL1.getStructLayout(Ty)->getAlignment(), Align(4));
583b1aa0b0bSSergei Barannikov   EXPECT_EQ(DL2.getStructLayout(Ty)->getSizeInBits(), 64U);
584b1aa0b0bSSergei Barannikov   EXPECT_EQ(DL2.getStructLayout(Ty)->getAlignment(), Align(8));
585b1aa0b0bSSergei Barannikov 
586b1aa0b0bSSergei Barannikov   // The copy should invalidate DL1's cache.
587b1aa0b0bSSergei Barannikov   DL1 = DL2;
588b1aa0b0bSSergei Barannikov   EXPECT_EQ(DL1.getStructLayout(Ty)->getSizeInBits(), 64U);
589b1aa0b0bSSergei Barannikov   EXPECT_EQ(DL1.getStructLayout(Ty)->getAlignment(), Align(8));
590b1aa0b0bSSergei Barannikov   EXPECT_EQ(DL2.getStructLayout(Ty)->getSizeInBits(), 64U);
591b1aa0b0bSSergei Barannikov   EXPECT_EQ(DL2.getStructLayout(Ty)->getAlignment(), Align(8));
592b1aa0b0bSSergei Barannikov }
593b1aa0b0bSSergei Barannikov 
594308e82ecSMichael Platings TEST(DataLayoutTest, FunctionPtrAlign) {
59565e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(0), DataLayout("").getFunctionPtrAlign());
59665e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(1), DataLayout("Fi8").getFunctionPtrAlign());
59765e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(2), DataLayout("Fi16").getFunctionPtrAlign());
59865e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(4), DataLayout("Fi32").getFunctionPtrAlign());
59965e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(8), DataLayout("Fi64").getFunctionPtrAlign());
60065e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(1), DataLayout("Fn8").getFunctionPtrAlign());
60165e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(2), DataLayout("Fn16").getFunctionPtrAlign());
60265e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(4), DataLayout("Fn32").getFunctionPtrAlign());
60365e4b47aSGuillaume Chatelet   EXPECT_EQ(MaybeAlign(8), DataLayout("Fn64").getFunctionPtrAlign());
604c91cc459SSergei Barannikov   EXPECT_EQ(DataLayout::FunctionPtrAlignType::Independent,
605308e82ecSMichael Platings             DataLayout("").getFunctionPtrAlignType());
606c91cc459SSergei Barannikov   EXPECT_EQ(DataLayout::FunctionPtrAlignType::Independent,
607308e82ecSMichael Platings             DataLayout("Fi8").getFunctionPtrAlignType());
608c91cc459SSergei Barannikov   EXPECT_EQ(DataLayout::FunctionPtrAlignType::MultipleOfFunctionAlign,
609308e82ecSMichael Platings             DataLayout("Fn8").getFunctionPtrAlignType());
610308e82ecSMichael Platings   EXPECT_EQ(DataLayout("Fi8"), DataLayout("Fi8"));
611308e82ecSMichael Platings   EXPECT_NE(DataLayout("Fi8"), DataLayout("Fi16"));
612308e82ecSMichael Platings   EXPECT_NE(DataLayout("Fi8"), DataLayout("Fn8"));
613308e82ecSMichael Platings 
614308e82ecSMichael Platings   DataLayout a(""), b("Fi8"), c("Fn8");
615308e82ecSMichael Platings   EXPECT_NE(a, b);
616308e82ecSMichael Platings   EXPECT_NE(a, c);
617308e82ecSMichael Platings   EXPECT_NE(b, c);
618308e82ecSMichael Platings 
619308e82ecSMichael Platings   a = b;
620308e82ecSMichael Platings   EXPECT_EQ(a, b);
621308e82ecSMichael Platings   a = c;
622308e82ecSMichael Platings   EXPECT_EQ(a, c);
623308e82ecSMichael Platings }
624308e82ecSMichael Platings 
625c7a76d6bSGuillaume Chatelet TEST(DataLayoutTest, ValueOrABITypeAlignment) {
626c7a76d6bSGuillaume Chatelet   const DataLayout DL("Fi8");
627c7a76d6bSGuillaume Chatelet   LLVMContext Context;
628c7a76d6bSGuillaume Chatelet   Type *const FourByteAlignType = Type::getInt32Ty(Context);
629c7a76d6bSGuillaume Chatelet   EXPECT_EQ(Align(16),
630c7a76d6bSGuillaume Chatelet             DL.getValueOrABITypeAlignment(MaybeAlign(16), FourByteAlignType));
631c7a76d6bSGuillaume Chatelet   EXPECT_EQ(Align(4),
632c7a76d6bSGuillaume Chatelet             DL.getValueOrABITypeAlignment(MaybeAlign(), FourByteAlignType));
633c7a76d6bSGuillaume Chatelet }
634c7a76d6bSGuillaume Chatelet 
6353bc41575SAlex Richardson TEST(DataLayoutTest, GlobalsAddressSpace) {
6363bc41575SAlex Richardson   // When not explicitly defined the globals address space should be zero:
6373bc41575SAlex Richardson   EXPECT_EQ(DataLayout("").getDefaultGlobalsAddressSpace(), 0u);
6383bc41575SAlex Richardson   EXPECT_EQ(DataLayout("P1-A2").getDefaultGlobalsAddressSpace(), 0u);
6393bc41575SAlex Richardson   EXPECT_EQ(DataLayout("G2").getDefaultGlobalsAddressSpace(), 2u);
6403bc41575SAlex Richardson   // Check that creating a GlobalVariable without an explicit address space
6413bc41575SAlex Richardson   // in a module with a default globals address space respects that default:
6423bc41575SAlex Richardson   LLVMContext Context;
6433bc41575SAlex Richardson   std::unique_ptr<Module> M(new Module("MyModule", Context));
6443bc41575SAlex Richardson   // Default is globals in address space zero:
6453bc41575SAlex Richardson   auto *Int32 = Type::getInt32Ty(Context);
6463bc41575SAlex Richardson   auto *DefaultGlobal1 = new GlobalVariable(
6473bc41575SAlex Richardson       *M, Int32, false, GlobalValue::ExternalLinkage, nullptr);
6483bc41575SAlex Richardson   EXPECT_EQ(DefaultGlobal1->getAddressSpace(), 0u);
6493bc41575SAlex Richardson   auto *ExplicitGlobal1 = new GlobalVariable(
6503bc41575SAlex Richardson       *M, Int32, false, GlobalValue::ExternalLinkage, nullptr, "", nullptr,
6513bc41575SAlex Richardson       GlobalValue::NotThreadLocal, 123);
6523bc41575SAlex Richardson   EXPECT_EQ(ExplicitGlobal1->getAddressSpace(), 123u);
6533bc41575SAlex Richardson 
6543bc41575SAlex Richardson   // When using a datalayout with the global address space set to 200, global
6553bc41575SAlex Richardson   // variables should default to 200
6563bc41575SAlex Richardson   M->setDataLayout("G200");
6573bc41575SAlex Richardson   auto *DefaultGlobal2 = new GlobalVariable(
6583bc41575SAlex Richardson       *M, Int32, false, GlobalValue::ExternalLinkage, nullptr);
6593bc41575SAlex Richardson   EXPECT_EQ(DefaultGlobal2->getAddressSpace(), 200u);
6603bc41575SAlex Richardson   auto *ExplicitGlobal2 = new GlobalVariable(
6613bc41575SAlex Richardson       *M, Int32, false, GlobalValue::ExternalLinkage, nullptr, "", nullptr,
6623bc41575SAlex Richardson       GlobalValue::NotThreadLocal, 123);
6633bc41575SAlex Richardson   EXPECT_EQ(ExplicitGlobal2->getAddressSpace(), 123u);
6643bc41575SAlex Richardson }
6653bc41575SAlex Richardson 
6668002fa67SFraser Cormack TEST(DataLayoutTest, VectorAlign) {
6678002fa67SFraser Cormack   Expected<DataLayout> DL = DataLayout::parse("v64:64");
6688002fa67SFraser Cormack   EXPECT_THAT_EXPECTED(DL, Succeeded());
6698002fa67SFraser Cormack 
6708002fa67SFraser Cormack   LLVMContext Context;
6718002fa67SFraser Cormack   Type *const FloatTy = Type::getFloatTy(Context);
6728002fa67SFraser Cormack   Type *const V8F32Ty = FixedVectorType::get(FloatTy, 8);
6738002fa67SFraser Cormack 
6748002fa67SFraser Cormack   // The alignment for a vector type larger than any specified vector type uses
6758002fa67SFraser Cormack   // the natural alignment as a fallback.
6768002fa67SFraser Cormack   EXPECT_EQ(Align(4 * 8), DL->getABITypeAlign(V8F32Ty));
6778002fa67SFraser Cormack   EXPECT_EQ(Align(4 * 8), DL->getPrefTypeAlign(V8F32Ty));
6788002fa67SFraser Cormack }
6798002fa67SFraser Cormack 
680720e3bacSprabhukr TEST(DataLayoutTest, UEFI) {
681720e3bacSprabhukr   Triple TT = Triple("x86_64-unknown-uefi");
682720e3bacSprabhukr 
683720e3bacSprabhukr   // Test UEFI X86_64 Mangling Component.
684720e3bacSprabhukr   EXPECT_STREQ(DataLayout::getManglingComponent(TT), "-m:w");
685720e3bacSprabhukr }
686720e3bacSprabhukr 
687308e82ecSMichael Platings } // anonymous namespace
688