nashorn/test/script/basic/JDK-8016667.js
author attila
Thu, 17 Oct 2013 12:38:50 +0200
changeset 21437 9f558215d924
parent 18844 f85cfbfb4d11
child 24778 2ff5d7041566
permissions -rw-r--r--
8026161: Don't narrow floating-point literals in the lexer Reviewed-by: hannesw, jlaskey
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
18631
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     1
/*
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     2
 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     4
 * 
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     7
 * published by the Free Software Foundation.
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     8
 * 
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    13
 * accompanied this code).
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    14
 * 
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    18
 * 
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    21
 * questions.
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    22
 */
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    23
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    24
/**
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    25
 * Regression test for erroneous shortcut optimization for object null checks
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    26
 *
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    27
 * @test
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    28
 * @run
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    29
 */
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    30
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    31
function toto() {
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    32
    var friends = 1;
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    33
    (joe = friends) == null;
537b279999e5 8016667: Wrong bytecode when testing/setting due to null check shortcut checking against primitive too
lagergren
parents:
diff changeset
    34
} 
18844
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    35
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    36
//JDK-8019476 duplicate case of this
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    37
Function("with(\nnull == (this % {}))( /x/g );"); 
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    38
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    39
function f() {
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    40
    with(null == (this % {}))(/x/g);
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    41
}
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    42
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    43
Function("return (null != [,,] <= this);"); 
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    44
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    45
function f2() {
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    46
    return (null != [,,] <= this);
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    47
}
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    48
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    49
Function("/*infloop*/L:for(var x; ([+(function (window)[,,])(function(q) { return q; }, -0)].some(new Function)); [11,12,13,14].some) {/*infloop*/do {;return this; } while(x); }"); 
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    50
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    51
function f3() {
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    52
    /*infloop*/L:for(var x; ([+(function (window)[,,])(function(q) { return q; }, -0)].some(new Function)); [11,12,13,14].some) {/*infloop*/do {;return this; } while(x); }
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    53
}
f85cfbfb4d11 8019811: Static calls - self referential functions needed a return type conversion if they were specialized, as they can't use the same mechanism as indy calls
lagergren
parents: 18631
diff changeset
    54