Skip to content

Commit 1d33f02

Browse files
ahuoguoahuoguo
committed
fix most TODOs in loop.wast
1 parent 38189f4 commit 1d33f02

File tree

2 files changed

+115
-34
lines changed

2 files changed

+115
-34
lines changed

‎benchmarks/wasm/spectest/loop.bin.wast‎

Lines changed: 83 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -148,4 +148,87 @@
148148
(assert_return (invoke "param") (i32.const 0x3))
149149
(assert_return (invoke "params") (i32.const 0x3))
150150
(assert_return (invoke "params-id") (i32.const 0x3))
151+
(assert_return (invoke "effects") (i32.const 0x1))
152+
(assert_return (invoke "while" (i64.const 0x0)) (i64.const 0x1))
153+
(assert_return (invoke "while" (i64.const 0x1)) (i64.const 0x1))
154+
(assert_return (invoke "while" (i64.const 0x2)) (i64.const 0x2))
155+
(assert_return (invoke "while" (i64.const 0x3)) (i64.const 0x6))
156+
(assert_return (invoke "while" (i64.const 0x5)) (i64.const 0x78))
157+
(assert_return
158+
(invoke "while" (i64.const 0x14))
159+
(i64.const 0x21c3_677c_82b4_0000)
160+
)
161+
(assert_return (invoke "for" (i64.const 0x0)) (i64.const 0x1))
162+
(assert_return (invoke "for" (i64.const 0x1)) (i64.const 0x1))
163+
(assert_return (invoke "for" (i64.const 0x2)) (i64.const 0x2))
164+
(assert_return (invoke "for" (i64.const 0x3)) (i64.const 0x6))
165+
(assert_return (invoke "for" (i64.const 0x5)) (i64.const 0x78))
166+
(assert_return
167+
(invoke "for" (i64.const 0x14))
168+
(i64.const 0x21c3_677c_82b4_0000)
169+
)
170+
(assert_return
171+
(invoke "nesting" (f32.const 0x0p+0) (f32.const 0x1.cp+2))
172+
(f32.const 0x0p+0)
173+
)
174+
(assert_return
175+
(invoke "nesting" (f32.const 0x1.cp+2) (f32.const 0x0p+0))
176+
(f32.const 0x0p+0)
177+
)
178+
(assert_return
179+
(invoke "nesting" (f32.const 0x1p+0) (f32.const 0x1p+0))
180+
(f32.const 0x1p+0)
181+
)
182+
(assert_return
183+
(invoke "nesting" (f32.const 0x1p+0) (f32.const 0x1p+1))
184+
(f32.const 0x1p+1)
185+
)
186+
(assert_return
187+
(invoke "nesting" (f32.const 0x1p+0) (f32.const 0x1.8p+1))
188+
(f32.const 0x1p+2)
189+
)
190+
(assert_return
191+
(invoke "nesting" (f32.const 0x1p+0) (f32.const 0x1p+2))
192+
(f32.const 0x1.8p+2)
193+
)
194+
(assert_return
195+
(invoke "nesting" (f32.const 0x1p+0) (f32.const 0x1.9p+6))
196+
(f32.const 0x1.3ecp+11)
197+
)
198+
(assert_return
199+
(invoke "nesting" (f32.const 0x1p+0) (f32.const 0x1.94p+6))
200+
(f32.const 0x1.452p+11)
201+
)
202+
(assert_return
203+
(invoke "nesting" (f32.const 0x1p+1) (f32.const 0x1p+0))
204+
(f32.const 0x1p+0)
205+
)
206+
(assert_return
207+
(invoke "nesting" (f32.const 0x1.8p+1) (f32.const 0x1p+0))
208+
(f32.const 0x1p+0)
209+
)
210+
(assert_return
211+
(invoke "nesting" (f32.const 0x1.4p+3) (f32.const 0x1p+0))
212+
(f32.const 0x1p+0)
213+
)
214+
(assert_return
215+
(invoke "nesting" (f32.const 0x1p+1) (f32.const 0x1p+1))
216+
(f32.const 0x1.8p+1)
217+
)
218+
(assert_return
219+
(invoke "nesting" (f32.const 0x1p+1) (f32.const 0x1.8p+1))
220+
(f32.const 0x1p+2)
221+
)
222+
(assert_return
223+
(invoke "nesting" (f32.const 0x1.cp+2) (f32.const 0x1p+2))
224+
(f32.const 0x1.49e7_9ep+3)
225+
)
226+
(assert_return
227+
(invoke "nesting" (f32.const 0x1.cp+2) (f32.const 0x1.9p+6))
228+
(f32.const 0x1.11d8_c4p+12)
229+
)
230+
(assert_return
231+
(invoke "nesting" (f32.const 0x1.cp+2) (f32.const 0x1.94p+6))
232+
(f32.const 0x1.452p+11)
233+
)
151234
(assert_return (invoke "type-use"))

‎benchmarks/wasm/spectest/loop.wast‎

Lines changed: 32 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -487,40 +487,38 @@
487487
;; (assert_return (invoke "params-break") (i32.const 12))
488488
;; (assert_return (invoke "params-id-break") (i32.const 3))
489489

490-
;; TODO: fails because of local.set
491-
;; (assert_return (invoke "effects") (i32.const 1))
492-
493-
;; TODO: these fails because of local.set
494-
;; (assert_return (invoke "while" (i64.const 0)) (i64.const 1))
495-
;; (assert_return (invoke "while" (i64.const 1)) (i64.const 1))
496-
;; (assert_return (invoke "while" (i64.const 2)) (i64.const 2))
497-
;; (assert_return (invoke "while" (i64.const 3)) (i64.const 6))
498-
;; (assert_return (invoke "while" (i64.const 5)) (i64.const 120))
499-
;; (assert_return (invoke "while" (i64.const 20)) (i64.const 2432902008176640000))
500-
501-
;; (assert_return (invoke "for" (i64.const 0)) (i64.const 1))
502-
;; (assert_return (invoke "for" (i64.const 1)) (i64.const 1))
503-
;; (assert_return (invoke "for" (i64.const 2)) (i64.const 2))
504-
;; (assert_return (invoke "for" (i64.const 3)) (i64.const 6))
505-
;; (assert_return (invoke "for" (i64.const 5)) (i64.const 120))
506-
;; (assert_return (invoke "for" (i64.const 20)) (i64.const 2432902008176640000))
507-
508-
;; (assert_return (invoke "nesting" (f32.const 0) (f32.const 7)) (f32.const 0))
509-
;; (assert_return (invoke "nesting" (f32.const 7) (f32.const 0)) (f32.const 0))
510-
;; (assert_return (invoke "nesting" (f32.const 1) (f32.const 1)) (f32.const 1))
511-
;; (assert_return (invoke "nesting" (f32.const 1) (f32.const 2)) (f32.const 2))
512-
;; (assert_return (invoke "nesting" (f32.const 1) (f32.const 3)) (f32.const 4))
513-
;; (assert_return (invoke "nesting" (f32.const 1) (f32.const 4)) (f32.const 6))
514-
;; (assert_return (invoke "nesting" (f32.const 1) (f32.const 100)) (f32.const 2550))
515-
;; (assert_return (invoke "nesting" (f32.const 1) (f32.const 101)) (f32.const 2601))
516-
;; (assert_return (invoke "nesting" (f32.const 2) (f32.const 1)) (f32.const 1))
517-
;; (assert_return (invoke "nesting" (f32.const 3) (f32.const 1)) (f32.const 1))
518-
;; (assert_return (invoke "nesting" (f32.const 10) (f32.const 1)) (f32.const 1))
519-
;; (assert_return (invoke "nesting" (f32.const 2) (f32.const 2)) (f32.const 3))
520-
;; (assert_return (invoke "nesting" (f32.const 2) (f32.const 3)) (f32.const 4))
521-
;; (assert_return (invoke "nesting" (f32.const 7) (f32.const 4)) (f32.const 10.3095235825))
522-
;; (assert_return (invoke "nesting" (f32.const 7) (f32.const 100)) (f32.const 4381.54785156))
523-
;; (assert_return (invoke "nesting" (f32.const 7) (f32.const 101)) (f32.const 2601))
490+
(assert_return (invoke "effects") (i32.const 1))
491+
492+
(assert_return (invoke "while" (i64.const 0)) (i64.const 1))
493+
(assert_return (invoke "while" (i64.const 1)) (i64.const 1))
494+
(assert_return (invoke "while" (i64.const 2)) (i64.const 2))
495+
(assert_return (invoke "while" (i64.const 3)) (i64.const 6))
496+
(assert_return (invoke "while" (i64.const 5)) (i64.const 120))
497+
(assert_return (invoke "while" (i64.const 20)) (i64.const 2432902008176640000))
498+
499+
(assert_return (invoke "for" (i64.const 0)) (i64.const 1))
500+
(assert_return (invoke "for" (i64.const 1)) (i64.const 1))
501+
(assert_return (invoke "for" (i64.const 2)) (i64.const 2))
502+
(assert_return (invoke "for" (i64.const 3)) (i64.const 6))
503+
(assert_return (invoke "for" (i64.const 5)) (i64.const 120))
504+
(assert_return (invoke "for" (i64.const 20)) (i64.const 2432902008176640000))
505+
506+
(assert_return (invoke "nesting" (f32.const 0) (f32.const 7)) (f32.const 0))
507+
(assert_return (invoke "nesting" (f32.const 7) (f32.const 0)) (f32.const 0))
508+
(assert_return (invoke "nesting" (f32.const 1) (f32.const 1)) (f32.const 1))
509+
(assert_return (invoke "nesting" (f32.const 1) (f32.const 2)) (f32.const 2))
510+
(assert_return (invoke "nesting" (f32.const 1) (f32.const 3)) (f32.const 4))
511+
(assert_return (invoke "nesting" (f32.const 1) (f32.const 4)) (f32.const 6))
512+
(assert_return (invoke "nesting" (f32.const 1) (f32.const 100)) (f32.const 2550))
513+
(assert_return (invoke "nesting" (f32.const 1) (f32.const 101)) (f32.const 2601))
514+
(assert_return (invoke "nesting" (f32.const 2) (f32.const 1)) (f32.const 1))
515+
(assert_return (invoke "nesting" (f32.const 3) (f32.const 1)) (f32.const 1))
516+
(assert_return (invoke "nesting" (f32.const 10) (f32.const 1)) (f32.const 1))
517+
(assert_return (invoke "nesting" (f32.const 2) (f32.const 2)) (f32.const 3))
518+
(assert_return (invoke "nesting" (f32.const 2) (f32.const 3)) (f32.const 4))
519+
(assert_return (invoke "nesting" (f32.const 7) (f32.const 4)) (f32.const 10.3095235825))
520+
(assert_return (invoke "nesting" (f32.const 7) (f32.const 100)) (f32.const 4381.54785156))
521+
(assert_return (invoke "nesting" (f32.const 7) (f32.const 101)) (f32.const 2601))
524522

525523
(assert_return (invoke "type-use"))
526524

0 commit comments

Comments
 (0)