summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/arguments/args-exists.js
blob: 35ea8e20bb80edd295687f025d70d7178d7b20eb (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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
// Test |in| operator on arguments objects.

function testBasic() {
  function arg0() { return 0 in arguments; }
  function arg1() { return 1 in arguments; }
  function arg100() { return 100 in arguments; }
  function argn1() { return -1 in arguments; }
  function argv(i) { return i in arguments; }

  for (let i = 0; i < 100; ++i) {
    assertEq(arg0(), false);
    assertEq(arg0(1), true);
    assertEq(arg0(1, 2), true);
    assertEq(arg0(1, 2, 3), true);
    assertEq(arg0(1, 2, 3, 4), true);
    assertEq(arg0(1, 2, 3, 4, 5), true);

    assertEq(arg1(), false);
    assertEq(arg1(1), false);
    assertEq(arg1(1, 2), true);
    assertEq(arg1(1, 2, 3), true);
    assertEq(arg1(1, 2, 3, 4), true);
    assertEq(arg1(1, 2, 3, 4, 5), true);

    assertEq(arg100(), false);
    assertEq(arg100(1), false);
    assertEq(arg100(1, 2), false);
    assertEq(arg100(1, 2, 3), false);
    assertEq(arg100(1, 2, 3, 4), false);
    assertEq(arg100(1, 2, 3, 4, 5), false);

    assertEq(argn1(), false);
    assertEq(argn1(1), false);
    assertEq(argn1(1, 2), false);
    assertEq(argn1(1, 2, 3), false);
    assertEq(argn1(1, 2, 3, 4), false);
    assertEq(argn1(1, 2, 3, 4, 5), false);

    assertEq(argv(i & 3), (i&3) <= 0);
    assertEq(argv(i & 3, 1), (i&3) <= 1);
    assertEq(argv(i & 3, 1, 2), (i&3) <= 2);
    assertEq(argv(i & 3, 1, 2, 3), true);
    assertEq(argv(i & 3, 1, 2, 3, 4), true);
    assertEq(argv(i & 3, 1, 2, 3, 4, 5), true);
  }
}
testBasic();

// Modifying |arguments.length| doesn't change the result.
function testOverriddenLength() {
  function f(i) {
    if (i === 100) {
      arguments.length = 100;
    }
    return 1 in arguments;
  }

  for (let i = 0; i <= 150; ++i) {
    assertEq(f(i), false);
  }
}
testOverriddenLength();

// Overridden elements are correctly detected.
function testOverriddenElement() {
  function f(i) {
    if (i === 100) {
      arguments[1] = 0;
    }
    return 1 in arguments;
  }

  for (let i = 0; i <= 150; ++i) {
    assertEq(f(i), i === 100);
  }
}
testOverriddenElement();

// Deleted elements are correctly detected.
function testDeletedElement() {
  function f(i) {
    if (i === 100) {
      delete arguments[0];
    }
    return 0 in arguments;
  }

  for (let i = 0; i <= 150; ++i) {
    assertEq(f(i), i !== 100);
  }
}
testDeletedElement();

// Contrary to most other arguments object optimisations, forwarded arguments
// don't inhibit optimising the |in| operator.
function testForwardedArg() {
  function f(i) {
    function closedOver() {
      if (i === 100) i = 0;
    }
    closedOver();
    return 0 in arguments;
  }

  for (let i = 0; i <= 150; ++i) {
    assertEq(f(i), true);
  }
}
testForwardedArg();