1// Copyright 2010 the V8 project authors. All rights reserved.
2// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6//     * Redistributions of source code must retain the above copyright
7//       notice, this list of conditions and the following disclaimer.
8//     * Redistributions in binary form must reproduce the above
9//       copyright notice, this list of conditions and the following
10//       disclaimer in the documentation and/or other materials provided
11//       with the distribution.
12//     * Neither the name of Google Inc. nor the names of its
13//       contributors may be used to endorse or promote products derived
14//       from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28// Flags: --allow-natives-syntax --check-elimination
29
30
31function test_empty() {
32  function foo(o) {
33    return { value: o.value };
34  }
35
36  function Base() {
37    this.v_ = 5;
38  }
39  Base.prototype.__defineGetter__("value", function() { return 1; });
40
41  var a = new Base();
42  a.a = 1;
43  foo(a);
44
45  Base.prototype.__defineGetter__("value", function() { return this.v_; });
46
47  var b = new Base();
48  b.b = 1;
49  foo(b);
50
51  var d = new Base();
52  d.d = 1;
53  d.value;
54
55  %OptimizeFunctionOnNextCall(foo);
56
57  var o = foo(b);
58}
59
60
61function test_narrow1() {
62  function foo(o) {
63    return { value: o.value };
64  }
65
66  function Base() {
67    this.v_ = 5;
68  }
69  Base.prototype.__defineGetter__("value", function() { return 1; });
70
71  var a = new Base();
72  a.a = 1;
73  foo(a);
74
75  Base.prototype.__defineGetter__("value", function() { return this.v_; });
76
77  var b = new Base();
78  b.b = 1;
79  foo(b);
80
81  var c = new Base();
82  c.c = 1;
83  foo(c);
84
85  var d = new Base();
86  d.d = 1;
87  d.value;
88
89  %OptimizeFunctionOnNextCall(foo);
90
91  var o = foo(b);
92}
93
94
95function test_narrow2() {
96  function foo(o, flag) {
97    return { value: o.value(flag) };
98  }
99
100  function Base() {
101    this.v_ = 5;
102  }
103  Base.prototype.value = function(flag) { return flag ? this.v_ : this.v_; };
104
105
106  var a = new Base();
107  a.a = 1;
108  foo(a, false);
109  foo(a, false);
110
111  var b = new Base();
112  b.b = 1;
113  foo(b, true);
114
115  var c = new Base();
116  c.c = 1;
117  foo(c, true);
118
119  var d = new Base();
120  d.d = 1;
121  d.value(true);
122
123  %OptimizeFunctionOnNextCall(foo);
124
125  var o = foo(b);
126}
127
128test_empty();
129test_narrow1();
130test_narrow2();
131