tests: add tests for #[repr(packed)] and #[repr(align(...))]

The tests are very straightforward, and effecitvely are just ensuring
that the formatting works correctly and is included in all of the
important cases.

It's also very important to ensure we do not generate laid-out structs
for layouts which we cannot reasonably represent in C (such as in cases
where we weren't told what annotation to use for packed and
specifically-aligned structures). Thus, add some tests to verify that
this is the case.

Signed-off-by: Aleksa Sarai <[email protected]>

Author: cyphar

tests/expectations/both/layout.c

@@ -0,0 +1,72 @@
+#define CBINDGEN_PACKED     __attribute__ ((packed))
+#define CBINDGEN_ALIGNED(n) __attribute__ ((aligned(n)))
+
+
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+typedef struct RustAlign4Struct RustAlign4Struct;
+
+typedef struct RustAlign4Union RustAlign4Union;
+
+typedef struct RustPackedStruct RustPackedStruct;
+
+typedef struct RustPackedUnion RustPackedUnion;
+
+typedef struct UnsupportedAlign4Enum UnsupportedAlign4Enum;
+
+typedef struct UnsupportedPacked4Struct UnsupportedPacked4Struct;
+
+typedef struct UnsupportedPacked4Union UnsupportedPacked4Union;
+
+typedef struct CBINDGEN_ALIGNED(1) Align1Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align1Struct;
+
+typedef struct CBINDGEN_ALIGNED(2) Align2Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align2Struct;
+
+typedef struct CBINDGEN_ALIGNED(4) Align4Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align4Struct;
+
+typedef struct CBINDGEN_ALIGNED(8) Align8Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align8Struct;
+
+typedef struct CBINDGEN_ALIGNED(32) Align32Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align32Struct;
+
+typedef struct CBINDGEN_PACKED PackedStruct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} PackedStruct;
+
+typedef union CBINDGEN_ALIGNED(1) Align1Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align1Union;
+
+typedef union CBINDGEN_ALIGNED(4) Align4Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align4Union;
+
+typedef union CBINDGEN_ALIGNED(16) Align16Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align16Union;
+
+typedef union CBINDGEN_PACKED PackedUnion {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} PackedUnion;

tests/expectations/both/layout.compat.c

@@ -0,0 +1,72 @@
+#define CBINDGEN_PACKED     __attribute__ ((packed))
+#define CBINDGEN_ALIGNED(n) __attribute__ ((aligned(n)))
+
+
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+typedef struct RustAlign4Struct RustAlign4Struct;
+
+typedef struct RustAlign4Union RustAlign4Union;
+
+typedef struct RustPackedStruct RustPackedStruct;
+
+typedef struct RustPackedUnion RustPackedUnion;
+
+typedef struct UnsupportedAlign4Enum UnsupportedAlign4Enum;
+
+typedef struct UnsupportedPacked4Struct UnsupportedPacked4Struct;
+
+typedef struct UnsupportedPacked4Union UnsupportedPacked4Union;
+
+typedef struct CBINDGEN_ALIGNED(1) Align1Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align1Struct;
+
+typedef struct CBINDGEN_ALIGNED(2) Align2Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align2Struct;
+
+typedef struct CBINDGEN_ALIGNED(4) Align4Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align4Struct;
+
+typedef struct CBINDGEN_ALIGNED(8) Align8Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align8Struct;
+
+typedef struct CBINDGEN_ALIGNED(32) Align32Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align32Struct;
+
+typedef struct CBINDGEN_PACKED PackedStruct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} PackedStruct;
+
+typedef union CBINDGEN_ALIGNED(1) Align1Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align1Union;
+
+typedef union CBINDGEN_ALIGNED(4) Align4Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align4Union;
+
+typedef union CBINDGEN_ALIGNED(16) Align16Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align16Union;
+
+typedef union CBINDGEN_PACKED PackedUnion {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} PackedUnion;

tests/expectations/both/layout_aligned_opaque.c

@@ -0,0 +1,34 @@
+#define CBINDGEN_PACKED        __attribute__ ((packed))
+#define CBINDGEN_ALIGNED(n)    __attribute__ ((aligned(n)))
+
+
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+typedef struct OpaqueAlign16Union OpaqueAlign16Union;
+
+typedef struct OpaqueAlign1Struct OpaqueAlign1Struct;
+
+typedef struct OpaqueAlign1Union OpaqueAlign1Union;
+
+typedef struct OpaqueAlign2Struct OpaqueAlign2Struct;
+
+typedef struct OpaqueAlign32Struct OpaqueAlign32Struct;
+
+typedef struct OpaqueAlign4Struct OpaqueAlign4Struct;
+
+typedef struct OpaqueAlign4Union OpaqueAlign4Union;
+
+typedef struct OpaqueAlign8Struct OpaqueAlign8Struct;
+
+typedef struct CBINDGEN_PACKED PackedStruct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} PackedStruct;
+
+typedef union CBINDGEN_PACKED PackedUnion {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} PackedUnion;

tests/expectations/both/layout_aligned_opaque.compat.c

@@ -0,0 +1,34 @@
+#define CBINDGEN_PACKED        __attribute__ ((packed))
+#define CBINDGEN_ALIGNED(n)    __attribute__ ((aligned(n)))
+
+
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+typedef struct OpaqueAlign16Union OpaqueAlign16Union;
+
+typedef struct OpaqueAlign1Struct OpaqueAlign1Struct;
+
+typedef struct OpaqueAlign1Union OpaqueAlign1Union;
+
+typedef struct OpaqueAlign2Struct OpaqueAlign2Struct;
+
+typedef struct OpaqueAlign32Struct OpaqueAlign32Struct;
+
+typedef struct OpaqueAlign4Struct OpaqueAlign4Struct;
+
+typedef struct OpaqueAlign4Union OpaqueAlign4Union;
+
+typedef struct OpaqueAlign8Struct OpaqueAlign8Struct;
+
+typedef struct CBINDGEN_PACKED PackedStruct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} PackedStruct;
+
+typedef union CBINDGEN_PACKED PackedUnion {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} PackedUnion;

tests/expectations/both/layout_packed_opaque.c

@@ -0,0 +1,52 @@
+#define CBINDGEN_PACKED        __attribute__ ((packed))
+#define CBINDGEN_ALIGNED(n)    __attribute__ ((aligned(n)))
+
+
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+typedef struct OpaquePackedStruct OpaquePackedStruct;
+
+typedef struct OpaquePackedUnion OpaquePackedUnion;
+
+typedef union CBINDGEN_ALIGNED(1) Align1Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align1Union;
+
+typedef union CBINDGEN_ALIGNED(4) Align4Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align4Union;
+
+typedef union CBINDGEN_ALIGNED(16) Align16Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align16Union;
+
+typedef struct CBINDGEN_ALIGNED(1) Align1Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align1Struct;
+
+typedef struct CBINDGEN_ALIGNED(2) Align2Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align2Struct;
+
+typedef struct CBINDGEN_ALIGNED(4) Align4Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align4Struct;
+
+typedef struct CBINDGEN_ALIGNED(8) Align8Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align8Struct;
+
+typedef struct CBINDGEN_ALIGNED(32) Align32Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align32Struct;

tests/expectations/both/layout_packed_opaque.compat.c

@@ -0,0 +1,52 @@
+#define CBINDGEN_PACKED        __attribute__ ((packed))
+#define CBINDGEN_ALIGNED(n)    __attribute__ ((aligned(n)))
+
+
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+typedef struct OpaquePackedStruct OpaquePackedStruct;
+
+typedef struct OpaquePackedUnion OpaquePackedUnion;
+
+typedef union CBINDGEN_ALIGNED(1) Align1Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align1Union;
+
+typedef union CBINDGEN_ALIGNED(4) Align4Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align4Union;
+
+typedef union CBINDGEN_ALIGNED(16) Align16Union {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align16Union;
+
+typedef struct CBINDGEN_ALIGNED(1) Align1Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align1Struct;
+
+typedef struct CBINDGEN_ALIGNED(2) Align2Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align2Struct;
+
+typedef struct CBINDGEN_ALIGNED(4) Align4Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align4Struct;
+
+typedef struct CBINDGEN_ALIGNED(8) Align8Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align8Struct;
+
+typedef struct CBINDGEN_ALIGNED(32) Align32Struct {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align32Struct;

tests/expectations/layout.c

@@ -0,0 +1,72 @@
+#define CBINDGEN_PACKED     __attribute__ ((packed))
+#define CBINDGEN_ALIGNED(n) __attribute__ ((aligned(n)))
+
+
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+typedef struct RustAlign4Struct RustAlign4Struct;
+
+typedef struct RustAlign4Union RustAlign4Union;
+
+typedef struct RustPackedStruct RustPackedStruct;
+
+typedef struct RustPackedUnion RustPackedUnion;
+
+typedef struct UnsupportedAlign4Enum UnsupportedAlign4Enum;
+
+typedef struct UnsupportedPacked4Struct UnsupportedPacked4Struct;
+
+typedef struct UnsupportedPacked4Union UnsupportedPacked4Union;
+
+typedef struct CBINDGEN_ALIGNED(1) {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align1Struct;
+
+typedef struct CBINDGEN_ALIGNED(2) {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align2Struct;
+
+typedef struct CBINDGEN_ALIGNED(4) {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align4Struct;
+
+typedef struct CBINDGEN_ALIGNED(8) {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align8Struct;
+
+typedef struct CBINDGEN_ALIGNED(32) {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} Align32Struct;
+
+typedef struct CBINDGEN_PACKED {
+  uintptr_t arg1;
+  uint8_t *arg2;
+} PackedStruct;
+
+typedef union CBINDGEN_ALIGNED(1) {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align1Union;
+
+typedef union CBINDGEN_ALIGNED(4) {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align4Union;
+
+typedef union CBINDGEN_ALIGNED(16) {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} Align16Union;
+
+typedef union CBINDGEN_PACKED {
+  uintptr_t variant1;
+  uint8_t *variant2;
+} PackedUnion;