2024-08-14 20:41:00 +02:00
|
|
|
// Copyright 2024 the V8 project authors. All rights reserved.
|
|
|
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
|
|
|
// found in the LICENSE file.
|
|
|
|
|
|
2025-04-29 08:03:15 +02:00
|
|
|
// Flags: --allow-natives-syntax --turbolev --turbofan
|
2024-08-14 20:41:00 +02:00
|
|
|
|
|
|
|
|
let a = [1, 2, 3, 4];
|
|
|
|
|
let b = [5, 6, 7, 8];
|
|
|
|
|
|
|
|
|
|
function arr_oob_load(a, b) {
|
|
|
|
|
let s = [0, 0, 0, 0, 0, 0];
|
|
|
|
|
for (let i = 0; i < 6; i++) {
|
|
|
|
|
// This will load out of bounds in {a} and {b}, which is fine.
|
|
|
|
|
s[i] = a[i] + b[i];
|
|
|
|
|
}
|
|
|
|
|
return s;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
%PrepareFunctionForOptimization(arr_oob_load);
|
|
|
|
|
assertEquals([6, 8, 10, 12, NaN, NaN], arr_oob_load(a, b));
|
|
|
|
|
assertEquals([6, 8, 10, 12, NaN, NaN], arr_oob_load(a, b));
|
|
|
|
|
%OptimizeFunctionOnNextCall(arr_oob_load);
|
|
|
|
|
assertEquals([6, 8, 10, 12, NaN, NaN], arr_oob_load(a, b));
|
|
|
|
|
assertOptimized(arr_oob_load);
|
