1/* Every constant of @ajax/mesh-abi-program-table 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/program_table.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_PROG_TABLE, UINT64_C(4096));
11    CHECK_U(MESH_PT_BYTES, UINT64_C(128));
12    CHECK_U(MESH_PT_STATE, UINT64_C(0));
13    CHECK_U(MESH_PT_GEN, UINT64_C(4));
14    CHECK_U(MESH_PT_NAME, UINT64_C(8));
15    CHECK_U(MESH_PT_VIEW_OFF, UINT64_C(24));
16    CHECK_U(MESH_PT_VIEW_BYTES, UINT64_C(28));
17    CHECK_U(MESH_PT_SNAP_BYTES, UINT64_C(32));
18    CHECK_U(MESH_PT_NODES, UINT64_C(36));
19    CHECK_U(MESH_PT_WARPS, UINT64_C(40));
20    CHECK_U(MESH_PT_POLICY, UINT64_C(44));
21    CHECK_U(MESH_PT_HZ, UINT64_C(48));
22    CHECK_U(MESH_PT_FANOUT, UINT64_C(52));
23    CHECK_U(MESH_PT_PEER, UINT64_C(56));
24    CHECK_U(MESH_PT_READS_MASK, UINT64_C(60));
25    CHECK_U(MESH_PT_INPUT_OFF, UINT64_C(64));
26    CHECK_U(MESH_PT_INPUT_LEN, UINT64_C(68));
27    CHECK_U(MESH_PT_REQ_OFF, UINT64_C(72));
28    CHECK_U(MESH_PT_REQ_MAX, UINT64_C(76));
29    CHECK_U(MESH_PT_RESP_OFF, UINT64_C(80));
30    CHECK_U(MESH_PT_RESP_MAX, UINT64_C(84));
31    CHECK_U(MESH_PT_PTX_HASH, UINT64_C(88));
32    CHECK_U(MESH_PT_REGS, UINT64_C(96));
33    CHECK_U(MESH_PT_CODE_BYTES, UINT64_C(100));
34    CHECK_U(MESH_PT_VIEW_ABI, UINT64_C(104));
35    CHECK_U(MESH_PT_FLAGS, UINT64_C(108));
36    CHECK_U(MESH_PT_ARG_MODE, UINT64_C(112));
37    CHECK_U(MESH_PT_ARG_OFF, UINT64_C(116));
38    CHECK_U(MESH_PT_RT_ABI, UINT64_C(120));
39    CHECK_U(MESH_PT_LOADS, UINT64_C(124));
40    CHECK_U(MESH_ST_EMPTY, UINT64_C(0));
41    CHECK_U(MESH_ST_LOADED, UINT64_C(1));
42    CHECK_U(MESH_ST_RUNNING, UINT64_C(2));
43    CHECK_U(MESH_ST_STOPPING, UINT64_C(3));
44    CHECK_U(MESH_ST_FAILED, UINT64_C(4));
45    CHECK_U(MESH_STATES_LEN, 5);
46    CHECK_S(MESH_STATES[0], "empty");
47    CHECK_S(MESH_STATES[1], "loaded");
48    CHECK_S(MESH_STATES[2], "running");
49    CHECK_S(MESH_STATES[3], "stopping");
50    CHECK_S(MESH_STATES[4], "failed");
51    CHECK_U(MESH_POLICY_CONTINUOUS, UINT64_C(0));
52    CHECK_U(MESH_POLICY_PERIODIC, UINT64_C(1));
53    CHECK_U(MESH_POLICY_ON_DEMAND, UINT64_C(2));
54    CHECK_U(MESH_POLICY_JOB, UINT64_C(3));
55    CHECK_U(MESH_POLICIES_LEN, 4);
56    CHECK_S(MESH_POLICIES[0], "continuous");
57    CHECK_S(MESH_POLICIES[1], "periodic");
58    CHECK_S(MESH_POLICIES[2], "on_demand");
59    CHECK_S(MESH_POLICIES[3], "job");
60    CHECK_U(MESH_PEER_MODE_NONE, UINT64_C(0));
61    CHECK_U(MESH_PEER_MODE_LOCKSTEP, UINT64_C(1));
62    CHECK_U(MESH_PEER_MODES_LEN, 2);
63    CHECK_S(MESH_PEER_MODES[0], "none");
64    CHECK_S(MESH_PEER_MODES[1], "lockstep");
65    CHECK_U(MESH_READS_ALL, UINT64_C(4294967295));
66    CHECK_U(MESH_FL_BATCH, UINT64_C(1));
67    CHECK_U(MESH_FL_AUTOSTART, UINT64_C(2));
68    CHECK_U(MESH_ARG_INDEX, UINT64_C(0));
69    CHECK_U(MESH_ARG_VIEW_U32, UINT64_C(1));
70    return mesh_check_done();
71}