135 lines · cpp
1// REQUIRES: arm-registered-target2// RUN: %clang_cc1 -triple aarch64-none-elf \3// RUN: -O2 \4// RUN: -emit-llvm -fexperimental-max-bitint-width=1024 -o - %s | FileCheck %s5 6extern "C" {7 8// CHECK: @sizeof_OverSizedBitfield ={{.*}} global i32 89// CHECK: @alignof_OverSizedBitfield ={{.*}} global i32 810// CHECK: @sizeof_VeryOverSizedBitfield ={{.*}} global i32 1611// CHECK: @alignof_VeryOverSizedBitfield ={{.*}} global i32 1612// CHECK: @sizeof_RidiculouslyOverSizedBitfield ={{.*}} global i32 3213// CHECK: @alignof_RidiculouslyOverSizedBitfield ={{.*}} global i32 1614 15//BitInt alignment16struct BITINT129 {17 char ch;18 unsigned _BitInt(129) v;19};20 21int test_bitint129(){22 return __builtin_offsetof(struct BITINT129, v);23}24// CHECK: ret i32 16 25 26struct BITINT127 {27 char ch;28 _BitInt(127) v;29};30 31int test_bitint127(){32 return __builtin_offsetof(struct BITINT127, v);33}34// CHECK: ret i32 16 35 36struct BITINT63 {37 char ch;38 _BitInt(63) v;39};40 41int test_bitint63(){42 return __builtin_offsetof(struct BITINT63, v);43}44// CHECK: ret i32 8 45 46struct BITINT32 {47 char ch;48 unsigned _BitInt(32) v;49};50 51int test_bitint32(){52 return __builtin_offsetof(struct BITINT32, v);53}54// CHECK: ret i32 455 56struct BITINT9 {57 char ch;58 unsigned _BitInt(9) v;59};60 61int test_bitint9(){62 return __builtin_offsetof(struct BITINT9, v);63}64// CHECK: ret i32 265 66struct BITINT8 {67 char ch;68 unsigned _BitInt(8) v;69};70 71int test_bitint8(){72 return __builtin_offsetof(struct BITINT8, v);73}74// CHECK: ret i32 175 76// Over-sized bitfield, which results in a 64-bit container type, so 64-bit77// alignment.78struct OverSizedBitfield {79 int x : 64;80};81 82unsigned sizeof_OverSizedBitfield = sizeof(OverSizedBitfield);83unsigned alignof_OverSizedBitfield = alignof(OverSizedBitfield);84 85// CHECK: define{{.*}} void @g786// CHECK: call void @f7(i32 noundef 1, i64 42)87// CHECK: declare void @f7(i32 noundef, i64)88void f7(int a, OverSizedBitfield b);89void g7() {90 OverSizedBitfield s = {42};91 f7(1, s);92}93 94// AAPCS64 does have a 128-bit integer fundamental data type, so this gets a95// 128-bit container with 128-bit alignment. This is just within the limit of96// what can be passed directly.97struct VeryOverSizedBitfield {98 int x : 128;99};100 101unsigned sizeof_VeryOverSizedBitfield = sizeof(VeryOverSizedBitfield);102unsigned alignof_VeryOverSizedBitfield = alignof(VeryOverSizedBitfield);103 104// CHECK: define{{.*}} void @g8105// CHECK: call void @f8(i32 noundef 1, i128 42)106// CHECK: declare void @f8(i32 noundef, i128)107void f8(int a, VeryOverSizedBitfield b);108void g8() {109 VeryOverSizedBitfield s = {42};110 f8(1, s);111}112 113// There are no bigger fundamental data types, so this gets a 128-bit container114// and 128 bits of padding, giving the struct a size of 32 bytes, and an115// alignment of 16 bytes. This is over the PCS size limit of 16 bytes, so it116// will be passed indirectly.117struct RidiculouslyOverSizedBitfield {118 int x : 256;119};120 121unsigned sizeof_RidiculouslyOverSizedBitfield = sizeof(RidiculouslyOverSizedBitfield);122unsigned alignof_RidiculouslyOverSizedBitfield = alignof(RidiculouslyOverSizedBitfield);123 124// CHECK: define{{.*}} void @g9125// CHECK: call void @f9(i32 noundef 1, ptr dead_on_return noundef nonnull %agg.tmp)126// CHECK: declare void @f9(i32 noundef, ptr dead_on_return noundef)127void f9(int a, RidiculouslyOverSizedBitfield b);128void g9() {129 RidiculouslyOverSizedBitfield s = {42};130 f9(1, s);131}132 133}134 135