diff --git a/tezt/lib_riscv_sandbox/tezt_riscv_sandbox.ml b/tezt/lib_riscv_sandbox/tezt_riscv_sandbox.ml index 49fb8b3c669ea77c9649500aab9f1eb318fa58b5..2570d37ea256b03a136292a7b236639529d04ad9 100644 --- a/tezt/lib_riscv_sandbox/tezt_riscv_sandbox.ml +++ b/tezt/lib_riscv_sandbox/tezt_riscv_sandbox.ml @@ -33,16 +33,29 @@ let riscv_sandbox = the RISC-V test suite using the same tag to avoid warnings. *) let _ = Uses.make ~tag:"riscv_sandbox" ~path:"./src/riscv/" -let _ = - Uses.make ~tag:"riscv_sandbox" ~path:"./tezt/tests/riscv-tests/generated/" +type vm_kind = Pvm | Test -let run_kernel ?(posix = false) ~input ?initrd () = +let run ~kind ~input ?inbox ?(max_steps = Int64.max_int) ?initrd () = let process = Process.spawn ~hooks:Tezt_tezos.Tezos_regression.hooks (Uses.path riscv_sandbox) - (["rvemu"; "--input"; input] - @ Option.fold ~none:[] ~some:(fun initrd -> ["--initrd"; initrd]) initrd - @ if posix then ["--posix"] else []) + (["run"; "--input"; Uses.path input] + @ Option.fold + ~none:[] + ~some:(fun initrd -> ["--initrd"; Uses.path initrd]) + initrd + @ ["--max-steps"; Int64.to_string max_steps] + @ (match inbox with + | None -> [] + | Some inbox -> ["--inbox-file"; Uses.path inbox]) + @ + match kind with + | Test -> ["--posix-exit-mode"; "machine"] + | Pvm -> ["--pvm"]) in Process.check process + +let run_pvm = run ~kind:Pvm + +let run_test = run ~kind:Test diff --git a/tezt/lib_wrapper/expected/tezt_wrapper.ml/runtime-dependency-tags.out b/tezt/lib_wrapper/expected/tezt_wrapper.ml/runtime-dependency-tags.out index bf9b495ebc33c7a1cca26bc164f8acde91dee452..f02d09144be26d22a89e1c465df6b6299811a7b6 100644 --- a/tezt/lib_wrapper/expected/tezt_wrapper.ml/runtime-dependency-tags.out +++ b/tezt/lib_wrapper/expected/tezt_wrapper.ml/runtime-dependency-tags.out @@ -29,7 +29,10 @@ snoop: octez-snoop smart_rollup_installer: smart-rollup-installer echo: src/proto_alpha/lib_protocol/test/integration/wasm_kernel/echo.wasm riscv_sandbox: src/riscv +riscv: src/riscv/riscv-dummy.elf riscv_sandbox: src/riscv/riscv-sandbox -riscv_sandbox: tezt/tests/riscv-tests/generated +riscv: src/riscv/tests/inline_asm/rv64-inline-asm-tests +riscv: tezt/tests/riscv-tests/dummy-kernel-inbox.json +riscv: tezt/tests/riscv-tests/hermit-loader tx_kernel: tx_kernel.wasm tx_kernel_dal: tx_kernel_dal.wasm diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run inline asm tests.out b/tezt/tests/expected/riscv_sandbox.ml/Run inline asm tests.out index b0fe71652650e69fb8ec12e430ae69c7a284be7d..cd19e3e98c051fd0ad173e0d6c971e8172f98903 100644 --- a/tezt/tests/expected/riscv_sandbox.ml/Run inline asm tests.out +++ b/tezt/tests/expected/riscv_sandbox.ml/Run inline asm tests.out @@ -1,3 +1,2 @@ -./src/riscv/riscv-sandbox rvemu --input src/riscv/tests/inline_asm/rv64-inline-asm-tests --posix -Received request to exit with code 0 +./src/riscv/riscv-sandbox run --input src/riscv/tests/inline_asm/rv64-inline-asm-tests --max-steps 9223372036854775807 --posix-exit-mode machine diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (mi).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (mi).out deleted file mode 100644 index f621b9e1ea6e79ac5591106e91ca2ac9b591eb57..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (mi).out +++ /dev/null @@ -1,94 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-access --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionAccessFault at 0x80000000800001f0: Fatal -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-access: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-breakpoint --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x800002d0: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-breakpoint: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-csr --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x800003fc: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-csr: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-illegal --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(0) at 0x800001a4: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-illegal: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-ld-misaligned --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000420: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-ld-misaligned: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-lh-misaligned --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000208: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-lh-misaligned: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-lw-misaligned --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000260: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-lw-misaligned: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-ma_addr --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x800006ac: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-ma_addr: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-ma_fetch --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000304: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-ma_fetch: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-mcsr --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000208: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-mcsr: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-sbreak --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception Breakpoint at 0x800001a4: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-sbreak: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-scall --posix -Error: "Failed to handle environment call at 800001e4: Unimplemented system call 0" -rv64mi-p-scall: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-sd-misaligned --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000500: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-sd-misaligned: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-sh-misaligned --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000240: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-sh-misaligned: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-sw-misaligned --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x800002b0: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-sw-misaligned: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mi-p-zicntr --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000250: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mi-p-zicntr: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (mzicbo).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (mzicbo).out deleted file mode 100644 index 5ef169f33c557f37101917284b4c3611729f4ea2..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (mzicbo).out +++ /dev/null @@ -1,6 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64mzicbo-p-zero --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(4235279) at 0x800001a4: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64mzicbo-p-zero: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (si).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (si).out deleted file mode 100644 index 819e4e7a96fcb93cd2aaa574ad36990c8bbb2124..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (si).out +++ /dev/null @@ -1,36 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64si-p-csr --posix -Received request to exit with code 37 -rv64si-p-csr: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64si-p-dirty --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000324: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64si-p-dirty: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64si-p-icache-alias --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(0) at 0x8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64si-p-icache-alias: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64si-p-ma_fetch --posix -Received request to exit with code 0 -rv64si-p-ma_fetch: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64si-p-sbreak --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception Breakpoint at 0x800001ac: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64si-p-sbreak: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64si-p-scall --posix -Error: "Failed to handle environment call at 800001cc: Unimplemented system call 0" -rv64si-p-scall: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64si-p-wfi --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Stuck at 0x800001b4 -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64si-p-wfi: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ssvnapot).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ssvnapot).out deleted file mode 100644 index da491b32bb2500b501cf67dcd0b2a3555138f200..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ssvnapot).out +++ /dev/null @@ -1,6 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ssvnapot-p-napot --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception EnvironmentCallFromMMode at 0x80000370: Requested -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ssvnapot-p-napot: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ua).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ua).out deleted file mode 100644 index 7d02fa2154d4fefe88af0f90d6db89eb816497b7..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ua).out +++ /dev/null @@ -1,190 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoadd_d --posix -Received request to exit with code 0 -rv64ua-p-amoadd_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoadd_w --posix -Received request to exit with code 0 -rv64ua-p-amoadd_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoand_d --posix -Received request to exit with code 0 -rv64ua-p-amoand_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoand_w --posix -Received request to exit with code 0 -rv64ua-p-amoand_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amomax_d --posix -Received request to exit with code 0 -rv64ua-p-amomax_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amomax_w --posix -Received request to exit with code 0 -rv64ua-p-amomax_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amomaxu_d --posix -Received request to exit with code 0 -rv64ua-p-amomaxu_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amomaxu_w --posix -Received request to exit with code 0 -rv64ua-p-amomaxu_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amomin_d --posix -Received request to exit with code 0 -rv64ua-p-amomin_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amomin_w --posix -Received request to exit with code 0 -rv64ua-p-amomin_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amominu_d --posix -Received request to exit with code 0 -rv64ua-p-amominu_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amominu_w --posix -Received request to exit with code 0 -rv64ua-p-amominu_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoor_d --posix -Received request to exit with code 0 -rv64ua-p-amoor_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoor_w --posix -Received request to exit with code 0 -rv64ua-p-amoor_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoswap_d --posix -Received request to exit with code 0 -rv64ua-p-amoswap_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoswap_w --posix -Received request to exit with code 0 -rv64ua-p-amoswap_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoxor_d --posix -Received request to exit with code 0 -rv64ua-p-amoxor_d: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-amoxor_w --posix -Received request to exit with code 0 -rv64ua-p-amoxor_w: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-p-lrsc --posix -Received request to exit with code 0 -rv64ua-p-lrsc: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoadd_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoadd_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoadd_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoadd_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoand_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoand_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoand_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoand_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amomax_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amomax_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amomax_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amomax_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amomaxu_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amomaxu_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amomaxu_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amomaxu_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amomin_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amomin_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amomin_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amomin_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amominu_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amominu_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amominu_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amominu_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoor_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoor_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoor_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoor_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoswap_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoswap_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoswap_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoswap_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoxor_d --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoxor_d: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-amoxor_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-amoxor_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ua-v-lrsc --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ua-v-lrsc: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uc).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uc).out deleted file mode 100644 index 720c4b42d102274cfcfa9183d8c5ab1364953671..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uc).out +++ /dev/null @@ -1,10 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uc-p-rvc --posix -Received request to exit with code 0 -rv64uc-p-rvc: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uc-v-rvc --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uc-v-rvc: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ud).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ud).out deleted file mode 100644 index 877c83543bd31ac73101bc7a591765e86d20a977..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ud).out +++ /dev/null @@ -1,120 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-fadd --posix -Received request to exit with code 7 -rv64ud-p-fadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-fclass --posix -Received request to exit with code 5 -rv64ud-p-fclass: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-fcmp --posix -Received request to exit with code 21 -rv64ud-p-fcmp: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-fcvt --posix -Received request to exit with code 15 -rv64ud-p-fcvt: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-fcvt_w --posix -Received request to exit with code 5 -rv64ud-p-fcvt_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-fdiv --posix -Received request to exit with code 5 -rv64ud-p-fdiv: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-fmadd --posix -Received request to exit with code 7 -rv64ud-p-fmadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-fmin --posix -Received request to exit with code 41 -rv64ud-p-fmin: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-ldst --posix -Received request to exit with code 7 -rv64ud-p-ldst: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-move --posix -Received request to exit with code 81 -rv64ud-p-move: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-recoding --posix -Received request to exit with code 21 -rv64ud-p-recoding: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-p-structural --posix -Received request to exit with code 0 -rv64ud-p-structural: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-fadd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-fadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-fclass --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-fclass: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-fcmp --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-fcmp: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-fcvt --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-fcvt: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-fcvt_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-fcvt_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-fdiv --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-fdiv: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-fmadd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-fmadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-fmin --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-fmin: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-ldst --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-ldst: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-move --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-move: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-recoding --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-recoding: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ud-v-structural --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ud-v-structural: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uf).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uf).out deleted file mode 100644 index e3487ffccbc47904bb00f8c09a73e830b8643f77..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uf).out +++ /dev/null @@ -1,110 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-fadd --posix -Received request to exit with code 5 -rv64uf-p-fadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-fclass --posix -Received request to exit with code 5 -rv64uf-p-fclass: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-fcmp --posix -Received request to exit with code 21 -rv64uf-p-fcmp: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-fcvt --posix -Received request to exit with code 5 -rv64uf-p-fcvt: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-fcvt_w --posix -Received request to exit with code 5 -rv64uf-p-fcvt_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-fdiv --posix -Received request to exit with code 5 -rv64uf-p-fdiv: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-fmadd --posix -Received request to exit with code 5 -rv64uf-p-fmadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-fmin --posix -Received request to exit with code 5 -rv64uf-p-fmin: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-ldst --posix -Received request to exit with code 0 -rv64uf-p-ldst: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-move --posix -Received request to exit with code 7 -rv64uf-p-move: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-p-recoding --posix -Received request to exit with code 0 -rv64uf-p-recoding: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-fadd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-fadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-fclass --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-fclass: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-fcmp --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-fcmp: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-fcvt --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-fcvt: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-fcvt_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-fcvt_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-fdiv --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-fdiv: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-fmadd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-fmadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-fmin --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-fmin: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-ldst --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-ldst: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-move --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-move: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uf-v-recoding --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uf-v-recoding: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ui).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ui).out deleted file mode 100644 index a2651194f241d5b35d7ec5c3b5e31bf6a18730fb..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (ui).out +++ /dev/null @@ -1,520 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-add --posix -Received request to exit with code 0 -rv64ui-p-add: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-addi --posix -Received request to exit with code 0 -rv64ui-p-addi: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-addiw --posix -Received request to exit with code 0 -rv64ui-p-addiw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-addw --posix -Received request to exit with code 0 -rv64ui-p-addw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-and --posix -Received request to exit with code 0 -rv64ui-p-and: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-andi --posix -Received request to exit with code 0 -rv64ui-p-andi: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-auipc --posix -Received request to exit with code 0 -rv64ui-p-auipc: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-beq --posix -Received request to exit with code 0 -rv64ui-p-beq: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-bge --posix -Received request to exit with code 0 -rv64ui-p-bge: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-bgeu --posix -Received request to exit with code 0 -rv64ui-p-bgeu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-blt --posix -Received request to exit with code 0 -rv64ui-p-blt: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-bltu --posix -Received request to exit with code 0 -rv64ui-p-bltu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-bne --posix -Received request to exit with code 0 -rv64ui-p-bne: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-fence_i --posix -Received request to exit with code 0 -rv64ui-p-fence_i: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-jal --posix -Received request to exit with code 0 -rv64ui-p-jal: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-jalr --posix -Received request to exit with code 0 -rv64ui-p-jalr: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-lb --posix -Received request to exit with code 0 -rv64ui-p-lb: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-lbu --posix -Received request to exit with code 0 -rv64ui-p-lbu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-ld --posix -Received request to exit with code 0 -rv64ui-p-ld: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-lh --posix -Received request to exit with code 0 -rv64ui-p-lh: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-lhu --posix -Received request to exit with code 0 -rv64ui-p-lhu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-lui --posix -Received request to exit with code 0 -rv64ui-p-lui: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-lw --posix -Received request to exit with code 0 -rv64ui-p-lw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-lwu --posix -Received request to exit with code 0 -rv64ui-p-lwu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-ma_data --posix -Received request to exit with code 0 -rv64ui-p-ma_data: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-or --posix -Received request to exit with code 0 -rv64ui-p-or: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-ori --posix -Received request to exit with code 0 -rv64ui-p-ori: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sb --posix -Received request to exit with code 0 -rv64ui-p-sb: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sd --posix -Received request to exit with code 0 -rv64ui-p-sd: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sh --posix -Received request to exit with code 0 -rv64ui-p-sh: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-simple --posix -Received request to exit with code 0 -rv64ui-p-simple: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sll --posix -Received request to exit with code 0 -rv64ui-p-sll: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-slli --posix -Received request to exit with code 0 -rv64ui-p-slli: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-slliw --posix -Received request to exit with code 0 -rv64ui-p-slliw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sllw --posix -Received request to exit with code 0 -rv64ui-p-sllw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-slt --posix -Received request to exit with code 0 -rv64ui-p-slt: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-slti --posix -Received request to exit with code 0 -rv64ui-p-slti: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sltiu --posix -Received request to exit with code 0 -rv64ui-p-sltiu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sltu --posix -Received request to exit with code 0 -rv64ui-p-sltu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sra --posix -Received request to exit with code 0 -rv64ui-p-sra: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-srai --posix -Received request to exit with code 0 -rv64ui-p-srai: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sraiw --posix -Received request to exit with code 0 -rv64ui-p-sraiw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sraw --posix -Received request to exit with code 0 -rv64ui-p-sraw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-srl --posix -Received request to exit with code 0 -rv64ui-p-srl: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-srli --posix -Received request to exit with code 0 -rv64ui-p-srli: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-srliw --posix -Received request to exit with code 0 -rv64ui-p-srliw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-srlw --posix -Received request to exit with code 0 -rv64ui-p-srlw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sub --posix -Received request to exit with code 0 -rv64ui-p-sub: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-subw --posix -Received request to exit with code 0 -rv64ui-p-subw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-sw --posix -Received request to exit with code 0 -rv64ui-p-sw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-xor --posix -Received request to exit with code 0 -rv64ui-p-xor: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-p-xori --posix -Received request to exit with code 0 -rv64ui-p-xori: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-add --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-add: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-addi --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-addi: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-addiw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-addiw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-addw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-addw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-and --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-and: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-andi --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-andi: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-auipc --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-auipc: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-beq --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-beq: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-bge --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-bge: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-bgeu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-bgeu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-blt --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-blt: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-bltu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-bltu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-bne --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-bne: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-fence_i --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-fence_i: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-jal --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-jal: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-jalr --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-jalr: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-lb --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-lb: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-lbu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-lbu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-ld --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-ld: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-lh --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-lh: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-lhu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-lhu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-lui --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-lui: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-lw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-lw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-lwu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-lwu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-ma_data --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-ma_data: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-or --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-or: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-ori --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-ori: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sb --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sb: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sh --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sh: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-simple --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-simple: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sll --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sll: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-slli --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-slli: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-slliw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-slliw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sllw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sllw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-slt --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-slt: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-slti --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-slti: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sltiu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sltiu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sltu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sltu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sra --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sra: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-srai --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-srai: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sraiw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sraiw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sraw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sraw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-srl --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-srl: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-srli --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-srli: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-srliw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-srliw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-srlw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-srlw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sub --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sub: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-subw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-subw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-sw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-sw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-xor --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-xor: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64ui-v-xori --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64ui-v-xori: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (um).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (um).out deleted file mode 100644 index ef8a86387894be9fd6c9dad8353193a14b38fd91..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (um).out +++ /dev/null @@ -1,130 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-div --posix -Received request to exit with code 0 -rv64um-p-div: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-divu --posix -Received request to exit with code 0 -rv64um-p-divu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-divuw --posix -Received request to exit with code 0 -rv64um-p-divuw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-divw --posix -Received request to exit with code 0 -rv64um-p-divw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-mul --posix -Received request to exit with code 0 -rv64um-p-mul: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-mulh --posix -Received request to exit with code 0 -rv64um-p-mulh: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-mulhsu --posix -Received request to exit with code 0 -rv64um-p-mulhsu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-mulhu --posix -Received request to exit with code 0 -rv64um-p-mulhu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-mulw --posix -Received request to exit with code 0 -rv64um-p-mulw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-rem --posix -Received request to exit with code 0 -rv64um-p-rem: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-remu --posix -Received request to exit with code 0 -rv64um-p-remu: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-remuw --posix -Received request to exit with code 0 -rv64um-p-remuw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-p-remw --posix -Received request to exit with code 0 -rv64um-p-remw: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-div --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-div: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-divu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-divu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-divuw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-divuw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-divw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-divw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-mul --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-mul: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-mulh --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-mulh: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-mulhsu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-mulhsu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-mulhu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-mulhu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-mulw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-mulw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-rem --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-rem: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-remu --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-remu: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-remuw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-remuw: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64um-v-remw --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64um-v-remw: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uzfh).out b/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uzfh).out deleted file mode 100644 index 971b34332348dce695c3784e38bde97cd5441870..0000000000000000000000000000000000000000 --- a/tezt/tests/expected/riscv_sandbox.ml/Run riscv unit tests (uzfh).out +++ /dev/null @@ -1,128 +0,0 @@ - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-fadd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(331783) at 0x800001a8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-fadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-fclass --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(4093969747) at 0x800001a8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-fclass: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-fcmp --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(331783) at 0x800001a8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-fcmp: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-fcvt --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(3557126227) at 0x800001b0: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-fcvt: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-fcvt_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(331783) at 0x800001a8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-fcvt_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-fdiv --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(331783) at 0x800001a8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-fdiv: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-fmadd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(331783) at 0x800001a8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-fmadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-fmin --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(331783) at 0x800001a8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-fmin: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-ldst --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception IllegalInstruction(4558983) at 0x800001a8: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-p-ldst: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-move --posix -Received request to exit with code 7 -rv64uzfh-p-move: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-p-recoding --posix -Received request to exit with code 0 -rv64uzfh-p-recoding: success - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-fadd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-fadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-fclass --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-fclass: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-fcmp --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-fcmp: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-fcvt --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-fcvt: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-fcvt_w --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-fcvt_w: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-fdiv --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-fdiv: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-fmadd --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-fmadd: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-fmin --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-fmin: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-ldst --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-ldst: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-move --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-move: fail - -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/generated/rv64uzfh-v-recoding --posix -thread 'main' panicked at sandbox/src/commands/rvemu.rs:[LOCATION]: -Exception InstructionPageFault(2147494020) at 0x80002884: Invisible -note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace -rv64uzfh-v-recoding: fail diff --git a/tezt/tests/expected/riscv_sandbox.ml/Run the dummy kernel.out b/tezt/tests/expected/riscv_sandbox.ml/Run the dummy kernel.out index 479b601602f180c8793057d16c2920e794b34e08..60ecb3425308c259b6d416df99471afe48932c39 100644 --- a/tezt/tests/expected/riscv_sandbox.ml/Run the dummy kernel.out +++ b/tezt/tests/expected/riscv_sandbox.ml/Run the dummy kernel.out @@ -1,5 +1,5 @@ -./src/riscv/riscv-sandbox rvemu --input tezt/tests/riscv-tests/hermit-loader --initrd src/riscv/riscv-dummy.elf +./src/riscv/riscv-sandbox run --input tezt/tests/riscv-tests/hermit-loader --initrd src/riscv/riscv-dummy.elf --max-steps 9223372036854775807 --inbox-file tezt/tests/riscv-tests/dummy-kernel-inbox.json --pvm [src/arch/riscv64/kernel/core_local.rs:38] CPU_ONLINE.load(Ordering::Relaxed) = 0 [0][WARN] Unable to read entropy! Fallback to a naive implementation! Hello World diff --git a/tezt/tests/riscv-tests/dummy-kernel-inbox.json b/tezt/tests/riscv-tests/dummy-kernel-inbox.json new file mode 100644 index 0000000000000000000000000000000000000000..73b723079cd7ce74a4f3f19a0b6e9147151c3a27 --- /dev/null +++ b/tezt/tests/riscv-tests/dummy-kernel-inbox.json @@ -0,0 +1,15 @@ +[ + [ + "0101020304", + "0101040302" + ], + [ + "010101" + ], + [ + "010102" + ], + [ + "0000030b42b419240509ddacd12839700b7f720b4aa55e4e00c1a960784e695a8993bb22b150b7929b9fdb75bdf4e47cb3c43a68b0d48e3094092ca42d713addb5" + ] +] diff --git a/tezt/tests/riscv_sandbox.ml b/tezt/tests/riscv_sandbox.ml index 4aca4e18ba9ba0394ae97e73373757b9125ef9ca..3121ffb1fe8976752b068e6c0a13b5d38d99c216 100644 --- a/tezt/tests/riscv_sandbox.ml +++ b/tezt/tests/riscv_sandbox.ml @@ -31,94 +31,43 @@ Subject: RISC-V integration and unit tests *) -let test_dummy_kernel () = - Tezt_riscv_sandbox.run_kernel - ~input:"tezt/tests/riscv-tests/hermit-loader" - ~initrd:"src/riscv/riscv-dummy.elf" - () +let hermit_loader = + Uses.make ~tag:"riscv" ~path:"tezt/tests/riscv-tests/hermit-loader" -let fold_dir_lwt ~f ~acc dirname = - let open Unix in - let d = opendir dirname in - let rec loop acc = - match readdir d with - | "." | ".." -> loop acc - | entry -> - let* acc = f entry acc in - loop acc - | exception End_of_file -> - closedir d ; - Lwt.return acc - in - loop acc +let dummy_kernel = Uses.make ~tag:"riscv" ~path:"src/riscv/riscv-dummy.elf" -(* We run the official riscv test suite, available here: - https://github.com/riscv-software-src/riscv-tests +let dummy_kernel_inbox = + Uses.make ~tag:"riscv" ~path:"tezt/tests/riscv-tests/dummy-kernel-inbox.json" - The tests are split along the following units, corresponding to subcomponents of the CPU.*) -let riscv_test_units = - ["mi"; "si"; "ua"; "uc"; "ud"; "uf"; "ui"; "um"; "mzicbo"; "ssvnapot"; "uzfh"] +let test_dummy_kernel () = + Tezt_riscv_sandbox.run_pvm + ~input:hermit_loader + ~initrd:dummy_kernel + ~inbox:dummy_kernel_inbox + () -let test_user_level_riscv_unit_tests riscv_test_unit () = - let directory = "tezt/tests/riscv-tests/generated" in - let is_in_unit program = - program =~ rex (sf "rv64%s.*-?-.*" riscv_test_unit) - in - let* kernels = - fold_dir_lwt directory ~acc:[] ~f:(fun kernel acc -> return (kernel :: acc)) - in - (* [fold_dir_lwt] doesn't list in an OS-specific way, we make it canonical. *) - let kernels = List.sort String.compare kernels in - Lwt_list.iter_s - (fun kernel -> - if is_in_unit kernel then - Lwt.catch - (fun () -> - let* () = - Tezt_riscv_sandbox.run_kernel - ~posix:true - ~input:(directory // kernel) - () - in - Printf.ksprintf Regression.capture "%s: success" kernel ; - Lwt.return_unit) - (fun _exn -> - Printf.ksprintf Regression.capture "%s: fail" kernel ; - Lwt.return_unit) - else Lwt.return_unit) - kernels +let inline_asm_tests = + Uses.make + ~tag:"riscv" + ~path:"src/riscv/tests/inline_asm/rv64-inline-asm-tests" -let test_inline_asm () = - let input = "src/riscv/tests/inline_asm/rv64-inline-asm-tests" in - Tezt_riscv_sandbox.run_kernel ~posix:true ~input () +let test_inline_asm () = Tezt_riscv_sandbox.run_test ~input:inline_asm_tests () let register () = Regression.register ~__FILE__ ~title:"Run the dummy kernel" ~tags:["riscv"; "sandbox"; "dummy"] - ~uses:[Tezt_riscv_sandbox.riscv_sandbox] + ~uses:[Tezt_riscv_sandbox.riscv_sandbox; dummy_kernel; hermit_loader] ~uses_node:false ~uses_client:false ~uses_admin_client:false test_dummy_kernel ; - List.iter - (fun test_unit -> - Regression.register - ~__FILE__ - ~title:(sf "Run riscv unit tests (%s)" test_unit) - ~tags:["riscv"; "sandbox"; "unit"; test_unit] - ~uses:[Tezt_riscv_sandbox.riscv_sandbox] - ~uses_node:false - ~uses_client:false - ~uses_admin_client:false - (test_user_level_riscv_unit_tests test_unit)) - riscv_test_units ; Regression.register ~__FILE__ ~title:"Run inline asm tests" ~tags:["riscv"; "sandbox"; "inline_asm"] - ~uses:[Tezt_riscv_sandbox.riscv_sandbox] + ~uses:[Tezt_riscv_sandbox.riscv_sandbox; inline_asm_tests] ~uses_node:false ~uses_client:false ~uses_admin_client:false