1ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// Copyright 2013 the V8 project authors. All rights reserved. 2ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// Redistribution and use in source and binary forms, with or without 3ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// modification, are permitted provided that the following conditions are 4ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// met: 5ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// 6ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// * Redistributions of source code must retain the above copyright 7ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// notice, this list of conditions and the following disclaimer. 8ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// * Redistributions in binary form must reproduce the above 9ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// copyright notice, this list of conditions and the following 10ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// disclaimer in the documentation and/or other materials provided 11ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// with the distribution. 12ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// * Neither the name of Google Inc. nor the names of its 13ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// contributors may be used to endorse or promote products derived 14ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// from this software without specific prior written permission. 15ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// 16ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 28ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// Flags: --allow-natives-syntax 29ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 30ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org// Presents opportunities for dead loop removal. 31ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 32ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfunction loop1() { 33ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org while (false) ; // doesn't even loop. 34ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 35ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 36ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfunction loop2() { 37ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org var i = 0; 38ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org while (i++ < 10) ; // nothing in the body. 39ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 40ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 41ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfunction loop3() { 42ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org for (var i = 0; i < 10; i++) ; // nothing in the body. 43ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 44ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 45ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfunction loop4() { 46ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org var a = 0; 47ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org for (var i = 0; i < 10; i++) a++; // {a} is dead after the loop. 48ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 49ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 50ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfunction loop5() { 51ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org var a = new Int32Array(4), sum = 0; 52ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org for (var i = 0; i < a.length; i++) { 53ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org // Involves only reads on typed arrays, and {i} doesn't overflow. 54ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org sum += a[i]; 55ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org } 56ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 57ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 58ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfunction loop6() { 59ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org var a = new Array(4), sum = 0; 60ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org for (var i = 0; i < a.length; i++) { 61ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org // Involves only in-bounds read on the array {a}. 62ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org // Have to prove that {a} doesn't have getters...? 63ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org sum += a[i]; 64ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org } 65ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 66ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 67ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfunction loop7() { 68ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org for (var i = 0; i < 10; i++) { 69ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org new Object(); // Have to prove the allocation doesn't escape. 70ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org } 71ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 72ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 73ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfunction loop8() { 74ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org for (var i = 0; i < 10; i++) { 75ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org var x = {}; // Have to prove the allocation doesn't escape. 76ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org } 77ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 78ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 79ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgvar loops = [loop1, loop2, loop3, loop4, loop5, loop6, loop7, loop8]; 80ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org 81ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.orgfor (var i = 0; i < loops.length; i++) { 82ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org var f = loops[i]; 83ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org f(); 84ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org f(); 85ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org %OptimizeFunctionOnNextCall(f); 86ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org f(); 87ddf3811f8018dfe9e8ec7d1b8f4a8be1122fd767machenbach@chromium.org} 88