// RUN: %clang_cc1 -triple armv7-unknown-unknown -target-abi apcs-gnu %s -verify
// RUN: %clang_cc1 -triple armv7-unknown-unknown -target-abi aapcs %s -verify
// expected-no-diagnostics

#define check(name, cond) int _##name##_check[(cond) ? 1 : -1]

struct s0 { char field0; double field1; };
#ifdef __ARM_EABI__
check(s0_size, sizeof(struct s0) == 16);
#else
check(s0_size, sizeof(struct s0) == 12);
#endif

struct s1 { char field0; long double field1; };
#ifdef __ARM_EABI__
check(s1_size, sizeof(struct s1) == 16);
#else
check(s1_size, sizeof(struct s1) == 12);
#endif

struct s2 {
  short field0;
  int field1 : 24;
  char field2;
};
#ifdef __ARM_EABI__
check(s2_size, sizeof(struct s2) == 8);
check(s2_offset_0, __builtin_offsetof(struct s2, field0) == 0);
check(s2_offset_1, __builtin_offsetof(struct s2, field2) == 7);
#else
check(s2_size, sizeof(struct s2) == 6);
check(s2_offset_0, __builtin_offsetof(struct s2, field0) == 0);
check(s2_offset_1, __builtin_offsetof(struct s2, field2) == 5);
#endif

struct s3 {
  short field0;
  int field1 : 24 __attribute__((aligned(4)));
  char field2;
};
check(s3_size, sizeof(struct s3) == 8);
check(s3_offset_0, __builtin_offsetof(struct s3, field0) == 0);
check(s3_offset_1, __builtin_offsetof(struct s3, field2) == 7);

struct s4 {
  int field0 : 4;
};
#ifdef __ARM_EABI__
check(s4_size, sizeof(struct s4) == 4);
check(s4_align, __alignof(struct s4) == 4);
#else
check(s4_size, sizeof(struct s4) == 1);
check(s4_align, __alignof(struct s4) == 1);
#endif