Mercurial > hg > graal-compiler
view graal/com.oracle.graal.truffle/src/com/oracle/graal/truffle/TruffleConstantReflectionProvider.java @ 20984:6361fa2e3321
Truffle-DSL: further fixes for polymorphic execute signatures.
author | Christian Humer <christian.humer@oracle.com> |
---|---|
date | Wed, 15 Apr 2015 21:13:43 +0200 |
parents | b7ec3020800e |
children | f5c2bc68205e |
line wrap: on
line source
/* * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. */ package com.oracle.graal.truffle; import com.oracle.graal.api.meta.*; import com.oracle.truffle.api.CompilerDirectives.CompilationFinal; import com.oracle.truffle.api.nodes.Node.Child; import com.oracle.truffle.api.nodes.Node.Children; public class TruffleConstantReflectionProvider implements ConstantReflectionProvider { private final ConstantReflectionProvider graalConstantReflection; private final MetaAccessProvider metaAccess; public TruffleConstantReflectionProvider(ConstantReflectionProvider graalConstantReflection, MetaAccessProvider metaAccess) { this.graalConstantReflection = graalConstantReflection; this.metaAccess = metaAccess; } public Boolean constantEquals(Constant x, Constant y) { return graalConstantReflection.constantEquals(x, y); } public Integer readArrayLength(JavaConstant array) { return graalConstantReflection.readArrayLength(array); } public JavaConstant readArrayElement(JavaConstant array, int index) { return graalConstantReflection.readArrayElement(array, index); } public JavaConstant readConstantArrayElement(JavaConstant array, int index) { return graalConstantReflection.readConstantArrayElement(array, index); } public JavaConstant readConstantFieldValue(JavaField field0, JavaConstant receiver) { ResolvedJavaField field = (ResolvedJavaField) field0; if (!field.isStatic() && receiver.isNonNull()) { JavaType fieldType = field.getType(); if (field.isFinal() || field.getAnnotation(CompilationFinal.class) != null || (fieldType.getKind() == Kind.Object && (field.getAnnotation(Child.class) != null || field.getAnnotation(Children.class) != null))) { final JavaConstant constant; if (fieldType.getKind() == Kind.Object && fieldType instanceof ResolvedJavaType && ((ResolvedJavaType) fieldType).isArray() && (field.getAnnotation(CompilationFinal.class) != null || field.getAnnotation(Children.class) != null)) { constant = graalConstantReflection.readStableFieldValue(field, receiver, true); } else { constant = graalConstantReflection.readFieldValue(field, receiver); } assert verifyFieldValue(field, constant); return constant; } } else if (field.isStatic()) { if (field.getAnnotation(CompilationFinal.class) != null) { return graalConstantReflection.readStableFieldValue(field, receiver, true); } } return graalConstantReflection.readConstantFieldValue(field, receiver); } private boolean verifyFieldValue(ResolvedJavaField field, JavaConstant constant) { assert field.getAnnotation(Child.class) == null || constant.isNull() || metaAccess.lookupJavaType(com.oracle.truffle.api.nodes.Node.class).isAssignableFrom(metaAccess.lookupJavaType(constant)) : "@Child field value must be a Node: " + field + ", but was: " + constant; assert field.getAnnotation(Children.class) == null || constant.isNull() || metaAccess.lookupJavaType(constant).isArray() : "@Children field value must be an array: " + field + ", but was: " + constant; return true; } public JavaConstant readFieldValue(JavaField field, JavaConstant receiver) { return graalConstantReflection.readFieldValue(field, receiver); } public JavaConstant readStableFieldValue(JavaField field, JavaConstant receiver, boolean isDefaultStable) { return graalConstantReflection.readStableFieldValue(field, receiver, isDefaultStable); } public JavaConstant boxPrimitive(JavaConstant source) { return graalConstantReflection.boxPrimitive(source); } public JavaConstant unboxPrimitive(JavaConstant source) { return graalConstantReflection.unboxPrimitive(source); } public JavaConstant forString(String value) { return graalConstantReflection.forString(value); } public ResolvedJavaType asJavaType(Constant constant) { return graalConstantReflection.asJavaType(constant); } public MethodHandleAccessProvider getMethodHandleAccess() { return graalConstantReflection.getMethodHandleAccess(); } public MemoryAccessProvider getMemoryAccessProvider() { return graalConstantReflection.getMemoryAccessProvider(); } }