diff options
Diffstat (limited to 'examples/wast')
| -rw-r--r-- | examples/wast/i32.wast | 164 |
1 files changed, 82 insertions, 82 deletions
diff --git a/examples/wast/i32.wast b/examples/wast/i32.wast index dd883b9..3228e46 100644 --- a/examples/wast/i32.wast +++ b/examples/wast/i32.wast @@ -178,94 +178,94 @@ (assert_return (invoke "shl" (i32.const 1) (i32.const -1)) (i32.const 0x80000000)) (assert_return (invoke "shl" (i32.const 1) (i32.const 0x7fffffff)) (i32.const 0x80000000)) -;; (assert_return (invoke "shr_s" (i32.const 1) (i32.const 1)) (i32.const 0)) -;; (assert_return (invoke "shr_s" (i32.const 1) (i32.const 0)) (i32.const 1)) -;; (assert_return (invoke "shr_s" (i32.const -1) (i32.const 1)) (i32.const -1)) -;; (assert_return (invoke "shr_s" (i32.const 0x7fffffff) (i32.const 1)) (i32.const 0x3fffffff)) -;; (assert_return (invoke "shr_s" (i32.const 0x80000000) (i32.const 1)) (i32.const 0xc0000000)) -;; (assert_return (invoke "shr_s" (i32.const 0x40000000) (i32.const 1)) (i32.const 0x20000000)) -;; (assert_return (invoke "shr_s" (i32.const 1) (i32.const 32)) (i32.const 1)) -;; (assert_return (invoke "shr_s" (i32.const 1) (i32.const 33)) (i32.const 0)) -;; (assert_return (invoke "shr_s" (i32.const 1) (i32.const -1)) (i32.const 0)) -;; (assert_return (invoke "shr_s" (i32.const 1) (i32.const 0x7fffffff)) (i32.const 0)) -;; (assert_return (invoke "shr_s" (i32.const 1) (i32.const 0x80000000)) (i32.const 1)) -;; (assert_return (invoke "shr_s" (i32.const 0x80000000) (i32.const 31)) (i32.const -1)) -;; (assert_return (invoke "shr_s" (i32.const -1) (i32.const 32)) (i32.const -1)) -;; (assert_return (invoke "shr_s" (i32.const -1) (i32.const 33)) (i32.const -1)) -;; (assert_return (invoke "shr_s" (i32.const -1) (i32.const -1)) (i32.const -1)) -;; (assert_return (invoke "shr_s" (i32.const -1) (i32.const 0x7fffffff)) (i32.const -1)) -;; (assert_return (invoke "shr_s" (i32.const -1) (i32.const 0x80000000)) (i32.const -1)) +(assert_return (invoke "shr_s" (i32.const 1) (i32.const 1)) (i32.const 0)) +(assert_return (invoke "shr_s" (i32.const 1) (i32.const 0)) (i32.const 1)) +(assert_return (invoke "shr_s" (i32.const -1) (i32.const 1)) (i32.const -1)) +(assert_return (invoke "shr_s" (i32.const 0x7fffffff) (i32.const 1)) (i32.const 0x3fffffff)) +(assert_return (invoke "shr_s" (i32.const 0x80000000) (i32.const 1)) (i32.const 0xc0000000)) +(assert_return (invoke "shr_s" (i32.const 0x40000000) (i32.const 1)) (i32.const 0x20000000)) +(assert_return (invoke "shr_s" (i32.const 1) (i32.const 32)) (i32.const 1)) +(assert_return (invoke "shr_s" (i32.const 1) (i32.const 33)) (i32.const 0)) +(assert_return (invoke "shr_s" (i32.const 1) (i32.const -1)) (i32.const 0)) +(assert_return (invoke "shr_s" (i32.const 1) (i32.const 0x7fffffff)) (i32.const 0)) +(assert_return (invoke "shr_s" (i32.const 1) (i32.const 0x80000000)) (i32.const 1)) +(assert_return (invoke "shr_s" (i32.const 0x80000000) (i32.const 31)) (i32.const -1)) +(assert_return (invoke "shr_s" (i32.const -1) (i32.const 32)) (i32.const -1)) +(assert_return (invoke "shr_s" (i32.const -1) (i32.const 33)) (i32.const -1)) +(assert_return (invoke "shr_s" (i32.const -1) (i32.const -1)) (i32.const -1)) +(assert_return (invoke "shr_s" (i32.const -1) (i32.const 0x7fffffff)) (i32.const -1)) +(assert_return (invoke "shr_s" (i32.const -1) (i32.const 0x80000000)) (i32.const -1)) -;; (assert_return (invoke "shr_u" (i32.const 1) (i32.const 1)) (i32.const 0)) -;; (assert_return (invoke "shr_u" (i32.const 1) (i32.const 0)) (i32.const 1)) -;; (assert_return (invoke "shr_u" (i32.const -1) (i32.const 1)) (i32.const 0x7fffffff)) -;; (assert_return (invoke "shr_u" (i32.const 0x7fffffff) (i32.const 1)) (i32.const 0x3fffffff)) -;; (assert_return (invoke "shr_u" (i32.const 0x80000000) (i32.const 1)) (i32.const 0x40000000)) -;; (assert_return (invoke "shr_u" (i32.const 0x40000000) (i32.const 1)) (i32.const 0x20000000)) -;; (assert_return (invoke "shr_u" (i32.const 1) (i32.const 32)) (i32.const 1)) -;; (assert_return (invoke "shr_u" (i32.const 1) (i32.const 33)) (i32.const 0)) -;; (assert_return (invoke "shr_u" (i32.const 1) (i32.const -1)) (i32.const 0)) -;; (assert_return (invoke "shr_u" (i32.const 1) (i32.const 0x7fffffff)) (i32.const 0)) -;; (assert_return (invoke "shr_u" (i32.const 1) (i32.const 0x80000000)) (i32.const 1)) -;; (assert_return (invoke "shr_u" (i32.const 0x80000000) (i32.const 31)) (i32.const 1)) -;; (assert_return (invoke "shr_u" (i32.const -1) (i32.const 32)) (i32.const -1)) -;; (assert_return (invoke "shr_u" (i32.const -1) (i32.const 33)) (i32.const 0x7fffffff)) -;; (assert_return (invoke "shr_u" (i32.const -1) (i32.const -1)) (i32.const 1)) -;; (assert_return (invoke "shr_u" (i32.const -1) (i32.const 0x7fffffff)) (i32.const 1)) -;; (assert_return (invoke "shr_u" (i32.const -1) (i32.const 0x80000000)) (i32.const -1)) +(assert_return (invoke "shr_u" (i32.const 1) (i32.const 1)) (i32.const 0)) +(assert_return (invoke "shr_u" (i32.const 1) (i32.const 0)) (i32.const 1)) +(assert_return (invoke "shr_u" (i32.const -1) (i32.const 1)) (i32.const 0x7fffffff)) +(assert_return (invoke "shr_u" (i32.const 0x7fffffff) (i32.const 1)) (i32.const 0x3fffffff)) +(assert_return (invoke "shr_u" (i32.const 0x80000000) (i32.const 1)) (i32.const 0x40000000)) +(assert_return (invoke "shr_u" (i32.const 0x40000000) (i32.const 1)) (i32.const 0x20000000)) +(assert_return (invoke "shr_u" (i32.const 1) (i32.const 32)) (i32.const 1)) +(assert_return (invoke "shr_u" (i32.const 1) (i32.const 33)) (i32.const 0)) +(assert_return (invoke "shr_u" (i32.const 1) (i32.const -1)) (i32.const 0)) +(assert_return (invoke "shr_u" (i32.const 1) (i32.const 0x7fffffff)) (i32.const 0)) +(assert_return (invoke "shr_u" (i32.const 1) (i32.const 0x80000000)) (i32.const 1)) +(assert_return (invoke "shr_u" (i32.const 0x80000000) (i32.const 31)) (i32.const 1)) +(assert_return (invoke "shr_u" (i32.const -1) (i32.const 32)) (i32.const -1)) +(assert_return (invoke "shr_u" (i32.const -1) (i32.const 33)) (i32.const 0x7fffffff)) +(assert_return (invoke "shr_u" (i32.const -1) (i32.const -1)) (i32.const 1)) +(assert_return (invoke "shr_u" (i32.const -1) (i32.const 0x7fffffff)) (i32.const 1)) +(assert_return (invoke "shr_u" (i32.const -1) (i32.const 0x80000000)) (i32.const -1)) -;; (assert_return (invoke "rotl" (i32.const 1) (i32.const 1)) (i32.const 2)) -;; (assert_return (invoke "rotl" (i32.const 1) (i32.const 0)) (i32.const 1)) -;; (assert_return (invoke "rotl" (i32.const -1) (i32.const 1)) (i32.const -1)) -;; (assert_return (invoke "rotl" (i32.const 1) (i32.const 32)) (i32.const 1)) -;; (assert_return (invoke "rotl" (i32.const 0xabcd9876) (i32.const 1)) (i32.const 0x579b30ed)) -;; (assert_return (invoke "rotl" (i32.const 0xfe00dc00) (i32.const 4)) (i32.const 0xe00dc00f)) -;; (assert_return (invoke "rotl" (i32.const 0xb0c1d2e3) (i32.const 5)) (i32.const 0x183a5c76)) -;; (assert_return (invoke "rotl" (i32.const 0x00008000) (i32.const 37)) (i32.const 0x00100000)) -;; (assert_return (invoke "rotl" (i32.const 0xb0c1d2e3) (i32.const 0xff05)) (i32.const 0x183a5c76)) -;; (assert_return (invoke "rotl" (i32.const 0x769abcdf) (i32.const 0xffffffed)) (i32.const 0x579beed3)) -;; (assert_return (invoke "rotl" (i32.const 0x769abcdf) (i32.const 0x8000000d)) (i32.const 0x579beed3)) -;; (assert_return (invoke "rotl" (i32.const 1) (i32.const 31)) (i32.const 0x80000000)) -;; (assert_return (invoke "rotl" (i32.const 0x80000000) (i32.const 1)) (i32.const 1)) +(assert_return (invoke "rotl" (i32.const 1) (i32.const 1)) (i32.const 2)) +(assert_return (invoke "rotl" (i32.const 1) (i32.const 0)) (i32.const 1)) +(assert_return (invoke "rotl" (i32.const -1) (i32.const 1)) (i32.const -1)) +(assert_return (invoke "rotl" (i32.const 1) (i32.const 32)) (i32.const 1)) +(assert_return (invoke "rotl" (i32.const 0xabcd9876) (i32.const 1)) (i32.const 0x579b30ed)) +(assert_return (invoke "rotl" (i32.const 0xfe00dc00) (i32.const 4)) (i32.const 0xe00dc00f)) +(assert_return (invoke "rotl" (i32.const 0xb0c1d2e3) (i32.const 5)) (i32.const 0x183a5c76)) +(assert_return (invoke "rotl" (i32.const 0x00008000) (i32.const 37)) (i32.const 0x00100000)) +(assert_return (invoke "rotl" (i32.const 0xb0c1d2e3) (i32.const 0xff05)) (i32.const 0x183a5c76)) +(assert_return (invoke "rotl" (i32.const 0x769abcdf) (i32.const 0xffffffed)) (i32.const 0x579beed3)) +(assert_return (invoke "rotl" (i32.const 0x769abcdf) (i32.const 0x8000000d)) (i32.const 0x579beed3)) +(assert_return (invoke "rotl" (i32.const 1) (i32.const 31)) (i32.const 0x80000000)) +(assert_return (invoke "rotl" (i32.const 0x80000000) (i32.const 1)) (i32.const 1)) -;; (assert_return (invoke "rotr" (i32.const 1) (i32.const 1)) (i32.const 0x80000000)) -;; (assert_return (invoke "rotr" (i32.const 1) (i32.const 0)) (i32.const 1)) -;; (assert_return (invoke "rotr" (i32.const -1) (i32.const 1)) (i32.const -1)) -;; (assert_return (invoke "rotr" (i32.const 1) (i32.const 32)) (i32.const 1)) -;; (assert_return (invoke "rotr" (i32.const 0xff00cc00) (i32.const 1)) (i32.const 0x7f806600)) -;; (assert_return (invoke "rotr" (i32.const 0x00080000) (i32.const 4)) (i32.const 0x00008000)) -;; (assert_return (invoke "rotr" (i32.const 0xb0c1d2e3) (i32.const 5)) (i32.const 0x1d860e97)) -;; (assert_return (invoke "rotr" (i32.const 0x00008000) (i32.const 37)) (i32.const 0x00000400)) -;; (assert_return (invoke "rotr" (i32.const 0xb0c1d2e3) (i32.const 0xff05)) (i32.const 0x1d860e97)) -;; (assert_return (invoke "rotr" (i32.const 0x769abcdf) (i32.const 0xffffffed)) (i32.const 0xe6fbb4d5)) -;; (assert_return (invoke "rotr" (i32.const 0x769abcdf) (i32.const 0x8000000d)) (i32.const 0xe6fbb4d5)) -;; (assert_return (invoke "rotr" (i32.const 1) (i32.const 31)) (i32.const 2)) -;; (assert_return (invoke "rotr" (i32.const 0x80000000) (i32.const 31)) (i32.const 1)) +(assert_return (invoke "rotr" (i32.const 1) (i32.const 1)) (i32.const 0x80000000)) +(assert_return (invoke "rotr" (i32.const 1) (i32.const 0)) (i32.const 1)) +(assert_return (invoke "rotr" (i32.const -1) (i32.const 1)) (i32.const -1)) +(assert_return (invoke "rotr" (i32.const 1) (i32.const 32)) (i32.const 1)) +(assert_return (invoke "rotr" (i32.const 0xff00cc00) (i32.const 1)) (i32.const 0x7f806600)) +(assert_return (invoke "rotr" (i32.const 0x00080000) (i32.const 4)) (i32.const 0x00008000)) +(assert_return (invoke "rotr" (i32.const 0xb0c1d2e3) (i32.const 5)) (i32.const 0x1d860e97)) +(assert_return (invoke "rotr" (i32.const 0x00008000) (i32.const 37)) (i32.const 0x00000400)) +(assert_return (invoke "rotr" (i32.const 0xb0c1d2e3) (i32.const 0xff05)) (i32.const 0x1d860e97)) +(assert_return (invoke "rotr" (i32.const 0x769abcdf) (i32.const 0xffffffed)) (i32.const 0xe6fbb4d5)) +(assert_return (invoke "rotr" (i32.const 0x769abcdf) (i32.const 0x8000000d)) (i32.const 0xe6fbb4d5)) +(assert_return (invoke "rotr" (i32.const 1) (i32.const 31)) (i32.const 2)) +(assert_return (invoke "rotr" (i32.const 0x80000000) (i32.const 31)) (i32.const 1)) -;; (assert_return (invoke "clz" (i32.const 0xffffffff)) (i32.const 0)) -;; (assert_return (invoke "clz" (i32.const 0)) (i32.const 32)) -;; (assert_return (invoke "clz" (i32.const 0x00008000)) (i32.const 16)) -;; (assert_return (invoke "clz" (i32.const 0xff)) (i32.const 24)) -;; (assert_return (invoke "clz" (i32.const 0x80000000)) (i32.const 0)) -;; (assert_return (invoke "clz" (i32.const 1)) (i32.const 31)) -;; (assert_return (invoke "clz" (i32.const 2)) (i32.const 30)) -;; (assert_return (invoke "clz" (i32.const 0x7fffffff)) (i32.const 1)) +(assert_return (invoke "clz" (i32.const 0xffffffff)) (i32.const 0)) +(assert_return (invoke "clz" (i32.const 0)) (i32.const 32)) +(assert_return (invoke "clz" (i32.const 0x00008000)) (i32.const 16)) +(assert_return (invoke "clz" (i32.const 0xff)) (i32.const 24)) +(assert_return (invoke "clz" (i32.const 0x80000000)) (i32.const 0)) +(assert_return (invoke "clz" (i32.const 1)) (i32.const 31)) +(assert_return (invoke "clz" (i32.const 2)) (i32.const 30)) +(assert_return (invoke "clz" (i32.const 0x7fffffff)) (i32.const 1)) -;; (assert_return (invoke "ctz" (i32.const -1)) (i32.const 0)) -;; (assert_return (invoke "ctz" (i32.const 0)) (i32.const 32)) -;; (assert_return (invoke "ctz" (i32.const 0x00008000)) (i32.const 15)) -;; (assert_return (invoke "ctz" (i32.const 0x00010000)) (i32.const 16)) -;; (assert_return (invoke "ctz" (i32.const 0x80000000)) (i32.const 31)) -;; (assert_return (invoke "ctz" (i32.const 0x7fffffff)) (i32.const 0)) +(assert_return (invoke "ctz" (i32.const -1)) (i32.const 0)) +(assert_return (invoke "ctz" (i32.const 0)) (i32.const 32)) +(assert_return (invoke "ctz" (i32.const 0x00008000)) (i32.const 15)) +(assert_return (invoke "ctz" (i32.const 0x00010000)) (i32.const 16)) +(assert_return (invoke "ctz" (i32.const 0x80000000)) (i32.const 31)) +(assert_return (invoke "ctz" (i32.const 0x7fffffff)) (i32.const 0)) -;; (assert_return (invoke "popcnt" (i32.const -1)) (i32.const 32)) -;; (assert_return (invoke "popcnt" (i32.const 0)) (i32.const 0)) -;; (assert_return (invoke "popcnt" (i32.const 0x00008000)) (i32.const 1)) -;; (assert_return (invoke "popcnt" (i32.const 0x80008000)) (i32.const 2)) -;; (assert_return (invoke "popcnt" (i32.const 0x7fffffff)) (i32.const 31)) -;; (assert_return (invoke "popcnt" (i32.const 0xAAAAAAAA)) (i32.const 16)) -;; (assert_return (invoke "popcnt" (i32.const 0x55555555)) (i32.const 16)) -;; (assert_return (invoke "popcnt" (i32.const 0xDEADBEEF)) (i32.const 24)) +(assert_return (invoke "popcnt" (i32.const -1)) (i32.const 32)) +(assert_return (invoke "popcnt" (i32.const 0)) (i32.const 0)) +(assert_return (invoke "popcnt" (i32.const 0x00008000)) (i32.const 1)) +(assert_return (invoke "popcnt" (i32.const 0x80008000)) (i32.const 2)) +(assert_return (invoke "popcnt" (i32.const 0x7fffffff)) (i32.const 31)) +(assert_return (invoke "popcnt" (i32.const 0xAAAAAAAA)) (i32.const 16)) +(assert_return (invoke "popcnt" (i32.const 0x55555555)) (i32.const 16)) +(assert_return (invoke "popcnt" (i32.const 0xDEADBEEF)) (i32.const 24)) ;; (assert_return (invoke "extend8_s" (i32.const 0)) (i32.const 0)) ;; (assert_return (invoke "extend8_s" (i32.const 0x7f)) (i32.const 127)) |