ChakraCore/test/wasm/basic.wast

;;-------------------------------------------------------------------------------------------------------
;; Copyright (C) Microsoft. All rights reserved.
;; Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
;;-------------------------------------------------------------------------------------------------------
(module
    (type $t1 (func (result i32)))
    (type $t2 (func (param i32) (result i32)))
    (import "test" "foo" (func $foo (type $t2)))

    (memory (export "memory") 5000 5000)
    (func $f1 (type $t1)
        (return (i32.const 2))
    )
    (func $f2 (export "a") (type $t2) (local f32)
        (if (i32.ge_s (i32.const 26) (i32.const 25))
            (set_local 0 (i32.add (get_local 0) (i32.const 4)))
        )
        (set_local 0 (i32.add (get_local 0) (call_indirect $t1 (i32.const 0))))
        (if_else (i32.ge_s (i32.const 22) (i32.const 25))
            (set_local 0 (i32.add (get_local 0) (i32.const 4)))
            (set_local 0 (i32.sub (get_local 0) (i32.const 5)))
        )
        (block
            (set_local 0 (i32.add (get_local 0) (i32.const 4)))
            (set_local 0 (i32.add (get_local 0) (i32.clz (get_local 0))))
            (set_local 0 (i32.add (get_local 0) (call $f1)))
            (br_if 0 (select (f32.ne (get_local 1) (get_local 1)) (i32.const 0) (i32.const 1)))
            (set_local 0 (i32.add (get_local 0) (i32.const 4)))
        )
        (call $foo (get_local 0))
        (i32.store (get_local 0) (i32.add (get_local 0) (i32.const 7)))
        (set_local 0 (i32.load (get_local 0)))
        (set_local 1 (f32.convert_s/i32 (get_local 0)))
        (set_local 1 (f32.add (get_local 1) (get_local 1)))
        (set_local 0 (i32.reinterpret/f32 (get_local 1)))
        (set_local 0 (i32.add (get_local 0) (call $foo (get_local 0))))
        (return (i32.add (get_local 0) (i32.const 42)))
    )
    (table anyfunc (elem $f1 $f2))
)