nashorn/src/jdk.scripting.nashorn/share/classes/jdk/nashorn/internal/codegen/types/BooleanType.java
author mhaupt
Tue, 09 Feb 2016 14:14:06 +0100
changeset 35793 b89ddacf3104
parent 35725 c7a2c18529b1
child 36026 ad5ff5d5459b
permissions -rw-r--r--
8149462: revert changes for 8149186 Reviewed-by: jlaskey, sundar
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     1
/*
35793
b89ddacf3104 8149462: revert changes for 8149186
mhaupt
parents: 35725
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.  Oracle designates this
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    10
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    15
 * accompanied this code).
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    16
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    20
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    23
 * questions.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    24
 */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    25
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    26
package jdk.nashorn.internal.codegen.types;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    27
24751
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
    28
import static jdk.internal.org.objectweb.asm.Opcodes.I2D;
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
    29
import static jdk.internal.org.objectweb.asm.Opcodes.I2L;
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
    30
import static jdk.internal.org.objectweb.asm.Opcodes.IADD;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    31
import static jdk.internal.org.objectweb.asm.Opcodes.ICONST_0;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    32
import static jdk.internal.org.objectweb.asm.Opcodes.ICONST_1;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    33
import static jdk.internal.org.objectweb.asm.Opcodes.ILOAD;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    34
import static jdk.internal.org.objectweb.asm.Opcodes.IRETURN;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    35
import static jdk.internal.org.objectweb.asm.Opcodes.ISTORE;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    36
import static jdk.nashorn.internal.codegen.CompilerConstants.staticCallNoLookup;
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    37
import static jdk.nashorn.internal.runtime.JSType.UNDEFINED_INT;
24751
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
    38
import static jdk.nashorn.internal.runtime.UnwarrantedOptimismException.INVALID_PROGRAM_POINT;
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
    39
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    40
import jdk.internal.org.objectweb.asm.MethodVisitor;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    41
import jdk.nashorn.internal.codegen.CompilerConstants;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    42
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    43
/**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    44
 * The boolean type class
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    45
 */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    46
public final class BooleanType extends Type {
27204
06ec78f29a56 8059843: Make AST serializable
attila
parents: 25865
diff changeset
    47
    private static final long serialVersionUID = 1L;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    48
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    49
    private static final CompilerConstants.Call VALUE_OF = staticCallNoLookup(Boolean.class, "valueOf", Boolean.class, boolean.class);
24751
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
    50
    private static final CompilerConstants.Call TO_STRING = staticCallNoLookup(Boolean.class, "toString", String.class, boolean.class);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    51
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    52
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    53
     * Constructor
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    54
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    55
    protected BooleanType() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    56
        super("boolean", boolean.class, 1, 1);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    57
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    58
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    59
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    60
    public Type nextWider() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    61
        return INT;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    62
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    63
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    64
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    65
    public Class<?> getBoxedType() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    66
        return Boolean.class;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    67
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    68
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    69
    @Override
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    70
    public char getBytecodeStackType() {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    71
        return 'I';
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    72
    }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    73
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    74
    @Override
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    75
    public Type loadUndefined(final MethodVisitor method) {
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    76
        method.visitLdcInsn(UNDEFINED_INT);
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    77
        return BOOLEAN;
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    78
    }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    79
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    80
    @Override
24778
2ff5d7041566 8044638: Tidy up Nashorn codebase for code standards
attila
parents: 24751
diff changeset
    81
    public Type loadForcedInitializer(final MethodVisitor method) {
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
    82
        method.visitInsn(ICONST_0);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    83
        return BOOLEAN;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    84
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    85
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    86
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    87
    public void _return(final MethodVisitor method) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    88
        method.visitInsn(IRETURN);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    89
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    90
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    91
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    92
    public Type load(final MethodVisitor method, final int slot) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    93
        assert slot != -1;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    94
        method.visitVarInsn(ILOAD, slot);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    95
        return BOOLEAN;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    96
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    97
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    98
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    99
    public void store(final MethodVisitor method, final int slot) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   100
        assert slot != -1;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   101
        method.visitVarInsn(ISTORE, slot);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   102
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   103
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   104
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   105
    public Type ldc(final MethodVisitor method, final Object c) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   106
        assert c instanceof Boolean;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   107
        method.visitInsn((Boolean) c ? ICONST_1 : ICONST_0);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   108
        return BOOLEAN;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   109
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   110
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   111
    @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   112
    public Type convert(final MethodVisitor method, final Type to) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   113
        if (isEquivalentTo(to)) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   114
            return to;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   115
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   116
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   117
        if (to.isNumber()) {
24751
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
   118
            method.visitInsn(I2D);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   119
        } else if (to.isLong()) {
24751
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
   120
            method.visitInsn(I2L);
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
   121
        } else if (to.isInteger()) {
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
   122
            //nop
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   123
        } else if (to.isString()) {
24751
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
   124
            invokestatic(method, TO_STRING);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   125
        } else if (to.isObject()) {
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   126
            invokestatic(method, VALUE_OF);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   127
        } else {
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   128
            throw new UnsupportedOperationException("Illegal conversion " + this + " -> " + to);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   129
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   130
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   131
        return to;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   132
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   133
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   134
    @Override
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 20928
diff changeset
   135
    public Type add(final MethodVisitor method, final int programPoint) {
24751
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
   136
        // Adding booleans in JavaScript is perfectly valid, they add as if false=0 and true=1
35793
b89ddacf3104 8149462: revert changes for 8149186
mhaupt
parents: 35725
diff changeset
   137
        if(programPoint == INVALID_PROGRAM_POINT) {
b89ddacf3104 8149462: revert changes for 8149186
mhaupt
parents: 35725
diff changeset
   138
            method.visitInsn(IADD);
b89ddacf3104 8149462: revert changes for 8149186
mhaupt
parents: 35725
diff changeset
   139
        } else {
b89ddacf3104 8149462: revert changes for 8149186
mhaupt
parents: 35725
diff changeset
   140
            method.visitInvokeDynamicInsn("iadd", "(II)I", MATHBOOTSTRAP, programPoint);
b89ddacf3104 8149462: revert changes for 8149186
mhaupt
parents: 35725
diff changeset
   141
        }
24751
ccbd9cd3f720 8042118: Separate types from symbols
attila
parents: 24719
diff changeset
   142
        return INT;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   143
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   144
}