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
017 package org.jetbrains.jet.codegen.intrinsics;
018
019 import com.intellij.psi.PsiElement;
020 import org.jetbrains.annotations.NotNull;
021 import org.jetbrains.asm4.Type;
022 import org.jetbrains.asm4.commons.InstructionAdapter;
023 import org.jetbrains.jet.codegen.ExpressionCodegen;
024 import org.jetbrains.jet.codegen.StackValue;
025 import org.jetbrains.jet.codegen.state.GenerationState;
026 import org.jetbrains.jet.lang.psi.JetExpression;
027
028 import java.util.List;
029
030 import static org.jetbrains.asm4.Opcodes.*;
031 import static org.jetbrains.jet.codegen.AsmUtil.boxType;
032 import static org.jetbrains.jet.codegen.AsmUtil.unboxType;
033
034 public 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 }