Add a test for calling a function from an array

Author: CountBleck

tests/compiler/function-array.debug.wat

@@ -0,0 +1,241 @@
+(module
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (type $i32_i32_i32_i32_=>_none (func (param i32 i32 i32 i32)))
+ (import "env" "abort" (func $~lib/builtins/abort (param i32 i32 i32 i32)))
+ (global $function-array/funcD i32 (i32.const 32))
+ (global $function-array/funcE i32 (i32.const 64))
+ (global $function-array/funcs i32 (i32.const 240))
+ (global $function-array/results i32 (i32.const 336))
+ (global $~lib/shared/runtime/Runtime.Stub i32 (i32.const 0))
+ (global $~lib/shared/runtime/Runtime.Minimal i32 (i32.const 1))
+ (global $~lib/shared/runtime/Runtime.Incremental i32 (i32.const 2))
+ (global $~argumentsLength (mut i32) (i32.const 0))
+ (global $~lib/memory/__data_end i32 (i32.const 668))
+ (global $~lib/memory/__stack_pointer (mut i32) (i32.const 17052))
+ (global $~lib/memory/__heap_base i32 (i32.const 17052))
+ (memory $0 1)
+ (data (i32.const 12) "\1c\00\00\00\00\00\00\00\00\00\00\00\03\00\00\00\08\00\00\00\01\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 44) "\1c\00\00\00\00\00\00\00\00\00\00\00\03\00\00\00\08\00\00\00\02\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 76) "\1c\00\00\00\00\00\00\00\00\00\00\00\03\00\00\00\08\00\00\00\03\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 108) "\1c\00\00\00\00\00\00\00\00\00\00\00\03\00\00\00\08\00\00\00\04\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 140) "\1c\00\00\00\00\00\00\00\00\00\00\00\03\00\00\00\08\00\00\00\05\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 172) ",\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\14\00\00\00`\00\00\00\80\00\00\00\a0\00\00\00 \00\00\00@\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 220) ",\00\00\00\00\00\00\00\00\00\00\00\04\00\00\00\10\00\00\00\c0\00\00\00\c0\00\00\00\14\00\00\00\05\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 268) ",\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\14\00\00\00q\01\00\00|\00\00\00=\00\00\00\08\00\00\00t\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 316) ",\00\00\00\00\00\00\00\00\00\00\00\05\00\00\00\10\00\00\00 \01\00\00 \01\00\00\14\00\00\00\05\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 364) "<\00\00\00\00\00\00\00\00\00\00\00\01\00\00\00$\00\00\00I\00n\00d\00e\00x\00 \00o\00u\00t\00 \00o\00f\00 \00r\00a\00n\00g\00e\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 428) ",\00\00\00\00\00\00\00\00\00\00\00\01\00\00\00\1a\00\00\00~\00l\00i\00b\00/\00a\00r\00r\00a\00y\00.\00t\00s\00\00\00")
+ (data (i32.const 476) "|\00\00\00\00\00\00\00\00\00\00\00\01\00\00\00^\00\00\00E\00l\00e\00m\00e\00n\00t\00 \00t\00y\00p\00e\00 \00m\00u\00s\00t\00 \00b\00e\00 \00n\00u\00l\00l\00a\00b\00l\00e\00 \00i\00f\00 \00a\00r\00r\00a\00y\00 \00i\00s\00 \00h\00o\00l\00e\00y\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00")
+ (data (i32.const 604) "<\00\00\00\00\00\00\00\00\00\00\00\01\00\00\00\"\00\00\00f\00u\00n\00c\00t\00i\00o\00n\00-\00a\00r\00r\00a\00y\00.\00t\00s\00\00\00\00\00\00\00\00\00\00\00")
+ (table $0 6 6 funcref)
+ (elem $0 (i32.const 1) $start:function-array~anonymous|0 $start:function-array~anonymous|1 $function-array/funcA $function-array/funcB $function-array/funcC)
+ (export "memory" (memory $0))
+ (start $~start)
+ (func $start:function-array~anonymous|0 (param $x i32) (result i32)
+  local.get $x
+  i32.const 4
+  i32.rem_s
+  i32.const 5
+  i32.add
+ )
+ (func $start:function-array~anonymous|1 (param $x i32) (result i32)
+  local.get $x
+  i32.const 7
+  i32.sub
+ )
+ (func $function-array/funcA (param $x i32) (result i32)
+  local.get $x
+  i32.const 3
+  i32.mul
+ )
+ (func $function-array/funcB (param $x i32) (result i32)
+  local.get $x
+  i32.const 1
+  i32.add
+ )
+ (func $function-array/funcC (param $x i32) (result i32)
+  local.get $x
+  i32.const 2
+  i32.div_s
+ )
+ (func $~lib/array/Array<i32>#get:length (param $this i32) (result i32)
+  local.get $this
+  i32.load $0 offset=12
+ )
+ (func $~lib/array/Array<i32>#__get (param $this i32) (param $index i32) (result i32)
+  (local $value i32)
+  local.get $index
+  local.get $this
+  i32.load $0 offset=12
+  i32.ge_u
+  if
+   i32.const 384
+   i32.const 448
+   i32.const 114
+   i32.const 42
+   call $~lib/builtins/abort
+   unreachable
+  end
+  local.get $this
+  i32.load $0 offset=4
+  local.get $index
+  i32.const 2
+  i32.shl
+  i32.add
+  i32.load $0
+  local.set $value
+  i32.const 0
+  drop
+  local.get $value
+ )
+ (func $~start
+  call $start:function-array
+ )
+ (func $~stack_check
+  global.get $~lib/memory/__stack_pointer
+  global.get $~lib/memory/__data_end
+  i32.lt_s
+  if
+   i32.const 17072
+   i32.const 17120
+   i32.const 1
+   i32.const 1
+   call $~lib/builtins/abort
+   unreachable
+  end
+ )
+ (func $start:function-array
+  (local $0 i32)
+  (local $1 i32)
+  (local $2 i32)
+  (local $3 i32)
+  (local $4 i32)
+  global.get $~lib/memory/__stack_pointer
+  i32.const 4
+  i32.sub
+  global.set $~lib/memory/__stack_pointer
+  call $~stack_check
+  global.get $~lib/memory/__stack_pointer
+  i32.const 0
+  i32.store $0
+  i32.const 0
+  local.set $0
+  loop $for-loop|0
+   local.get $0
+   global.get $function-array/results
+   local.set $4
+   global.get $~lib/memory/__stack_pointer
+   local.get $4
+   i32.store $0
+   local.get $4
+   call $~lib/array/Array<i32>#get:length
+   i32.lt_s
+   local.set $1
+   local.get $1
+   if
+    global.get $function-array/results
+    local.set $4
+    global.get $~lib/memory/__stack_pointer
+    local.get $4
+    i32.store $0
+    local.get $4
+    local.get $0
+    call $~lib/array/Array<i32>#__get
+    local.set $2
+    i32.const 123
+    i32.const 1
+    global.set $~argumentsLength
+    global.get $function-array/funcs
+    local.set $4
+    global.get $~lib/memory/__stack_pointer
+    local.get $4
+    i32.store $0
+    local.get $4
+    local.get $0
+    call $~lib/array/Array<%28i32%29=>i32>#__get
+    i32.load $0
+    call_indirect $0 (type $i32_=>_i32)
+    local.set $3
+    local.get $2
+    local.get $3
+    i32.eq
+    i32.eqz
+    if
+     i32.const 0
+     i32.const 624
+     i32.const 23
+     i32.const 3
+     call $~lib/builtins/abort
+     unreachable
+    end
+    local.get $0
+    i32.const 1
+    i32.add
+    local.set $0
+    br $for-loop|0
+   end
+  end
+  global.get $~lib/memory/__stack_pointer
+  i32.const 4
+  i32.add
+  global.set $~lib/memory/__stack_pointer
+ )
+ (func $~lib/array/Array<%28i32%29=>i32>#__get (param $this i32) (param $index i32) (result i32)
+  (local $value i32)
+  (local $3 i32)
+  global.get $~lib/memory/__stack_pointer
+  i32.const 4
+  i32.sub
+  global.set $~lib/memory/__stack_pointer
+  call $~stack_check
+  global.get $~lib/memory/__stack_pointer
+  i32.const 0
+  i32.store $0
+  local.get $index
+  local.get $this
+  i32.load $0 offset=12
+  i32.ge_u
+  if
+   i32.const 384
+   i32.const 448
+   i32.const 114
+   i32.const 42
+   call $~lib/builtins/abort
+   unreachable
+  end
+  global.get $~lib/memory/__stack_pointer
+  local.get $this
+  i32.load $0 offset=4
+  local.get $index
+  i32.const 2
+  i32.shl
+  i32.add
+  i32.load $0
+  local.tee $value
+  i32.store $0
+  i32.const 1
+  drop
+  i32.const 0
+  i32.eqz
+  drop
+  local.get $value
+  i32.eqz
+  if
+   i32.const 496
+   i32.const 448
+   i32.const 118
+   i32.const 40
+   call $~lib/builtins/abort
+   unreachable
+  end
+  local.get $value
+  local.set $3
+  global.get $~lib/memory/__stack_pointer
+  i32.const 4
+  i32.add
+  global.set $~lib/memory/__stack_pointer
+  local.get $3
+ )
+)

tests/compiler/function-array.js

@@ -0,0 +1 @@
+// Do nothing special.