From b93b3c970195802082b6a2f7301728cc70fc78ce Mon Sep 17 00:00:00 2001 From: Casper Beyer Date: Fri, 15 Jan 2021 23:16:54 +0000 Subject: [PATCH 1/4] Add tests --- test/clocks/res_get-monotonic-success.wat | 14 ++++++++++++++ test/clocks/res_get-negative-invalid.wat | 17 +++++++++++++++++ test/clocks/res_get-realtime-success.wat | 14 ++++++++++++++ 3 files changed, 45 insertions(+) create mode 100644 test/clocks/res_get-monotonic-success.wat create mode 100644 test/clocks/res_get-negative-invalid.wat create mode 100644 test/clocks/res_get-realtime-success.wat diff --git a/test/clocks/res_get-monotonic-success.wat b/test/clocks/res_get-monotonic-success.wat new file mode 100644 index 0000000..c1688b3 --- /dev/null +++ b/test/clocks/res_get-monotonic-success.wat @@ -0,0 +1,14 @@ +(module + (import "wasi_snapshot_preview1" "clock_res_get" (func $res_get (param i32 i32) (result i32))) + (memory 1) + (export "memory" (memory 0)) + (func $_start + i32.const 1 + i32.const 0 + call $res_get + if + unreachable + end + ) + (export "_start" (func $_start)) +) diff --git a/test/clocks/res_get-negative-invalid.wat b/test/clocks/res_get-negative-invalid.wat new file mode 100644 index 0000000..22f7156 --- /dev/null +++ b/test/clocks/res_get-negative-invalid.wat @@ -0,0 +1,17 @@ +(module + (import "wasi_snapshot_preview1" "clock_res_get" (func $res_get (param i32 i32) (result i32))) + (memory $0 0) + (export "memory" (memory $0)) + (func $module/_start + i32.const -1 + i32.const 0 + call $res_get + i32.const 28 + i32.ne + if + unreachable + end + ) + (export "_start" (func $module/_start)) +) + diff --git a/test/clocks/res_get-realtime-success.wat b/test/clocks/res_get-realtime-success.wat new file mode 100644 index 0000000..7564ae8 --- /dev/null +++ b/test/clocks/res_get-realtime-success.wat @@ -0,0 +1,14 @@ +(module + (import "wasi_snapshot_preview1" "clock_res_get" (func $res_get (param i32 i32) (result i32))) + (memory 1) + (export "memory" (memory 0)) + (func $_start + i32.const 0 + i32.const 0 + call $res_get + if + unreachable + end + ) + (export "_start" (func $_start)) +) From 440b99b7ac126ca4ce2af233fbad03a198f75750 Mon Sep 17 00:00:00 2001 From: Casper Beyer Date: Sat, 16 Jan 2021 03:02:47 +0000 Subject: [PATCH 2/4] Add a temporary run script --- test/run_all.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 test/run_all.sh diff --git a/test/run_all.sh b/test/run_all.sh new file mode 100644 index 0000000..6fd40c4 --- /dev/null +++ b/test/run_all.sh @@ -0,0 +1,9 @@ +#!/usr/bin/env + +runtime=$1 +shift + +for input in $@; do + echo "$input" + $runtime $input && echo "PASS" || echo "FAIL" +done From b43b6e9ea565394e50da85b73973c7d4325701c2 Mon Sep 17 00:00:00 2001 From: Casper Beyer Date: Sat, 16 Jan 2021 03:18:06 +0000 Subject: [PATCH 3/4] Add time_get--success tests --- test/clocks/time_get-monotonic-success.wat | 15 +++++++++++++++ test/clocks/time_get-realtime-success.wat | 15 +++++++++++++++ 2 files changed, 30 insertions(+) create mode 100644 test/clocks/time_get-monotonic-success.wat create mode 100644 test/clocks/time_get-realtime-success.wat diff --git a/test/clocks/time_get-monotonic-success.wat b/test/clocks/time_get-monotonic-success.wat new file mode 100644 index 0000000..a9afb64 --- /dev/null +++ b/test/clocks/time_get-monotonic-success.wat @@ -0,0 +1,15 @@ +(module + (import "wasi_snapshot_preview1" "clock_time_get" (func $time_get (param i32 i64 i32) (result i32))) + (memory 1) + (export "memory" (memory 0)) + (func $_start + i32.const 1 + i64.const 0 + i32.const 0 + call $time_get + if + unreachable + end + ) + (export "_start" (func $_start)) +) diff --git a/test/clocks/time_get-realtime-success.wat b/test/clocks/time_get-realtime-success.wat new file mode 100644 index 0000000..97872a0 --- /dev/null +++ b/test/clocks/time_get-realtime-success.wat @@ -0,0 +1,15 @@ +(module + (import "wasi_snapshot_preview1" "clock_time_get" (func $time_get (param i32 i64 i32) (result i32))) + (memory 1) + (export "memory" (memory 0)) + (func $_start + i32.const 0 + i64.const 0 + i32.const 0 + call $time_get + if + unreachable + end + ) + (export "_start" (func $_start)) +) From 608c6d3e12f03fc92f45bc8f9b14e0c996c1e198 Mon Sep 17 00:00:00 2001 From: Casper Beyer Date: Sat, 16 Jan 2021 03:49:14 +0000 Subject: [PATCH 4/4] Rename module/_start to _start --- test/clocks/res_get-negative-invalid.wat | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/clocks/res_get-negative-invalid.wat b/test/clocks/res_get-negative-invalid.wat index 22f7156..f031364 100644 --- a/test/clocks/res_get-negative-invalid.wat +++ b/test/clocks/res_get-negative-invalid.wat @@ -2,7 +2,7 @@ (import "wasi_snapshot_preview1" "clock_res_get" (func $res_get (param i32 i32) (result i32))) (memory $0 0) (export "memory" (memory $0)) - (func $module/_start + (func $_start i32.const -1 i32.const 0 call $res_get @@ -12,6 +12,6 @@ unreachable end ) - (export "_start" (func $module/_start)) + (export "_start" (func $_start)) )