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