When creating a global variable with a type of a struct with bitfields, we must
forcibly set the alignment of the global from the RecordDecl. We must do this so
that the proper bitfield alignment makes its way down to LLVM, since clang will
mangle the bitfields into one large type.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@235976
91177308-0d34-0410-b5e6-
96231b3b80d8
/// not for language specific address spaces
bool UseAddrSpaceMapMangling;
+ /// \brief Specify if globals of a struct type containing bitfields should
+ /// have their alignment explicitly specified so as to ensure that LLVM uses
+ /// the correct alignment
+ bool EnforceBitfieldContainerAlignment;
+
public:
IntType getSizeType() const { return SizeType; }
IntType getIntMaxType() const { return IntMaxType; }
return HasAlignMac68kSupport;
}
+ /// \brief Check whether the alignment of bitfield struct should be enforced
+ bool enforceBitfieldContainerAlignment() const {
+ return EnforceBitfieldContainerAlignment;
+ }
+
/// \brief Return the user string for the specified integer type enum.
///
/// For example, SignedShort -> "short".
RegParmMax = 0;
SSERegParmMax = 0;
HasAlignMac68kSupport = false;
+ EnforceBitfieldContainerAlignment = false;
// Default to no types using fpret.
RealTypeUsesObjCFPRet = 0;
ZeroLengthBitfieldBoundary = 0;
+ // Enforce the alignment of bitfield structs
+ EnforceBitfieldContainerAlignment = true;
+
// Thumb1 add sp, #imm requires the immediate value be multiple of 4,
// so set preferred for small types to 32.
if (T.isOSBinFormatMachO()) {
UseBitFieldTypeAlignment = true;
UseZeroLengthBitfieldAlignment = true;
+ // Enforce the alignment of bitfield structs
+ EnforceBitfieldContainerAlignment = true;
+
// AArch64 targets default to using the ARM C++ ABI.
TheCXXABI.set(TargetCXXABI::GenericAArch64);
}
D->getType().isConstant(Context) &&
isExternallyVisible(D->getLinkageAndVisibility().getLinkage()))
GV->setSection(".cp.rodata");
+
+ // The ARM/AArch64 ABI expects structs with bitfields to respect the proper
+ // container alignment, hence we have to enfore this in the IR so as to
+ // work around clang combining bitfields into one large type.
+ if (getContext().getTargetInfo().enforceBitfieldContainerAlignment()) {
+ if (const auto *RT = D->getType()->getAs<RecordType>()) {
+ const RecordDecl *RD = RT->getDecl();
+
+ for (auto I = RD->field_begin(), End = RD->field_end(); I != End; ++I) {
+ if ((*I)->isBitField()) {
+ const ASTRecordLayout &Info = getContext().getASTRecordLayout(RD);
+ GV->setAlignment(Info.getAlignment().getQuantity());
+ break;
+ }
+ }
+ }
+ }
}
if (AddrSpace != Ty->getAddressSpace())
--- /dev/null
+// RUN: %clang_cc1 -triple arm-none-eabi -ffreestanding -emit-llvm -o - -O3 %s | FileCheck %s
+// RUN: %clang_cc1 -triple aarch64 -ffreestanding -emit-llvm -o - -O3 %s | FileCheck %s
+
+extern struct T {
+ int b0 : 8;
+ int b1 : 24;
+ int b2 : 1;
+} g;
+
+int func() {
+ return g.b1;
+}
+
+// CHECK: @g = external global %struct.T, align 4
+// CHECK: %{{.*}} = load i64, i64* bitcast (%struct.T* @g to i64*), align 4