1 //===- ConstantRangeTest.cpp - ConstantRange tests ------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "llvm/IR/DataLayout.h" 10 #include "llvm/IR/GlobalVariable.h" 11 #include "llvm/IR/LLVMContext.h" 12 #include "llvm/IR/Module.h" 13 #include "llvm/IR/Type.h" 14 #include "llvm/TargetParser/Triple.h" 15 #include "llvm/Testing/Support/Error.h" 16 #include "gtest/gtest.h" 17 18 using namespace llvm; 19 20 namespace { 21 22 // TODO: Split into multiple TESTs. 23 TEST(DataLayoutTest, ParseErrors) { 24 EXPECT_THAT_EXPECTED( 25 DataLayout::parse("^"), 26 FailedWithMessage("Unknown specifier in datalayout string")); 27 EXPECT_THAT_EXPECTED( 28 DataLayout::parse("m:v"), 29 FailedWithMessage("Unknown mangling in datalayout string")); 30 EXPECT_THAT_EXPECTED( 31 DataLayout::parse("n0"), 32 FailedWithMessage("Zero width native integer type in datalayout string")); 33 EXPECT_THAT_EXPECTED( 34 DataLayout::parse("p16777216:64:64:64"), 35 FailedWithMessage("Invalid address space, must be a 24-bit integer")); 36 EXPECT_THAT_EXPECTED( 37 DataLayout::parse("a1:64"), 38 FailedWithMessage("Sized aggregate specification in datalayout string")); 39 EXPECT_THAT_EXPECTED( 40 DataLayout::parse("a:"), 41 FailedWithMessage("Trailing separator in datalayout string")); 42 EXPECT_THAT_EXPECTED( 43 DataLayout::parse("p:48:52"), 44 FailedWithMessage("number of bits must be a byte width multiple")); 45 EXPECT_THAT_EXPECTED( 46 DataLayout::parse("e-p"), 47 FailedWithMessage( 48 "Missing size specification for pointer in datalayout string")); 49 EXPECT_THAT_EXPECTED( 50 DataLayout::parse("e-p:64"), 51 FailedWithMessage( 52 "Missing alignment specification for pointer in datalayout string")); 53 EXPECT_THAT_EXPECTED( 54 DataLayout::parse("m"), 55 FailedWithMessage("Expected mangling specifier in datalayout string")); 56 EXPECT_THAT_EXPECTED( 57 DataLayout::parse("m."), 58 FailedWithMessage("Unexpected trailing characters after mangling " 59 "specifier in datalayout string")); 60 EXPECT_THAT_EXPECTED( 61 DataLayout::parse("f"), 62 FailedWithMessage( 63 "Missing alignment specification in datalayout string")); 64 EXPECT_THAT_EXPECTED( 65 DataLayout::parse(":32"), 66 FailedWithMessage( 67 "Expected token before separator in datalayout string")); 68 EXPECT_THAT_EXPECTED( 69 DataLayout::parse("i64:64:16"), 70 FailedWithMessage( 71 "Preferred alignment cannot be less than the ABI alignment")); 72 EXPECT_THAT_EXPECTED( 73 DataLayout::parse("i64:16:16777216"), 74 FailedWithMessage( 75 "Invalid preferred alignment, must be a 16bit integer")); 76 EXPECT_THAT_EXPECTED( 77 DataLayout::parse("i64:16777216:16777216"), 78 FailedWithMessage("Invalid ABI alignment, must be a 16bit integer")); 79 EXPECT_THAT_EXPECTED( 80 DataLayout::parse("i16777216:16:16"), 81 FailedWithMessage("Invalid bit width, must be a 24-bit integer")); 82 EXPECT_THAT_EXPECTED( 83 DataLayout::parse("p:32:32:16"), 84 FailedWithMessage( 85 "Preferred alignment cannot be less than the ABI alignment")); 86 EXPECT_THAT_EXPECTED(DataLayout::parse("p:0:32:32"), 87 FailedWithMessage("Invalid pointer size of 0 bytes")); 88 EXPECT_THAT_EXPECTED( 89 DataLayout::parse("p:64:24:64"), 90 FailedWithMessage("Pointer ABI alignment must be a power of 2")); 91 EXPECT_THAT_EXPECTED( 92 DataLayout::parse("p:64:64:24"), 93 FailedWithMessage("Pointer preferred alignment must be a power of 2")); 94 EXPECT_THAT_EXPECTED( 95 DataLayout::parse("p:64:64:64:128"), 96 FailedWithMessage("Index width cannot be larger than pointer width")); 97 EXPECT_THAT_EXPECTED( 98 DataLayout::parse("v128:0:128"), 99 FailedWithMessage( 100 "ABI alignment specification must be >0 for non-aggregate types")); 101 EXPECT_THAT_EXPECTED( 102 DataLayout::parse("i32:24:32"), 103 FailedWithMessage("Invalid ABI alignment, must be a power of 2")); 104 EXPECT_THAT_EXPECTED( 105 DataLayout::parse("i32:32:24"), 106 FailedWithMessage("Invalid preferred alignment, must be a power of 2")); 107 EXPECT_THAT_EXPECTED( 108 DataLayout::parse("A16777216"), 109 FailedWithMessage("Invalid address space, must be a 24-bit integer")); 110 EXPECT_THAT_EXPECTED( 111 DataLayout::parse("G16777216"), 112 FailedWithMessage("Invalid address space, must be a 24-bit integer")); 113 EXPECT_THAT_EXPECTED( 114 DataLayout::parse("P16777216"), 115 FailedWithMessage("Invalid address space, must be a 24-bit integer")); 116 EXPECT_THAT_EXPECTED( 117 DataLayout::parse("Fi24"), 118 FailedWithMessage("Alignment is neither 0 nor a power of 2")); 119 EXPECT_THAT_EXPECTED( 120 DataLayout::parse("i8:16"), 121 FailedWithMessage("Invalid ABI alignment, i8 must be naturally aligned")); 122 EXPECT_THAT_EXPECTED( 123 DataLayout::parse("S24"), 124 FailedWithMessage("Alignment is neither 0 nor a power of 2")); 125 } 126 127 TEST(DataLayoutTest, CopyAssignmentInvalidatesStructLayout) { 128 DataLayout DL1 = cantFail(DataLayout::parse("p:32:32")); 129 DataLayout DL2 = cantFail(DataLayout::parse("p:64:64")); 130 131 LLVMContext Ctx; 132 StructType *Ty = StructType::get(PointerType::getUnqual(Ctx)); 133 134 // Initialize struct layout caches. 135 EXPECT_EQ(DL1.getStructLayout(Ty)->getSizeInBits(), 32U); 136 EXPECT_EQ(DL1.getStructLayout(Ty)->getAlignment(), Align(4)); 137 EXPECT_EQ(DL2.getStructLayout(Ty)->getSizeInBits(), 64U); 138 EXPECT_EQ(DL2.getStructLayout(Ty)->getAlignment(), Align(8)); 139 140 // The copy should invalidate DL1's cache. 141 DL1 = DL2; 142 EXPECT_EQ(DL1.getStructLayout(Ty)->getSizeInBits(), 64U); 143 EXPECT_EQ(DL1.getStructLayout(Ty)->getAlignment(), Align(8)); 144 EXPECT_EQ(DL2.getStructLayout(Ty)->getSizeInBits(), 64U); 145 EXPECT_EQ(DL2.getStructLayout(Ty)->getAlignment(), Align(8)); 146 } 147 148 TEST(DataLayoutTest, FunctionPtrAlign) { 149 EXPECT_EQ(MaybeAlign(0), DataLayout("").getFunctionPtrAlign()); 150 EXPECT_EQ(MaybeAlign(1), DataLayout("Fi8").getFunctionPtrAlign()); 151 EXPECT_EQ(MaybeAlign(2), DataLayout("Fi16").getFunctionPtrAlign()); 152 EXPECT_EQ(MaybeAlign(4), DataLayout("Fi32").getFunctionPtrAlign()); 153 EXPECT_EQ(MaybeAlign(8), DataLayout("Fi64").getFunctionPtrAlign()); 154 EXPECT_EQ(MaybeAlign(1), DataLayout("Fn8").getFunctionPtrAlign()); 155 EXPECT_EQ(MaybeAlign(2), DataLayout("Fn16").getFunctionPtrAlign()); 156 EXPECT_EQ(MaybeAlign(4), DataLayout("Fn32").getFunctionPtrAlign()); 157 EXPECT_EQ(MaybeAlign(8), DataLayout("Fn64").getFunctionPtrAlign()); 158 EXPECT_EQ(DataLayout::FunctionPtrAlignType::Independent, \ 159 DataLayout("").getFunctionPtrAlignType()); 160 EXPECT_EQ(DataLayout::FunctionPtrAlignType::Independent, \ 161 DataLayout("Fi8").getFunctionPtrAlignType()); 162 EXPECT_EQ(DataLayout::FunctionPtrAlignType::MultipleOfFunctionAlign, \ 163 DataLayout("Fn8").getFunctionPtrAlignType()); 164 EXPECT_EQ(DataLayout("Fi8"), DataLayout("Fi8")); 165 EXPECT_NE(DataLayout("Fi8"), DataLayout("Fi16")); 166 EXPECT_NE(DataLayout("Fi8"), DataLayout("Fn8")); 167 168 DataLayout a(""), b("Fi8"), c("Fn8"); 169 EXPECT_NE(a, b); 170 EXPECT_NE(a, c); 171 EXPECT_NE(b, c); 172 173 a = b; 174 EXPECT_EQ(a, b); 175 a = c; 176 EXPECT_EQ(a, c); 177 } 178 179 TEST(DataLayoutTest, ValueOrABITypeAlignment) { 180 const DataLayout DL("Fi8"); 181 LLVMContext Context; 182 Type *const FourByteAlignType = Type::getInt32Ty(Context); 183 EXPECT_EQ(Align(16), 184 DL.getValueOrABITypeAlignment(MaybeAlign(16), FourByteAlignType)); 185 EXPECT_EQ(Align(4), 186 DL.getValueOrABITypeAlignment(MaybeAlign(), FourByteAlignType)); 187 } 188 189 TEST(DataLayoutTest, GlobalsAddressSpace) { 190 // When not explicitly defined the globals address space should be zero: 191 EXPECT_EQ(DataLayout("").getDefaultGlobalsAddressSpace(), 0u); 192 EXPECT_EQ(DataLayout("P1-A2").getDefaultGlobalsAddressSpace(), 0u); 193 EXPECT_EQ(DataLayout("G2").getDefaultGlobalsAddressSpace(), 2u); 194 // Check that creating a GlobalVariable without an explicit address space 195 // in a module with a default globals address space respects that default: 196 LLVMContext Context; 197 std::unique_ptr<Module> M(new Module("MyModule", Context)); 198 // Default is globals in address space zero: 199 auto *Int32 = Type::getInt32Ty(Context); 200 auto *DefaultGlobal1 = new GlobalVariable( 201 *M, Int32, false, GlobalValue::ExternalLinkage, nullptr); 202 EXPECT_EQ(DefaultGlobal1->getAddressSpace(), 0u); 203 auto *ExplicitGlobal1 = new GlobalVariable( 204 *M, Int32, false, GlobalValue::ExternalLinkage, nullptr, "", nullptr, 205 GlobalValue::NotThreadLocal, 123); 206 EXPECT_EQ(ExplicitGlobal1->getAddressSpace(), 123u); 207 208 // When using a datalayout with the global address space set to 200, global 209 // variables should default to 200 210 M->setDataLayout("G200"); 211 auto *DefaultGlobal2 = new GlobalVariable( 212 *M, Int32, false, GlobalValue::ExternalLinkage, nullptr); 213 EXPECT_EQ(DefaultGlobal2->getAddressSpace(), 200u); 214 auto *ExplicitGlobal2 = new GlobalVariable( 215 *M, Int32, false, GlobalValue::ExternalLinkage, nullptr, "", nullptr, 216 GlobalValue::NotThreadLocal, 123); 217 EXPECT_EQ(ExplicitGlobal2->getAddressSpace(), 123u); 218 } 219 220 TEST(DataLayoutTest, VectorAlign) { 221 Expected<DataLayout> DL = DataLayout::parse("v64:64"); 222 EXPECT_THAT_EXPECTED(DL, Succeeded()); 223 224 LLVMContext Context; 225 Type *const FloatTy = Type::getFloatTy(Context); 226 Type *const V8F32Ty = FixedVectorType::get(FloatTy, 8); 227 228 // The alignment for a vector type larger than any specified vector type uses 229 // the natural alignment as a fallback. 230 EXPECT_EQ(Align(4 * 8), DL->getABITypeAlign(V8F32Ty)); 231 EXPECT_EQ(Align(4 * 8), DL->getPrefTypeAlign(V8F32Ty)); 232 } 233 234 TEST(DataLayoutTest, UEFI) { 235 Triple TT = Triple("x86_64-unknown-uefi"); 236 237 // Test UEFI X86_64 Mangling Component. 238 EXPECT_STREQ(DataLayout::getManglingComponent(TT), "-m:w"); 239 } 240 241 } // anonymous namespace 242