1/* @ajax/mesh-abi-pipe-table's functions against vectors the Rust computed (alpha-rust-mesh, the same inputs). */
2#include "mesh/abi/pipe_table.h"
3#include "mesh/check.h"
4
5#include <stdint.h>
6
7int main(void) {
8    CHECK_U(mesh_pipe_entry(0), 303104u);
9    CHECK_U(mesh_flight_word(0, 0), 303132u);
10    CHECK_U(mesh_flight_word(0, 1), 303152u);
11    CHECK_U(mesh_flight_word(0, 2), 303132u);
12    CHECK_U(mesh_flight_word(0, 3), 303152u);
13    CHECK_U(mesh_pipe_entry(1), 303168u);
14    CHECK_U(mesh_flight_word(1, 0), 303196u);
15    CHECK_U(mesh_flight_word(1, 1), 303216u);
16    CHECK_U(mesh_flight_word(1, 2), 303196u);
17    CHECK_U(mesh_flight_word(1, 3), 303216u);
18    CHECK_U(mesh_pipe_entry(2), 303232u);
19    CHECK_U(mesh_flight_word(2, 0), 303260u);
20    CHECK_U(mesh_flight_word(2, 1), 303280u);
21    CHECK_U(mesh_flight_word(2, 2), 303260u);
22    CHECK_U(mesh_flight_word(2, 3), 303280u);
23    CHECK_U(mesh_pipe_entry(7), 303552u);
24    CHECK_U(mesh_flight_word(7, 0), 303580u);
25    CHECK_U(mesh_flight_word(7, 1), 303600u);
26    CHECK_U(mesh_flight_word(7, 2), 303580u);
27    CHECK_U(mesh_flight_word(7, 3), 303600u);
28    CHECK_U(mesh_pipe_entry(31), 305088u);
29    CHECK_U(mesh_flight_word(31, 0), 305116u);
30    CHECK_U(mesh_flight_word(31, 1), 305136u);
31    CHECK_U(mesh_flight_word(31, 2), 305116u);
32    CHECK_U(mesh_flight_word(31, 3), 305136u);
33    CHECK_U(mesh_pipe_entry(32), 305152u);
34    CHECK_U(mesh_flight_word(32, 0), 305180u);
35    CHECK_U(mesh_flight_word(32, 1), 305200u);
36    CHECK_U(mesh_flight_word(32, 2), 305180u);
37    CHECK_U(mesh_flight_word(32, 3), 305200u);
38    return mesh_check_done();
39}