Merge pull request #24 from WebAssembly/assert-more-tests

Add some more asserts

Author: rossberg

ml-proto/test/expected-output/memory.wasm.log

@@ -22,7 +22,7 @@
   (global $scratch i32)
 )
 
-(invoke "even" (const.i32 13))  ;; 0 : i32
-(invoke "even" (const.i32 20))  ;; 1 : i32
-(invoke "odd" (const.i32 13))  ;; 1 : i32
-(invoke "odd" (const.i32 20))  ;; 0 : i32
+(asserteq (invoke "even" (const.i32 13)) (const.i32 0))
+(asserteq (invoke "even" (const.i32 20)) (const.i32 1))
+(asserteq (invoke "odd" (const.i32 13)) (const.i32 1))
+(asserteq (invoke "odd" (const.i32 20)) (const.i32 0))

ml-proto/test/forward.wasm

@@ -70,8 +70,9 @@
       (eq.f64 (getnear.f64 (const.i32 8)) (cast.i64.f64 (const.i64 -12345)))
       (return (const.f64 0))
     )
-    (setfarunaligneds.i16 (const.i64 3) (const.i32 -23423))
-    (return (getnear.f64 (const.i32 0)))
+    (setfarunaligneds.i64 (const.i64 9) (const.i64 0))
+    (setfarunaligneds.i16 (const.i64 15) (const.i32 16453))
+    (return (getnearunaligned.f64 (const.i32 9)))
   )
 
   (export "data" $data)
@@ -83,4 +84,4 @@
 (asserteq (invoke "data") (const.i32 1))
 (asserteq (invoke "aligned") (const.i32 1))
 (asserteq (invoke "unaligned") (const.i32 1))
-(invoke "cast")  ;; -3.10552331246e+231 : f64
+(asserteq (invoke "cast") (const.f64 42.0))