Fix incorrect loads when setting Array#length (#923)

Author: dcodeIO

std/assembly/array.ts

@@ -61,8 +61,9 @@ export class Array<T> extends ArrayBufferView {
     var oldLength = this.length_;
     if (isManaged<T>()) {
       if (oldLength > newLength) { // release no longer used refs
-        let cur = (<usize>newLength << alignof<T>());
-        let end = (<usize>oldLength << alignof<T>());
+        let dataStart = this.dataStart;
+        let cur = dataStart + (<usize>newLength << alignof<T>());
+        let end = dataStart + (<usize>oldLength << alignof<T>());
         do __release(load<usize>(cur));
         while ((cur += sizeof<T>()) < end);
       } else {

tests/compiler/assert-nonnull.optimized.wat

@@ -64,7 +64,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable
@@ -76,7 +76,7 @@
   if
    i32.const 128
    i32.const 80
-   i32.const 96
+   i32.const 97
    i32.const 39
    call $~lib/builtins/abort
    unreachable
@@ -100,7 +100,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable

tests/compiler/assert-nonnull.untouched.wat

@@ -107,7 +107,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable
@@ -123,7 +123,7 @@
    call $~lib/rt/stub/__release
    i32.const 128
    i32.const 80
-   i32.const 96
+   i32.const 97
    i32.const 39
    call $~lib/builtins/abort
    unreachable
@@ -168,7 +168,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable

tests/compiler/resolve-access.optimized.wat

@@ -313,7 +313,7 @@
   if
    i32.const 48
    i32.const 104
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable

tests/compiler/resolve-access.untouched.wat

@@ -1449,7 +1449,7 @@
   if
    i32.const 48
    i32.const 104
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable

tests/compiler/retain-release-sanity.optimized.wat

@@ -2298,7 +2298,7 @@
   if
    i32.const 424
    i32.const 376
-   i32.const 270
+   i32.const 271
    i32.const 20
    call $~lib/builtins/abort
    unreachable

tests/compiler/retain-release-sanity.untouched.wat

@@ -3909,7 +3909,7 @@
   if
    i32.const 424
    i32.const 376
-   i32.const 270
+   i32.const 271
    i32.const 20
    call $~lib/builtins/abort
    unreachable

tests/compiler/std/array-access.optimized.wat

@@ -25,7 +25,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable
@@ -42,7 +42,7 @@
   if
    i32.const 128
    i32.const 80
-   i32.const 96
+   i32.const 97
    i32.const 39
    call $~lib/builtins/abort
    unreachable
@@ -57,7 +57,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable

tests/compiler/std/array-access.untouched.wat

@@ -47,7 +47,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable
@@ -63,7 +63,7 @@
    call $~lib/rt/stub/__release
    i32.const 128
    i32.const 80
-   i32.const 96
+   i32.const 97
    i32.const 39
    call $~lib/builtins/abort
    unreachable
@@ -88,7 +88,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable
@@ -137,7 +137,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable
@@ -153,7 +153,7 @@
    call $~lib/rt/stub/__release
    i32.const 128
    i32.const 80
-   i32.const 96
+   i32.const 97
    i32.const 39
    call $~lib/builtins/abort
    unreachable
@@ -420,7 +420,7 @@
   if
    i32.const 24
    i32.const 80
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable
@@ -436,7 +436,7 @@
    call $~lib/rt/stub/__release
    i32.const 128
    i32.const 80
-   i32.const 96
+   i32.const 97
    i32.const 39
    call $~lib/builtins/abort
    unreachable

tests/compiler/std/array-literal.optimized.wat

@@ -47,7 +47,7 @@
   if
    i32.const 136
    i32.const 192
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable
@@ -66,7 +66,7 @@
   if
    i32.const 136
    i32.const 192
-   i32.const 92
+   i32.const 93
    i32.const 41
    call $~lib/builtins/abort
    unreachable