nashorn/test/script/basic/finally-catchalls.js
author attila
Thu, 31 Jan 2013 18:34:42 +0100
changeset 16206 83069fa0935b
parent 16151 97c1e756ae1e
child 24778 2ff5d7041566
permissions -rw-r--r--
8006529: Methods always get callee - it should be conditional Summary: This commit streamlines the bytecode function signatures, prologue, local variable use, scope creation, and invocation. It started out quite innocently when we noticed that we always emit __callee__ parameters for all functions even when they are not needed, but it turned out to be quite a deep rabbit hole. In the end, I identified exact conditions when functions need to have a callee parameter, when they need to receive parent scope, when they need to create their own scope, when they need to have variable arity signature, and when they need to have an "arguments" object, and made sure that callee parameters in signatures only show up when they are needed, that parent function's scope is only passed to a child function when it is needed, that the function only creates its own scope when it is needed. In crypto.js, the number of scopes dropped from 446 to 244, and the number of callees dropped from 315 to 145. Reviewed-by: jlaskey, lagergren
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     1
/*
16151
97c1e756ae1e 8005663: Update copyright year to 2013
jlaskey
parents: 16147
diff changeset
     2
 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     4
 * 
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     7
 * published by the Free Software Foundation.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     8
 * 
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    13
 * accompanied this code).
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    14
 * 
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    18
 * 
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    21
 * questions.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    22
 */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    23
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    24
/**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    25
 * finally-catchalls: should not be able to read, write, call properties from null literal.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    26
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    27
 * @test
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    28
 * @run
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    29
 */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    30
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    31
function test1() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    32
    try {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    33
	print("try");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    34
	throw "ex";
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    35
    } finally {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    36
	print("finally");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    37
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    38
}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    39
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    40
function test2() {   
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    41
    try {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    42
	print("try");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    43
    } finally {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    44
	print("finally");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    45
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    46
}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    47
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    48
function test3() {   
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    49
    try {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    50
	print("try");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    51
	return;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    52
    } finally {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    53
	print("finally");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    54
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    55
}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    56
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    57
function test4() {   
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    58
    var i = 0;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    59
    while (i<10) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    60
	try {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    61
	    print("try "+i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    62
	    i++;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    63
	    continue;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    64
	} finally {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    65
	    print("finally "+i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    66
	}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    67
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    68
    print(i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    69
}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    70
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    71
function test5() {   
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    72
    var i = 0;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    73
    while (i<10) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    74
	try {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    75
	    print("try "+i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    76
	    i++;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    77
	    break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    78
	} finally {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    79
	    print("finally "+i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    80
	}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    81
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    82
    print(i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    83
}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    84
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    85
function test6() {   
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    86
    var i = 0;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    87
    while (i<10) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    88
	try {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    89
	    print("try "+i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    90
	    if (i == 5)
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    91
		break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    92
	    i++;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    93
	} finally {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    94
	    print("finally "+i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    95
	}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    96
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    97
    print(i);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    98
}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    99
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   100
print("\ntest 1\n");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   101
try { 
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   102
    test1();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   103
} catch (e) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   104
    print("got e");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   105
}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   106
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   107
print("\ntest 2\n");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   108
test2();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   109
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   110
print("\ntest 3\n");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   111
test3();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   112
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   113
print("\ntest 4\n");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   114
test4();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   115
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   116
print("\ntest 5\n");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   117
test5();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   118
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   119
print("\ntest 6\n");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   120
test6();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   121