1/* Every constant of @ajax/mesh-abi-host-members equals the Rust's (values printed by the Rust itself), and the
2 * Rust const asserts that need a function call hold. Generated from alpha-rust-mesh. */
3#include "mesh/abi/host_members.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_S_MEMBERS, UINT64_C(576));
11    CHECK_U(MESH_MEMBER_BYTES, UINT64_C(128));
12    CHECK_U(MESH_M_STATE, UINT64_C(0));
13    CHECK_U(MESH_M_CC, UINT64_C(4));
14    CHECK_U(MESH_M_SMS, UINT64_C(8));
15    CHECK_U(MESH_M_SMS_TOTAL, UINT64_C(12));
16    CHECK_U(MESH_M_BLOCKS_PER_SM, UINT64_C(16));
17    CHECK_U(MESH_M_RTT_US, UINT64_C(20));
18    CHECK_U(MESH_M_WAIT_US, UINT64_C(24));
19    CHECK_U(MESH_M_ROUNDS, UINT64_C(28));
20    CHECK_U(MESH_M_ROUND, UINT64_C(32));
21    CHECK_U(MESH_M_GPU, UINT64_C(40));
22    CHECK_U(MESH_M_ARCH, UINT64_C(72));
23    CHECK_U(MESH_M_HOST, UINT64_C(88));
24    CHECK_U(MESH_M_BACKEND, UINT64_C(120));
25    CHECK_U(MESH_MS_ABSENT, UINT64_C(0));
26    CHECK_U(MESH_MS_LINKED, UINT64_C(1));
27    CHECK_U(MESH_MS_UP, UINT64_C(2));
28    CHECK_U(MESH_MS_SUSPECT, UINT64_C(3));
29    CHECK_U(MESH_MEMBER_STATES_LEN, 4);
30    CHECK_S(MESH_MEMBER_STATES[0], "absent");
31    CHECK_S(MESH_MEMBER_STATES[1], "linked");
32    CHECK_S(MESH_MEMBER_STATES[2], "up");
33    CHECK_S(MESH_MEMBER_STATES[3], "suspect");
34    CHECK_U(MESH_MEMBER_FIELDS_LEN, 13);
35    CHECK_U(MESH_MEMBER_FIELDS[0].off, UINT64_C(0));
36    CHECK_U(MESH_MEMBER_FIELDS[0].bytes, UINT64_C(4));
37    CHECK_U(MESH_MEMBER_FIELDS[1].off, UINT64_C(4));
38    CHECK_U(MESH_MEMBER_FIELDS[1].bytes, UINT64_C(4));
39    CHECK_U(MESH_MEMBER_FIELDS[2].off, UINT64_C(8));
40    CHECK_U(MESH_MEMBER_FIELDS[2].bytes, UINT64_C(4));
41    CHECK_U(MESH_MEMBER_FIELDS[3].off, UINT64_C(12));
42    CHECK_U(MESH_MEMBER_FIELDS[3].bytes, UINT64_C(4));
43    CHECK_U(MESH_MEMBER_FIELDS[4].off, UINT64_C(16));
44    CHECK_U(MESH_MEMBER_FIELDS[4].bytes, UINT64_C(4));
45    CHECK_U(MESH_MEMBER_FIELDS[5].off, UINT64_C(20));
46    CHECK_U(MESH_MEMBER_FIELDS[5].bytes, UINT64_C(4));
47    CHECK_U(MESH_MEMBER_FIELDS[6].off, UINT64_C(24));
48    CHECK_U(MESH_MEMBER_FIELDS[6].bytes, UINT64_C(4));
49    CHECK_U(MESH_MEMBER_FIELDS[7].off, UINT64_C(28));
50    CHECK_U(MESH_MEMBER_FIELDS[7].bytes, UINT64_C(4));
51    CHECK_U(MESH_MEMBER_FIELDS[8].off, UINT64_C(32));
52    CHECK_U(MESH_MEMBER_FIELDS[8].bytes, UINT64_C(8));
53    CHECK_U(MESH_MEMBER_FIELDS[9].off, UINT64_C(40));
54    CHECK_U(MESH_MEMBER_FIELDS[9].bytes, UINT64_C(32));
55    CHECK_U(MESH_MEMBER_FIELDS[10].off, UINT64_C(72));
56    CHECK_U(MESH_MEMBER_FIELDS[10].bytes, UINT64_C(16));
57    CHECK_U(MESH_MEMBER_FIELDS[11].off, UINT64_C(88));
58    CHECK_U(MESH_MEMBER_FIELDS[11].bytes, UINT64_C(32));
59    CHECK_U(MESH_MEMBER_FIELDS[12].off, UINT64_C(120));
60    CHECK_U(MESH_MEMBER_FIELDS[12].bytes, UINT64_C(4));
61    return mesh_check_done();
62}