[cfe-commits] r76884 - in /cfe/trunk: lib/CodeGen/CGRecordLayoutBuilder.cpp lib/CodeGen/CGRecordLayoutBuilder.h test/CodeGen/pragma-pack-1.c

[Anders Carlsson]

Author: andersca
Date: Thu Jul 23 12:24:40 2009
New Revision: 76884

URL: http://llvm.org/viewvc/llvm-project?rev=76884&view=rev
Log:
We don't need to keep track of the packed alignment, just whether the struct is packed or not. Fixes PR4610.

Added:
    cfe/trunk/test/CodeGen/pragma-pack-1.c
Modified:
    cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.cpp
    cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.h

Modified: cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.cpp?rev=76884&r1=76883&r2=76884&view=diff

==============================================================================
--- cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.cpp (original)
+++ cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.cpp Thu Jul 23 12:24:40 2009
@@ -33,16 +33,13 @@
   }
   
   if (const PackedAttr* PA = D->getAttr<PackedAttr>())
-    StructPacking = PA->getAlignment();
+    Packed = PA->getAlignment();
 
   if (LayoutFields(D))
     return;
   
-  assert(!StructPacking && 
-         "FIXME: Were not able to lay out a struct with #pragma pack!");
-  
   // We weren't able to layout the struct. Try again with a packed struct
-  StructPacking = 1;
+  Packed = true;
   AlignmentAsLLVMStruct = 1;
   FieldTypes.clear();
   FieldInfos.clear();
@@ -99,21 +96,21 @@
 
 bool CGRecordLayoutBuilder::LayoutField(const FieldDecl *D,
                                         uint64_t FieldOffset) {
-  unsigned FieldPacking = StructPacking;
+  bool FieldPacked = Packed;
   
   // FIXME: Should this override struct packing? Probably we want to
   // take the minimum?
   if (const PackedAttr *PA = D->getAttr<PackedAttr>())
-    FieldPacking = PA->getAlignment();
+    FieldPacked = PA->getAlignment();
 
   // If the field is packed, then we need a packed struct.
-  if (!StructPacking && FieldPacking)
+  if (!Packed && FieldPacked)
     return false;
 
   if (D->isBitField()) {
     // We must use packed structs for unnamed bit fields since they
     // don't affect the struct alignment.
-    if (!StructPacking && !D->getDeclName())
+    if (!Packed && !D->getDeclName())
       return false;
     
     LayoutBitField(D, FieldOffset);
@@ -126,7 +123,7 @@
   if (const AlignedAttr *PA = D->getAttr<AlignedAttr>()) {
     unsigned FieldAlign = PA->getAlignment();
    
-    if (!StructPacking && getTypeAlignment(Ty) > FieldAlign)
+    if (!Packed && getTypeAlignment(Ty) > FieldAlign)
       return false;
   }
    
@@ -213,7 +210,7 @@
   for (RecordDecl::field_iterator Field = D->field_begin(), 
        FieldEnd = D->field_end(); Field != FieldEnd; ++Field, ++FieldNo) {
     if (!LayoutField(*Field, Layout.getFieldOffset(FieldNo))) {
-      assert(!StructPacking && 
+      assert(!Packed && 
              "Could not layout fields even with a packed LLVM struct!");
       return false;
     }
@@ -286,10 +283,8 @@
 }
 
 unsigned CGRecordLayoutBuilder::getTypeAlignment(const llvm::Type *Ty) const {
-  if (StructPacking) {
-    assert(StructPacking == 1 && "FIXME: What if StructPacking is not 1 here");
+  if (Packed)
     return 1;
-  }
   
   return Types.getTargetData().getABITypeAlignment(Ty);
 }
@@ -310,7 +305,7 @@
   
   // FIXME: Use a VMContext.
   const llvm::Type *Ty = llvm::StructType::get(Builder.FieldTypes,
-                                               Builder.StructPacking);
+                                               Builder.Packed);
   
   // Add all the field numbers.
   for (unsigned i = 0, e = Builder.LLVMFields.size(); i != e; ++i) {

Modified: cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.h?rev=76884&r1=76883&r2=76884&view=diff

==============================================================================
--- cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.h (original)
+++ cfe/trunk/lib/CodeGen/CGRecordLayoutBuilder.h Thu Jul 23 12:24:40 2009
@@ -33,10 +33,8 @@
 class CGRecordLayoutBuilder {  
   CodeGenTypes &Types;
   
-  /// StructPacking - Will be 0 if this struct is not packed. If it is packed,
-  /// it will have the packing alignment in bits.
-  /// 
-  unsigned StructPacking;
+  /// Packed - Whether the resulting LLVM struct will be packed or not.
+  bool Packed;
 
   /// AlignmentAsLLVMStruct - Will contain the maximum alignment of all the
   /// LLVM types.
@@ -79,7 +77,7 @@
   llvm::SmallVector<LLVMBitFieldInfo, 16> LLVMBitFields;
   
   CGRecordLayoutBuilder(CodeGenTypes &Types) 
-    : Types(Types), StructPacking(0), AlignmentAsLLVMStruct(1)
+    : Types(Types), Packed(false), AlignmentAsLLVMStruct(1)
     , BitsAvailableInLastField(0) { }
 
   /// Layout - Will layout a RecordDecl.

Added: cfe/trunk/test/CodeGen/pragma-pack-1.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGen/pragma-pack-1.c?rev=76884&view=auto

==============================================================================
--- cfe/trunk/test/CodeGen/pragma-pack-1.c (added)
+++ cfe/trunk/test/CodeGen/pragma-pack-1.c Thu Jul 23 12:24:40 2009
@@ -0,0 +1,7 @@
+// RUN: clang-cc -emit-llvm -o - 
+
+// PR4610
+#pragma pack(4)
+struct ref {
+        struct ref *next;
+} refs;