This is an archive of the discontinued LLVM Phabricator instance.

Differential D158886

[clang][NFC]: bitfields storage allocation tests
AbandonedPublic

Authored by urnathan on Aug 25 2023, 1:40 PM.

Details

Reviewers
jyknight
Summary

It appears clang likes to test the placement of bitfield access units by inspecting the llvmIR, rather than directly checking a record layout dump. That's a little indirect.

This augments 4 existing tests to do the latter as well. It appears the record dump can get intermixed with the IR on stdout, due to buffering, so this does the two checks in two separate checks. The new test Layout/aapcs-bitfield-placement.c, is the same test as CodeGen/aapcs-bitfield.c, but just checks the bitfield access units. (as the latter is using update_cc_test_checks.py I cloned the source)

The motivation behind this is (a) D157914, which refactors the existing algorithm, but also (b) the thread at https://discourse.llvm.org/t/targetinfo-for-unaligned-load-capability/72832, where any change needs to be clear as to what it is changing.

Diff Detail

Event Timeline

urnathan created this revision.Aug 25 2023, 1:40 PM
Herald added a project: Restricted Project. · View Herald TranscriptAug 25 2023, 1:40 PM
urnathan requested review of this revision.Aug 25 2023, 1:40 PM
urnathan mentioned this in D157914: [clang][NFC]: bitfield storage units.Aug 25 2023, 1:42 PM
Harbormaster completed remote builds in B254984: Diff 553596.Aug 25 2023, 5:15 PM
urnathan abandoned this revision.Aug 29 2023, 4:02 PM

Revision Contents

PathSize
clang/
test/
CodeGen/
19 lines
11 lines
76 lines
Layout/
287 lines

Diff 553596

clang/test/CodeGen/arm-bitfield-alignment.c

// RUN: %clang_cc1 -triple arm-none-eabi -ffreestanding -emit-llvm -o - %s | FileCheck %s // RUN: %clang_cc1 -triple arm-none-eabi -fdump-record-layouts-simple -ffreestanding -emit-llvm -o %t %s | FileCheck %s -check-prefixes=LAYOUT
// RUN: %clang_cc1 -triple aarch64 -ffreestanding -emit-llvm -o - %s | FileCheck %s // RUN: <%t FileCheck %s -check-prefixes=IR
// RUN: %clang_cc1 -triple aarch64 -fdump-record-layouts-simple -ffreestanding -emit-llvm -o %t %s | FileCheck %s -check-prefixes=LAYOUT
// RUN: <%t FileCheck %s -check-prefixes=IR
extern struct T { extern struct T {
int b0 : 8; int b0 : 8;
int b1 : 24; int b1 : 24;
int b2 : 1; int b2 : 1;
} g; } g;
int func(void) { int func(void) {
return g.b1; return g.b1;
} }
// CHECK: @g = external global %struct.T, align 4 // IR: @g = external global %struct.T, align 4
// CHECK: %{{.*}} = load i64, ptr @g, align 4 // IR: %{{.*}} = load i64, ptr @g, align 4
// LAYOUT-LABEL: Record: RecordDecl {{.*}} struct T definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.T = type { i40 }
// LAYOUT: BitFields:[
// LAYOUT-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:64 StorageOffset:0
// LAYOUT-NEXT: <CGBitFieldInfo Offset:8 Size:24 IsSigned:1 StorageSize:64 StorageOffset:0
// LAYOUT-NEXT: <CGBitFieldInfo Offset:32 Size:1 IsSigned:1 StorageSize:64 StorageOffset:0
// LAYOUT-NEXT: ]>

clang/test/CodeGen/arm64-be-bitfield.c

// RUN: %clang_cc1 -triple aarch64_be-linux-gnu -ffreestanding -emit-llvm -O0 -o - %s | FileCheck --check-prefix IR %s // RUN: %clang_cc1 -triple aarch64_be-linux-gnu -ffreestanding -emit-llvm -O0 -o %t -fdump-record-layouts-simple %s | FileCheck %s
// RUN: <%t FileCheck %s --check-prefix=IR
struct bt3 { signed b2:10; signed b3:10; } b16; struct bt3 { signed b2:10; signed b3:10; } b16;
// Get the high 32-bits and then shift appropriately for big-endian. // Get the high 32-bits and then shift appropriately for big-endian.
signed callee_b0f(struct bt3 bp11) { signed callee_b0f(struct bt3 bp11) {
// IR: callee_b0f(i64 [[ARG:%.*]]) // IR: callee_b0f(i64 [[ARG:%.*]])
// IR: store i64 [[ARG]], ptr [[PTR:%.*]], align 8 // IR: store i64 [[ARG]], ptr [[PTR:%.*]], align 8
// IR: call void @llvm.memcpy.p0.p0.i64(ptr {{.*}}, ptr align 8 [[PTR]], i64 4 // IR: call void @llvm.memcpy.p0.p0.i64(ptr {{.*}}, ptr align 8 [[PTR]], i64 4
return bp11.b2; return bp11.b2;
} }
// CHECK-LABEL: Record: RecordDecl {{.*}} struct bt3 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.bt3 = type { i24 }
// CHECK: BitFields:[
// CHECK-NEXT: <CGBitFieldInfo Offset:22 Size:10 IsSigned:1 StorageSize:32 StorageOffset:0
// CHECK-NEXT: <CGBitFieldInfo Offset:12 Size:10 IsSigned:1 StorageSize:32 StorageOffset:0
// CHECK-NEXT: ]>

clang/test/CodeGen/struct-x86-darwin.c

// RUN: %clang_cc1 %s -emit-llvm -triple=i686-apple-darwin9 -o - | FileCheck %s // RUN: %clang_cc1 %s -emit-llvm -o %t -triple=i686-apple-darwin9 -fdump-record-layouts-simple | FileCheck %s
// CHECK: STest1 = type { i32, [4 x i16], double }
// CHECK: STest2 = type { i16, i16, i32, i32 }
// CHECK: STest3 = type { i8, i16, i32 }
// CHECK: STestB1 = type { i8, i8 }
// CHECK: STestB2 = type { i8, i8, i8 }
// CHECK: STestB3 = type { i8, i8 }
// CHECK: STestB4 = type { i8, i8, i8, i8 }
// CHECK: STestB5 = type { i8, i16, i8 }
// CHECK: STestB6 = type { i8, i8, i16 }
// Test struct layout for x86-darwin target // Test struct layout for x86-darwin target
struct STest1 {int x; short y[4]; double z; } st1; struct STest1 {int x; short y[4]; double z; } st1;
struct STest2 {short a,b; int c,d; } st2; struct STest2 {short a,b; int c,d; } st2;
struct STest3 {char a; short b; int c; } st3; struct STest3 {char a; short b; int c; } st3;
// Bitfields // Bitfields
struct STestB1 {char a; char b:2; } stb1; struct STestB1 {char a; char b:2; } stb1;
struct STestB2 {char a; char b:5; char c:4; } stb2; struct STestB2 {char a; char b:5; char c:4; } stb2;
struct STestB3 {char a; char b:2; } stb3; struct STestB3 {char a; char b:2; } stb3;
struct STestB4 {char a; short b:2; char c; } stb4; struct STestB4 {char a; short b:2; char c; } stb4;
struct STestB5 {char a; short b:10; char c; } stb5; struct STestB5 {char a; short b:10; char c; } stb5;
struct STestB6 {int a:1; char b; int c:13 } stb6; struct STestB6 {int a:1; char b; int c:13; } stb6;
// Packed struct STestP1 {char a; short b; int c; } __attribute__((__packed__)) stp1; // Packed struct STestP1 {char a; short b; int c; } __attribute__((__packed__)) stp1;
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STest1 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STest1 = type { i32, [4 x i16], double }
// CHECK: BitFields:[
// CHECK-NEXT: ]>
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STest2 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STest2 = type { i16, i16, i32, i32 }
// CHECK: BitFields:[
// CHECK-NEXT: ]>
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STest3 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STest3 = type { i8, i16, i32 }
// CHECK: BitFields:[
// CHECK-NEXT: ]>
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STestB1 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STestB1 = type { i8, i8 }
// CHECK: BitFields:[
// CHECK-NEXT: <CGBitFieldInfo Offset:0 Size:2 IsSigned:1 StorageSize:8 StorageOffset:1
// CHECK-NEXT: ]>
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STestB2 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STestB2 = type { i8, i8, i8 }
// CHECK: BitFields:[
// CHECK-NEXT: <CGBitFieldInfo Offset:0 Size:5 IsSigned:1 StorageSize:8 StorageOffset:1
// CHECK-NEXT: <CGBitFieldInfo Offset:0 Size:4 IsSigned:1 StorageSize:8 StorageOffset:2
// CHECK-NEXT: ]>
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STestB3 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STestB3 = type { i8, i8 }
// CHECK: BitFields:[
// CHECK-NEXT: <CGBitFieldInfo Offset:0 Size:2 IsSigned:1 StorageSize:8 StorageOffset:1
// CHECK-NEXT: ]>
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STestB4 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STestB4 = type { i8, i8, i8, i8 }
// CHECK: BitFields:[
// CHECK-NEXT: <CGBitFieldInfo Offset:0 Size:2 IsSigned:1 StorageSize:8 StorageOffset:1
// CHECK-NEXT: ]>
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STestB5 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STestB5 = type { i8, i16, i8 }
// CHECK: BitFields:[
// CHECK-NEXT: <CGBitFieldInfo Offset:0 Size:10 IsSigned:1 StorageSize:16 StorageOffset:2
// CHECK-NEXT: ]>
// CHECK-LABEL: Record: RecordDecl {{.*}} struct STestB6 definition
// CHECK: Layout: <CGRecordLayout
// CHECK-NEXT: LLVMType:%struct.STestB6 = type { i8, i8, i16 }
// CHECK: BitFields:[
// CHECK-NEXT: <CGBitFieldInfo Offset:0 Size:1 IsSigned:1 StorageSize:8 StorageOffset:0
// CHECK-NEXT: <CGBitFieldInfo Offset:0 Size:13 IsSigned:1 StorageSize:16 StorageOffset:2
// CHECK-NEXT: ]>

clang/test/Layout/aapcs-bitfield-placement.c

  • This file was added.
// RUN: %clang_cc1 -triple armv8-none-linux-eabi -fno-aapcs-bitfield-width -emit-llvm -o %t %s -fdump-record-layouts-simple | FileCheck %s -check-prefixes=LAYOUT,LAYOUT_LE
// RUN: %clang_cc1 -triple armebv8-none-linux-eabi -fno-aapcs-bitfield-width -emit-llvm -o %t %s -fdump-record-layouts-simple | FileCheck %s -check-prefixes=LAYOUT,LAYOUT_BE
// RUN: %clang_cc1 -triple armv8-none-linux-eabi -faapcs-bitfield-width -emit-llvm -o %t %s -fdump-record-layouts-simple | FileCheck %s -check-prefixes=LAYOUT,LAYOUT_LE
// RUN: %clang_cc1 -triple armebv8-none-linux-eabi -faapcs-bitfield-width -emit-llvm -o %t %s -fdump-record-layouts-simple | FileCheck %s -check-prefixes=LAYOUT,LAYOUT_BE
struct st0 {
short c : 7;
} st0;
// LAYOUT-LABEL: Record: {{.*}} struct st0 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st0 = type { i8, i8 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:7 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:1 Size:7 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st1 {
int a : 10;
short c : 6;
} st1;
// LAYOUT-LABEL: Record: {{.*}} struct st1 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st1 = type { i16, [2 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:10 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:10 Size:6 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:6 Size:10 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:6 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st2 {
int a : 10;
short c : 7;
} st2;
// LAYOUT-LABEL: Record: {{.*}} struct st2 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st2 = type { i16, i8 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:10 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:7 IsSigned:1 StorageSize:8 StorageOffset:2
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:6 Size:10 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:1 Size:7 IsSigned:1 StorageSize:8 StorageOffset:2
// LAYOUT-NEXT: ]>
struct st3 {
volatile short c : 7;
} st3;
// LAYOUT-LABEL: Record: {{.*}} struct st3 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st3 = type { i8, i8 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:7 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:1 Size:7 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st4 {
int b : 9;
volatile char c : 5;
} st4;
// LAYOUT-LABEL: Record: {{.*}} struct st4 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st4 = type { i16, [2 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:9 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:9 Size:5 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:7 Size:9 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:2 Size:5 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st5 {
int a : 12;
volatile char c : 5;
} st5;
// LAYOUT-LABEL: Record: {{.*}} struct st5 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st5 = type { i16, i8 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:12 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:5 IsSigned:1 StorageSize:8 StorageOffset:2
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:4 Size:12 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:3 Size:5 IsSigned:1 StorageSize:8 StorageOffset:2
// LAYOUT-NEXT: ]>
struct st6 {
int a : 12;
char b;
int c : 5;
} st6;
// LAYOUT-LABEL: Record: {{.*}} struct st6 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st6 = type { i16, i8, i8 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:12 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:5 IsSigned:1 StorageSize:8 StorageOffset:3
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:4 Size:12 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:3 Size:5 IsSigned:1 StorageSize:8 StorageOffset:3
// LAYOUT-NEXT: ]>
struct st7a {
char a;
int b : 5;
} st7a;
// LAYOUT-LABEL: Record: {{.*}} struct st7a definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st7a = type { i8, i8, [2 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:5 IsSigned:1 StorageSize:8 StorageOffset:1
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:3 Size:5 IsSigned:1 StorageSize:8 StorageOffset:1
// LAYOUT-NEXT: ]>
struct st7b {
char x;
volatile struct st7a y;
} st7b;
// LAYOUT-LABEL: Record: {{.*}} struct st7b definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st7b = type { i8, [3 x i8], %struct.st7a }
// LAYOUT: BitFields:[
// LAYOUT-NEXT: ]>
struct st8 {
unsigned f : 16;
} st8;
// LAYOUT-LABEL: Record: {{.*}} struct st8 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st8 = type { i16, [2 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:16 IsSigned:0 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:16 IsSigned:0 StorageSize:16 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st9{
int f : 8;
} st9;
// LAYOUT-LABEL: Record: {{.*}} struct st9 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st9 = type { i8, [3 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st10{
int e : 1;
int f : 8;
} st10;
// LAYOUT-LABEL: Record: {{.*}} struct st10 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st10 = type { i16, [2 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:1 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:1 Size:8 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:15 Size:1 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:7 Size:8 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st11{
char e;
int f : 16;
} st11;
// LAYOUT-LABEL: Record: {{.*}} struct st11 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st11 = type <{ i8, i16, i8 }>
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:16 IsSigned:1 StorageSize:16 StorageOffset:1
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:16 IsSigned:1 StorageSize:16 StorageOffset:1
// LAYOUT-NEXT: ]>
struct st12{
int e : 8;
int f : 16;
} st12;
// LAYOUT-LABEL: Record: {{.*}} struct st12 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st12 = type { i24 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:32 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:8 Size:16 IsSigned:1 StorageSize:32 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:24 Size:8 IsSigned:1 StorageSize:32 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:8 Size:16 IsSigned:1 StorageSize:32 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st13 {
char a : 8;
int b : 32;
} __attribute__((packed)) st13;
// LAYOUT-LABEL: Record: {{.*}} struct st13 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st13 = type { [5 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:40 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:8 Size:32 IsSigned:1 StorageSize:40 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:32 Size:8 IsSigned:1 StorageSize:40 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:32 IsSigned:1 StorageSize:40 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st14 {
char a : 8;
} __attribute__((packed)) st14;
// LAYOUT-LABEL: Record: {{.*}} struct st14 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st14 = type { i8 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st15 {
short a : 8;
} __attribute__((packed)) st15;
// LAYOUT-LABEL: Record: {{.*}} struct st15 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st15 = type { i8 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT-NEXT: ]>
struct st16 {
int a : 32;
int b : 16;
int c : 32;
int d : 16;
} st16;
// LAYOUT-LABEL: Record: {{.*}} struct st16 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st16 = type { i48, i48 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:32 IsSigned:1 StorageSize:64 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:32 Size:16 IsSigned:1 StorageSize:64 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:32 IsSigned:1 StorageSize:64 StorageOffset:8
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:32 Size:16 IsSigned:1 StorageSize:64 StorageOffset:8
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:32 Size:32 IsSigned:1 StorageSize:64 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:16 Size:16 IsSigned:1 StorageSize:64 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:32 Size:32 IsSigned:1 StorageSize:64 StorageOffset:8
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:16 Size:16 IsSigned:1 StorageSize:64 StorageOffset:8
// LAYOUT-NEXT: ]>
struct st17 {
int b : 32;
char c : 8;
} __attribute__((packed)) st17;
// LAYOUT-LABEL: Record: {{.*}} struct st17 definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.st17 = type { [5 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:32 IsSigned:1 StorageSize:40 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:32 Size:8 IsSigned:1 StorageSize:40 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:8 Size:32 IsSigned:1 StorageSize:40 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:40 StorageOffset:0
// LAYOUT-NEXT: ]>
struct zero_bitfield {
int a : 8;
char : 0;
int b : 8;
} st18;
// LAYOUT-LABEL: Record: {{.*}} struct zero_bitfield definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.zero_bitfield = type { i8, i8, [2 x i8] }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:1
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:8 StorageOffset:1
// LAYOUT-NEXT: ]>
struct zero_bitfield_ok {
short a : 8;
char a1 : 8;
long : 0;
int b : 24;
} st19;
// LAYOUT-LABEL: Record: {{.*}} struct zero_bitfield_ok definition
// LAYOUT: Layout: <CGRecordLayout
// LAYOUT-NEXT: LLVMType:%struct.zero_bitfield_ok = type { i16, i24 }
// LAYOUT: BitFields:[
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:8 Size:8 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_LE-NEXT: <CGBitFieldInfo Offset:0 Size:24 IsSigned:1 StorageSize:32 StorageOffset:4
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:8 Size:8 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:0 Size:8 IsSigned:1 StorageSize:16 StorageOffset:0
// LAYOUT_BE-NEXT: <CGBitFieldInfo Offset:8 Size:24 IsSigned:1 StorageSize:32 StorageOffset:4
// LAYOUT-NEXT: ]>