1 /*
   2  * Copyright (c) 2011, 2018, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  */
  23 
  24 package vm.mlvm.meth.share.transform.v2;
  25 
  26 import java.lang.invoke.MethodHandle;
  27 import java.lang.invoke.MethodHandles;
  28 import java.lang.reflect.Array;
  29 
  30 import vm.mlvm.meth.share.Argument;
  31 
  32 public class MHArrayGetElemTF extends MHNullaryTF {
  33 
  34     private final Argument arrayArg;
  35     private final Argument idxArg;
  36     private final int idx;
  37 
  38     public MHArrayGetElemTF(Argument array, Argument idxArg) {
  39         this.arrayArg = array;
  40         this.idxArg = idxArg;
  41         this.idx = (Integer) idxArg.getValue();
  42     }
  43 
  44     @Override
  45     protected void check() throws IllegalArgumentException {
  46         if ( ! this.arrayArg.getType().isArray() )
  47             throw new IllegalArgumentException("Argument " + this.arrayArg + " should be an array!");
  48 
  49         if ( ! this.idxArg.getType().equals(int.class) )
  50             throw new IllegalArgumentException("Argument " + this.idxArg + " should be of type int!");
  51 
  52         if ( this.idx < 0 || this.idx >= Array.getLength(this.arrayArg.getValue()) )
  53             throw new IllegalArgumentException("Index " + this.idxArg + " is out of bounds for array " + this.arrayArg);
  54     }
  55 
  56     @Override
  57     protected Argument computeRetVal() {
  58         return new Argument(this.arrayArg.getType().getComponentType(), Array.get(this.arrayArg.getValue(), idx));
  59     }
  60 
  61     @Override
  62     protected Argument[] computeInboundArgs() {
  63         return new Argument[] { arrayArg, idxArg };
  64     }
  65 
  66     @Override
  67     protected MethodHandle computeInboundMH() {
  68         return MethodHandles.arrayElementGetter(this.arrayArg.getType());
  69     }
  70 
  71     @Override
  72     protected String getName() {
  73         return "arrayElementGetter";
  74     }
  75 
  76     @Override
  77     protected String getDescription() {
  78         return "array=" + this.arrayArg + "; idx=" + this.idxArg;
  79     }
  80 }