aboutsummaryrefslogtreecommitdiff
path: root/deps/v8/test/mjsunit/regress/regress-bce-underflow.js
blob: 0ab7cdf3c8d0ccd47ca45613bb811d46d76aef8f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
// Copyright 2015 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.

// Flags: --allow-natives-syntax

function f(a, i, bool) {
  var result;
  if (bool) {
    // Make sure i - -0x80000000 doesn't overflow in BCE, missing a check for
    // x-0 later on.
    result = f2(a, 0x7fffffff, i, i, -0x80000000);
  } else {
    result = f2(a, -3, 4, i, 0);
  }
  return result;
}
%PrepareFunctionForOptimization(f);

function f2(a, c, x, i, d) {
  return a[x + c] + a[x - 0] + a[i - d];
}


var a = [];
var i = 0;
a.push(i++);
a.push(i++);
a.push(i++);
a.push(i++);
a.push(i++);
f(a, 0, false);
f(a, 0, false);
f(a, 0, false);
%OptimizeFunctionOnNextCall(f);
%DebugPrint(f(a, -0x7fffffff, true));