1a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Copyright 2008 the V8 project authors. All rights reserved. 2a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Redistribution and use in source and binary forms, with or without 3a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// modification, are permitted provided that the following conditions are 4a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// met: 5a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// 6a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Redistributions of source code must retain the above copyright 7a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// notice, this list of conditions and the following disclaimer. 8a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Redistributions in binary form must reproduce the above 9a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// copyright notice, this list of conditions and the following 10a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// disclaimer in the documentation and/or other materials provided 11a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// with the distribution. 12a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Neither the name of Google Inc. nor the names of its 13a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// contributors may be used to endorse or promote products derived 14a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// from this software without specific prior written permission. 15a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// 16a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 28a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Test non-ICC case. 29a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvar caught = false; 30a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blocktry { 31a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block (('foo'))(); 32a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} catch (o) { 33a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block assertTrue(o instanceof TypeError); 34a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block caught = true; 35a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 36a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertTrue(caught); 37a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 38a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 39a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Test uninitialized case. 40a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockfunction h(o) { 41a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return o.x(); 42a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 43a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 44a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvar caught = false; 45a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blocktry { 46a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block h({ x: 1 }); 47a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} catch (o) { 48a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block assertTrue(o instanceof TypeError); 49a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block caught = true; 50a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 51a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertTrue(caught); 52a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 53a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 54a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Test monomorphic case. 55a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockfunction g(o) { 56a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return o.x(); 57a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 58a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 59a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockfunction O(x) { this.x = x; }; 60a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvar o = new O(function() { return 1; }); 61a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, g(o)); // go monomorphic 62a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, g(o)); // stay monomorphic 63a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 64a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvar caught = false; 65a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blocktry { 66a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block g(new O(3)); 67a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} catch (o) { 68a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block assertTrue(o instanceof TypeError); 69a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block caught = true; 70a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 71a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertTrue(caught); 72a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 73a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 74a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Test megamorphic case. 75a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockfunction f(o) { 76a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return o.x(); 77a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 78a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 79a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, f({ x: function () { return 1; }})); // go monomorphic 80a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(2, f({ x: function () { return 2; }})); // go megamorphic 81a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(3, f({ x: function () { return 3; }})); // stay megamorphic 82a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 83a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvar caught = false; 84a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blocktry { 85a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block f({ x: 4 }); 86a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} catch (o) { 87a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block assertTrue(o instanceof TypeError); 88a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block caught = true; 89a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 90a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertTrue(caught); 91