mirror of
https://github.com/fluencelabs/wasmer
synced 2025-06-29 16:41:33 +00:00
Call indirect fully working
This commit is contained in:
Syrus Akbary
779
spectests/call_indirect.wast
Normal file
779
spectests/call_indirect.wast
Normal file
@ -0,0 +1,779 @@
|
||||
;; Test `call_indirect` operator
|
||||
|
||||
(module
|
||||
;; Auxiliary definitions
|
||||
(type $proc (func))
|
||||
(type $out-i32 (func (result i32)))
|
||||
(type $out-i64 (func (result i64)))
|
||||
(type $out-f32 (func (result f32)))
|
||||
(type $out-f64 (func (result f64)))
|
||||
(type $over-i32 (func (param i32) (result i32)))
|
||||
(type $over-i64 (func (param i64) (result i64)))
|
||||
(type $over-f32 (func (param f32) (result f32)))
|
||||
(type $over-f64 (func (param f64) (result f64)))
|
||||
(type $f32-i32 (func (param f32 i32) (result i32)))
|
||||
(type $i32-i64 (func (param i32 i64) (result i64)))
|
||||
(type $f64-f32 (func (param f64 f32) (result f32)))
|
||||
(type $i64-f64 (func (param i64 f64) (result f64)))
|
||||
(type $over-i32-duplicate (func (param i32) (result i32)))
|
||||
(type $over-i64-duplicate (func (param i64) (result i64)))
|
||||
(type $over-f32-duplicate (func (param f32) (result f32)))
|
||||
(type $over-f64-duplicate (func (param f64) (result f64)))
|
||||
|
||||
(func $const-i32 (type $out-i32) (i32.const 0x132))
|
||||
(func $const-i64 (type $out-i64) (i64.const 0x164))
|
||||
(func $const-f32 (type $out-f32) (f32.const 0xf32))
|
||||
(func $const-f64 (type $out-f64) (f64.const 0xf64))
|
||||
|
||||
(func $id-i32 (type $over-i32) (get_local 0))
|
||||
(func $id-i64 (type $over-i64) (get_local 0))
|
||||
(func $id-f32 (type $over-f32) (get_local 0))
|
||||
(func $id-f64 (type $over-f64) (get_local 0))
|
||||
|
||||
(func $i32-i64 (type $i32-i64) (get_local 1))
|
||||
(func $i64-f64 (type $i64-f64) (get_local 1))
|
||||
(func $f32-i32 (type $f32-i32) (get_local 1))
|
||||
(func $f64-f32 (type $f64-f32) (get_local 1))
|
||||
|
||||
(func $over-i32-duplicate (type $over-i32-duplicate) (get_local 0))
|
||||
(func $over-i64-duplicate (type $over-i64-duplicate) (get_local 0))
|
||||
(func $over-f32-duplicate (type $over-f32-duplicate) (get_local 0))
|
||||
(func $over-f64-duplicate (type $over-f64-duplicate) (get_local 0))
|
||||
|
||||
(table anyfunc
|
||||
(elem
|
||||
$const-i32 $const-i64 $const-f32 $const-f64
|
||||
$id-i32 $id-i64 $id-f32 $id-f64
|
||||
$f32-i32 $i32-i64 $f64-f32 $i64-f64
|
||||
$fac-i64 $fib-i64 $even $odd
|
||||
$runaway $mutual-runaway1 $mutual-runaway2
|
||||
$over-i32-duplicate $over-i64-duplicate
|
||||
$over-f32-duplicate $over-f64-duplicate
|
||||
$fac-i32 $fac-f32 $fac-f64
|
||||
$fib-i32 $fib-f32 $fib-f64
|
||||
)
|
||||
)
|
||||
|
||||
;; Syntax
|
||||
|
||||
(func
|
||||
(call_indirect (i32.const 0))
|
||||
(call_indirect (param i64) (i64.const 0) (i32.const 0))
|
||||
(call_indirect (param i64) (param) (param f64 i32 i64)
|
||||
(i64.const 0) (f64.const 0) (i32.const 0) (i64.const 0) (i32.const 0)
|
||||
)
|
||||
(call_indirect (result) (i32.const 0))
|
||||
(drop (i32.eqz (call_indirect (result i32) (i32.const 0))))
|
||||
(drop (i32.eqz (call_indirect (result i32) (result) (i32.const 0))))
|
||||
(drop (i32.eqz
|
||||
(call_indirect (param i64) (result i32) (i64.const 0) (i32.const 0))
|
||||
))
|
||||
(drop (i32.eqz
|
||||
(call_indirect
|
||||
(param) (param i64) (param) (param f64 i32 i64) (param) (param)
|
||||
(result) (result i32) (result) (result)
|
||||
(i64.const 0) (f64.const 0) (i32.const 0) (i64.const 0) (i32.const 0)
|
||||
)
|
||||
))
|
||||
(drop (i64.eqz
|
||||
(call_indirect (type $over-i64) (param i64) (result i64)
|
||||
(i64.const 0) (i32.const 0)
|
||||
)
|
||||
))
|
||||
)
|
||||
|
||||
;; Typing
|
||||
|
||||
(func (export "type-i32") (result i32)
|
||||
(call_indirect (type $out-i32) (i32.const 0))
|
||||
)
|
||||
(func (export "type-i64") (result i64)
|
||||
(call_indirect (type $out-i64) (i32.const 1))
|
||||
)
|
||||
(func (export "type-f32") (result f32)
|
||||
(call_indirect (type $out-f32) (i32.const 2))
|
||||
)
|
||||
(func (export "type-f64") (result f64)
|
||||
(call_indirect (type $out-f64) (i32.const 3))
|
||||
)
|
||||
|
||||
(func (export "type-index") (result i64)
|
||||
(call_indirect (type $over-i64) (i64.const 100) (i32.const 5))
|
||||
)
|
||||
|
||||
(func (export "type-first-i32") (result i32)
|
||||
(call_indirect (type $over-i32) (i32.const 32) (i32.const 4))
|
||||
)
|
||||
(func (export "type-first-i64") (result i64)
|
||||
(call_indirect (type $over-i64) (i64.const 64) (i32.const 5))
|
||||
)
|
||||
(func (export "type-first-f32") (result f32)
|
||||
(call_indirect (type $over-f32) (f32.const 1.32) (i32.const 6))
|
||||
)
|
||||
(func (export "type-first-f64") (result f64)
|
||||
(call_indirect (type $over-f64) (f64.const 1.64) (i32.const 7))
|
||||
)
|
||||
|
||||
(func (export "type-second-i32") (result i32)
|
||||
(call_indirect (type $f32-i32) (f32.const 32.1) (i32.const 32) (i32.const 8))
|
||||
)
|
||||
(func (export "type-second-i64") (result i64)
|
||||
(call_indirect (type $i32-i64) (i32.const 32) (i64.const 64) (i32.const 9))
|
||||
)
|
||||
(func (export "type-second-f32") (result f32)
|
||||
(call_indirect (type $f64-f32) (f64.const 64) (f32.const 32) (i32.const 10))
|
||||
)
|
||||
(func (export "type-second-f64") (result f64)
|
||||
(call_indirect (type $i64-f64) (i64.const 64) (f64.const 64.1) (i32.const 11))
|
||||
)
|
||||
|
||||
;; Dispatch
|
||||
|
||||
(func (export "dispatch") (param i32 i64) (result i64)
|
||||
(call_indirect (type $over-i64) (get_local 1) (get_local 0))
|
||||
)
|
||||
|
||||
(func (export "dispatch-structural-i64") (param i32) (result i64)
|
||||
(call_indirect (type $over-i64-duplicate) (i64.const 9) (get_local 0))
|
||||
)
|
||||
(func (export "dispatch-structural-i32") (param i32) (result i32)
|
||||
(call_indirect (type $over-i32-duplicate) (i32.const 9) (get_local 0))
|
||||
)
|
||||
(func (export "dispatch-structural-f32") (param i32) (result f32)
|
||||
(call_indirect (type $over-f32-duplicate) (f32.const 9.0) (get_local 0))
|
||||
)
|
||||
(func (export "dispatch-structural-f64") (param i32) (result f64)
|
||||
(call_indirect (type $over-f64-duplicate) (f64.const 9.0) (get_local 0))
|
||||
)
|
||||
|
||||
;; Recursion
|
||||
|
||||
(func $fac-i64 (export "fac-i64") (type $over-i64)
|
||||
(if (result i64) (i64.eqz (get_local 0))
|
||||
(then (i64.const 1))
|
||||
(else
|
||||
(i64.mul
|
||||
(get_local 0)
|
||||
(call_indirect (type $over-i64)
|
||||
(i64.sub (get_local 0) (i64.const 1))
|
||||
(i32.const 12)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func $fib-i64 (export "fib-i64") (type $over-i64)
|
||||
(if (result i64) (i64.le_u (get_local 0) (i64.const 1))
|
||||
(then (i64.const 1))
|
||||
(else
|
||||
(i64.add
|
||||
(call_indirect (type $over-i64)
|
||||
(i64.sub (get_local 0) (i64.const 2))
|
||||
(i32.const 13)
|
||||
)
|
||||
(call_indirect (type $over-i64)
|
||||
(i64.sub (get_local 0) (i64.const 1))
|
||||
(i32.const 13)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func $fac-i32 (export "fac-i32") (type $over-i32)
|
||||
(if (result i32) (i32.eqz (get_local 0))
|
||||
(then (i32.const 1))
|
||||
(else
|
||||
(i32.mul
|
||||
(get_local 0)
|
||||
(call_indirect (type $over-i32)
|
||||
(i32.sub (get_local 0) (i32.const 1))
|
||||
(i32.const 23)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func $fac-f32 (export "fac-f32") (type $over-f32)
|
||||
(if (result f32) (f32.eq (get_local 0) (f32.const 0.0))
|
||||
(then (f32.const 1.0))
|
||||
(else
|
||||
(f32.mul
|
||||
(get_local 0)
|
||||
(call_indirect (type $over-f32)
|
||||
(f32.sub (get_local 0) (f32.const 1.0))
|
||||
(i32.const 24)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func $fac-f64 (export "fac-f64") (type $over-f64)
|
||||
(if (result f64) (f64.eq (get_local 0) (f64.const 0.0))
|
||||
(then (f64.const 1.0))
|
||||
(else
|
||||
(f64.mul
|
||||
(get_local 0)
|
||||
(call_indirect (type $over-f64)
|
||||
(f64.sub (get_local 0) (f64.const 1.0))
|
||||
(i32.const 25)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func $fib-i32 (export "fib-i32") (type $over-i32)
|
||||
(if (result i32) (i32.le_u (get_local 0) (i32.const 1))
|
||||
(then (i32.const 1))
|
||||
(else
|
||||
(i32.add
|
||||
(call_indirect (type $over-i32)
|
||||
(i32.sub (get_local 0) (i32.const 2))
|
||||
(i32.const 26)
|
||||
)
|
||||
(call_indirect (type $over-i32)
|
||||
(i32.sub (get_local 0) (i32.const 1))
|
||||
(i32.const 26)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func $fib-f32 (export "fib-f32") (type $over-f32)
|
||||
(if (result f32) (f32.le (get_local 0) (f32.const 1.0))
|
||||
(then (f32.const 1.0))
|
||||
(else
|
||||
(f32.add
|
||||
(call_indirect (type $over-f32)
|
||||
(f32.sub (get_local 0) (f32.const 2.0))
|
||||
(i32.const 27)
|
||||
)
|
||||
(call_indirect (type $over-f32)
|
||||
(f32.sub (get_local 0) (f32.const 1.0))
|
||||
(i32.const 27)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func $fib-f64 (export "fib-f64") (type $over-f64)
|
||||
(if (result f64) (f64.le (get_local 0) (f64.const 1.0))
|
||||
(then (f64.const 1.0))
|
||||
(else
|
||||
(f64.add
|
||||
(call_indirect (type $over-f64)
|
||||
(f64.sub (get_local 0) (f64.const 2.0))
|
||||
(i32.const 28)
|
||||
)
|
||||
(call_indirect (type $over-f64)
|
||||
(f64.sub (get_local 0) (f64.const 1.0))
|
||||
(i32.const 28)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
(func $even (export "even") (param i32) (result i32)
|
||||
(if (result i32) (i32.eqz (get_local 0))
|
||||
(then (i32.const 44))
|
||||
(else
|
||||
(call_indirect (type $over-i32)
|
||||
(i32.sub (get_local 0) (i32.const 1))
|
||||
(i32.const 15)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
(func $odd (export "odd") (param i32) (result i32)
|
||||
(if (result i32) (i32.eqz (get_local 0))
|
||||
(then (i32.const 99))
|
||||
(else
|
||||
(call_indirect (type $over-i32)
|
||||
(i32.sub (get_local 0) (i32.const 1))
|
||||
(i32.const 14)
|
||||
)
|
||||
)
|
||||
)
|
||||
)
|
||||
|
||||
;; Stack exhaustion
|
||||
|
||||
;; Implementations are required to have every call consume some abstract
|
||||
;; resource towards exhausting some abstract finite limit, such that
|
||||
;; infinitely recursive test cases reliably trap in finite time. This is
|
||||
;; because otherwise applications could come to depend on it on those
|
||||
;; implementations and be incompatible with implementations that don't do
|
||||
;; it (or don't do it under the same circumstances).
|
||||
|
||||
(func $runaway (export "runaway") (call_indirect (type $proc) (i32.const 16)))
|
||||
|
||||
(func $mutual-runaway1 (export "mutual-runaway") (call_indirect (type $proc) (i32.const 18)))
|
||||
(func $mutual-runaway2 (call_indirect (type $proc) (i32.const 17)))
|
||||
|
||||
;; As parameter of control constructs and instructions
|
||||
|
||||
(memory 1)
|
||||
|
||||
(func (export "as-select-first") (result i32)
|
||||
(select (call_indirect (type $out-i32) (i32.const 0)) (i32.const 2) (i32.const 3))
|
||||
)
|
||||
(func (export "as-select-mid") (result i32)
|
||||
(select (i32.const 2) (call_indirect (type $out-i32) (i32.const 0)) (i32.const 3))
|
||||
)
|
||||
(func (export "as-select-last") (result i32)
|
||||
(select (i32.const 2) (i32.const 3) (call_indirect (type $out-i32) (i32.const 0)))
|
||||
)
|
||||
|
||||
(func (export "as-if-condition") (result i32)
|
||||
(if (result i32) (call_indirect (type $out-i32) (i32.const 0)) (then (i32.const 1)) (else (i32.const 2)))
|
||||
)
|
||||
|
||||
(func (export "as-br_if-first") (result i64)
|
||||
(block (result i64) (br_if 0 (call_indirect (type $out-i64) (i32.const 1)) (i32.const 2)))
|
||||
)
|
||||
(func (export "as-br_if-last") (result i32)
|
||||
(block (result i32) (br_if 0 (i32.const 2) (call_indirect (type $out-i32) (i32.const 0))))
|
||||
)
|
||||
|
||||
(func (export "as-br_table-first") (result f32)
|
||||
(block (result f32) (call_indirect (type $out-f32) (i32.const 2)) (i32.const 2) (br_table 0 0))
|
||||
)
|
||||
(func (export "as-br_table-last") (result i32)
|
||||
(block (result i32) (i32.const 2) (call_indirect (type $out-i32) (i32.const 0)) (br_table 0 0))
|
||||
)
|
||||
|
||||
(func (export "as-store-first")
|
||||
(call_indirect (type $out-i32) (i32.const 0)) (i32.const 1) (i32.store)
|
||||
)
|
||||
(func (export "as-store-last")
|
||||
(i32.const 10) (call_indirect (type $out-f64) (i32.const 3)) (f64.store)
|
||||
)
|
||||
|
||||
(func (export "as-memory.grow-value") (result i32)
|
||||
(memory.grow (call_indirect (type $out-i32) (i32.const 0)))
|
||||
)
|
||||
(func (export "as-return-value") (result i32)
|
||||
(call_indirect (type $over-i32) (i32.const 1) (i32.const 4)) (return)
|
||||
)
|
||||
(func (export "as-drop-operand")
|
||||
(call_indirect (type $over-i64) (i64.const 1) (i32.const 5)) (drop)
|
||||
)
|
||||
(func (export "as-br-value") (result f32)
|
||||
(block (result f32) (br 0 (call_indirect (type $over-f32) (f32.const 1) (i32.const 6))))
|
||||
)
|
||||
(func (export "as-set_local-value") (result f64)
|
||||
(local f64) (set_local 0 (call_indirect (type $over-f64) (f64.const 1) (i32.const 7))) (get_local 0)
|
||||
)
|
||||
(func (export "as-load-operand") (result i32)
|
||||
(i32.load (call_indirect (type $out-i32) (i32.const 0)))
|
||||
)
|
||||
)
|
||||
|
||||
(assert_return (invoke "type-i32") (i32.const 0x132))
|
||||
(assert_return (invoke "type-i64") (i64.const 0x164))
|
||||
(assert_return (invoke "type-f32") (f32.const 0xf32))
|
||||
(assert_return (invoke "type-f64") (f64.const 0xf64))
|
||||
|
||||
(assert_return (invoke "type-index") (i64.const 100))
|
||||
|
||||
(assert_return (invoke "type-first-i32") (i32.const 32))
|
||||
(assert_return (invoke "type-first-i64") (i64.const 64))
|
||||
(assert_return (invoke "type-first-f32") (f32.const 1.32))
|
||||
(assert_return (invoke "type-first-f64") (f64.const 1.64))
|
||||
|
||||
(assert_return (invoke "type-second-i32") (i32.const 32))
|
||||
(assert_return (invoke "type-second-i64") (i64.const 64))
|
||||
(assert_return (invoke "type-second-f32") (f32.const 32))
|
||||
(assert_return (invoke "type-second-f64") (f64.const 64.1))
|
||||
|
||||
(assert_return (invoke "dispatch" (i32.const 5) (i64.const 2)) (i64.const 2))
|
||||
(assert_return (invoke "dispatch" (i32.const 5) (i64.const 5)) (i64.const 5))
|
||||
(assert_return (invoke "dispatch" (i32.const 12) (i64.const 5)) (i64.const 120))
|
||||
(assert_return (invoke "dispatch" (i32.const 13) (i64.const 5)) (i64.const 8))
|
||||
(assert_return (invoke "dispatch" (i32.const 20) (i64.const 2)) (i64.const 2))
|
||||
(assert_trap (invoke "dispatch" (i32.const 0) (i64.const 2)) "indirect call type mismatch")
|
||||
(assert_trap (invoke "dispatch" (i32.const 15) (i64.const 2)) "indirect call type mismatch")
|
||||
(assert_trap (invoke "dispatch" (i32.const 29) (i64.const 2)) "undefined element")
|
||||
(assert_trap (invoke "dispatch" (i32.const -1) (i64.const 2)) "undefined element")
|
||||
(assert_trap (invoke "dispatch" (i32.const 1213432423) (i64.const 2)) "undefined element")
|
||||
|
||||
(assert_return (invoke "dispatch-structural-i64" (i32.const 5)) (i64.const 9))
|
||||
(assert_return (invoke "dispatch-structural-i64" (i32.const 12)) (i64.const 362880))
|
||||
(assert_return (invoke "dispatch-structural-i64" (i32.const 13)) (i64.const 55))
|
||||
(assert_return (invoke "dispatch-structural-i64" (i32.const 20)) (i64.const 9))
|
||||
(assert_trap (invoke "dispatch-structural-i64" (i32.const 11)) "indirect call type mismatch")
|
||||
(assert_trap (invoke "dispatch-structural-i64" (i32.const 22)) "indirect call type mismatch")
|
||||
|
||||
(assert_return (invoke "dispatch-structural-i32" (i32.const 4)) (i32.const 9))
|
||||
(assert_return (invoke "dispatch-structural-i32" (i32.const 23)) (i32.const 362880))
|
||||
(assert_return (invoke "dispatch-structural-i32" (i32.const 26)) (i32.const 55))
|
||||
(assert_return (invoke "dispatch-structural-i32" (i32.const 19)) (i32.const 9))
|
||||
(assert_trap (invoke "dispatch-structural-i32" (i32.const 9)) "indirect call type mismatch")
|
||||
(assert_trap (invoke "dispatch-structural-i32" (i32.const 21)) "indirect call type mismatch")
|
||||
|
||||
(assert_return (invoke "dispatch-structural-f32" (i32.const 6)) (f32.const 9.0))
|
||||
(assert_return (invoke "dispatch-structural-f32" (i32.const 24)) (f32.const 362880.0))
|
||||
(assert_return (invoke "dispatch-structural-f32" (i32.const 27)) (f32.const 55.0))
|
||||
(assert_return (invoke "dispatch-structural-f32" (i32.const 21)) (f32.const 9.0))
|
||||
(assert_trap (invoke "dispatch-structural-f32" (i32.const 8)) "indirect call type mismatch")
|
||||
(assert_trap (invoke "dispatch-structural-f32" (i32.const 19)) "indirect call type mismatch")
|
||||
|
||||
(assert_return (invoke "dispatch-structural-f64" (i32.const 7)) (f64.const 9.0))
|
||||
(assert_return (invoke "dispatch-structural-f64" (i32.const 25)) (f64.const 362880.0))
|
||||
(assert_return (invoke "dispatch-structural-f64" (i32.const 28)) (f64.const 55.0))
|
||||
(assert_return (invoke "dispatch-structural-f64" (i32.const 22)) (f64.const 9.0))
|
||||
(assert_trap (invoke "dispatch-structural-f64" (i32.const 10)) "indirect call type mismatch")
|
||||
(assert_trap (invoke "dispatch-structural-f64" (i32.const 18)) "indirect call type mismatch")
|
||||
|
||||
(assert_return (invoke "fac-i64" (i64.const 0)) (i64.const 1))
|
||||
(assert_return (invoke "fac-i64" (i64.const 1)) (i64.const 1))
|
||||
(assert_return (invoke "fac-i64" (i64.const 5)) (i64.const 120))
|
||||
(assert_return (invoke "fac-i64" (i64.const 25)) (i64.const 7034535277573963776))
|
||||
|
||||
(assert_return (invoke "fac-i32" (i32.const 0)) (i32.const 1))
|
||||
(assert_return (invoke "fac-i32" (i32.const 1)) (i32.const 1))
|
||||
(assert_return (invoke "fac-i32" (i32.const 5)) (i32.const 120))
|
||||
(assert_return (invoke "fac-i32" (i32.const 10)) (i32.const 3628800))
|
||||
|
||||
(assert_return (invoke "fac-f32" (f32.const 0.0)) (f32.const 1.0))
|
||||
(assert_return (invoke "fac-f32" (f32.const 1.0)) (f32.const 1.0))
|
||||
(assert_return (invoke "fac-f32" (f32.const 5.0)) (f32.const 120.0))
|
||||
(assert_return (invoke "fac-f32" (f32.const 10.0)) (f32.const 3628800.0))
|
||||
|
||||
(assert_return (invoke "fac-f64" (f64.const 0.0)) (f64.const 1.0))
|
||||
(assert_return (invoke "fac-f64" (f64.const 1.0)) (f64.const 1.0))
|
||||
(assert_return (invoke "fac-f64" (f64.const 5.0)) (f64.const 120.0))
|
||||
(assert_return (invoke "fac-f64" (f64.const 10.0)) (f64.const 3628800.0))
|
||||
|
||||
(assert_return (invoke "fib-i64" (i64.const 0)) (i64.const 1))
|
||||
(assert_return (invoke "fib-i64" (i64.const 1)) (i64.const 1))
|
||||
(assert_return (invoke "fib-i64" (i64.const 2)) (i64.const 2))
|
||||
(assert_return (invoke "fib-i64" (i64.const 5)) (i64.const 8))
|
||||
(assert_return (invoke "fib-i64" (i64.const 20)) (i64.const 10946))
|
||||
|
||||
(assert_return (invoke "fib-i32" (i32.const 0)) (i32.const 1))
|
||||
(assert_return (invoke "fib-i32" (i32.const 1)) (i32.const 1))
|
||||
(assert_return (invoke "fib-i32" (i32.const 2)) (i32.const 2))
|
||||
(assert_return (invoke "fib-i32" (i32.const 5)) (i32.const 8))
|
||||
(assert_return (invoke "fib-i32" (i32.const 20)) (i32.const 10946))
|
||||
|
||||
(assert_return (invoke "fib-f32" (f32.const 0.0)) (f32.const 1.0))
|
||||
(assert_return (invoke "fib-f32" (f32.const 1.0)) (f32.const 1.0))
|
||||
(assert_return (invoke "fib-f32" (f32.const 2.0)) (f32.const 2.0))
|
||||
(assert_return (invoke "fib-f32" (f32.const 5.0)) (f32.const 8.0))
|
||||
(assert_return (invoke "fib-f32" (f32.const 20.0)) (f32.const 10946.0))
|
||||
|
||||
(assert_return (invoke "fib-f64" (f64.const 0.0)) (f64.const 1.0))
|
||||
(assert_return (invoke "fib-f64" (f64.const 1.0)) (f64.const 1.0))
|
||||
(assert_return (invoke "fib-f64" (f64.const 2.0)) (f64.const 2.0))
|
||||
(assert_return (invoke "fib-f64" (f64.const 5.0)) (f64.const 8.0))
|
||||
(assert_return (invoke "fib-f64" (f64.const 20.0)) (f64.const 10946.0))
|
||||
|
||||
(assert_return (invoke "even" (i32.const 0)) (i32.const 44))
|
||||
(assert_return (invoke "even" (i32.const 1)) (i32.const 99))
|
||||
(assert_return (invoke "even" (i32.const 100)) (i32.const 44))
|
||||
(assert_return (invoke "even" (i32.const 77)) (i32.const 99))
|
||||
(assert_return (invoke "odd" (i32.const 0)) (i32.const 99))
|
||||
(assert_return (invoke "odd" (i32.const 1)) (i32.const 44))
|
||||
(assert_return (invoke "odd" (i32.const 200)) (i32.const 99))
|
||||
(assert_return (invoke "odd" (i32.const 77)) (i32.const 44))
|
||||
|
||||
(assert_exhaustion (invoke "runaway") "call stack exhausted")
|
||||
(assert_exhaustion (invoke "mutual-runaway") "call stack exhausted")
|
||||
|
||||
(assert_return (invoke "as-select-first") (i32.const 0x132))
|
||||
(assert_return (invoke "as-select-mid") (i32.const 2))
|
||||
(assert_return (invoke "as-select-last") (i32.const 2))
|
||||
|
||||
(assert_return (invoke "as-if-condition") (i32.const 1))
|
||||
|
||||
(assert_return (invoke "as-br_if-first") (i64.const 0x164))
|
||||
(assert_return (invoke "as-br_if-last") (i32.const 2))
|
||||
|
||||
(assert_return (invoke "as-br_table-first") (f32.const 0xf32))
|
||||
(assert_return (invoke "as-br_table-last") (i32.const 2))
|
||||
|
||||
;; (assert_return (invoke "as-store-first"))
|
||||
;; (assert_return (invoke "as-store-last"))
|
||||
|
||||
;; (assert_return (invoke "as-memory.grow-value") (i32.const 1))
|
||||
(assert_return (invoke "as-return-value") (i32.const 1))
|
||||
(assert_return (invoke "as-drop-operand"))
|
||||
(assert_return (invoke "as-br-value") (f32.const 1))
|
||||
(assert_return (invoke "as-set_local-value") (f64.const 1))
|
||||
;; (assert_return (invoke "as-load-operand") (i32.const 1))
|
||||
|
||||
;; Invalid syntax
|
||||
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func (param i32) (result i32)))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (type $sig) (result i32) (param i32)"
|
||||
" (i32.const 0) (i32.const 0)"
|
||||
" )"
|
||||
")"
|
||||
)
|
||||
"unexpected token"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func (param i32) (result i32)))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (param i32) (type $sig) (result i32)"
|
||||
" (i32.const 0) (i32.const 0)"
|
||||
" )"
|
||||
")"
|
||||
)
|
||||
"unexpected token"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func (param i32) (result i32)))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (param i32) (result i32) (type $sig)"
|
||||
" (i32.const 0) (i32.const 0)"
|
||||
" )"
|
||||
")"
|
||||
)
|
||||
"unexpected token"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func (param i32) (result i32)))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (result i32) (type $sig) (param i32)"
|
||||
" (i32.const 0) (i32.const 0)"
|
||||
" )"
|
||||
")"
|
||||
)
|
||||
"unexpected token"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func (param i32) (result i32)))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (result i32) (param i32) (type $sig)"
|
||||
" (i32.const 0) (i32.const 0)"
|
||||
" )"
|
||||
")"
|
||||
)
|
||||
"unexpected token"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (result i32) (param i32) (i32.const 0) (i32.const 0))"
|
||||
")"
|
||||
)
|
||||
"unexpected token"
|
||||
)
|
||||
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(table 0 anyfunc)"
|
||||
"(func (call_indirect (param $x i32) (i32.const 0) (i32.const 0)))"
|
||||
)
|
||||
"unexpected token"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (type $sig) (result i32) (i32.const 0))"
|
||||
")"
|
||||
)
|
||||
"inline function type"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func (param i32) (result i32)))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (type $sig) (result i32) (i32.const 0))"
|
||||
")"
|
||||
)
|
||||
"inline function type"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func (param i32) (result i32)))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func"
|
||||
" (call_indirect (type $sig) (param i32) (i32.const 0) (i32.const 0))"
|
||||
")"
|
||||
)
|
||||
"inline function type"
|
||||
)
|
||||
(assert_malformed
|
||||
(module quote
|
||||
"(type $sig (func (param i32 i32) (result i32)))"
|
||||
"(table 0 anyfunc)"
|
||||
"(func (result i32)"
|
||||
" (call_indirect (type $sig) (param i32) (result i32)"
|
||||
" (i32.const 0) (i32.const 0)"
|
||||
" )"
|
||||
")"
|
||||
)
|
||||
"inline function type"
|
||||
)
|
||||
|
||||
;; Invalid typing
|
||||
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func))
|
||||
(func $no-table (call_indirect (type 0) (i32.const 0)))
|
||||
)
|
||||
"unknown table"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func))
|
||||
(table 0 anyfunc)
|
||||
(func $type-void-vs-num (i32.eqz (call_indirect (type 0) (i32.const 0))))
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (result i64)))
|
||||
(table 0 anyfunc)
|
||||
(func $type-num-vs-num (i32.eqz (call_indirect (type 0) (i32.const 0))))
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param i32)))
|
||||
(table 0 anyfunc)
|
||||
(func $arity-0-vs-1 (call_indirect (type 0) (i32.const 0)))
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param f64 i32)))
|
||||
(table 0 anyfunc)
|
||||
(func $arity-0-vs-2 (call_indirect (type 0) (i32.const 0)))
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func))
|
||||
(table 0 anyfunc)
|
||||
(func $arity-1-vs-0 (call_indirect (type 0) (i32.const 1) (i32.const 0)))
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func))
|
||||
(table 0 anyfunc)
|
||||
(func $arity-2-vs-0
|
||||
(call_indirect (type 0) (f64.const 2) (i32.const 1) (i32.const 0))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param i32)))
|
||||
(table 0 anyfunc)
|
||||
(func $type-func-void-vs-i32 (call_indirect (type 0) (i32.const 1) (nop)))
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param i32)))
|
||||
(table 0 anyfunc)
|
||||
(func $type-func-num-vs-i32 (call_indirect (type 0) (i32.const 0) (i64.const 1)))
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param i32 i32)))
|
||||
(table 0 anyfunc)
|
||||
(func $type-first-void-vs-num
|
||||
(call_indirect (type 0) (nop) (i32.const 1) (i32.const 0))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param i32 i32)))
|
||||
(table 0 anyfunc)
|
||||
(func $type-second-void-vs-num
|
||||
(call_indirect (type 0) (i32.const 1) (nop) (i32.const 0))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param i32 f64)))
|
||||
(table 0 anyfunc)
|
||||
(func $type-first-num-vs-num
|
||||
(call_indirect (type 0) (f64.const 1) (i32.const 1) (i32.const 0))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(type (func (param f64 i32)))
|
||||
(table 0 anyfunc)
|
||||
(func $type-second-num-vs-num
|
||||
(call_indirect (type 0) (i32.const 1) (f64.const 1) (i32.const 0))
|
||||
)
|
||||
)
|
||||
"type mismatch"
|
||||
)
|
||||
|
||||
|
||||
;; Unbound type
|
||||
|
||||
(assert_invalid
|
||||
(module
|
||||
(table 0 anyfunc)
|
||||
(func $unbound-type (call_indirect (type 1) (i32.const 0)))
|
||||
)
|
||||
"unknown type"
|
||||
)
|
||||
(assert_invalid
|
||||
(module
|
||||
(table 0 anyfunc)
|
||||
(func $large-type (call_indirect (type 1012321300) (i32.const 0)))
|
||||
)
|
||||
"unknown type"
|
||||
)
|
||||
|
||||
|
||||
;; Unbound function in table
|
||||
|
||||
(assert_invalid
|
||||
(module (table anyfunc (elem 0 0)))
|
||||
"unknown function 0"
|
||||
)
|
||||
@ -8,9 +8,10 @@ use wabt::wasm2wat;
|
||||
static BANNER: &str = "// Rust test file autogenerated with cargo build (src/build_spectests.rs).
|
||||
// Please do NOT modify it by hand, as it will be reseted on next build.\n";
|
||||
|
||||
const TESTS: [&str; 6] = [
|
||||
const TESTS: [&str; 7] = [
|
||||
"spectests/br_if.wast",
|
||||
"spectests/call.wast",
|
||||
"spectests/call_indirect.wast",
|
||||
"spectests/i32_.wast",
|
||||
"spectests/memory.wast",
|
||||
"spectests/set_local.wast",
|
||||
|
||||
@ -1,32 +1,32 @@
|
||||
use crate::webassembly::{ImportObject, VmCtx};
|
||||
// use libc::putchar;
|
||||
use libc::putchar;
|
||||
|
||||
extern fn putchar(a: *const u8, context: *const u8) {
|
||||
println!("PUT CHAAAR original pointer {:?}", context);
|
||||
let vmctx: &VmCtx = unsafe { &*(context as *const VmCtx) };
|
||||
println!("PUT CHAAAR {}", vmctx.test);
|
||||
println!("PUT CHAAAR pointer {:p}", vmctx);
|
||||
let x = vmctx as *const _;
|
||||
let x_tables = vmctx.tables.as_ptr();
|
||||
let tables_ptr_1 = (&vmctx.tables) as *const _;
|
||||
let tables_ptr_2 = unsafe { (&vmctx.tables.get_unchecked(0)) as *const _ };
|
||||
let tables_ptr_3 = &vmctx.tables as *const _ ;
|
||||
let tables_ptr_4 = &vmctx.tables as *const _ ;
|
||||
// let tables: &Vec<Vec<usize>> = unsafe { &*(tables_ptr_4 as *const Vec<Vec<usize>>) };
|
||||
let x_tables_serial: &Vec<*const usize> = unsafe { &*(tables_ptr_1 as *const Vec<*const usize>) };
|
||||
// let tables: &Vec<> = vmctx.tables as &Vec<Vec<usize>>;
|
||||
println!("PUT CHAAAR pointer {:?}", x);
|
||||
println!("PUT CHAAAR pointer 1 {:p}", &vmctx.tables);
|
||||
println!("PUT CHAAAR pointer 2 {:p}", tables_ptr_1);
|
||||
println!("PUT CHAAAR pointer 3 (0) {:p}", tables_ptr_2);
|
||||
println!("PUT CHAAAR pointer 3 (0) {:p}", tables_ptr_3);
|
||||
// println!("PUT CHAAAR pointer 4 (0) {:p} {:?}", tables_ptr_4, tables);
|
||||
// println!("PUT CHAAAR pointer 4 (0) {:p} {:?}", &vmctx.tables, vmctx.tables);
|
||||
// println!("PUT CHAAAR pointer 4 (0) {:p} {:?}", &vmctx.tables[0], vmctx.tables[0]);
|
||||
println!("PUT CHAAAR pointer {:?} {:?}", x_tables, x_tables_serial);
|
||||
let x_tables = vmctx.tables.as_ptr();
|
||||
println!("PUT CHAAAR pointer {:?}", x_tables);
|
||||
}
|
||||
// extern fn putchar(a: *const u8, context: *const u8) {
|
||||
// println!("PUT CHAAAR original pointer {:?}", context);
|
||||
// let vmctx: &VmCtx = unsafe { &*(context as *const VmCtx) };
|
||||
// println!("PUT CHAAAR {}", vmctx.test);
|
||||
// println!("PUT CHAAAR pointer {:p}", vmctx);
|
||||
// let x = vmctx as *const _;
|
||||
// let x_tables = vmctx.tables.as_ptr();
|
||||
// let tables_ptr_1 = (&vmctx.tables) as *const _;
|
||||
// let tables_ptr_2 = unsafe { (&vmctx.tables.get_unchecked(0)) as *const _ };
|
||||
// let tables_ptr_3 = &vmctx.tables as *const _ ;
|
||||
// let tables_ptr_4 = &vmctx.tables as *const _ ;
|
||||
// // let tables: &Vec<Vec<usize>> = unsafe { &*(tables_ptr_4 as *const Vec<Vec<usize>>) };
|
||||
// let x_tables_serial: &Vec<*const usize> = unsafe { &*(tables_ptr_1 as *const Vec<*const usize>) };
|
||||
// // let tables: &Vec<> = vmctx.tables as &Vec<Vec<usize>>;
|
||||
// println!("PUT CHAAAR pointer {:?}", x);
|
||||
// println!("PUT CHAAAR pointer 1 {:p}", &vmctx.tables);
|
||||
// println!("PUT CHAAAR pointer 2 {:p}", tables_ptr_1);
|
||||
// println!("PUT CHAAAR pointer 3 (0) {:p}", tables_ptr_2);
|
||||
// println!("PUT CHAAAR pointer 3 (0) {:p}", tables_ptr_3);
|
||||
// // println!("PUT CHAAAR pointer 4 (0) {:p} {:?}", tables_ptr_4, tables);
|
||||
// // println!("PUT CHAAAR pointer 4 (0) {:p} {:?}", &vmctx.tables, vmctx.tables);
|
||||
// // println!("PUT CHAAAR pointer 4 (0) {:p} {:?}", &vmctx.tables[0], vmctx.tables[0]);
|
||||
// println!("PUT CHAAAR pointer {:?} {:?}", x_tables, x_tables_serial);
|
||||
// let x_tables = vmctx.tables.as_ptr();
|
||||
// println!("PUT CHAAAR pointer {:?}", x_tables);
|
||||
// }
|
||||
|
||||
pub fn generate_libc_env<'a, 'b>() -> ImportObject<&'a str, &'b str> {
|
||||
let mut import_object = ImportObject::new();
|
||||
|
||||
38
src/main.rs
38
src/main.rs
@ -15,6 +15,10 @@ extern crate target_lexicon;
|
||||
extern crate spin;
|
||||
|
||||
use std::time::{Duration, Instant};
|
||||
use std::alloc::System;
|
||||
|
||||
// #[global_allocator]
|
||||
// static A: System = System;
|
||||
|
||||
// #[macro_use] extern crate log;
|
||||
|
||||
@ -81,40 +85,8 @@ fn execute_wasm(wasm_path: PathBuf) -> Result<(), String> {
|
||||
_ => panic!("Main function not found"),
|
||||
});
|
||||
let main: fn(&webassembly::VmCtx) = get_instance_function!(instance, func_index);
|
||||
let mainn_func_index = match module.info.exports.get("mainn") {
|
||||
Some(&webassembly::Export::Function(index)) => index,
|
||||
_ => panic!("Mainn function not found"),
|
||||
};
|
||||
let mainn: fn(*const usize) -> i32 = get_instance_function!(instance, mainn_func_index);
|
||||
let context = &instance.generate_context();
|
||||
let pointer_context = &context as *const _;
|
||||
// println!("Context ptr {:p}", context);
|
||||
println!("Context ptr {:?}", pointer_context);
|
||||
// println!("Context ptr {:?}", &context as *const _);
|
||||
// println!("Memories ptr {:?}", context.memories.as_ptr());
|
||||
let pointer_tables = &context.tables as *const _;
|
||||
println!("Tables ptr {:?}", pointer_tables);
|
||||
println!("Tables ptr {:p}", pointer_tables);
|
||||
let ref tables_ptr_2 = unsafe { (&*pointer_tables as *const _) };
|
||||
println!("Tables ptr {:?}", tables_ptr_2);
|
||||
println!("DIFF {:?}", (pointer_tables as usize-pointer_context as usize));
|
||||
// println!("Tables ptr {:?}", context.tables.as_ptr());
|
||||
// println!("Tables ptr {:?}", &context.tables as *const _);
|
||||
// println!("Tables ptr {:?}", &context.tables as *const _);
|
||||
// println!("User data ptr {:?}", &context.user_data as *const _);
|
||||
// println!("Globals ptr {:?}", &context.globals as *const _);
|
||||
// println!("Memories ptr {:?}", &context.memories as *const _);
|
||||
// println!("Tables ptr {:?}", &context.tables as *const _);
|
||||
// unsafe {
|
||||
// println!("Tables 0 ptr {:p}", &context.tables.get_unchecked(0));
|
||||
// println!("Tables 0 ptr {:p}", &context.tables.get_unchecked(0).get(0));
|
||||
// }
|
||||
let table_ptr = &context.tables as *const _;
|
||||
// let table: &Ta
|
||||
let context = instance.generate_context();
|
||||
main(&context);
|
||||
println!("-------------NOW MAINN----------");
|
||||
let res = mainn(pointer_context as *const usize);
|
||||
println!("RESULT {:?}", res);
|
||||
Ok(())
|
||||
}
|
||||
|
||||
|
||||
2028
src/spectests/call_indirect.rs
Normal file
2028
src/spectests/call_indirect.rs
Normal file
File diff suppressed because it is too large
Load Diff
@ -3,6 +3,7 @@
|
||||
|
||||
mod br_if;
|
||||
mod call;
|
||||
mod call_indirect;
|
||||
mod i32_;
|
||||
mod memory;
|
||||
mod set_local;
|
||||
|
||||
@ -70,13 +70,12 @@ fn get_function_addr(
|
||||
|
||||
|
||||
// #[derive(Debug)]
|
||||
#[repr(C)]
|
||||
#[repr(C, packed)]
|
||||
pub struct VmCtx<'phantom> {
|
||||
pub user_data: UserData,
|
||||
pub globals: UncheckedSlice<u8>,
|
||||
pub memories: UncheckedSlice<UncheckedSlice<u8>>,
|
||||
pub tables: UncheckedSlice<BoundedSlice<usize>>,
|
||||
pub test: String,
|
||||
globals: UncheckedSlice<u8>,
|
||||
memories: UncheckedSlice<UncheckedSlice<u8>>,
|
||||
tables: UncheckedSlice<BoundedSlice<usize>>,
|
||||
// globals: Vec<u8>,
|
||||
// memories: Vec<Vec<u8>>,
|
||||
// pub tables: Vec<Vec<usize>>,
|
||||
@ -84,7 +83,7 @@ pub struct VmCtx<'phantom> {
|
||||
}
|
||||
|
||||
// #[derive(Debug)]
|
||||
#[repr(C)]
|
||||
#[repr(C, packed)]
|
||||
pub struct UserData {
|
||||
// pub process: Dispatch<Process>,
|
||||
pub instance: Instance,
|
||||
@ -507,14 +506,12 @@ impl Instance {
|
||||
}
|
||||
|
||||
pub fn generate_context(&mut self) -> VmCtx {
|
||||
let mut memories: Vec<UncheckedSlice<u8>> = self.memories.iter().map(|mem| mem[..].into()).collect();
|
||||
|
||||
let memories: Vec<UncheckedSlice<u8>> = self.memories.iter().map(|mem| mem[..].into()).collect();
|
||||
let tables: Vec<BoundedSlice<usize>> = self.tables.iter().map(|table| table[..].into()).collect();
|
||||
|
||||
println!("GENERATING CONTEXT {:?}", self.tables);
|
||||
|
||||
let globals: UncheckedSlice<u8> = self.globals[..].into();
|
||||
|
||||
// println!("GENERATING CONTEXT {:?}", self.tables);
|
||||
|
||||
// assert!(memories.len() >= 1, "modules must have at least one memory");
|
||||
// the first memory has a space of `mem::size_of::<VmCtxData>()` rounded
|
||||
// up to the 4KiB before it. We write the VmCtxData into that.
|
||||
@ -527,7 +524,6 @@ impl Instance {
|
||||
// process,
|
||||
instance: instance,
|
||||
},
|
||||
test: "TEST".to_string(),
|
||||
phantom: PhantomData,
|
||||
};
|
||||
data
|
||||
|
||||
@ -411,11 +411,11 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> {
|
||||
let ptr_size = self.ptr_size();
|
||||
|
||||
// Given a vmctx, we want to retrieve vmctx.tables
|
||||
// Create a table whose base address is stored at `vmctx+120`.
|
||||
// 120 is the offset of the vmctx.tables pointer respect to vmctx pointer
|
||||
// Create a table whose base address is stored at `vmctx+112`.
|
||||
// 112 is the offset of the vmctx.tables pointer respect to vmctx pointer
|
||||
let base = func.create_global_value(ir::GlobalValueData::Load {
|
||||
base: vmctx,
|
||||
offset: Offset32::new(120),
|
||||
offset: Offset32::new(112),
|
||||
global_type: self.pointer_type(),
|
||||
});
|
||||
|
||||
@ -438,10 +438,10 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> {
|
||||
base_gv: base_gv,
|
||||
min_size: Imm64::new(0),
|
||||
bound_gv,
|
||||
element_size: Imm64::new(i64::from(self.pointer_bytes()) * 2),
|
||||
element_size: Imm64::new(i64::from(self.pointer_bytes())),
|
||||
index_type: self.pointer_type(),
|
||||
});
|
||||
println!("FUNC {:?}", func);
|
||||
// println!("FUNC {:?}", func);
|
||||
table
|
||||
// let ptr_size = self.ptr_size();
|
||||
|
||||
@ -562,7 +562,7 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> {
|
||||
.CallIndirect(ir::Opcode::CallIndirect, INVALID, sig_ref, args)
|
||||
.0;
|
||||
|
||||
println!("FUNC {:?}", pos.func);
|
||||
// println!("FUNC {:?}", pos.func);
|
||||
|
||||
Ok(inst)
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user