CloudEdge/wasm-micro-runtime
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
This repository has been archived on 2023-11-05. You can view files and clone it, but cannot push or open issues or pull requests.
2c8375ee67
wasm-micro-runtime/tests/wamr-test-suites/spec-test-script/thread_proposal_ignore_cases.patch
liang.he 250aba6874
Sync up with wabt latest modification (#296) (#786) 
- Remove "--enable-reference-types" and "--enable-bulk-memory" for wat2wasm
to support finished proposals.

- Ignore invalid module in the thread spec repo:
``` wast
;; my_elem.wast
(module
  (table $t 10 funcref)
  (func $f)
  (elem $t (i32.const 0) 0)
  (elem $t (i32.const 0) $f $f)
  (elem $t (offset (i32.const 0)) $f $f)
)
```

run with reference interpreter under spec/interpreter:
``` shell
$ ./wasm ../../../my_elem.wast
../../../my_elem.wast:5.9-5.11: syntax error: duplicate elem segment $t
```

- use a specific commit instead of the latest commit on the thread spec repo
2021-10-14 15:48:45 +08:00

214 lines
5.3 KiB
Diff
Raw Blame History

diff --git a/test/core/binary.wast b/test/core/binary.wast
index b9fa438c..a5711dd3 100644
--- a/test/core/binary.wast
+++ b/test/core/binary.wast
@@ -45,7 +45,7 @@
(assert_malformed (module binary "\00asm\00\00\00\01") "unknown binary version")
;; Invalid section id.
-(assert_malformed (module binary "\00asm" "\01\00\00\00" "\0c\00") "malformed section id")
+;; (assert_malformed (module binary "\00asm" "\01\00\00\00" "\0c\00") "malformed section id")
(assert_malformed (module binary "\00asm" "\01\00\00\00" "\7f\00") "malformed section id")
(assert_malformed (module binary "\00asm" "\01\00\00\00" "\80\00\01\00") "malformed section id")
(assert_malformed (module binary "\00asm" "\01\00\00\00" "\81\00\01\00") "malformed section id")
@@ -68,7 +68,7 @@
"\01" ;; call_indirect reserved byte is not equal to zero!
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; call_indirect reserved byte should not be a "long" LEB128 zero.
@@ -87,7 +87,7 @@
"\80\00" ;; call_indirect reserved byte
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; Same as above for 3, 4, and 5-byte zero encodings.
@@ -106,7 +106,7 @@
"\80\80\00" ;; call_indirect reserved byte
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
(assert_malformed
@@ -124,7 +124,7 @@
"\80\80\80\00" ;; call_indirect reserved byte
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
(assert_malformed
@@ -142,7 +142,7 @@
"\80\80\80\80\00" ;; call_indirect reserved byte
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; memory.grow reserved byte equal to zero.
@@ -162,7 +162,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; memory.grow reserved byte should not be a "long" LEB128 zero.
@@ -182,7 +182,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; Same as above for 3, 4, and 5-byte zero encodings.
@@ -202,7 +202,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
(assert_malformed
@@ -221,7 +221,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
(assert_malformed
@@ -240,7 +240,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; memory.size reserved byte equal to zero.
@@ -259,7 +259,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; memory.size reserved byte should not be a "long" LEB128 zero.
@@ -278,7 +278,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; Same as above for 3, 4, and 5-byte zero encodings.
@@ -297,7 +297,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
(assert_malformed
@@ -315,7 +315,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
(assert_malformed
@@ -333,7 +333,7 @@
"\1a" ;; drop
"\0b" ;; end
)
- "zero flag expected"
+ "zero byte expected"
)
;; No more than 2^32 locals.
@@ -745,6 +745,7 @@
)
;; 2 elem segment declared, 1 given
+(;
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
@@ -761,6 +762,7 @@
)
"unexpected end"
)
+;)
;; 1 elem segment declared, 2 given
(assert_malformed
diff --git a/test/core/elem.wast b/test/core/elem.wast
index 1ea2b061..8eded377 100644
--- a/test/core/elem.wast
+++ b/test/core/elem.wast
@@ -12,10 +12,10 @@
(elem 0x0 (i32.const 0) $f $f)
(elem 0x000 (offset (i32.const 0)))
(elem 0 (offset (i32.const 0)) $f $f)
- (elem $t (i32.const 0))
- (elem $t (i32.const 0) $f $f)
- (elem $t (offset (i32.const 0)))
- (elem $t (offset (i32.const 0)) $f $f)
+ (elem (i32.const 0))
+ (elem (i32.const 0) $f $f)
+ (elem (offset (i32.const 0)))
+ (elem (offset (i32.const 0)) $f $f)
)
;; Basic use
@@ -354,6 +354,7 @@
(assert_return (invoke $module1 "call-8") (i32.const 65))
(assert_return (invoke $module1 "call-9") (i32.const 66))
+(;
(module $module2
(type $out-i32 (func (result i32)))
(import "module1" "shared-table" (table 10 funcref))
@@ -379,3 +380,4 @@
(assert_return (invoke $module1 "call-7") (i32.const 67))
(assert_return (invoke $module1 "call-8") (i32.const 69))
(assert_return (invoke $module1 "call-9") (i32.const 70))
+;)
diff --git a/test/core/thread.wast b/test/core/thread.wast
index c3456a61..83fc2815 100644
--- a/test/core/thread.wast
+++ b/test/core/thread.wast
@@ -2,6 +2,7 @@
(memory (export "shared") 1 1 shared)
)
+(;
(thread $T1 (shared (module $Mem))
(register "mem" $Mem)
(module
@@ -26,3 +27,4 @@
(wait $T1)
(wait $T2)
+;)
Reference in New Issue View Git Blame Copy Permalink