001/*
002 * Copyright 2010-2013 JetBrains s.r.o.
003 *
004 * Licensed under the Apache License, Version 2.0 (the "License");
005 * you may not use this file except in compliance with the License.
006 * You may obtain a copy of the License at
007 *
008 * http://www.apache.org/licenses/LICENSE-2.0
009 *
010 * Unless required by applicable law or agreed to in writing, software
011 * distributed under the License is distributed on an "AS IS" BASIS,
012 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
013 * See the License for the specific language governing permissions and
014 * limitations under the License.
015 */
016
017package org.jetbrains.jet.codegen.intrinsics;
018
019import com.intellij.psi.PsiElement;
020import org.jetbrains.annotations.NotNull;
021import org.jetbrains.asm4.Type;
022import org.jetbrains.asm4.commons.InstructionAdapter;
023import org.jetbrains.jet.codegen.ExpressionCodegen;
024import org.jetbrains.jet.codegen.StackValue;
025import org.jetbrains.jet.codegen.state.GenerationState;
026import org.jetbrains.jet.lang.psi.JetExpression;
027
028import java.util.List;
029
030import static org.jetbrains.asm4.Opcodes.*;
031import static org.jetbrains.jet.codegen.AsmUtil.boxType;
032import static org.jetbrains.jet.codegen.AsmUtil.unboxType;
033
034public class BinaryOp implements IntrinsicMethod {
035    private final int opcode;
036
037    public BinaryOp(int opcode) {
038        this.opcode = opcode;
039    }
040
041    @Override
042    public StackValue generate(
043            ExpressionCodegen codegen,
044            InstructionAdapter v,
045            @NotNull Type expectedType,
046            PsiElement element,
047            List<JetExpression> arguments,
048            StackValue receiver,
049            @NotNull GenerationState state
050    ) {
051        boolean nullable = expectedType.getSort() == Type.OBJECT;
052        if (nullable) {
053            expectedType = unboxType(expectedType);
054        }
055        if (arguments.size() == 1) {
056            // Intrinsic is called as an ordinary function
057            if (receiver != null) {
058                receiver.put(expectedType, v);
059            }
060            codegen.gen(arguments.get(0), shift() ? Type.INT_TYPE : expectedType);
061        }
062        else {
063            codegen.gen(arguments.get(0), expectedType);
064            codegen.gen(arguments.get(1), shift() ? Type.INT_TYPE : expectedType);
065        }
066        v.visitInsn(expectedType.getOpcode(opcode));
067
068        if (nullable) {
069            StackValue.onStack(expectedType).put(expectedType = boxType(expectedType), v);
070        }
071        return StackValue.onStack(expectedType);
072    }
073
074    private boolean shift() {
075        return opcode == ISHL || opcode == ISHR || opcode == IUSHR;
076    }
077}