1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Generate and run programs using equivalent C and Rust intrinsics, checking that
each produces the same result from random inputs.
# Usage
```
USAGE:
intrinsic-test [FLAGS] [OPTIONS] <INPUT>
FLAGS:
--a32 Run tests for A32 instrinsics instead of A64
--generate-only Regenerate test programs, but don't build or run them
-h, --help Prints help information
-V, --version Prints version information
OPTIONS:
--cppcompiler <CPPCOMPILER> The C++ compiler to use for compiling the c++ code [default: clang++]
--runner <RUNNER> Run the C programs under emulation with this command
--skip <SKIP> Filename for a list of intrinsics to skip (one per line)
--toolchain <TOOLCHAIN> The rust toolchain to use for building the rust code
ARGS:
<INPUT> The input file containing the intrinsics
```
|
