1/* Every constant of @ajax/mesh-abi-ext 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/ext.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_PROG_EXT, UINT64_C(196608));
11    CHECK_U(MESH_PX_BYTES, UINT64_C(1024));
12    CHECK_U(MESH_PX_COUNTER_NAMES, UINT64_C(0));
13    CHECK_U(MESH_PX_FIELD_COUNT, UINT64_C(64));
14    CHECK_U(MESH_PX_PLACE_CAP, UINT64_C(68));
15    CHECK_U(MESH_PX_PLACE, UINT64_C(72));
16    CHECK_U(MESH_PX_PLACE_SYS, UINT64_C(76));
17    CHECK_U(MESH_PX_PLACE_ASSIGN, UINT64_C(80));
18    CHECK_U(MESH_PX_PER_SM, UINT64_C(112));
19    CHECK_U(MESH_PX_LOCAL, UINT64_C(116));
20    CHECK_U(MESH_PX_PARAM, UINT64_C(120));
21    CHECK_U(MESH_PX_EXEC, UINT64_C(124));
22    CHECK_U(MESH_PX_FIELDS, UINT64_C(128));
23    CHECK_U(MESH_FIELD_BYTES, UINT64_C(32));
24    CHECK_U(MESH_MAX_FIELDS, UINT64_C(27));
25    CHECK_U(MESH_PX_SHARED, UINT64_C(992));
26    CHECK_U(MESH_PX_REG_CAP, UINT64_C(996));
27    CHECK_U(MESH_PX_SCRATCH_BYTES, UINT64_C(1000));
28    CHECK_U(MESH_PX_SCRATCH, UINT64_C(1008));
29    CHECK_U(MESH_MAX_SCRATCH_BYTES, UINT64_C(1073741824));
30    CHECK_U(MESH_FD_NAME, UINT64_C(0));
31    CHECK_U(MESH_FD_NAME_MAX, UINT64_C(19));
32    CHECK_U(MESH_FD_TYPE, UINT64_C(20));
33    CHECK_U(MESH_FD_OFF, UINT64_C(24));
34    CHECK_U(MESH_FT_U32, UINT64_C(0));
35    CHECK_U(MESH_FT_I32, UINT64_C(1));
36    CHECK_U(MESH_FT_F32, UINT64_C(2));
37    CHECK_U(MESH_FT_U64, UINT64_C(3));
38    CHECK_U(MESH_FT_U8, UINT64_C(4));
39    CHECK_U(MESH_FIELD_TYPES_LEN, 5);
40    CHECK_S(MESH_FIELD_TYPES[0], "u32");
41    CHECK_S(MESH_FIELD_TYPES[1], "i32");
42    CHECK_S(MESH_FIELD_TYPES[2], "f32");
43    CHECK_S(MESH_FIELD_TYPES[3], "u64");
44    CHECK_S(MESH_FIELD_TYPES[4], "u8");
45    CHECK_U(MESH_EXT_FIELDS_LEN, 15);
46    CHECK_U(MESH_EXT_FIELDS[0].off, UINT64_C(0));
47    CHECK_U(MESH_EXT_FIELDS[0].bytes, UINT64_C(64));
48    CHECK_U(MESH_EXT_FIELDS[1].off, UINT64_C(64));
49    CHECK_U(MESH_EXT_FIELDS[1].bytes, UINT64_C(4));
50    CHECK_U(MESH_EXT_FIELDS[2].off, UINT64_C(68));
51    CHECK_U(MESH_EXT_FIELDS[2].bytes, UINT64_C(4));
52    CHECK_U(MESH_EXT_FIELDS[3].off, UINT64_C(72));
53    CHECK_U(MESH_EXT_FIELDS[3].bytes, UINT64_C(4));
54    CHECK_U(MESH_EXT_FIELDS[4].off, UINT64_C(76));
55    CHECK_U(MESH_EXT_FIELDS[4].bytes, UINT64_C(4));
56    CHECK_U(MESH_EXT_FIELDS[5].off, UINT64_C(80));
57    CHECK_U(MESH_EXT_FIELDS[5].bytes, UINT64_C(32));
58    CHECK_U(MESH_EXT_FIELDS[6].off, UINT64_C(112));
59    CHECK_U(MESH_EXT_FIELDS[6].bytes, UINT64_C(4));
60    CHECK_U(MESH_EXT_FIELDS[7].off, UINT64_C(116));
61    CHECK_U(MESH_EXT_FIELDS[7].bytes, UINT64_C(4));
62    CHECK_U(MESH_EXT_FIELDS[8].off, UINT64_C(120));
63    CHECK_U(MESH_EXT_FIELDS[8].bytes, UINT64_C(4));
64    CHECK_U(MESH_EXT_FIELDS[9].off, UINT64_C(124));
65    CHECK_U(MESH_EXT_FIELDS[9].bytes, UINT64_C(4));
66    CHECK_U(MESH_EXT_FIELDS[10].off, UINT64_C(128));
67    CHECK_U(MESH_EXT_FIELDS[10].bytes, UINT64_C(864));
68    CHECK_U(MESH_EXT_FIELDS[11].off, UINT64_C(992));
69    CHECK_U(MESH_EXT_FIELDS[11].bytes, UINT64_C(4));
70    CHECK_U(MESH_EXT_FIELDS[12].off, UINT64_C(996));
71    CHECK_U(MESH_EXT_FIELDS[12].bytes, UINT64_C(4));
72    CHECK_U(MESH_EXT_FIELDS[13].off, UINT64_C(1000));
73    CHECK_U(MESH_EXT_FIELDS[13].bytes, UINT64_C(4));
74    CHECK_U(MESH_EXT_FIELDS[14].off, UINT64_C(1008));
75    CHECK_U(MESH_EXT_FIELDS[14].bytes, UINT64_C(8));
76    return mesh_check_done();
77}