llvm/test/DebugInfo/COFF/bitfields.ll

   1 ; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
   2
   3 ; C++ source to regenerate:
   4 ; $ cat t.cpp
   5 ; #pragma pack(1)
   6 ; struct S0 {
   7 ;   char : 8;
   8 ;   short   : 8;
   9 ;   short x : 8;
  10 ; } s0;
  11 ;
  12 ; #pragma pack(1)
  13 ; struct S1 {
  14 ;   char x1[2];
  15 ;   char x2;
  16 ;   int y : 23;
  17 ;   int z : 23;
  18 ;   int w : 2;
  19 ;   struct { char c; short s; } v;
  20 ;   short u : 3;
  21 ; } s1;
  22 ;
  23 ; #pragma pack(1)
  24 ; struct S2 {
  25 ;   char : 0;
  26 ;   int y : 1;
  27 ; } s2;
  28 ; $ clang t.cpp -S -emit-llvm -g -gcodeview -o t.ll
  29
  30 ; CHECK: CodeViewTypes [
  31 ; CHECK:  BitField ([[S0_x:.*]]) {
  32 ; CHECK:    TypeLeafKind: LF_BITFIELD (0x1205)
  33 ; CHECK:    Type: short (0x11)
  34 ; CHECK:    BitSize: 8
  35 ; CHECK:    BitOffset: 8
  36 ; CHECK:  }
  37 ; CHECK:  FieldList ([[S0_fl:.*]]) {
  38 ; CHECK:    TypeLeafKind: LF_FIELDLIST (0x1203)
  39 ; CHECK:    DataMember {
  40 ; CHECK:      Type: [[S0_x:.*]]
  41 ; CHECK:      FieldOffset: 0x1
  42 ; CHECK:      Name: x
  43 ; CHECK:    }
  44 ; CHECK:  }
  45 ; CHECK:  Struct ({{.*}}) {
  46 ; CHECK:    TypeLeafKind: LF_STRUCTURE (0x1505)
  47 ; CHECK:    MemberCount: 1
  48 ; CHECK:    Properties [ (0x0)
  49 ; CHECK:    ]
  50 ; CHECK:    FieldList: <field list> ([[S0_fl]])
  51 ; CHECK:    SizeOf: 3
  52 ; CHECK:    Name: S0
  53 ; CHECK:  }
  54 ; CHECK:  BitField ([[S1_y_z:.*]]) {
  55 ; CHECK:    TypeLeafKind: LF_BITFIELD (0x1205)
  56 ; CHECK:    Type: int (0x74)
  57 ; CHECK:    BitSize: 23
  58 ; CHECK:    BitOffset: 0
  59 ; CHECK:  }
  60 ; CHECK:  BitField ([[S1_w:.*]]) {
  61 ; CHECK:    TypeLeafKind: LF_BITFIELD (0x1205)
  62 ; CHECK:    Type: int (0x74)
  63 ; CHECK:    BitSize: 2
  64 ; CHECK:    BitOffset: 23
  65 ; CHECK:  }
  66 ; CHECK:  FieldList ([[anon_fl:.*]]) {
  67 ; CHECK:    TypeLeafKind: LF_FIELDLIST (0x1203)
  68 ; CHECK:    DataMember {
  69 ; CHECK:      TypeLeafKind: LF_MEMBER (0x150D)
  70 ; CHECK:      Type: char (0x70)
  71 ; CHECK:      FieldOffset: 0x0
  72 ; CHECK:      Name: c
  73 ; CHECK:    }
  74 ; CHECK:    DataMember {
  75 ; CHECK:      TypeLeafKind: LF_MEMBER (0x150D)
  76 ; CHECK:      Type: short (0x11)
  77 ; CHECK:      FieldOffset: 0x1
  78 ; CHECK:      Name: s
  79 ; CHECK:    }
  80 ; CHECK:  }
  81 ; CHECK:  Struct ([[anon_ty:.*]]) {
  82 ; CHECK:    TypeLeafKind: LF_STRUCTURE (0x1505)
  83 ; CHECK:    MemberCount: 2
  84 ; CHECK:    Properties [ (0x8)
  85 ; CHECK:      Nested (0x8)
  86 ; CHECK:    ]
  87 ; CHECK:    FieldList: <field list> ([[anon_fl]])
  88 ; CHECK:    SizeOf: 3
  89 ; CHECK:    Name: S1::<unnamed-tag>
  90 ; CHECK:  }
  91 ; CHECK:  BitField ([[S1_u:.*]]) {
  92 ; CHECK:    TypeLeafKind: LF_BITFIELD (0x1205)
  93 ; CHECK:    Type: short (0x11)
  94 ; CHECK:    BitSize: 3
  95 ; CHECK:    BitOffset: 0
  96 ; CHECK:  }
  97 ; CHECK:  FieldList ([[S1_fl:.*]]) {
  98 ; CHECK:    TypeLeafKind: LF_FIELDLIST (0x1203)
  99 ; CHECK:    DataMember {
 100 ; CHECK:      FieldOffset: 0x0
 101 ; CHECK:      Name: x1
 102 ; CHECK:    }
 103 ; CHECK:    DataMember {
 104 ; CHECK:      Type: char (0x70)
 105 ; CHECK:      FieldOffset: 0x2
 106 ; CHECK:      Name: x2
 107 ; CHECK:    }
 108 ; CHECK:    DataMember {
 109 ; CHECK:      Type: [[S1_y_z]]
 110 ; CHECK:      FieldOffset: 0x3
 111 ; CHECK:      Name: y
 112 ; CHECK:    }
 113 ; CHECK:    DataMember {
 114 ; CHECK:      Type: [[S1_y_z]]
 115 ; CHECK:      FieldOffset: 0x7
 116 ; CHECK:      Name: z
 117 ; CHECK:    }
 118 ; CHECK:    DataMember {
 119 ; CHECK:      Type: [[S1_w]]
 120 ; CHECK:      FieldOffset: 0x7
 121 ; CHECK:      Name: w
 122 ; CHECK:    }
 123 ; CHECK:    DataMember {
 124 ; CHECK:      Type: S1::<unnamed-tag> ([[anon_ty]])
 125 ; CHECK:      FieldOffset: 0xB
 126 ; CHECK:      Name: v
 127 ; CHECK:    }
 128 ; CHECK:    DataMember {
 129 ; CHECK:      Type: [[S1_u]]
 130 ; CHECK:      FieldOffset: 0xE
 131 ; CHECK:      Name: u
 132 ; CHECK:    }
 133 ; CHECK:  }
 134 ; CHECK:  Struct ({{.*}}) {
 135 ; CHECK:    TypeLeafKind: LF_STRUCTURE (0x1505)
 136 ; CHECK:    MemberCount: 7
 137 ; CHECK:    Properties [ (0x0)
 138 ; CHECK:    ]
 139 ; CHECK:    FieldList: <field list> ([[S1_fl]])
 140 ; CHECK:    SizeOf: 16
 141 ; CHECK:    Name: S1
 142 ; CHECK:  }
 143 ; CHECK:  BitField ([[S2_y:.*]]) {
 144 ; CHECK:    TypeLeafKind: LF_BITFIELD (0x1205)
 145 ; CHECK:    Type: int (0x74)
 146 ; CHECK:    BitSize: 1
 147 ; CHECK:    BitOffset: 0
 148 ; CHECK:  }
 149 ; CHECK:  FieldList ([[S2_fl:.*]]) {
 150 ; CHECK:    TypeLeafKind: LF_FIELDLIST (0x1203)
 151 ; CHECK:    DataMember {
 152 ; CHECK:      Type: [[S2_y]]
 153 ; CHECK:      FieldOffset: 0x0
 154 ; CHECK:      Name: y
 155 ; CHECK:    }
 156 ; CHECK:  }
 157 ; CHECK:  Struct ({{.*}}) {
 158 ; CHECK:    TypeLeafKind: LF_STRUCTURE (0x1505)
 159 ; CHECK:    MemberCount: 1
 160 ; CHECK:    Properties [ (0x0)
 161 ; CHECK:    ]
 162 ; CHECK:    FieldList: <field list> ([[S2_fl]])
 163 ; CHECK:    SizeOf: 4
 164 ; CHECK:    Name: S2
 165 ; CHECK:  }
 166
 167 source_filename = "test/DebugInfo/COFF/bitfields.ll"
 168 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
 169 target triple = "x86_64-pc-windows-msvc18.0.0"
 170
 171 %struct.S0 = type <{ i8, i16 }>
 172 %struct.S1 = type <{ [2 x i8], i8, i32, i32, %struct.anon, i16 }>
 173 %struct.anon = type <{ i8, i16 }>
 174 %struct.S2 = type { i32 }
 175
 176 @s0 = common global %struct.S0 zeroinitializer, align 1, !dbg !0
 177 @s1 = common global %struct.S1 zeroinitializer, align 1, !dbg !6
 178 @s2 = common global %struct.S2 zeroinitializer, align 1, !dbg !28
 179
 180 !llvm.dbg.cu = !{!2}
 181 !llvm.module.flags = !{!36, !37, !38}
 182 !llvm.ident = !{!39}
 183
 184 !0 = distinct !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
 185 !1 = !DIGlobalVariable(name: "s0", scope: !2, file: !8, line: 7, type: !33, isLocal: false, isDefinition: true)
 186 !2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 3.9.0 (trunk 273812) (llvm/trunk 273843)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
 187 !3 = !DIFile(filename: "-", directory: "/usr/local/google/home/majnemer/llvm/src")
 188 !4 = !{}
 189 !5 = !{!0, !6, !28}
 190 !6 = distinct !DIGlobalVariableExpression(var: !7, expr: !DIExpression())
 191 !7 = !DIGlobalVariable(name: "s1", scope: !2, file: !8, line: 18, type: !9, isLocal: false, isDefinition: true)
 192 !8 = !DIFile(filename: "<stdin>", directory: "/usr/local/google/home/majnemer/llvm/src")
 193 !9 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "S1", file: !8, line: 10, size: 128, elements: !10)
 194 !10 = !{!11, !16, !17, !19, !20, !21, !27}
 195 !11 = !DIDerivedType(tag: DW_TAG_member, name: "x1", scope: !9, file: !8, line: 11, baseType: !12, size: 16)
 196 !12 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 16, elements: !14)
 197 !13 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
 198 !14 = !{!15}
 199 !15 = !DISubrange(count: 2)
 200 !16 = !DIDerivedType(tag: DW_TAG_member, name: "x2", scope: !9, file: !8, line: 12, baseType: !13, size: 8, offset: 16)
 201 !17 = !DIDerivedType(tag: DW_TAG_member, name: "y", scope: !9, file: !8, line: 13, baseType: !18, size: 23, offset: 24, flags: DIFlagBitField, extraData: i64 24)
 202 !18 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 203 !19 = !DIDerivedType(tag: DW_TAG_member, name: "z", scope: !9, file: !8, line: 14, baseType: !18, size: 23, offset: 56, flags: DIFlagBitField, extraData: i64 56)
 204 !20 = !DIDerivedType(tag: DW_TAG_member, name: "w", scope: !9, file: !8, line: 15, baseType: !18, size: 2, offset: 79, flags: DIFlagBitField, extraData: i64 56)
 205 !21 = !DIDerivedType(tag: DW_TAG_member, name: "v", scope: !9, file: !8, line: 16, baseType: !22, size: 24, offset: 88)
 206 !22 = distinct !DICompositeType(tag: DW_TAG_structure_type, scope: !9, file: !8, line: 16, size: 24, elements: !23)
 207 !23 = !{!24, !25}
 208 !24 = !DIDerivedType(tag: DW_TAG_member, name: "c", scope: !22, file: !8, line: 16, baseType: !13, size: 8)
 209 !25 = !DIDerivedType(tag: DW_TAG_member, name: "s", scope: !22, file: !8, line: 16, baseType: !26, size: 16, offset: 8)
 210 !26 = !DIBasicType(name: "short", size: 16, encoding: DW_ATE_signed)
 211 !27 = !DIDerivedType(tag: DW_TAG_member, name: "u", scope: !9, file: !8, line: 17, baseType: !26, size: 3, offset: 112, flags: DIFlagBitField, extraData: i64 112)
 212 !28 = distinct !DIGlobalVariableExpression(var: !29, expr: !DIExpression())
 213 !29 = !DIGlobalVariable(name: "s2", scope: !2, file: !8, line: 24, type: !30, isLocal: false, isDefinition: true)
 214 !30 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "S2", file: !8, line: 21, size: 32, elements: !31)
 215 !31 = !{!32}
 216 !32 = !DIDerivedType(tag: DW_TAG_member, name: "y", scope: !30, file: !8, line: 23, baseType: !18, size: 1, flags: DIFlagBitField, extraData: i64 0)
 217 !33 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "S0", file: !8, line: 3, size: 24, elements: !34)
 218 !34 = !{!35}
 219 !35 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !33, file: !8, line: 6, baseType: !26, size: 8, offset: 16, flags: DIFlagBitField, extraData: i64 8)
 220 !36 = !{i32 2, !"CodeView", i32 1}
 221 !37 = !{i32 2, !"Debug Info Version", i32 3}
 222 !38 = !{i32 1, !"PIC Level", i32 2}
 223 !39 = !{!"clang version 3.9.0 (trunk 273812) (llvm/trunk 273843)"}
 224