1 // Copyright 2013 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 // Flags: --allow-natives-syntax 28 29 // Test adding undefined from hole in double-holey to string. 30 var a = [1.5, , 1.8]; 31 32 function f(a, i, l) { 33 var v = a[i]; 34 return l + v; 35 } 36 37 assertEquals("test1.5", f(a, 0, "test")); 38 assertEquals("test1.5", f(a, 0, "test")); 39 %OptimizeFunctionOnNextCall(f); 40 assertEquals("testundefined", f(a, 1, "test")); 41 42 // Test double-hole going through a phi to a string-add. 43 function f2(b, a1, a2) { 44 var v; 45 if (b) { 46 v = a1[0]; 47 } else { 48 v = a2[0]; 49 } 50 x = v * 2; 51 return "test" + v + x; 52 } 53 54 f2(true, [1.4,1.8,,1.9], [1.4,1.8,,1.9]); 55 f2(true, [1.4,1.8,,1.9], [1.4,1.8,,1.9]); 56 f2(false, [1.4,1.8,,1.9], [1.4,1.8,,1.9]); 57 f2(false, [1.4,1.8,,1.9], [1.4,1.8,,1.9]); 58 %OptimizeFunctionOnNextCall(f2); 59 assertEquals("testundefinedNaN", f2(false, [,1.8,,1.9], [,1.9,,1.9])); 60 61 // Test converting smi-hole to double-hole. 62 function t_smi(a) { 63 a[0] = 1.5; 64 } 65 66 t_smi([1,,3]); 67 t_smi([1,,3]); 68 t_smi([1,,3]); 69 %OptimizeFunctionOnNextCall(t_smi); 70 var ta = [1,,3]; 71 t_smi(ta); 72 ta.__proto__ = [6,6,6]; 73 assertEquals([1.5,6,3], ta); 74 75 // Test converting double-hole to tagged-hole. 76 function t(b) { 77 b[1] = {}; 78 } 79 80 t([1.4, 1.6,,1.8, NaN]); 81 t([1.4, 1.6,,1.8, NaN]); 82 %OptimizeFunctionOnNextCall(t); 83 var a = [1.6, 1.8,,1.9, NaN]; 84 t(a); 85 a.__proto__ = [6,6,6,6,6]; 86 assertEquals([1.6, {}, 6, 1.9, NaN], a); 87