0N/A/*
2362N/A * Copyright (c) 1994, 2003, Oracle and/or its affiliates. All rights reserved.
0N/A * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
0N/A *
0N/A * This code is free software; you can redistribute it and/or modify it
0N/A * under the terms of the GNU General Public License version 2 only, as
2362N/A * published by the Free Software Foundation. Oracle designates this
0N/A * particular file as subject to the "Classpath" exception as provided
2362N/A * by Oracle in the LICENSE file that accompanied this code.
0N/A *
0N/A * This code is distributed in the hope that it will be useful, but WITHOUT
0N/A * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
0N/A * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
0N/A * version 2 for more details (a copy is included in the LICENSE file that
0N/A * accompanied this code).
0N/A *
0N/A * You should have received a copy of the GNU General Public License version
0N/A * 2 along with this work; if not, write to the Free Software Foundation,
0N/A * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
0N/A *
2362N/A * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
2362N/A * or visit www.oracle.com if you need additional information or have any
2362N/A * questions.
0N/A */
0N/A
0N/Apackage sun.tools.tree;
0N/A
0N/Aimport sun.tools.java.*;
0N/Aimport sun.tools.asm.Assembler;
0N/Aimport java.util.Hashtable;
0N/A
0N/A/**
0N/A * WARNING: The contents of this source file are not part of any
0N/A * supported API. Code that depends on them does so at its own risk:
0N/A * they are subject to change or removal without notice.
0N/A */
0N/Apublic
0N/Aclass IncDecExpression extends UnaryExpression {
0N/A
0N/A private FieldUpdater updater = null;
0N/A
0N/A /**
0N/A * Constructor
0N/A */
0N/A public IncDecExpression(int op, long where, Expression right) {
0N/A super(op, where, right.type, right);
0N/A }
0N/A
0N/A /**
0N/A * Check an increment or decrement expression
0N/A */
0N/A public Vset checkValue(Environment env, Context ctx, Vset vset, Hashtable exp) {
0N/A vset = right.checkAssignOp(env, ctx, vset, exp, this);
0N/A if (right.type.inMask(TM_NUMBER)) {
0N/A type = right.type;
0N/A } else {
0N/A if (!right.type.isType(TC_ERROR)) {
0N/A env.error(where, "invalid.arg.type", right.type, opNames[op]);
0N/A }
0N/A type = Type.tError;
0N/A }
0N/A updater = right.getUpdater(env, ctx); // Must be called after 'checkAssignOp'.
0N/A return vset;
0N/A }
0N/A
0N/A /**
0N/A * Check void expression
0N/A */
0N/A public Vset check(Environment env, Context ctx, Vset vset, Hashtable exp) {
0N/A return checkValue(env, ctx, vset, exp);
0N/A }
0N/A
0N/A /**
0N/A * Inline
0N/A */
0N/A public Expression inline(Environment env, Context ctx) {
0N/A return inlineValue(env, ctx);
0N/A }
0N/A public Expression inlineValue(Environment env, Context ctx) {
0N/A // Why not inlineLHS? But that does not work.
0N/A right = right.inlineValue(env, ctx);
0N/A if (updater != null) {
0N/A updater = updater.inline(env, ctx);
0N/A }
0N/A return this;
0N/A }
0N/A
0N/A public int costInline(int thresh, Environment env, Context ctx) {
0N/A if (updater == null) {
0N/A if ((right.op == IDENT) && type.isType(TC_INT) &&
0N/A (((IdentifierExpression)right).field.isLocal())) {
0N/A // Increment variable in place. Count 3 bytes for 'iinc'.
0N/A return 3;
0N/A }
0N/A // Cost to load lhs reference, fetch local, increment, and store.
0N/A // Load/store cost will be higher if variable is a field. Note that
0N/A // costs are highly approximate. See 'AssignOpExpression.costInline'
0N/A // Does not account for cost of conversions,or duplications in
0N/A // value-needed context..
0N/A return right.costInline(thresh, env, ctx) + 4;
0N/A } else {
0N/A // Cost of two access method calls (get/set) + cost of increment.
0N/A return updater.costInline(thresh, env, ctx, true) + 1;
0N/A }
0N/A }
0N/A
0N/A
0N/A /**
0N/A * Code
0N/A */
0N/A
0N/A private void codeIncDecOp(Assembler asm, boolean inc) {
0N/A switch (type.getTypeCode()) {
0N/A case TC_BYTE:
0N/A asm.add(where, opc_ldc, new Integer(1));
0N/A asm.add(where, inc ? opc_iadd : opc_isub);
0N/A asm.add(where, opc_i2b);
0N/A break;
0N/A case TC_SHORT:
0N/A asm.add(where, opc_ldc, new Integer(1));
0N/A asm.add(where, inc ? opc_iadd : opc_isub);
0N/A asm.add(where, opc_i2s);
0N/A break;
0N/A case TC_CHAR:
0N/A asm.add(where, opc_ldc, new Integer(1));
0N/A asm.add(where, inc ? opc_iadd : opc_isub);
0N/A asm.add(where, opc_i2c);
0N/A break;
0N/A case TC_INT:
0N/A asm.add(where, opc_ldc, new Integer(1));
0N/A asm.add(where, inc ? opc_iadd : opc_isub);
0N/A break;
0N/A case TC_LONG:
0N/A asm.add(where, opc_ldc2_w, new Long(1));
0N/A asm.add(where, inc ? opc_ladd : opc_lsub);
0N/A break;
0N/A case TC_FLOAT:
0N/A asm.add(where, opc_ldc, new Float(1));
0N/A asm.add(where, inc ? opc_fadd : opc_fsub);
0N/A break;
0N/A case TC_DOUBLE:
0N/A asm.add(where, opc_ldc2_w, new Double(1));
0N/A asm.add(where, inc ? opc_dadd : opc_dsub);
0N/A break;
0N/A default:
0N/A throw new CompilerError("invalid type");
0N/A }
0N/A }
0N/A
0N/A void codeIncDec(Environment env, Context ctx, Assembler asm, boolean inc, boolean prefix, boolean valNeeded) {
0N/A
0N/A // The 'iinc' instruction cannot be used if an access method call is required.
0N/A if ((right.op == IDENT) && type.isType(TC_INT) &&
0N/A (((IdentifierExpression)right).field.isLocal()) && updater == null) {
0N/A if (valNeeded && !prefix) {
0N/A right.codeLoad(env, ctx, asm);
0N/A }
0N/A int v = ((LocalMember)((IdentifierExpression)right).field).number;
0N/A int[] operands = { v, inc ? 1 : -1 };
0N/A asm.add(where, opc_iinc, operands);
0N/A if (valNeeded && prefix) {
0N/A right.codeLoad(env, ctx, asm);
0N/A }
0N/A return;
0N/A
0N/A }
0N/A
0N/A if (updater == null) {
0N/A // Field is directly accessible.
0N/A int depth = right.codeLValue(env, ctx, asm);
0N/A codeDup(env, ctx, asm, depth, 0);
0N/A right.codeLoad(env, ctx, asm);
0N/A if (valNeeded && !prefix) {
0N/A codeDup(env, ctx, asm, type.stackSize(), depth);
0N/A }
0N/A codeIncDecOp(asm, inc);
0N/A if (valNeeded && prefix) {
0N/A codeDup(env, ctx, asm, type.stackSize(), depth);
0N/A }
0N/A right.codeStore(env, ctx, asm);
0N/A } else {
0N/A // Must use access methods.
0N/A updater.startUpdate(env, ctx, asm, (valNeeded && !prefix));
0N/A codeIncDecOp(asm, inc);
0N/A updater.finishUpdate(env, ctx, asm, (valNeeded && prefix));
0N/A }
0N/A }
0N/A
0N/A}