| /* |
| * Copyright (C) 2017 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| package com.android.dx.rop.code; |
| |
| import com.android.dx.rop.cst.CstMethodRef; |
| import com.android.dx.rop.cst.CstNat; |
| import com.android.dx.rop.cst.CstProtoRef; |
| import com.android.dx.rop.cst.CstString; |
| import com.android.dx.rop.cst.CstType; |
| import com.android.dx.rop.type.Type; |
| import com.android.dx.rop.type.TypeList; |
| |
| /** |
| * An invoke-polymorphic instruction. This is a throwing instruction with |
| * multiple constants. |
| */ |
| public class InvokePolymorphicInsn extends Insn { |
| /** Default descriptor for signature polymorphic methods. */ |
| private static final CstString DEFAULT_DESCRIPTOR = |
| new CstString("([Ljava/lang/Object;)Ljava/lang/Object;"); |
| |
| /** Descriptor for VarHandle set methods. */ |
| private static final CstString VARHANDLE_SET_DESCRIPTOR = |
| new CstString("([Ljava/lang/Object;)V"); |
| |
| /** Descriptor for VarHandle compare-and-set methods. */ |
| private static final CstString VARHANDLE_COMPARE_AND_SET_DESCRIPTOR = |
| new CstString("([Ljava/lang/Object;)Z"); |
| |
| /** {@code non-null;} list of exceptions caught */ |
| private final TypeList catches; |
| |
| /** |
| * {@code non-null;} method as it appears at the call site of the original |
| * invoke-virtual instruction. This is used to construct the invoke method |
| * to target and the call-site prototype. |
| */ |
| private final CstMethodRef callSiteMethod; |
| |
| /** |
| * {@code non-null;} signature polymorphic method. |
| */ |
| private final CstMethodRef polymorphicMethod; |
| |
| /** |
| * {@code non-null;} the call site prototype. |
| */ |
| private final CstProtoRef callSiteProto; |
| |
| /** |
| * Constructs an instance. |
| * |
| * @param opcode {@code non-null;} the opcode |
| * @param position {@code non-null;} source position |
| * @param sources {@code non-null;} specs for all the sources |
| * @param catches {@code non-null;} list of exceptions caught |
| * @param callSiteMethod {@code non-null;} the method called by |
| * invoke-virtual that this instance will replace. |
| */ |
| public InvokePolymorphicInsn(Rop opcode, SourcePosition position, RegisterSpecList sources, TypeList catches, |
| CstMethodRef callSiteMethod) { |
| super(opcode, position, null, sources); |
| |
| if (opcode.getBranchingness() != Rop.BRANCH_THROW) { |
| throw new IllegalArgumentException("opcode with invalid branchingness: " + opcode.getBranchingness()); |
| } |
| |
| if (catches == null) { |
| throw new NullPointerException("catches == null"); |
| } |
| this.catches = catches; |
| |
| if (callSiteMethod == null) { |
| throw new NullPointerException("callSiteMethod == null"); |
| } else if (!callSiteMethod.isSignaturePolymorphic()) { |
| throw new IllegalArgumentException("callSiteMethod is not signature polymorphic"); |
| } |
| |
| this.callSiteMethod = callSiteMethod; |
| this.polymorphicMethod = makePolymorphicMethod(callSiteMethod); |
| this.callSiteProto = makeCallSiteProto(callSiteMethod); |
| } |
| |
| /** {@inheritDoc} */ |
| @Override |
| public TypeList getCatches() { |
| return this.catches; |
| } |
| |
| /** {@inheritDoc} */ |
| @Override |
| public void accept(Visitor visitor) { |
| visitor.visitInvokePolymorphicInsn(this); |
| } |
| |
| /** {@inheritDoc} */ |
| @Override |
| public Insn withAddedCatch(Type type) { |
| return new InvokePolymorphicInsn(getOpcode(), getPosition(), |
| getSources(), catches.withAddedType(type), getCallSiteMethod()); |
| } |
| |
| /** {@inheritDoc} */ |
| @Override |
| public Insn withRegisterOffset(int delta) { |
| return new InvokePolymorphicInsn(getOpcode(), getPosition(), |
| getSources().withOffset(delta), |
| catches, getCallSiteMethod()); |
| } |
| |
| /** {@inheritDoc} */ |
| @Override |
| public Insn withNewRegisters(RegisterSpec result, RegisterSpecList sources) { |
| return new InvokePolymorphicInsn(getOpcode(), getPosition(), |
| sources, catches, getCallSiteMethod()); |
| } |
| |
| /** |
| * Gets the method as it appears at the call site of the original |
| * invoke-virtual instruction. |
| * |
| * @return {@code non-null;} the original method reference |
| */ |
| public CstMethodRef getCallSiteMethod() { |
| return callSiteMethod; |
| } |
| |
| /** |
| * Gets the method to be invoked. This will be will either be |
| * {@code java.lang.invoke.MethodHandle.invoke()} or |
| * {@code java.lang.invoke.MethodHandle.invokeExact()}. |
| * |
| * @return {@code non-null;} method reference to be invoked |
| */ |
| public CstMethodRef getPolymorphicMethod() { |
| return polymorphicMethod; |
| } |
| |
| /** |
| * Gets the call site prototype. The call site prototype is provided |
| * as an argument to invoke-polymorphic to enable type checking and |
| * type conversion. |
| * |
| * @return {@code non-null;} Prototype reference for call site |
| */ |
| public CstProtoRef getCallSiteProto() { |
| return callSiteProto; |
| } |
| |
| /** {@inheritDoc} */ |
| @Override |
| public String getInlineString() { |
| return getPolymorphicMethod().toString() + " " + |
| getCallSiteProto().toString() + " " + |
| ThrowingInsn.toCatchString(catches); |
| } |
| |
| private static CstMethodRef makePolymorphicMethod(final CstMethodRef callSiteMethod) { |
| CstType definingClass= callSiteMethod.getDefiningClass(); |
| CstString cstMethodName = callSiteMethod.getNat().getName(); |
| String methodName = callSiteMethod.getNat().getName().getString(); |
| |
| if (definingClass.equals(CstType.METHOD_HANDLE)) { |
| if (methodName.equals("invoke") || methodName.equals("invokeExact")) { |
| CstNat cstNat = new CstNat(cstMethodName, DEFAULT_DESCRIPTOR); |
| return new CstMethodRef(definingClass, cstNat); |
| } |
| } |
| |
| if (definingClass.equals(CstType.VAR_HANDLE)) { |
| switch (methodName) { |
| case "compareAndExchange": |
| case "compareAndExchangeAcquire": |
| case "compareAndExchangeRelease": |
| case "get": |
| case "getAcquire": |
| case "getAndAdd": |
| case "getAndAddAcquire": |
| case "getAndAddRelease": |
| case "getAndBitwiseAnd": |
| case "getAndBitwiseAndAcquire": |
| case "getAndBitwiseAndRelease": |
| case "getAndBitwiseOr": |
| case "getAndBitwiseOrAcquire": |
| case "getAndBitwiseOrRelease": |
| case "getAndBitwiseXor": |
| case "getAndBitwiseXorAcquire": |
| case "getAndBitwiseXorRelease": |
| case "getAndSet": |
| case "getAndSetAcquire": |
| case "getAndSetRelease": |
| case "getOpaque": |
| case "getVolatile": |
| { |
| CstNat cstNat = new CstNat(cstMethodName, DEFAULT_DESCRIPTOR); |
| return new CstMethodRef(definingClass, cstNat); |
| } |
| case "set": |
| case "setOpaque": |
| case "setRelease": |
| case "setVolatile": |
| { |
| CstNat cstNat = new CstNat(cstMethodName, VARHANDLE_SET_DESCRIPTOR); |
| return new CstMethodRef(definingClass, cstNat); |
| } |
| case "compareAndSet": |
| case "weakCompareAndSet": |
| case "weakCompareAndSetAcquire": |
| case "weakCompareAndSetPlain": |
| case "weakCompareAndSetRelease": |
| { |
| CstNat cstNat = new CstNat(cstMethodName, VARHANDLE_COMPARE_AND_SET_DESCRIPTOR); |
| return new CstMethodRef(definingClass, cstNat); |
| } |
| default: |
| break; |
| } |
| } |
| throw new IllegalArgumentException("Unknown signature polymorphic method: " + |
| callSiteMethod.toHuman()); |
| } |
| |
| private static CstProtoRef makeCallSiteProto(final CstMethodRef callSiteMethod) { |
| return new CstProtoRef(callSiteMethod.getPrototype(true)); |
| } |
| } |