1// Copyright 2011 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 --harmony-proxies --es5_readonly 29 30// Different ways to create an object. 31 32function CreateFromLiteral() { 33 return {}; 34} 35 36function CreateFromObject() { 37 return new Object; 38} 39 40function CreateDefault() { 41 return Object.create(Object.prototype); 42} 43 44function CreateFromConstructor(proto) { 45 function C() {} 46 (new C).b = 9; // Make sure that we can have an in-object property. 47 C.prototype = proto; 48 return function() { return new C; } 49} 50 51function CreateFromApi(proto) { 52 return function() { return Object.create(proto); } 53} 54 55function CreateWithProperty(proto) { 56 function C() { this.a = -100; } 57 C.prototype = proto; 58 return function() { return new C; } 59} 60 61var bases = [CreateFromLiteral, CreateFromObject, CreateDefault]; 62var inherits = [CreateFromConstructor, CreateFromApi, CreateWithProperty]; 63var constructs = [CreateFromConstructor, CreateFromApi]; 64 65function TestAllCreates(f) { 66 // The depth of the prototype chain up the. 67 for (var depth = 0; depth < 3; ++depth) { 68 // Introduce readonly-ness this far up the chain. 69 for (var up = 0; up <= depth; ++up) { 70 // Try different construction methods. 71 for (var k = 0; k < constructs.length; ++k) { 72 // Construct a fresh prototype chain from above functions. 73 for (var i = 0; i < bases.length; ++i) { 74 var p = bases[i](); 75 // There may be a preexisting property under the insertion point... 76 for (var j = 0; j < depth - up; ++j) { 77 p = inherits[Math.floor(inherits.length * Math.random())](p)(); 78 } 79 // ...but not above it. 80 for (var j = 0; j < up; ++j) { 81 p = constructs[Math.floor(constructs.length * Math.random())](p)(); 82 } 83 // Create a fresh constructor. 84 var c = constructs[k](p); 85 f(function() { 86 var o = c(); 87 o.up = o; 88 for (var j = 0; j < up; ++j) o.up = Object.getPrototypeOf(o.up); 89 return o; 90 }) 91 } 92 } 93 } 94 } 95} 96 97 98// Different ways to make a property read-only. 99 100function ReadonlyByNonwritableDataProperty(o, name) { 101 Object.defineProperty(o, name, {value: -41, writable: false}); 102} 103 104function ReadonlyByAccessorPropertyWithoutSetter(o, name) { 105 Object.defineProperty(o, name, {get: function() { return -42; }}); 106} 107 108function ReadonlyByGetter(o, name) { 109 o.__defineGetter__("a", function() { return -43; }); 110} 111 112function ReadonlyByFreeze(o, name) { 113 o[name] = -44; 114 Object.freeze(o); 115} 116 117function ReadonlyByProto(o, name) { 118 var p = Object.create(o.__proto__); 119 Object.defineProperty(p, name, {value: -45, writable: false}); 120 o.__proto__ = p; 121} 122 123function ReadonlyByProxy(o, name) { 124 var p = Proxy.create({ 125 getPropertyDescriptor: function() { 126 return {value: -46, writable: false, configurable: true}; 127 } 128 }); 129 o.__proto__ = p; 130} 131 132var readonlys = [ 133 ReadonlyByNonwritableDataProperty, ReadonlyByAccessorPropertyWithoutSetter, 134 ReadonlyByGetter, ReadonlyByFreeze, ReadonlyByProto, ReadonlyByProxy 135] 136 137function TestAllReadonlys(f) { 138 // Provide various methods to making a property read-only. 139 for (var i = 0; i < readonlys.length; ++i) { 140 print(" readonly =", i) 141 f(readonlys[i]); 142 } 143} 144 145 146// Different use scenarios. 147 148function Assign(o, x) { 149 o.a = x; 150} 151 152function AssignStrict(o, x) { 153 "use strict"; 154 o.a = x; 155} 156 157function TestAllModes(f) { 158 for (var strict = 0; strict < 2; ++strict) { 159 print(" strict =", strict); 160 f(strict); 161 } 162} 163 164function TestAllScenarios(f) { 165 for (var t = 0; t < 100; t = 2*t + 1) { 166 print("t =", t) 167 f(function(strict, create, readonly) { 168 // Make sure that the assignments are monomorphic. 169 %DeoptimizeFunction(Assign); 170 %DeoptimizeFunction(AssignStrict); 171 %ClearFunctionTypeFeedback(Assign); 172 %ClearFunctionTypeFeedback(AssignStrict); 173 for (var i = 0; i < t; ++i) { 174 var o = create(); 175 assertFalse("a" in o && !("a" in o.__proto__)); 176 if (strict === 0) 177 Assign(o, i); 178 else 179 AssignStrict(o, i); 180 assertEquals(i, o.a); 181 } 182 %OptimizeFunctionOnNextCall(Assign); 183 %OptimizeFunctionOnNextCall(AssignStrict); 184 var o = create(); 185 assertFalse("a" in o && !("a" in o.__proto__)); 186 readonly(o.up, "a"); 187 assertTrue("a" in o); 188 if (strict === 0) 189 Assign(o, t + 1); 190 else 191 assertThrows(function() { AssignStrict(o, t + 1) }, TypeError); 192 assertTrue(o.a < 0); 193 }); 194 } 195} 196 197 198// Runner. 199 200TestAllScenarios(function(scenario) { 201 TestAllModes(function(strict) { 202 TestAllReadonlys(function(readonly) { 203 TestAllCreates(function(create) { 204 scenario(strict, create, readonly); 205 }); 206 }); 207 }); 208}); 209 210 211// Extra test forcing bailout. 212 213function Assign2(o, x) { o.a = x } 214 215(function() { 216 var p = CreateFromConstructor(Object.prototype)(); 217 var c = CreateFromConstructor(p); 218 for (var i = 0; i < 3; ++i) { 219 var o = c(); 220 Assign2(o, i); 221 assertEquals(i, o.a); 222 } 223 %OptimizeFunctionOnNextCall(Assign2); 224 ReadonlyByNonwritableDataProperty(p, "a"); 225 var o = c(); 226 Assign2(o, 0); 227 assertTrue(o.a < 0); 228})(); 229