diff options
| -rw-r--r-- | llvm/lib/IR/DataLayout.cpp | 6 | ||||
| -rw-r--r-- | llvm/test/Assembler/invalid-datalayout20.ll | 6 | ||||
| -rw-r--r-- | llvm/test/Assembler/invalid-datalayout21.ll | 6 |
3 files changed, 18 insertions, 0 deletions
diff --git a/llvm/lib/IR/DataLayout.cpp b/llvm/lib/IR/DataLayout.cpp index c414e80f410..4eb6d78d381 100644 --- a/llvm/lib/IR/DataLayout.cpp +++ b/llvm/lib/IR/DataLayout.cpp @@ -268,12 +268,18 @@ void DataLayout::parseSpecifier(StringRef Desc) { "Missing alignment specification for pointer in datalayout string"); Split = split(Rest, ':'); unsigned PointerABIAlign = inBytes(getInt(Tok)); + if (!isPowerOf2_64(PointerABIAlign)) + report_fatal_error( + "Pointer ABI alignment must be a power of 2"); // Preferred alignment. unsigned PointerPrefAlign = PointerABIAlign; if (!Rest.empty()) { Split = split(Rest, ':'); PointerPrefAlign = inBytes(getInt(Tok)); + if (!isPowerOf2_64(PointerPrefAlign)) + report_fatal_error( + "Pointer preferred alignment must be a power of 2"); } setPointerAlignment(AddrSpace, PointerABIAlign, PointerPrefAlign, diff --git a/llvm/test/Assembler/invalid-datalayout20.ll b/llvm/test/Assembler/invalid-datalayout20.ll new file mode 100644 index 00000000000..a9ac1d7fe09 --- /dev/null +++ b/llvm/test/Assembler/invalid-datalayout20.ll @@ -0,0 +1,6 @@ +; RUN: not llvm-as < %s 2>&1 | FileCheck %s + +target datalayout = "p:64:24:64" + +; CHECK: Pointer ABI alignment must be a power of 2 + diff --git a/llvm/test/Assembler/invalid-datalayout21.ll b/llvm/test/Assembler/invalid-datalayout21.ll new file mode 100644 index 00000000000..a39d1d7a14a --- /dev/null +++ b/llvm/test/Assembler/invalid-datalayout21.ll @@ -0,0 +1,6 @@ +; RUN: not llvm-as < %s 2>&1 | FileCheck %s + +target datalayout = "p:64:64:24" + +; CHECK: Pointer preferred alignment must be a power of 2 + |
