Mercurial > hg > graal-compiler

comparison graal/com.oracle.truffle.api/src/com/oracle/truffle/api/impl/DefaultVirtualFrame.java @ 7267:a4b84ba6dc2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Introduction of the Truffle API for efficient implementation of dynamic languages on top of the Graal VM. New projects com.oracle.truffle.api for the API definition and com.oracle.truffle.api.test for API tests and documentation.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 18 Dec 2012 15:33:55 +0100
parents
children dc3e86fd3be1
comparison
equal deleted inserted replaced
7259:494d99e07614 7267:a4b84ba6dc2e
1 /*
2 * Copyright (c) 2012, 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 package com.oracle.truffle.api.impl;
24
25 import java.util.*;
26
27 import com.oracle.truffle.api.*;
28 import com.oracle.truffle.api.frame.*;
29
30 final class DefaultVirtualFrame implements VirtualFrame {
31
32 private static final Object UNDEFINED_OBJECT = null;
33 private static final Boolean UNDEFINED_BOOLEAN = false;
34 private static final Integer UNDEFINED_INTEGER = 0;
35 private static final Float UNDEFINED_FLOAT = 0.0f;
36 private static final Long UNDEFINED_LONG = 0L;
37 private static final Double UNDEFINED_DOUBLE = 0.0d;
38
39 private final FrameDescriptor descriptor;
40 private final PackedFrame caller;
41 private final Arguments arguments;
42 private FrameVersion currentVersion;
43 protected Object[] locals;
44 protected Class[] tags;
45
46 DefaultVirtualFrame(FrameDescriptor descriptor, PackedFrame caller, Arguments arguments) {
47 this.descriptor = descriptor;
48 this.caller = caller;
49 this.arguments = arguments;
50 this.currentVersion = descriptor.getCurrentVersion();
51 this.locals = new Object[descriptor.getSize()];
52 // The tags are only needed for assertion checking, so initialize the field only when assertions are enabled
53 assert (this.tags = new Class[descriptor.getSize()]) != null;
54 }
55
56 @Override
57 public Arguments getArguments() {
58 return arguments;
59 }
60
61 @Override
62 public PackedFrame getCaller() {
63 return caller;
64 }
65
66 @Override
67 public PackedFrame pack() {
68 return new DefaultPackedFrame(this);
69 }
70
71 @Override
72 public MaterializedFrame materialize() {
73 return new DefaultMaterializedFrame(this);
74 }
75
76 @Override
77 public Object getObject(FrameSlot slot) {
78 return get(slot, Object.class, UNDEFINED_OBJECT);
79 }
80
81 @Override
82 public void setObject(FrameSlot slot, Object value) {
83 set(slot, Object.class, value);
84 }
85
86 @Override
87 public boolean getBoolean(FrameSlot slot) {
88 return (Boolean) get(slot, Float.class, UNDEFINED_BOOLEAN);
89 }
90
91 @Override
92 public void setBoolean(FrameSlot slot, boolean value) {
93 set(slot, Float.class, value);
94 }
95
96 @Override
97 public int getInt(FrameSlot slot) {
98 return (Integer) get(slot, Integer.class, UNDEFINED_INTEGER);
99 }
100
101 @Override
102 public void setInt(FrameSlot slot, int value) {
103 set(slot, Integer.class, value);
104 }
105
106 @Override
107 public long getLong(FrameSlot slot) {
108 return (Long) get(slot, Long.class, UNDEFINED_LONG);
109 }
110
111 @Override
112 public void setLong(FrameSlot slot, long value) {
113 set(slot, Long.class, value);
114 }
115
116 @Override
117 public float getFloat(FrameSlot slot) {
118 return (Float) get(slot, Float.class, UNDEFINED_FLOAT);
119 }
120
121 @Override
122 public void setFloat(FrameSlot slot, float value) {
123 set(slot, Float.class, value);
124 }
125
126 @Override
127 public double getDouble(FrameSlot slot) {
128 return (Double) get(slot, Double.class, UNDEFINED_DOUBLE);
129 }
130
131 @Override
132 public void setDouble(FrameSlot slot, double value) {
133 set(slot, Double.class, value);
134 }
135
136 private Object get(FrameSlot slot, Class< ? > accessType, Object defaultValue) {
137 Object value = locals[slot.getIndex()];
138 assert verifyGet(slot, accessType, value);
139 if (value == null) {
140 return defaultValue;
141 } else {
142 return value;
143 }
144 }
145
146 private boolean verifyGet(FrameSlot slot, Class< ? > accessType, Object value) {
147 assert descriptor.getSlots().get(slot.getIndex()) == slot;
148 Class< ? > tag = tags[slot.getIndex()];
149 if (value == null) {
150 assert tag == null || tag == Object.class;
151 } else {
152 assert tag == accessType : "Local variable " + slot + " was written with set" + tag.getSimpleName() + ", but is read with get" + accessType.getSimpleName();
153 }
154 return true;
155 }
156
157 private void set(FrameSlot slot, Class< ? > accessType, Object value) {
158 assert verifySet(slot, accessType, value);
159 locals[slot.getIndex()] = value;
160 }
161
162 private boolean verifySet(FrameSlot slot, Class< ? > accessType, Object value) {
163 assert descriptor.getSlots().get(slot.getIndex()) == slot;
164 tags[slot.getIndex()] = accessType;
165 assert accessType.isAssignableFrom(slot.getType()) : "Local variable " + slot + ": " + accessType + " is not assignable from " + slot.getType();
166 if (value == null) {
167 assert accessType == Object.class;
168 } else {
169 assert slot.getType().isAssignableFrom(value.getClass()) : "Local variable " + slot + ": " + slot.getType() + " is not assignable from " + value.getClass();
170 }
171 return true;
172 }
173
174 @Override
175 public void updateToLatestVersion() {
176 if (currentVersion.getNext() != null) {
177 doUpdateToLatestVersion();
178 }
179 }
180
181 private void doUpdateToLatestVersion() {
182 FrameVersion version = currentVersion;
183 while (version.getNext() != null) {
184 version = version.getNext();
185 if (version instanceof FrameVersion.TypeChange) {
186 ((FrameVersion.TypeChange) version).applyTransformation(this);
187 } else if (version instanceof FrameVersion.Resize) {
188 int newSize = ((FrameVersion.Resize) version).getNewSize();
189 locals = Arrays.copyOf(locals, newSize);
190 }
191 }
192 currentVersion = version;
193 }
194 }