annotate src/share/vm/code/debugInfo.cpp @ 16:f8236e79048a

6664627: Merge changes made only in hotspot 11 forward to jdk 7 Reviewed-by: jcoomes
author dcubed
date Wed, 05 Dec 2007 09:00:00 -0800
parents a61af66fc99e
children 52fed2ec0afb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 1997-2006 Sun Microsystems, Inc. All Rights Reserved.
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 # include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 # include "incls/_debugInfo.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // Comstructors
a61af66fc99e Initial load
duke
parents:
diff changeset
29
a61af66fc99e Initial load
duke
parents:
diff changeset
30 DebugInfoWriteStream::DebugInfoWriteStream(DebugInformationRecorder* recorder, int initial_size)
a61af66fc99e Initial load
duke
parents:
diff changeset
31 : CompressedWriteStream(initial_size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
32 _recorder = recorder;
a61af66fc99e Initial load
duke
parents:
diff changeset
33 }
a61af66fc99e Initial load
duke
parents:
diff changeset
34
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // Serializing oops
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 void DebugInfoWriteStream::write_handle(jobject h) {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 write_int(recorder()->oop_recorder()->find_index(h));
a61af66fc99e Initial load
duke
parents:
diff changeset
39 }
a61af66fc99e Initial load
duke
parents:
diff changeset
40
a61af66fc99e Initial load
duke
parents:
diff changeset
41 ScopeValue* DebugInfoReadStream::read_object_value() {
a61af66fc99e Initial load
duke
parents:
diff changeset
42 int id = read_int();
a61af66fc99e Initial load
duke
parents:
diff changeset
43 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
44 assert(_obj_pool != NULL, "object pool does not exist");
a61af66fc99e Initial load
duke
parents:
diff changeset
45 for (int i = _obj_pool->length() - 1; i >= 0; i--) {
a61af66fc99e Initial load
duke
parents:
diff changeset
46 assert(((ObjectValue*) _obj_pool->at(i))->id() != id, "should not be read twice");
a61af66fc99e Initial load
duke
parents:
diff changeset
47 }
a61af66fc99e Initial load
duke
parents:
diff changeset
48 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
49 ObjectValue* result = new ObjectValue(id);
a61af66fc99e Initial load
duke
parents:
diff changeset
50 _obj_pool->append(result);
a61af66fc99e Initial load
duke
parents:
diff changeset
51 result->read_object(this);
a61af66fc99e Initial load
duke
parents:
diff changeset
52 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
53 }
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55 ScopeValue* DebugInfoReadStream::get_cached_object() {
a61af66fc99e Initial load
duke
parents:
diff changeset
56 int id = read_int();
a61af66fc99e Initial load
duke
parents:
diff changeset
57 assert(_obj_pool != NULL, "object pool does not exist");
a61af66fc99e Initial load
duke
parents:
diff changeset
58 for (int i = _obj_pool->length() - 1; i >= 0; i--) {
a61af66fc99e Initial load
duke
parents:
diff changeset
59 ObjectValue* sv = (ObjectValue*) _obj_pool->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
60 if (sv->id() == id) {
a61af66fc99e Initial load
duke
parents:
diff changeset
61 return sv;
a61af66fc99e Initial load
duke
parents:
diff changeset
62 }
a61af66fc99e Initial load
duke
parents:
diff changeset
63 }
a61af66fc99e Initial load
duke
parents:
diff changeset
64 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
65 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
66 }
a61af66fc99e Initial load
duke
parents:
diff changeset
67
a61af66fc99e Initial load
duke
parents:
diff changeset
68 // Serializing scope values
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70 enum { LOCATION_CODE = 0, CONSTANT_INT_CODE = 1, CONSTANT_OOP_CODE = 2,
a61af66fc99e Initial load
duke
parents:
diff changeset
71 CONSTANT_LONG_CODE = 3, CONSTANT_DOUBLE_CODE = 4,
a61af66fc99e Initial load
duke
parents:
diff changeset
72 OBJECT_CODE = 5, OBJECT_ID_CODE = 6 };
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 ScopeValue* ScopeValue::read_from(DebugInfoReadStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
75 ScopeValue* result = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
76 switch(stream->read_int()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
77 case LOCATION_CODE: result = new LocationValue(stream); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
78 case CONSTANT_INT_CODE: result = new ConstantIntValue(stream); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
79 case CONSTANT_OOP_CODE: result = new ConstantOopReadValue(stream); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
80 case CONSTANT_LONG_CODE: result = new ConstantLongValue(stream); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
81 case CONSTANT_DOUBLE_CODE: result = new ConstantDoubleValue(stream); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
82 case OBJECT_CODE: result = stream->read_object_value(); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
83 case OBJECT_ID_CODE: result = stream->get_cached_object(); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
84 default: ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
85 }
a61af66fc99e Initial load
duke
parents:
diff changeset
86 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 }
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 // LocationValue
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91 LocationValue::LocationValue(DebugInfoReadStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
92 _location = Location(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
93 }
a61af66fc99e Initial load
duke
parents:
diff changeset
94
a61af66fc99e Initial load
duke
parents:
diff changeset
95 void LocationValue::write_on(DebugInfoWriteStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
96 stream->write_int(LOCATION_CODE);
a61af66fc99e Initial load
duke
parents:
diff changeset
97 location().write_on(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
98 }
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 void LocationValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 location().print_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
102 }
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // ObjectValue
a61af66fc99e Initial load
duke
parents:
diff changeset
105
a61af66fc99e Initial load
duke
parents:
diff changeset
106 void ObjectValue::read_object(DebugInfoReadStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
107 _klass = read_from(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
108 assert(_klass->is_constant_oop(), "should be constant klass oop");
a61af66fc99e Initial load
duke
parents:
diff changeset
109 int length = stream->read_int();
a61af66fc99e Initial load
duke
parents:
diff changeset
110 for (int i = 0; i < length; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
111 ScopeValue* val = read_from(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
112 _field_values.append(val);
a61af66fc99e Initial load
duke
parents:
diff changeset
113 }
a61af66fc99e Initial load
duke
parents:
diff changeset
114 }
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 void ObjectValue::write_on(DebugInfoWriteStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
117 if (_visited) {
a61af66fc99e Initial load
duke
parents:
diff changeset
118 stream->write_int(OBJECT_ID_CODE);
a61af66fc99e Initial load
duke
parents:
diff changeset
119 stream->write_int(_id);
a61af66fc99e Initial load
duke
parents:
diff changeset
120 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
121 _visited = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
122 stream->write_int(OBJECT_CODE);
a61af66fc99e Initial load
duke
parents:
diff changeset
123 stream->write_int(_id);
a61af66fc99e Initial load
duke
parents:
diff changeset
124 _klass->write_on(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
125 int length = _field_values.length();
a61af66fc99e Initial load
duke
parents:
diff changeset
126 stream->write_int(length);
a61af66fc99e Initial load
duke
parents:
diff changeset
127 for (int i = 0; i < length; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
128 _field_values.at(i)->write_on(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
129 }
a61af66fc99e Initial load
duke
parents:
diff changeset
130 }
a61af66fc99e Initial load
duke
parents:
diff changeset
131 }
a61af66fc99e Initial load
duke
parents:
diff changeset
132
a61af66fc99e Initial load
duke
parents:
diff changeset
133 void ObjectValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
134 st->print("obj[%d]", _id);
a61af66fc99e Initial load
duke
parents:
diff changeset
135 }
a61af66fc99e Initial load
duke
parents:
diff changeset
136
a61af66fc99e Initial load
duke
parents:
diff changeset
137 void ObjectValue::print_fields_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
138 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
139 if (_field_values.length() > 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
140 _field_values.at(0)->print_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
141 }
a61af66fc99e Initial load
duke
parents:
diff changeset
142 for (int i = 1; i < _field_values.length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
143 st->print(", ");
a61af66fc99e Initial load
duke
parents:
diff changeset
144 _field_values.at(i)->print_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
145 }
a61af66fc99e Initial load
duke
parents:
diff changeset
146 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
147 }
a61af66fc99e Initial load
duke
parents:
diff changeset
148
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // ConstantIntValue
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151 ConstantIntValue::ConstantIntValue(DebugInfoReadStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
152 _value = stream->read_signed_int();
a61af66fc99e Initial load
duke
parents:
diff changeset
153 }
a61af66fc99e Initial load
duke
parents:
diff changeset
154
a61af66fc99e Initial load
duke
parents:
diff changeset
155 void ConstantIntValue::write_on(DebugInfoWriteStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
156 stream->write_int(CONSTANT_INT_CODE);
a61af66fc99e Initial load
duke
parents:
diff changeset
157 stream->write_signed_int(value());
a61af66fc99e Initial load
duke
parents:
diff changeset
158 }
a61af66fc99e Initial load
duke
parents:
diff changeset
159
a61af66fc99e Initial load
duke
parents:
diff changeset
160 void ConstantIntValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
161 st->print("%d", value());
a61af66fc99e Initial load
duke
parents:
diff changeset
162 }
a61af66fc99e Initial load
duke
parents:
diff changeset
163
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // ConstantLongValue
a61af66fc99e Initial load
duke
parents:
diff changeset
165
a61af66fc99e Initial load
duke
parents:
diff changeset
166 ConstantLongValue::ConstantLongValue(DebugInfoReadStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
167 _value = stream->read_long();
a61af66fc99e Initial load
duke
parents:
diff changeset
168 }
a61af66fc99e Initial load
duke
parents:
diff changeset
169
a61af66fc99e Initial load
duke
parents:
diff changeset
170 void ConstantLongValue::write_on(DebugInfoWriteStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
171 stream->write_int(CONSTANT_LONG_CODE);
a61af66fc99e Initial load
duke
parents:
diff changeset
172 stream->write_long(value());
a61af66fc99e Initial load
duke
parents:
diff changeset
173 }
a61af66fc99e Initial load
duke
parents:
diff changeset
174
a61af66fc99e Initial load
duke
parents:
diff changeset
175 void ConstantLongValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
176 st->print(INT64_FORMAT, value());
a61af66fc99e Initial load
duke
parents:
diff changeset
177 }
a61af66fc99e Initial load
duke
parents:
diff changeset
178
a61af66fc99e Initial load
duke
parents:
diff changeset
179 // ConstantDoubleValue
a61af66fc99e Initial load
duke
parents:
diff changeset
180
a61af66fc99e Initial load
duke
parents:
diff changeset
181 ConstantDoubleValue::ConstantDoubleValue(DebugInfoReadStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
182 _value = stream->read_double();
a61af66fc99e Initial load
duke
parents:
diff changeset
183 }
a61af66fc99e Initial load
duke
parents:
diff changeset
184
a61af66fc99e Initial load
duke
parents:
diff changeset
185 void ConstantDoubleValue::write_on(DebugInfoWriteStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
186 stream->write_int(CONSTANT_DOUBLE_CODE);
a61af66fc99e Initial load
duke
parents:
diff changeset
187 stream->write_double(value());
a61af66fc99e Initial load
duke
parents:
diff changeset
188 }
a61af66fc99e Initial load
duke
parents:
diff changeset
189
a61af66fc99e Initial load
duke
parents:
diff changeset
190 void ConstantDoubleValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
191 st->print("%f", value());
a61af66fc99e Initial load
duke
parents:
diff changeset
192 }
a61af66fc99e Initial load
duke
parents:
diff changeset
193
a61af66fc99e Initial load
duke
parents:
diff changeset
194 // ConstantOopWriteValue
a61af66fc99e Initial load
duke
parents:
diff changeset
195
a61af66fc99e Initial load
duke
parents:
diff changeset
196 void ConstantOopWriteValue::write_on(DebugInfoWriteStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
197 stream->write_int(CONSTANT_OOP_CODE);
a61af66fc99e Initial load
duke
parents:
diff changeset
198 stream->write_handle(value());
a61af66fc99e Initial load
duke
parents:
diff changeset
199 }
a61af66fc99e Initial load
duke
parents:
diff changeset
200
a61af66fc99e Initial load
duke
parents:
diff changeset
201 void ConstantOopWriteValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
202 JNIHandles::resolve(value())->print_value_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
203 }
a61af66fc99e Initial load
duke
parents:
diff changeset
204
a61af66fc99e Initial load
duke
parents:
diff changeset
205
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // ConstantOopReadValue
a61af66fc99e Initial load
duke
parents:
diff changeset
207
a61af66fc99e Initial load
duke
parents:
diff changeset
208 ConstantOopReadValue::ConstantOopReadValue(DebugInfoReadStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
209 _value = Handle(stream->read_oop());
a61af66fc99e Initial load
duke
parents:
diff changeset
210 }
a61af66fc99e Initial load
duke
parents:
diff changeset
211
a61af66fc99e Initial load
duke
parents:
diff changeset
212 void ConstantOopReadValue::write_on(DebugInfoWriteStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
213 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
214 }
a61af66fc99e Initial load
duke
parents:
diff changeset
215
a61af66fc99e Initial load
duke
parents:
diff changeset
216 void ConstantOopReadValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
217 value()()->print_value_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
218 }
a61af66fc99e Initial load
duke
parents:
diff changeset
219
a61af66fc99e Initial load
duke
parents:
diff changeset
220
a61af66fc99e Initial load
duke
parents:
diff changeset
221 // MonitorValue
a61af66fc99e Initial load
duke
parents:
diff changeset
222
a61af66fc99e Initial load
duke
parents:
diff changeset
223 MonitorValue::MonitorValue(ScopeValue* owner, Location basic_lock, bool eliminated) {
a61af66fc99e Initial load
duke
parents:
diff changeset
224 _owner = owner;
a61af66fc99e Initial load
duke
parents:
diff changeset
225 _basic_lock = basic_lock;
a61af66fc99e Initial load
duke
parents:
diff changeset
226 _eliminated = eliminated;
a61af66fc99e Initial load
duke
parents:
diff changeset
227 }
a61af66fc99e Initial load
duke
parents:
diff changeset
228
a61af66fc99e Initial load
duke
parents:
diff changeset
229 MonitorValue::MonitorValue(DebugInfoReadStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
230 _basic_lock = Location(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
231 _owner = ScopeValue::read_from(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
232 _eliminated = (stream->read_bool() != 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
233 }
a61af66fc99e Initial load
duke
parents:
diff changeset
234
a61af66fc99e Initial load
duke
parents:
diff changeset
235 void MonitorValue::write_on(DebugInfoWriteStream* stream) {
a61af66fc99e Initial load
duke
parents:
diff changeset
236 _basic_lock.write_on(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
237 _owner->write_on(stream);
a61af66fc99e Initial load
duke
parents:
diff changeset
238 stream->write_bool(_eliminated);
a61af66fc99e Initial load
duke
parents:
diff changeset
239 }
a61af66fc99e Initial load
duke
parents:
diff changeset
240
a61af66fc99e Initial load
duke
parents:
diff changeset
241 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
242 void MonitorValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
243 st->print("monitor{");
a61af66fc99e Initial load
duke
parents:
diff changeset
244 owner()->print_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
245 st->print(",");
a61af66fc99e Initial load
duke
parents:
diff changeset
246 basic_lock().print_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
247 st->print("}");
a61af66fc99e Initial load
duke
parents:
diff changeset
248 if (_eliminated) {
a61af66fc99e Initial load
duke
parents:
diff changeset
249 st->print(" (eliminated)");
a61af66fc99e Initial load
duke
parents:
diff changeset
250 }
a61af66fc99e Initial load
duke
parents:
diff changeset
251 }
a61af66fc99e Initial load
duke
parents:
diff changeset
252 #endif