1/* @ajax/mesh-abi-backend's functions against vectors the Rust computed (alpha-rust-mesh, the same inputs). */
2#include "mesh/abi/backend.h"
3#include "mesh/check.h"
4
5#include <stdint.h>
6
7int main(void) {
8    CHECK_U(mesh_backend_word(0u, 0u), 0u);
9    CHECK_U(mesh_backend_kind(0u), 0u);
10    CHECK_U(mesh_backend_family(0u), 0u);
11    CHECK_U(mesh_backend_word(1u, 9u), 2305u);
12    CHECK_U(mesh_backend_kind(2305u), 1u);
13    CHECK_U(mesh_backend_family(2305u), 9u);
14    CHECK_U(mesh_backend_word(2u, 0u), 2u);
15    CHECK_U(mesh_backend_kind(2u), 2u);
16    CHECK_U(mesh_backend_family(2u), 0u);
17    CHECK_U(mesh_backend_word(3u, 255u), 65283u);
18    CHECK_U(mesh_backend_kind(65283u), 3u);
19    CHECK_U(mesh_backend_family(65283u), 255u);
20    CHECK_U(mesh_backend_word(511u, 511u), 65535u);
21    CHECK_U(mesh_backend_kind(65535u), 255u);
22    CHECK_U(mesh_backend_family(65535u), 255u);
23    return mesh_check_done();
24}