RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-10-31 09:52:44 +00:00
Code Issues Activity Actions

LibJS/Bytecode: Always evaluate LHS first in assignment expressions

Browse source 
This fixes an issue where expressions like `a[i] = a[++i]` could
evaluate `++i` before `a[i]`.
This commit is contained in:
Andreas Kling 2024-03-05 09:48:13 +01:00
parent 1986693edc
commit 0f8c6dc9ad
3 changed files with 27 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Userland/Libraries/LibJS/Bytecode/ASTCodegen.cpp
View file

@ -435,7 +435,9 @@ Bytecode::CodeGenerationErrorOr<Optional<Bytecode::Operand>> AssignmentExpressio
}
if (expression.is_computed()) {
computed_property = TRY(expression.property().generate_bytecode(generator)).value();
auto property = TRY(expression.property().generate_bytecode(generator)).value();
computed_property = Bytecode::Operand(generator.allocate_register());
generator.emit<Bytecode::Op::Mov>(*computed_property, property);
// To be continued later with PutByValue.
} else if (expression.property().is_identifier()) {

4
Userland/Libraries/LibJS/Bytecode/Generator.cpp
View file

@ -256,11 +256,13 @@ CodeGenerationErrorOr<Generator::ReferenceOperands> Generator::emit_load_from_re
auto base = TRY(expression.object().generate_bytecode(*this)).value();
if (expression.is_computed()) {
auto property = TRY(expression.property().generate_bytecode(*this)).value();
auto saved_property = Operand(allocate_register());
emit<Bytecode::Op::Mov>(saved_property, property);
auto dst = preferred_dst.has_value() ? preferred_dst.value() : Operand(allocate_register());
emit<Bytecode::Op::GetByValue>(dst, base, property);
return ReferenceOperands {
.base = base,
.referenced_name = property,
.referenced_name = saved_property,
.this_value = base,
.loaded_value = dst,
};

21
Userland/Libraries/LibJS/Tests/assignment-evaluation-order.js Normal file
View file

@ -0,0 +1,21 @@
test("Assignment should always evaluate LHS first", () => {
function go(a) {
let i = 0;
a[i] = a[++i];
}
let a = [1, 2, 3];
go(a);
expect(a).toEqual([2, 2, 3]);
});
test("Binary assignment should always evaluate LHS first", () => {
function go(a) {
let i = 0;
a[i] |= a[++i];
}
let a = [1, 2];
go(a);
expect(a).toEqual([3, 2]);
});