MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal hello integer vec panic/panic
MIRI_TEST_TARGET=wasm32-wasi MIRI_NO_STD=1 run_tests_minimal no_std # supports std but miri doesn't support it
MIRI_TEST_TARGET=thumbv7em-none-eabihf MIRI_NO_STD=1 run_tests_minimal no_std # no_std embedded architecture
+ MIRI_TEST_TARGET=tests/avr.json MIRI_NO_STD=1 run_tests_minimal no_std # JSON target file
;;
x86_64-apple-darwin)
MIRI_TEST_TARGET=mips64-unknown-linux-gnuabi64 run_tests # big-endian architecture
--- /dev/null
+{
+ "arch": "avr",
+ "cpu": "atmega328p",
+ "data-layout": "e-P1-p:16:8-i8:8-i16:8-i32:8-i64:8-f32:8-f64:8-n8-a:8",
+ "env": "",
+ "executables": true,
+ "linker": "avr-gcc",
+ "linker-flavor": "gcc",
+ "linker-is-gnu": true,
+ "llvm-target": "avr-unknown-unknown",
+ "os": "unknown",
+ "position-independent-executables": false,
+ "exe-suffix": ".elf",
+ "eh-frame-header": false,
+ "pre-link-args": {
+ "gcc": ["-mmcu=atmega328p"]
+ },
+ "late-link-args": {
+ "gcc": ["-lgcc"]
+ },
+ "target-c-int-width": "16",
+ "target-endian": "little",
+ "target-pointer-width": "16",
+ "vendor": "unknown"
+}