[test] Segments are evaluated only once in array.{new,init}_elem (#2136)

Author: fitzgen

test/core/bulk-memory/table_init.wast

@@ -21,7 +21,7 @@
   (import "a" "ef4" (func (result i32)))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
-  
+
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
   (elem funcref
     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
@@ -80,7 +80,7 @@
   (import "a" "ef4" (func (result i32)))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
-  
+
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
   (elem funcref
     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
@@ -139,7 +139,7 @@
   (import "a" "ef4" (func (result i32)))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
-  
+
   (elem (table $t0) (i32.const 2) func 3 1 4 1)
   (elem funcref
     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
@@ -206,7 +206,7 @@
   (import "a" "ef4" (func (result i32)))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
-  
+
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
   (elem funcref
     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
@@ -265,7 +265,7 @@
   (import "a" "ef4" (func (result i32)))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
-  
+
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
   (elem funcref
     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
@@ -324,7 +324,7 @@
   (import "a" "ef4" (func (result i32)))    ;; index 4
   (table $t0 30 30 funcref)
   (table $t1 30 30 funcref)
-  
+
   (elem (table $t1) (i32.const 2) func 3 1 4 1)
   (elem funcref
     (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
@@ -2147,3 +2147,20 @@
   (elem funcref) (elem funcref) (elem funcref) (elem funcref)
   (elem funcref)
   (func (table.init 64 (i32.const 0) (i32.const 0) (i32.const 0))))
+
+;; Test that element segments are not re-evaluated on every `table.init`.
+(module
+  (type $arr (array (mut arrayref)))
+
+  (table $table 2 arrayref)
+  (elem $elem arrayref (item (array.new_default $arr (i32.const 0))))
+
+  (func (export "run") (result i32)
+    (table.init $table $elem (i32.const 0) (i32.const 0) (i32.const 1))
+    (table.init $table $elem (i32.const 1) (i32.const 0) (i32.const 1))
+    (ref.eq (table.get $table (i32.const 0))
+            (table.get $table (i32.const 1)))
+  )
+)
+
+(assert_return (invoke "run") (i32.const 1))

test/core/gc/array_init_elem.wast

@@ -155,3 +155,24 @@
 (assert_return (invoke "array_len_nth" (i32.const 0)) (i32.const 1))
 (assert_return (invoke "array_len_nth" (i32.const 1)) (i32.const 1))
 (assert_return (invoke "array_eq_elems" (i32.const 0) (i32.const 1)) (i32.const 1))
+
+;; Test that element segments are not re-evaluated on every `array.init_elem`.
+(module
+  (type $arr (array (mut arrayref)))
+  (elem $elem arrayref (item (array.new_default $arr (i32.const 0))))
+  (func (export "run") (result i32)
+    (local $a (ref null $arr))
+    (local $b (ref null $arr))
+
+    (local.set $a (array.new_default $arr (i32.const 1)))
+    (array.init_elem $arr $elem (local.get $a) (i32.const 0) (i32.const 0) (i32.const 1))
+
+    (local.set $b (array.new_default $arr (i32.const 1)))
+    (array.init_elem $arr $elem (local.get $b) (i32.const 0) (i32.const 0) (i32.const 1))
+
+    (ref.eq (array.get $arr (local.get $a) (i32.const 0))
+            (array.get $arr (local.get $b) (i32.const 0)))
+  )
+)
+
+(assert_return (invoke "run") (i32.const 1))

test/core/gc/array_new_elem.wast

@@ -101,3 +101,21 @@
 
 ;; Array is initialized with the correct contents.
 (assert_return (invoke "array-new-elem-contents") (i32.const 0xbb) (i32.const 0xcc))
+
+;; Test that element segments are not re-evaluated on every `array.new_elem`.
+(module
+  (type $arr (array (mut arrayref)))
+  (elem $elem arrayref (item (array.new_default $arr (i32.const 0))))
+  (func (export "run") (result i32)
+    (local $a (ref null $arr))
+    (local $b (ref null $arr))
+
+    (local.set $a (array.new_elem $arr $elem (i32.const 0) (i32.const 1)))
+    (local.set $b (array.new_elem $arr $elem (i32.const 0) (i32.const 1)))
+
+    (ref.eq (array.get $arr (local.get $a) (i32.const 0))
+            (array.get $arr (local.get $b) (i32.const 0)))
+  )
+)
+
+(assert_return (invoke "run") (i32.const 1))