js: fix var openArray write-through for toOpenArray (#26086)

In the JS backend `toOpenArray` used `slice` (a copy), so writes through
a `var openArray` parameter silently vanished.

This emits `subarray` (a live shared-buffer view) for homogeneous
numeric arrays, otherwise such parameters are passed as a `{base, off,
len}` view that always aliases the caller's storage. Sliced seq/array
args become `{base, off, len}`, whole values `{base, off:0, len}`,
re-slices rebase.

Un-skips the JS guard in tests/openarray/topenarray.nim
Fixes #15952.

(cherry picked from commit bd95f88f74)
This commit is contained in:
Zoom
2026-08-26 20:01:06 +04:00
committed by narimiran
parent 2479311fcb
commit a36bfd4977
3 changed files with 126 additions and 6 deletions

View File

@@ -11,6 +11,9 @@ proc fn2[T](a: var openArray[T]): seq[T] =
proc fn3[T](a: var openArray[T]) =
for i, ai in mpairs(a): ai = i * 10
proc wr[T](a: var openArray[T]; v: T) =
a[0] = v
proc main =
var a = [1,2,3,4,5]
@@ -20,8 +23,22 @@ proc main =
doAssert fn2(a.toOpenArray(1,3)) == @[2,3,4]
fn3(a.toOpenArray(1,3))
when defined(js): discard # xxx bug #15952: `a` left unchanged
else: doAssert a == [1, 0, 10, 20, 5]
doAssert a == [1, 0, 10, 20, 5]
block: # bug #15952: `toOpenArray` slices are live views on JS
# Fixed homogeneous numeric arrays lower to JS typed arrays; seqs and
# non-numeric fixed arrays lower to plain JS arrays. In all cases a slice
# passed to a `var openArray` must alias the source so writes propagate
# (JS: subarray view for typed arrays, {base,off,len} view otherwise).
var si = @[1, 2, 3, 4, 5]
fn3(si.toOpenArray(1, 3))
doAssert si == @[1, 0, 10, 20, 5]
var ss = ["a", "b", "c", "d", "e"]
wr(ss.toOpenArray(1, 3), "Z")
doAssert ss == ["a", "Z", "c", "d", "e"]
# read-only slicing must still work and never throw, on every backend.
doAssert fn1(@[1, 2, 3, 4, 5].toOpenArray(1, 3)) == @[2, 3, 4]
doAssert fn1(["a", "b", "c", "d", "e"].toOpenArray(1, 3)) == @["b", "c", "d"]
block: # bug #12521
block: