X-Git-Url: https://git.m6w6.name/?a=blobdiff_plain;f=m4%2Fpsi%2Fpsi_composite.m4;fp=m4%2Fpsi%2Fpsi_composite.m4;h=ddd5d0d32006934faee5dbca5a6064d1d5c9603e;hb=894e0ce93f9ce82109e904ae35c249bf6abe54f1;hp=0000000000000000000000000000000000000000;hpb=3ef8c66ab1300801bcdb15b43f9f28e77b6487b6;p=m6w6%2Fext-psi

diff --git a/m4/psi/psi_composite.m4 b/m4/psi/psi_composite.m4
new file mode 100644
index 0000000..ddd5d0d
--- /dev/null
+++ b/m4/psi/psi_composite.m4
@@ -0,0 +1,77 @@
+# psi_add_composite(composite members)
+# Add a pre-defined composite (struct or union)
+psi_add_composite() {
+	PSI_COMPOSITES="$PSI_COMPOSITES
+	$1, {0},"
+}
+
+dnl PSI_COMPOSITE_MEMBER(composite name, decl member)
+dnl INTERNAL: build $psi_composite_members
+AC_DEFUN(PSI_COMPOSITE_MEMBER, [
+	m4_define([member_name], PSI_VAR_NAME($2))
+	m4_define([member_type], PSI_VAR_TYPE($2))
+	PSI_CHECK_SIZEOF(AS_TR_SH($1)[_]member_name,
+		[#define ]AS_TR_SH($1)[_]member_name (($1 *)0)->member_name
+	)
+	if PSI_SH_TEST_SIZEOF($1 member_name); then
+		PSI_CHECK_OFFSETOF($1, member_name)
+		PSI_TYPE_INDIRECTION($2, [PSI_SH_SIZEOF([$1 member_name])], pl, as)
+
+		psi_member_sizeof=PSI_SH_SIZEOF($1 member_name)
+		psi_member_offsetof=PSI_SH_OFFSETOF($1 member_name)
+
+		if test $pl -gt 0 && test $as -eq 0; then
+			check_size=PSI_SH_SIZEOF(void *)
+		elif test $pl -eq 1 && test $as -gt 0; then
+			check_size=`expr PSI_SH_SIZEOF(member_type) \* $as`
+		else
+			check_size=PSI_SH_SIZEOF(member_type)
+		fi
+		if test $psi_member_sizeof != "$check_size"; then
+			psi_member_basic_type=PSI_SH_BASIC_TYPE(member_type)
+			psi_member_type_pair="`psi_type_pair $psi_member_basic_type $psi_member_sizeof`"
+			psi_composite_members="$psi_composite_members, {$psi_member_type_pair, \"[]member_name[]\", $psi_member_offsetof, $psi_member_sizeof, $pl, $as}"
+			AC_MSG_WARN(pre-defined size $check_size of $2 in $1 does not match computed size $psi_member_sizeof; adjusting to $psi_member_type_pair)
+		else
+			psi_composite_members="[$psi_composite_members, {]PSI_TYPE_PAIR(member_type)[, \"]member_name[\", $psi_member_offsetof, $psi_member_sizeof, $pl, $as}]"
+		fi
+	fi
+])
+
+dnl PSI_STRUCT(struct name, struct members)
+dnl Check a struct and its members and add a pre-defined struct and possibly a
+dnl pre-defined type for this struct.
+dnl Calls PSI_CHECK_SIZEOF and PSI_CHECK_ALIGNOF for the struct.
+dnl Calls PSI_CHECK_SIZEOF, PSI_CHECK_OFFSETOF and PSI_TYPE_INDIRECTON for each member.
+AC_DEFUN(PSI_STRUCT, [
+	PSI_CHECK_SIZEOF($1)
+	if PSI_SH_TEST_SIZEOF($1); then
+		PSI_CHECK_ALIGNOF($1)
+		psi_composite_name=m4_bregexp([$1], [^\(struct \)?\(\w+\)], [\2])
+		psi_composite_members="{PSI_T_STRUCT, \"struct\", \"$psi_composite_name\", PSI_SH_ALIGNOF($1), PSI_SH_SIZEOF($1), 0, 0}"
+		ifelse([$2],,,[m4_map_args_sep([PSI_COMPOSITE_MEMBER($1, m4_normalize(], [))], [], $2)])
+		psi_add_composite "$psi_composite_members"
+		if test "$1" = "$psi_composite_name"; then
+			psi_add_type "{PSI_T_STRUCT, \"$1\", \"$1\"}"
+		fi
+	fi
+])
+
+dnl PSI_UNION(union name, union/struct members)
+dnl Check a union and its members and add a pre-defined union and possibly a
+dnl pre-defined type for this union.
+dnl Calls PSI_CHECK_SIZEOF for the union and each member.
+dnl Calls PSI_CHECK_OFFSETOF and PSI_TYPE_INDIRECTON for each member.
+AC_DEFUN(PSI_UNION, [
+	PSI_CHECK_SIZEOF($1)
+	if PSI_SH_TEST_SIZEOF($1); then
+		PSI_CHECK_ALIGNOF($1)
+		psi_composite_name=m4_bregexp([$1], [^\(union \)?\(\w+\)], [\2])
+		psi_composite_members="{PSI_T_UNION, \"union\", \"$psi_composite_name\", PSI_SH_ALIGNOF($1), PSI_SH_SIZEOF($1), 0, 0}"
+		ifelse([$2],,,[m4_map_args_sep([PSI_COMPOSITE_MEMBER($1, m4_normalize(], [))], [], $2)])
+		psi_add_composite "$psi_composite_members"
+		if test "$1" = "$psi_composite_name"; then
+			psi_add_type "{PSI_T_UNION, \"$1\", \"$1\"}"
+		fi
+	fi
+])