Wed, 22 Oct 2014 13:59:56 +0200
8057043: Type annotations not retained during class redefine / retransform
Reviewed-by: coleenp, sspitsyn, jfranck
1 /*
2 * Copyright (c) 2005, 2013, 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 */
25 #include "precompiled.hpp"
26 #include "classfile/symbolTable.hpp"
27 #include "interpreter/bytecodeStream.hpp"
28 #include "oops/fieldStreams.hpp"
29 #include "prims/jvmtiClassFileReconstituter.hpp"
30 #include "runtime/signature.hpp"
31 #ifdef TARGET_ARCH_x86
32 # include "bytes_x86.hpp"
33 #endif
34 #ifdef TARGET_ARCH_sparc
35 # include "bytes_sparc.hpp"
36 #endif
37 #ifdef TARGET_ARCH_zero
38 # include "bytes_zero.hpp"
39 #endif
40 #ifdef TARGET_ARCH_arm
41 # include "bytes_arm.hpp"
42 #endif
43 #ifdef TARGET_ARCH_ppc
44 # include "bytes_ppc.hpp"
45 #endif
46 // FIXME: add Deprecated attribute
47 // FIXME: fix Synthetic attribute
48 // FIXME: per Serguei, add error return handling for ConstantPool::copy_cpool_bytes()
51 // Write the field information portion of ClassFile structure
52 // JVMSpec| u2 fields_count;
53 // JVMSpec| field_info fields[fields_count];
54 void JvmtiClassFileReconstituter::write_field_infos() {
55 HandleMark hm(thread());
56 Array<AnnotationArray*>* fields_anno = ikh()->fields_annotations();
57 Array<AnnotationArray*>* fields_type_anno = ikh()->fields_type_annotations();
59 // Compute the real number of Java fields
60 int java_fields = ikh()->java_fields_count();
62 write_u2(java_fields);
63 for (JavaFieldStream fs(ikh()); !fs.done(); fs.next()) {
64 AccessFlags access_flags = fs.access_flags();
65 int name_index = fs.name_index();
66 int signature_index = fs.signature_index();
67 int initial_value_index = fs.initval_index();
68 guarantee(name_index != 0 && signature_index != 0, "bad constant pool index for field");
69 // int offset = ikh()->field_offset( index );
70 int generic_signature_index = fs.generic_signature_index();
71 AnnotationArray* anno = fields_anno == NULL ? NULL : fields_anno->at(fs.index());
72 AnnotationArray* type_anno = fields_type_anno == NULL ? NULL : fields_type_anno->at(fs.index());
74 // JVMSpec| field_info {
75 // JVMSpec| u2 access_flags;
76 // JVMSpec| u2 name_index;
77 // JVMSpec| u2 descriptor_index;
78 // JVMSpec| u2 attributes_count;
79 // JVMSpec| attribute_info attributes[attributes_count];
80 // JVMSpec| }
82 write_u2(access_flags.as_int() & JVM_RECOGNIZED_FIELD_MODIFIERS);
83 write_u2(name_index);
84 write_u2(signature_index);
85 int attr_count = 0;
86 if (initial_value_index != 0) {
87 ++attr_count;
88 }
89 if (access_flags.is_synthetic()) {
90 // ++attr_count;
91 }
92 if (generic_signature_index != 0) {
93 ++attr_count;
94 }
95 if (anno != NULL) {
96 ++attr_count; // has RuntimeVisibleAnnotations attribute
97 }
98 if (type_anno != NULL) {
99 ++attr_count; // has RuntimeVisibleTypeAnnotations attribute
100 }
102 write_u2(attr_count);
104 if (initial_value_index != 0) {
105 write_attribute_name_index("ConstantValue");
106 write_u4(2); //length always 2
107 write_u2(initial_value_index);
108 }
109 if (access_flags.is_synthetic()) {
110 // write_synthetic_attribute();
111 }
112 if (generic_signature_index != 0) {
113 write_signature_attribute(generic_signature_index);
114 }
115 if (anno != NULL) {
116 write_annotations_attribute("RuntimeVisibleAnnotations", anno);
117 }
118 if (type_anno != NULL) {
119 write_annotations_attribute("RuntimeVisibleTypeAnnotations", type_anno);
120 }
121 }
122 }
124 // Write Code attribute
125 // JVMSpec| Code_attribute {
126 // JVMSpec| u2 attribute_name_index;
127 // JVMSpec| u4 attribute_length;
128 // JVMSpec| u2 max_stack;
129 // JVMSpec| u2 max_locals;
130 // JVMSpec| u4 code_length;
131 // JVMSpec| u1 code[code_length];
132 // JVMSpec| u2 exception_table_length;
133 // JVMSpec| { u2 start_pc;
134 // JVMSpec| u2 end_pc;
135 // JVMSpec| u2 handler_pc;
136 // JVMSpec| u2 catch_type;
137 // JVMSpec| } exception_table[exception_table_length];
138 // JVMSpec| u2 attributes_count;
139 // JVMSpec| attribute_info attributes[attributes_count];
140 // JVMSpec| }
141 void JvmtiClassFileReconstituter::write_code_attribute(methodHandle method) {
142 ConstMethod* const_method = method->constMethod();
143 u2 line_num_cnt = 0;
144 int stackmap_len = 0;
145 int local_variable_table_length = 0;
146 int local_variable_type_table_length = 0;
148 // compute number and length of attributes
149 int attr_count = 0;
150 int attr_size = 0;
151 if (const_method->has_linenumber_table()) {
152 line_num_cnt = line_number_table_entries(method);
153 if (line_num_cnt != 0) {
154 ++attr_count;
155 // Compute the complete size of the line number table attribute:
156 // LineNumberTable_attribute {
157 // u2 attribute_name_index;
158 // u4 attribute_length;
159 // u2 line_number_table_length;
160 // { u2 start_pc;
161 // u2 line_number;
162 // } line_number_table[line_number_table_length];
163 // }
164 attr_size += 2 + 4 + 2 + line_num_cnt * (2 + 2);
165 }
166 }
167 if (method->has_stackmap_table()) {
168 stackmap_len = method->stackmap_data()->length();
169 if (stackmap_len != 0) {
170 ++attr_count;
171 // Compute the size of the stack map table attribute (VM stores raw):
172 // StackMapTable_attribute {
173 // u2 attribute_name_index;
174 // u4 attribute_length;
175 // u2 number_of_entries;
176 // stack_map_frame_entries[number_of_entries];
177 // }
178 attr_size += 2 + 4 + stackmap_len;
179 }
180 }
181 if (method->has_localvariable_table()) {
182 local_variable_table_length = method->localvariable_table_length();
183 if (local_variable_table_length != 0) {
184 ++attr_count;
185 // Compute the size of the local variable table attribute (VM stores raw):
186 // LocalVariableTable_attribute {
187 // u2 attribute_name_index;
188 // u4 attribute_length;
189 // u2 local_variable_table_length;
190 // {
191 // u2 start_pc;
192 // u2 length;
193 // u2 name_index;
194 // u2 descriptor_index;
195 // u2 index;
196 // }
197 attr_size += 2 + 4 + 2 + local_variable_table_length * (2 + 2 + 2 + 2 + 2);
199 // Local variables with generic signatures must have LVTT entries
200 LocalVariableTableElement *elem = method->localvariable_table_start();
201 for (int idx = 0; idx < local_variable_table_length; idx++) {
202 if (elem[idx].signature_cp_index != 0) {
203 local_variable_type_table_length++;
204 }
205 }
207 if (local_variable_type_table_length != 0) {
208 ++attr_count;
209 // Compute the size of the local variable type table attribute (VM stores raw):
210 // LocalVariableTypeTable_attribute {
211 // u2 attribute_name_index;
212 // u4 attribute_length;
213 // u2 local_variable_type_table_length;
214 // {
215 // u2 start_pc;
216 // u2 length;
217 // u2 name_index;
218 // u2 signature_index;
219 // u2 index;
220 // }
221 attr_size += 2 + 4 + 2 + local_variable_type_table_length * (2 + 2 + 2 + 2 + 2);
222 }
223 }
224 }
226 ExceptionTable exception_table(method());
227 int exception_table_length = exception_table.length();
228 int code_size = const_method->code_size();
229 int size =
230 2+2+4 + // max_stack, max_locals, code_length
231 code_size + // code
232 2 + // exception_table_length
233 (2+2+2+2) * exception_table_length + // exception_table
234 2 + // attributes_count
235 attr_size; // attributes
237 write_attribute_name_index("Code");
238 write_u4(size);
239 write_u2(method->verifier_max_stack());
240 write_u2(method->max_locals());
241 write_u4(code_size);
242 copy_bytecodes(method, (unsigned char*)writeable_address(code_size));
243 write_u2(exception_table_length);
244 for (int index = 0; index < exception_table_length; index++) {
245 write_u2(exception_table.start_pc(index));
246 write_u2(exception_table.end_pc(index));
247 write_u2(exception_table.handler_pc(index));
248 write_u2(exception_table.catch_type_index(index));
249 }
250 write_u2(attr_count);
251 if (line_num_cnt != 0) {
252 write_line_number_table_attribute(method, line_num_cnt);
253 }
254 if (stackmap_len != 0) {
255 write_stackmap_table_attribute(method, stackmap_len);
256 }
257 if (local_variable_table_length != 0) {
258 write_local_variable_table_attribute(method, local_variable_table_length);
259 }
260 if (local_variable_type_table_length != 0) {
261 write_local_variable_type_table_attribute(method, local_variable_type_table_length);
262 }
263 }
265 // Write Exceptions attribute
266 // JVMSpec| Exceptions_attribute {
267 // JVMSpec| u2 attribute_name_index;
268 // JVMSpec| u4 attribute_length;
269 // JVMSpec| u2 number_of_exceptions;
270 // JVMSpec| u2 exception_index_table[number_of_exceptions];
271 // JVMSpec| }
272 void JvmtiClassFileReconstituter::write_exceptions_attribute(ConstMethod* const_method) {
273 CheckedExceptionElement* checked_exceptions = const_method->checked_exceptions_start();
274 int checked_exceptions_length = const_method->checked_exceptions_length();
275 int size =
276 2 + // number_of_exceptions
277 2 * checked_exceptions_length; // exception_index_table
279 write_attribute_name_index("Exceptions");
280 write_u4(size);
281 write_u2(checked_exceptions_length);
282 for (int index = 0; index < checked_exceptions_length; index++) {
283 write_u2(checked_exceptions[index].class_cp_index);
284 }
285 }
287 // Write SourceFile attribute
288 // JVMSpec| SourceFile_attribute {
289 // JVMSpec| u2 attribute_name_index;
290 // JVMSpec| u4 attribute_length;
291 // JVMSpec| u2 sourcefile_index;
292 // JVMSpec| }
293 void JvmtiClassFileReconstituter::write_source_file_attribute() {
294 assert(ikh()->source_file_name() != NULL, "caller must check");
296 write_attribute_name_index("SourceFile");
297 write_u4(2); // always length 2
298 write_u2(symbol_to_cpool_index(ikh()->source_file_name()));
299 }
301 // Write SourceDebugExtension attribute
302 // JSR45| SourceDebugExtension_attribute {
303 // JSR45| u2 attribute_name_index;
304 // JSR45| u4 attribute_length;
305 // JSR45| u1 debug_extension[attribute_length];
306 // JSR45| }
307 void JvmtiClassFileReconstituter::write_source_debug_extension_attribute() {
308 assert(ikh()->source_debug_extension() != NULL, "caller must check");
310 write_attribute_name_index("SourceDebugExtension");
311 int len = (int)strlen(ikh()->source_debug_extension());
312 write_u4(len);
313 u1* ext = (u1*)ikh()->source_debug_extension();
314 for (int i=0; i<len; i++) {
315 write_u1(ext[i]);
316 }
317 }
319 // Write (generic) Signature attribute
320 // JVMSpec| Signature_attribute {
321 // JVMSpec| u2 attribute_name_index;
322 // JVMSpec| u4 attribute_length;
323 // JVMSpec| u2 signature_index;
324 // JVMSpec| }
325 void JvmtiClassFileReconstituter::write_signature_attribute(u2 generic_signature_index) {
326 write_attribute_name_index("Signature");
327 write_u4(2); // always length 2
328 write_u2(generic_signature_index);
329 }
331 // Compute the number of entries in the InnerClasses attribute
332 u2 JvmtiClassFileReconstituter::inner_classes_attribute_length() {
333 InnerClassesIterator iter(ikh());
334 return iter.length();
335 }
337 // Write an annotation attribute. The VM stores them in raw form, so all we need
338 // to do is add the attrubute name and fill in the length.
339 // JSR202| *Annotations_attribute {
340 // JSR202| u2 attribute_name_index;
341 // JSR202| u4 attribute_length;
342 // JSR202| ...
343 // JSR202| }
344 void JvmtiClassFileReconstituter::write_annotations_attribute(const char* attr_name,
345 AnnotationArray* annos) {
346 u4 length = annos->length();
347 write_attribute_name_index(attr_name);
348 write_u4(length);
349 memcpy(writeable_address(length), annos->adr_at(0), length);
350 }
352 // BootstrapMethods_attribute {
353 // u2 attribute_name_index;
354 // u4 attribute_length;
355 // u2 num_bootstrap_methods;
356 // { u2 bootstrap_method_ref;
357 // u2 num_bootstrap_arguments;
358 // u2 bootstrap_arguments[num_bootstrap_arguments];
359 // } bootstrap_methods[num_bootstrap_methods];
360 // }
361 void JvmtiClassFileReconstituter::write_bootstrapmethod_attribute() {
362 Array<u2>* operands = cpool()->operands();
363 write_attribute_name_index("BootstrapMethods");
364 int num_bootstrap_methods = ConstantPool::operand_array_length(operands);
366 // calculate length of attribute
367 int length = sizeof(u2); // num_bootstrap_methods
368 for (int n = 0; n < num_bootstrap_methods; n++) {
369 u2 num_bootstrap_arguments = cpool()->operand_argument_count_at(n);
370 length += sizeof(u2); // bootstrap_method_ref
371 length += sizeof(u2); // num_bootstrap_arguments
372 length += sizeof(u2) * num_bootstrap_arguments; // bootstrap_arguments[num_bootstrap_arguments]
373 }
374 write_u4(length);
376 // write attribute
377 write_u2(num_bootstrap_methods);
378 for (int n = 0; n < num_bootstrap_methods; n++) {
379 u2 bootstrap_method_ref = cpool()->operand_bootstrap_method_ref_index_at(n);
380 u2 num_bootstrap_arguments = cpool()->operand_argument_count_at(n);
381 write_u2(bootstrap_method_ref);
382 write_u2(num_bootstrap_arguments);
383 for (int arg = 0; arg < num_bootstrap_arguments; arg++) {
384 u2 bootstrap_argument = cpool()->operand_argument_index_at(n, arg);
385 write_u2(bootstrap_argument);
386 }
387 }
388 }
391 // Write InnerClasses attribute
392 // JVMSpec| InnerClasses_attribute {
393 // JVMSpec| u2 attribute_name_index;
394 // JVMSpec| u4 attribute_length;
395 // JVMSpec| u2 number_of_classes;
396 // JVMSpec| { u2 inner_class_info_index;
397 // JVMSpec| u2 outer_class_info_index;
398 // JVMSpec| u2 inner_name_index;
399 // JVMSpec| u2 inner_class_access_flags;
400 // JVMSpec| } classes[number_of_classes];
401 // JVMSpec| }
402 void JvmtiClassFileReconstituter::write_inner_classes_attribute(int length) {
403 InnerClassesIterator iter(ikh());
404 guarantee(iter.length() != 0 && iter.length() == length,
405 "caller must check");
406 u2 entry_count = length / InstanceKlass::inner_class_next_offset;
407 u4 size = 2 + entry_count * (2+2+2+2);
409 write_attribute_name_index("InnerClasses");
410 write_u4(size);
411 write_u2(entry_count);
412 for (; !iter.done(); iter.next()) {
413 write_u2(iter.inner_class_info_index());
414 write_u2(iter.outer_class_info_index());
415 write_u2(iter.inner_name_index());
416 write_u2(iter.inner_access_flags());
417 }
418 }
420 // Write Synthetic attribute
421 // JVMSpec| Synthetic_attribute {
422 // JVMSpec| u2 attribute_name_index;
423 // JVMSpec| u4 attribute_length;
424 // JVMSpec| }
425 void JvmtiClassFileReconstituter::write_synthetic_attribute() {
426 write_attribute_name_index("Synthetic");
427 write_u4(0); //length always zero
428 }
430 // Compute size of LineNumberTable
431 u2 JvmtiClassFileReconstituter::line_number_table_entries(methodHandle method) {
432 // The line number table is compressed so we don't know how big it is until decompressed.
433 // Decompression is really fast so we just do it twice.
434 u2 num_entries = 0;
435 CompressedLineNumberReadStream stream(method->compressed_linenumber_table());
436 while (stream.read_pair()) {
437 num_entries++;
438 }
439 return num_entries;
440 }
442 // Write LineNumberTable attribute
443 // JVMSpec| LineNumberTable_attribute {
444 // JVMSpec| u2 attribute_name_index;
445 // JVMSpec| u4 attribute_length;
446 // JVMSpec| u2 line_number_table_length;
447 // JVMSpec| { u2 start_pc;
448 // JVMSpec| u2 line_number;
449 // JVMSpec| } line_number_table[line_number_table_length];
450 // JVMSpec| }
451 void JvmtiClassFileReconstituter::write_line_number_table_attribute(methodHandle method,
452 u2 num_entries) {
454 write_attribute_name_index("LineNumberTable");
455 write_u4(2 + num_entries * (2 + 2));
456 write_u2(num_entries);
458 CompressedLineNumberReadStream stream(method->compressed_linenumber_table());
459 while (stream.read_pair()) {
460 write_u2(stream.bci());
461 write_u2(stream.line());
462 }
463 }
465 // Write LocalVariableTable attribute
466 // JVMSpec| LocalVariableTable_attribute {
467 // JVMSpec| u2 attribute_name_index;
468 // JVMSpec| u4 attribute_length;
469 // JVMSpec| u2 local_variable_table_length;
470 // JVMSpec| { u2 start_pc;
471 // JVMSpec| u2 length;
472 // JVMSpec| u2 name_index;
473 // JVMSpec| u2 descriptor_index;
474 // JVMSpec| u2 index;
475 // JVMSpec| } local_variable_table[local_variable_table_length];
476 // JVMSpec| }
477 void JvmtiClassFileReconstituter::write_local_variable_table_attribute(methodHandle method, u2 num_entries) {
478 write_attribute_name_index("LocalVariableTable");
479 write_u4(2 + num_entries * (2 + 2 + 2 + 2 + 2));
480 write_u2(num_entries);
482 assert(method->localvariable_table_length() == num_entries, "just checking");
484 LocalVariableTableElement *elem = method->localvariable_table_start();
485 for (int j=0; j<method->localvariable_table_length(); j++) {
486 write_u2(elem->start_bci);
487 write_u2(elem->length);
488 write_u2(elem->name_cp_index);
489 write_u2(elem->descriptor_cp_index);
490 write_u2(elem->slot);
491 elem++;
492 }
493 }
495 // Write LocalVariableTypeTable attribute
496 // JVMSpec| LocalVariableTypeTable_attribute {
497 // JVMSpec| u2 attribute_name_index;
498 // JVMSpec| u4 attribute_length;
499 // JVMSpec| u2 local_variable_type_table_length;
500 // JVMSpec| { u2 start_pc;
501 // JVMSpec| u2 length;
502 // JVMSpec| u2 name_index;
503 // JVMSpec| u2 signature_index;
504 // JVMSpec| u2 index;
505 // JVMSpec| } local_variable_type_table[local_variable_type_table_length];
506 // JVMSpec| }
507 void JvmtiClassFileReconstituter::write_local_variable_type_table_attribute(methodHandle method, u2 num_entries) {
508 write_attribute_name_index("LocalVariableTypeTable");
509 write_u4(2 + num_entries * (2 + 2 + 2 + 2 + 2));
510 write_u2(num_entries);
512 LocalVariableTableElement *elem = method->localvariable_table_start();
513 for (int j=0; j<method->localvariable_table_length(); j++) {
514 if (elem->signature_cp_index > 0) {
515 // Local variable has a generic signature - write LVTT attribute entry
516 write_u2(elem->start_bci);
517 write_u2(elem->length);
518 write_u2(elem->name_cp_index);
519 write_u2(elem->signature_cp_index);
520 write_u2(elem->slot);
521 num_entries--;
522 }
523 elem++;
524 }
525 assert(num_entries == 0, "just checking");
526 }
528 // Write stack map table attribute
529 // JSR-202| StackMapTable_attribute {
530 // JSR-202| u2 attribute_name_index;
531 // JSR-202| u4 attribute_length;
532 // JSR-202| u2 number_of_entries;
533 // JSR-202| stack_map_frame_entries[number_of_entries];
534 // JSR-202| }
535 void JvmtiClassFileReconstituter::write_stackmap_table_attribute(methodHandle method,
536 int stackmap_len) {
538 write_attribute_name_index("StackMapTable");
539 write_u4(stackmap_len);
540 memcpy(
541 writeable_address(stackmap_len),
542 (void*)(method->stackmap_data()->adr_at(0)),
543 stackmap_len);
544 }
546 // Write one method_info structure
547 // JVMSpec| method_info {
548 // JVMSpec| u2 access_flags;
549 // JVMSpec| u2 name_index;
550 // JVMSpec| u2 descriptor_index;
551 // JVMSpec| u2 attributes_count;
552 // JVMSpec| attribute_info attributes[attributes_count];
553 // JVMSpec| }
554 void JvmtiClassFileReconstituter::write_method_info(methodHandle method) {
555 AccessFlags access_flags = method->access_flags();
556 ConstMethod* const_method = method->constMethod();
557 u2 generic_signature_index = const_method->generic_signature_index();
558 AnnotationArray* anno = method->annotations();
559 AnnotationArray* param_anno = method->parameter_annotations();
560 AnnotationArray* default_anno = method->annotation_default();
561 AnnotationArray* type_anno = method->type_annotations();
563 // skip generated default interface methods
564 if (method->is_overpass()) {
565 return;
566 }
568 write_u2(access_flags.get_flags() & JVM_RECOGNIZED_METHOD_MODIFIERS);
569 write_u2(const_method->name_index());
570 write_u2(const_method->signature_index());
572 // write attributes in the same order javac does, so we can test with byte for
573 // byte comparison
574 int attr_count = 0;
575 if (const_method->code_size() != 0) {
576 ++attr_count; // has Code attribute
577 }
578 if (const_method->has_checked_exceptions()) {
579 ++attr_count; // has Exceptions attribute
580 }
581 if (default_anno != NULL) {
582 ++attr_count; // has AnnotationDefault attribute
583 }
584 // Deprecated attribute would go here
585 if (access_flags.is_synthetic()) { // FIXME
586 // ++attr_count;
587 }
588 if (generic_signature_index != 0) {
589 ++attr_count;
590 }
591 if (anno != NULL) {
592 ++attr_count; // has RuntimeVisibleAnnotations attribute
593 }
594 if (param_anno != NULL) {
595 ++attr_count; // has RuntimeVisibleParameterAnnotations attribute
596 }
597 if (type_anno != NULL) {
598 ++attr_count; // has RuntimeVisibleTypeAnnotations attribute
599 }
601 write_u2(attr_count);
602 if (const_method->code_size() > 0) {
603 write_code_attribute(method);
604 }
605 if (const_method->has_checked_exceptions()) {
606 write_exceptions_attribute(const_method);
607 }
608 if (default_anno != NULL) {
609 write_annotations_attribute("AnnotationDefault", default_anno);
610 }
611 // Deprecated attribute would go here
612 if (access_flags.is_synthetic()) {
613 // write_synthetic_attribute();
614 }
615 if (generic_signature_index != 0) {
616 write_signature_attribute(generic_signature_index);
617 }
618 if (anno != NULL) {
619 write_annotations_attribute("RuntimeVisibleAnnotations", anno);
620 }
621 if (param_anno != NULL) {
622 write_annotations_attribute("RuntimeVisibleParameterAnnotations", param_anno);
623 }
624 if (type_anno != NULL) {
625 write_annotations_attribute("RuntimeVisibleTypeAnnotations", type_anno);
626 }
627 }
629 // Write the class attributes portion of ClassFile structure
630 // JVMSpec| u2 attributes_count;
631 // JVMSpec| attribute_info attributes[attributes_count];
632 void JvmtiClassFileReconstituter::write_class_attributes() {
633 u2 inner_classes_length = inner_classes_attribute_length();
634 Symbol* generic_signature = ikh()->generic_signature();
635 AnnotationArray* anno = ikh()->class_annotations();
636 AnnotationArray* type_anno = ikh()->class_type_annotations();
638 int attr_count = 0;
639 if (generic_signature != NULL) {
640 ++attr_count;
641 }
642 if (ikh()->source_file_name() != NULL) {
643 ++attr_count;
644 }
645 if (ikh()->source_debug_extension() != NULL) {
646 ++attr_count;
647 }
648 if (inner_classes_length > 0) {
649 ++attr_count;
650 }
651 if (anno != NULL) {
652 ++attr_count; // has RuntimeVisibleAnnotations attribute
653 }
654 if (type_anno != NULL) {
655 ++attr_count; // has RuntimeVisibleTypeAnnotations attribute
656 }
657 if (cpool()->operands() != NULL) {
658 ++attr_count;
659 }
661 write_u2(attr_count);
663 if (generic_signature != NULL) {
664 write_signature_attribute(symbol_to_cpool_index(generic_signature));
665 }
666 if (ikh()->source_file_name() != NULL) {
667 write_source_file_attribute();
668 }
669 if (ikh()->source_debug_extension() != NULL) {
670 write_source_debug_extension_attribute();
671 }
672 if (inner_classes_length > 0) {
673 write_inner_classes_attribute(inner_classes_length);
674 }
675 if (anno != NULL) {
676 write_annotations_attribute("RuntimeVisibleAnnotations", anno);
677 }
678 if (type_anno != NULL) {
679 write_annotations_attribute("RuntimeVisibleTypeAnnotations", type_anno);
680 }
681 if (cpool()->operands() != NULL) {
682 write_bootstrapmethod_attribute();
683 }
684 }
686 // Write the method information portion of ClassFile structure
687 // JVMSpec| u2 methods_count;
688 // JVMSpec| method_info methods[methods_count];
689 void JvmtiClassFileReconstituter::write_method_infos() {
690 HandleMark hm(thread());
691 Array<Method*>* methods = ikh()->methods();
692 int num_methods = methods->length();
693 int num_overpass = 0;
695 // count the generated default interface methods
696 // these will not be re-created by write_method_info
697 // and should not be included in the total count
698 for (int index = 0; index < num_methods; index++) {
699 Method* method = methods->at(index);
700 if (method->is_overpass()) {
701 num_overpass++;
702 }
703 }
705 write_u2(num_methods - num_overpass);
706 if (JvmtiExport::can_maintain_original_method_order()) {
707 int index;
708 int original_index;
709 intArray method_order(num_methods, 0);
711 // invert the method order mapping
712 for (index = 0; index < num_methods; index++) {
713 original_index = ikh()->method_ordering()->at(index);
714 assert(original_index >= 0 && original_index < num_methods,
715 "invalid original method index");
716 method_order.at_put(original_index, index);
717 }
719 // write in original order
720 for (original_index = 0; original_index < num_methods; original_index++) {
721 index = method_order.at(original_index);
722 methodHandle method(thread(), methods->at(index));
723 write_method_info(method);
724 }
725 } else {
726 // method order not preserved just dump the method infos
727 for (int index = 0; index < num_methods; index++) {
728 methodHandle method(thread(), methods->at(index));
729 write_method_info(method);
730 }
731 }
732 }
734 void JvmtiClassFileReconstituter::write_class_file_format() {
735 ReallocMark();
737 // JVMSpec| ClassFile {
738 // JVMSpec| u4 magic;
739 write_u4(0xCAFEBABE);
741 // JVMSpec| u2 minor_version;
742 // JVMSpec| u2 major_version;
743 write_u2(ikh()->minor_version());
744 u2 major = ikh()->major_version();
745 write_u2(major);
747 // JVMSpec| u2 constant_pool_count;
748 // JVMSpec| cp_info constant_pool[constant_pool_count-1];
749 write_u2(cpool()->length());
750 copy_cpool_bytes(writeable_address(cpool_size()));
752 // JVMSpec| u2 access_flags;
753 write_u2(ikh()->access_flags().get_flags() & JVM_RECOGNIZED_CLASS_MODIFIERS);
755 // JVMSpec| u2 this_class;
756 // JVMSpec| u2 super_class;
757 write_u2(class_symbol_to_cpool_index(ikh()->name()));
758 Klass* super_class = ikh()->super();
759 write_u2(super_class == NULL? 0 : // zero for java.lang.Object
760 class_symbol_to_cpool_index(super_class->name()));
762 // JVMSpec| u2 interfaces_count;
763 // JVMSpec| u2 interfaces[interfaces_count];
764 Array<Klass*>* interfaces = ikh()->local_interfaces();
765 int num_interfaces = interfaces->length();
766 write_u2(num_interfaces);
767 for (int index = 0; index < num_interfaces; index++) {
768 HandleMark hm(thread());
769 instanceKlassHandle iikh(thread(), interfaces->at(index));
770 write_u2(class_symbol_to_cpool_index(iikh->name()));
771 }
773 // JVMSpec| u2 fields_count;
774 // JVMSpec| field_info fields[fields_count];
775 write_field_infos();
777 // JVMSpec| u2 methods_count;
778 // JVMSpec| method_info methods[methods_count];
779 write_method_infos();
781 // JVMSpec| u2 attributes_count;
782 // JVMSpec| attribute_info attributes[attributes_count];
783 // JVMSpec| } /* end ClassFile 8?
784 write_class_attributes();
785 }
787 address JvmtiClassFileReconstituter::writeable_address(size_t size) {
788 size_t used_size = _buffer_ptr - _buffer;
789 if (size + used_size >= _buffer_size) {
790 // compute the new buffer size: must be at least twice as big as before
791 // plus whatever new is being used; then convert to nice clean block boundary
792 size_t new_buffer_size = (size + _buffer_size*2 + 1) / initial_buffer_size
793 * initial_buffer_size;
795 // VM goes belly-up if the memory isn't available, so cannot do OOM processing
796 _buffer = REALLOC_RESOURCE_ARRAY(u1, _buffer, _buffer_size, new_buffer_size);
797 _buffer_size = new_buffer_size;
798 _buffer_ptr = _buffer + used_size;
799 }
800 u1* ret_ptr = _buffer_ptr;
801 _buffer_ptr += size;
802 return ret_ptr;
803 }
805 void JvmtiClassFileReconstituter::write_attribute_name_index(const char* name) {
806 TempNewSymbol sym = SymbolTable::probe(name, (int)strlen(name));
807 assert(sym != NULL, "attribute name symbol not found");
808 u2 attr_name_index = symbol_to_cpool_index(sym);
809 assert(attr_name_index != 0, "attribute name symbol not in constant pool");
810 write_u2(attr_name_index);
811 }
813 void JvmtiClassFileReconstituter::write_u1(u1 x) {
814 *writeable_address(1) = x;
815 }
817 void JvmtiClassFileReconstituter::write_u2(u2 x) {
818 Bytes::put_Java_u2(writeable_address(2), x);
819 }
821 void JvmtiClassFileReconstituter::write_u4(u4 x) {
822 Bytes::put_Java_u4(writeable_address(4), x);
823 }
825 void JvmtiClassFileReconstituter::write_u8(u8 x) {
826 Bytes::put_Java_u8(writeable_address(8), x);
827 }
829 void JvmtiClassFileReconstituter::copy_bytecodes(methodHandle mh,
830 unsigned char* bytecodes) {
831 // use a BytecodeStream to iterate over the bytecodes. JVM/fast bytecodes
832 // and the breakpoint bytecode are converted to their original bytecodes.
834 BytecodeStream bs(mh);
836 unsigned char* p = bytecodes;
837 Bytecodes::Code code;
838 bool is_rewritten = mh->method_holder()->is_rewritten();
840 while ((code = bs.next()) >= 0) {
841 assert(Bytecodes::is_java_code(code), "sanity check");
842 assert(code != Bytecodes::_breakpoint, "sanity check");
844 // length of bytecode (mnemonic + operands)
845 address bcp = bs.bcp();
846 int len = bs.instruction_size();
847 assert(len > 0, "length must be > 0");
849 // copy the bytecodes
850 *p = (unsigned char) (bs.is_wide()? Bytecodes::_wide : code);
851 if (len > 1) {
852 memcpy(p+1, bcp+1, len-1);
853 }
855 // During linking the get/put and invoke instructions are rewritten
856 // with an index into the constant pool cache. The original constant
857 // pool index must be returned to caller. Rewrite the index.
858 if (is_rewritten && len > 1) {
859 bool is_wide = false;
860 switch (code) {
861 case Bytecodes::_getstatic : // fall through
862 case Bytecodes::_putstatic : // fall through
863 case Bytecodes::_getfield : // fall through
864 case Bytecodes::_putfield : // fall through
865 case Bytecodes::_invokevirtual : // fall through
866 case Bytecodes::_invokespecial : // fall through
867 case Bytecodes::_invokestatic : // fall through
868 case Bytecodes::_invokedynamic : // fall through
869 case Bytecodes::_invokeinterface : {
870 assert(len == 3 ||
871 (code == Bytecodes::_invokeinterface && len == 5) ||
872 (code == Bytecodes::_invokedynamic && len == 5),
873 "sanity check");
875 int cpci = Bytes::get_native_u2(bcp+1);
876 bool is_invokedynamic = (EnableInvokeDynamic && code == Bytecodes::_invokedynamic);
877 ConstantPoolCacheEntry* entry;
878 if (is_invokedynamic) {
879 cpci = Bytes::get_native_u4(bcp+1);
880 entry = mh->constants()->invokedynamic_cp_cache_entry_at(cpci);
881 } else {
882 // cache cannot be pre-fetched since some classes won't have it yet
883 entry = mh->constants()->cache()->entry_at(cpci);
884 }
885 int i = entry->constant_pool_index();
886 assert(i < mh->constants()->length(), "sanity check");
887 Bytes::put_Java_u2((address)(p+1), (u2)i); // java byte ordering
888 if (is_invokedynamic) *(p+3) = *(p+4) = 0;
889 break;
890 }
891 case Bytecodes::_ldc_w:
892 is_wide = true; // fall through
893 case Bytecodes::_ldc: {
894 if (bs.raw_code() == Bytecodes::_fast_aldc || bs.raw_code() == Bytecodes::_fast_aldc_w) {
895 int cpci = is_wide ? Bytes::get_native_u2(bcp+1) : (u1)(*(bcp+1));
896 int i = mh->constants()->object_to_cp_index(cpci);
897 assert(i < mh->constants()->length(), "sanity check");
898 if (is_wide) {
899 Bytes::put_Java_u2((address)(p+1), (u2)i); // java byte ordering
900 } else {
901 *(p+1) = (u1)i;
902 }
903 }
904 break;
905 }
906 }
907 }
909 p += len;
910 }
911 }