Mercurial > hg > graal-compiler
annotate src/share/vm/ci/ciMethodBlocks.hpp @ 1507:cd5dbf694d45
6939134: JSR 292 adjustments to method handle invocation
Summary: split MethodHandle.invoke into invokeExact and invokeGeneric; also clean up JVM-to-Java interfaces
Reviewed-by: twisti
author | jrose |
---|---|
date | Sat, 01 May 2010 02:42:18 -0700 |
parents | 194b8e3a2fc4 |
children | c18cbe5936b8 |
rev | line source |
---|---|
0 | 1 /* |
196 | 2 * Copyright 2006-2008 Sun Microsystems, Inc. All Rights Reserved. |
0 | 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, | |
20 * CA 95054 USA or visit www.sun.com if you need additional information or | |
21 * have any questions. | |
22 * | |
23 */ | |
24 | |
25 | |
26 class ciBlock; | |
27 | |
28 typedef short ciBlockIndex; | |
29 | |
30 class ciMethodBlocks : public ResourceObj { | |
31 private: | |
32 ciMethod *_method; | |
33 Arena *_arena; | |
34 GrowableArray<ciBlock *> *_blocks; | |
35 ciBlock **_bci_to_block; | |
36 int _num_blocks; | |
37 int _code_size; | |
38 | |
39 void do_analysis(); | |
40 public: | |
41 ciMethodBlocks(Arena *arena, ciMethod *meth); | |
42 | |
43 ciBlock *block_containing(int bci); | |
44 ciBlock *block(int index) { return _blocks->at(index); } | |
45 ciBlock *make_block_at(int bci); | |
46 ciBlock *split_block_at(int bci); | |
47 bool is_block_start(int bci); | |
48 int num_blocks() { return _num_blocks;} | |
49 void clear_processed(); | |
50 | |
367
194b8e3a2fc4
6384206: Phis which are later unneeded are impairing our ability to inline based on static types
never
parents:
196
diff
changeset
|
51 ciBlock *make_dummy_block(); // a block not associated with a bci |
194b8e3a2fc4
6384206: Phis which are later unneeded are impairing our ability to inline based on static types
never
parents:
196
diff
changeset
|
52 |
0 | 53 #ifndef PRODUCT |
54 void dump(); | |
55 #endif | |
56 }; | |
57 | |
58 class ciBlock : public ResourceObj { | |
59 private: | |
60 int _idx; | |
61 int _start_bci; | |
62 int _limit_bci; | |
63 int _control_bci; | |
64 uint _flags; | |
65 int _ex_start_bci; | |
66 int _ex_limit_bci; | |
67 #ifndef PRODUCT | |
68 ciMethod *_method; | |
69 #endif | |
70 enum { | |
71 Processed = (1 << 0), | |
72 Handler = (1 << 1), | |
73 MayThrow = (1 << 2), | |
74 DoesJsr = (1 << 3), | |
75 DoesRet = (1 << 4), | |
76 RetTarget = (1 << 5), | |
77 HasHandler = (1 << 6) | |
78 }; | |
79 | |
80 | |
81 public: | |
82 enum { | |
83 fall_through_bci = -1 | |
84 }; | |
85 | |
367
194b8e3a2fc4
6384206: Phis which are later unneeded are impairing our ability to inline based on static types
never
parents:
196
diff
changeset
|
86 ciBlock(ciMethod *method, int index, int start_bci); |
0 | 87 int start_bci() const { return _start_bci; } |
88 int limit_bci() const { return _limit_bci; } | |
89 int control_bci() const { return _control_bci; } | |
90 int index() const { return _idx; } | |
91 void set_start_bci(int bci) { _start_bci = bci; } | |
92 void set_limit_bci(int bci) { _limit_bci = bci; } | |
93 void set_control_bci(int bci) { _control_bci = bci;} | |
94 void set_exception_range(int start_bci, int limit_bci); | |
95 int ex_start_bci() const { return _ex_start_bci; } | |
96 int ex_limit_bci() const { return _ex_limit_bci; } | |
97 bool contains(int bci) const { return start_bci() <= bci && bci < limit_bci(); } | |
98 | |
99 // flag handling | |
100 bool processed() const { return (_flags & Processed) != 0; } | |
101 bool is_handler() const { return (_flags & Handler) != 0; } | |
102 bool may_throw() const { return (_flags & MayThrow) != 0; } | |
103 bool does_jsr() const { return (_flags & DoesJsr) != 0; } | |
104 bool does_ret() const { return (_flags & DoesRet) != 0; } | |
105 bool has_handler() const { return (_flags & HasHandler) != 0; } | |
106 bool is_ret_target() const { return (_flags & RetTarget) != 0; } | |
107 void set_processed() { _flags |= Processed; } | |
108 void clear_processed() { _flags &= ~Processed; } | |
109 void set_handler() { _flags |= Handler; } | |
110 void set_may_throw() { _flags |= MayThrow; } | |
111 void set_does_jsr() { _flags |= DoesJsr; } | |
112 void clear_does_jsr() { _flags &= ~DoesJsr; } | |
113 void set_does_ret() { _flags |= DoesRet; } | |
26
0871d5cd64cd
6621084: ciMethodBlocks::split_block_at() is broken for methods with exception handler
kvn
parents:
0
diff
changeset
|
114 void clear_does_ret() { _flags &= ~DoesRet; } |
0 | 115 void set_is_ret_target() { _flags |= RetTarget; } |
116 void set_has_handler() { _flags |= HasHandler; } | |
26
0871d5cd64cd
6621084: ciMethodBlocks::split_block_at() is broken for methods with exception handler
kvn
parents:
0
diff
changeset
|
117 void clear_exception_handler() { _flags &= ~Handler; _ex_start_bci = -1; _ex_limit_bci = -1; } |
0 | 118 #ifndef PRODUCT |
119 ciMethod *method() const { return _method; } | |
120 void dump(); | |
121 void print_on(outputStream* st) const PRODUCT_RETURN; | |
122 #endif | |
123 }; |