mirror of
https://github.com/nim-lang/Nim.git
synced 2026-08-01 13:09:14 +00:00
2915691515
…pile time fixes #26000 vm: preserve lvalues for mutations of broadcast array elements Load in-place mutation targets through their address so mutations don't operate on detached copies of broadcast defaults. This also preserves nested lvalues and evaluates indexed destinations only once. Cover sequence, string, and set mutations through direct, nested, field, enum-indexed, and range-indexed array elements.
102 lines
2.6 KiB
Nim
102 lines
2.6 KiB
Nim
type
|
|
Container = object
|
|
numbers: seq[int]
|
|
text: string
|
|
chars: set[char]
|
|
|
|
Variant = object
|
|
case enabled: bool
|
|
of false:
|
|
numbers: seq[int]
|
|
else:
|
|
discard
|
|
|
|
Index = enum
|
|
index0, index1, index2, index3, index4, index5, index6, index7,
|
|
index8, index9, index10, index11, index12, index13, index14, index15,
|
|
index16, index17, index18, index19, index20, index21, index22, index23,
|
|
index24, index25, index26, index27, index28, index29, index30, index31,
|
|
index32
|
|
|
|
Outer = object
|
|
values: array[33, seq[int]]
|
|
|
|
proc directSeq(): array[33, seq[int]] =
|
|
result[32].add 1
|
|
|
|
proc directStringChar(): array[33, string] =
|
|
result[32].add 'a'
|
|
|
|
proc directStringString(): array[33, string] =
|
|
result[32].add "ab"
|
|
|
|
proc directSet(): array[33, set[char]] =
|
|
result[32].incl 'a'
|
|
|
|
proc fieldSeq(): array[33, Container] =
|
|
result[32].numbers.add 1
|
|
|
|
proc fieldStringChar(): array[33, Container] =
|
|
result[32].text.add 'a'
|
|
|
|
proc fieldStringString(): array[33, Container] =
|
|
result[32].text.add "ab"
|
|
|
|
proc fieldSet(): array[33, Container] =
|
|
result[32].chars.incl 'a'
|
|
|
|
proc nestedSeq(): array[33, array[33, seq[int]]] =
|
|
result[32][32].add 1
|
|
|
|
proc checkedFieldSeq(): array[33, Variant] =
|
|
result[32].numbers.add 1
|
|
|
|
proc enumIndexSeq(): array[Index, seq[int]] =
|
|
result[index32].add 1
|
|
|
|
proc rangeIndexSeq(): array[10..42, seq[int]] =
|
|
result[42].add 1
|
|
|
|
proc firstIndexSeq(): array[33, seq[int]] =
|
|
result[0].add 1
|
|
|
|
proc middleIndexSeq(): array[33, seq[int]] =
|
|
result[16].add 1
|
|
|
|
proc objectArraySeq(): Outer =
|
|
result.values[32].add 1
|
|
|
|
proc singleEvaluation(): tuple[values: array[33, seq[int]], evaluations: int] =
|
|
var evaluations = 0
|
|
proc index(): int =
|
|
inc evaluations
|
|
32
|
|
result.values[index()].add 1
|
|
result.evaluations = evaluations
|
|
|
|
proc test =
|
|
let direct = directSeq()
|
|
doAssert direct[0].len == 0
|
|
doAssert direct[31].len == 0
|
|
doAssert direct[32] == @[1]
|
|
doAssert directStringChar()[32] == "a"
|
|
doAssert directStringString()[32] == "ab"
|
|
doAssert 'a' in directSet()[32]
|
|
doAssert fieldSeq()[32].numbers == @[1]
|
|
doAssert fieldStringChar()[32].text == "a"
|
|
doAssert fieldStringString()[32].text == "ab"
|
|
doAssert 'a' in fieldSet()[32].chars
|
|
doAssert nestedSeq()[32][32] == @[1]
|
|
doAssert checkedFieldSeq()[32].numbers == @[1]
|
|
doAssert enumIndexSeq()[index32] == @[1]
|
|
doAssert rangeIndexSeq()[42] == @[1]
|
|
doAssert firstIndexSeq()[0] == @[1]
|
|
doAssert middleIndexSeq()[16] == @[1]
|
|
doAssert objectArraySeq().values[32] == @[1]
|
|
let evaluated = singleEvaluation()
|
|
doAssert evaluated.values[32] == @[1]
|
|
doAssert evaluated.evaluations == 1
|
|
|
|
static: test()
|
|
test()
|