annotate src/share/vm/ci/ciMethodBlocks.hpp @ 14518:d8041d695d19

Merged with jdk9/dev/hotspot changeset 3812c088b945
author twisti
date Tue, 11 Mar 2014 18:45:59 -0700
parents f95d63e2154a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
2 * Copyright (c) 2006, 2010, Oracle and/or its affiliates. All rights reserved.
0
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 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 367
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 367
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 367
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #ifndef SHARE_VM_CI_CIMETHODBLOCKS_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_CI_CIMETHODBLOCKS_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "ci/ciMethod.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "memory/resourceArea.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "utilities/growableArray.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31
0
a61af66fc99e Initial load
duke
parents:
diff changeset
32
a61af66fc99e Initial load
duke
parents:
diff changeset
33 class ciBlock;
a61af66fc99e Initial load
duke
parents:
diff changeset
34
a61af66fc99e Initial load
duke
parents:
diff changeset
35 typedef short ciBlockIndex;
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 class ciMethodBlocks : public ResourceObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
39 ciMethod *_method;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 Arena *_arena;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 GrowableArray<ciBlock *> *_blocks;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 ciBlock **_bci_to_block;
a61af66fc99e Initial load
duke
parents:
diff changeset
43 int _num_blocks;
a61af66fc99e Initial load
duke
parents:
diff changeset
44 int _code_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 void do_analysis();
a61af66fc99e Initial load
duke
parents:
diff changeset
47 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
48 ciMethodBlocks(Arena *arena, ciMethod *meth);
a61af66fc99e Initial load
duke
parents:
diff changeset
49
a61af66fc99e Initial load
duke
parents:
diff changeset
50 ciBlock *block_containing(int bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
51 ciBlock *block(int index) { return _blocks->at(index); }
a61af66fc99e Initial load
duke
parents:
diff changeset
52 ciBlock *make_block_at(int bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 ciBlock *split_block_at(int bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
54 bool is_block_start(int bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
55 int num_blocks() { return _num_blocks;}
a61af66fc99e Initial load
duke
parents:
diff changeset
56 void clear_processed();
a61af66fc99e Initial load
duke
parents:
diff changeset
57
367
194b8e3a2fc4 6384206: Phis which are later unneeded are impairing our ability to inline based on static types
never
parents: 196
diff changeset
58 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
59
0
a61af66fc99e Initial load
duke
parents:
diff changeset
60 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
61 void dump();
a61af66fc99e Initial load
duke
parents:
diff changeset
62 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
63 };
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65 class ciBlock : public ResourceObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
66 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
67 int _idx;
a61af66fc99e Initial load
duke
parents:
diff changeset
68 int _start_bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
69 int _limit_bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
70 int _control_bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
71 uint _flags;
a61af66fc99e Initial load
duke
parents:
diff changeset
72 int _ex_start_bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
73 int _ex_limit_bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
74 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
75 ciMethod *_method;
a61af66fc99e Initial load
duke
parents:
diff changeset
76 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
77 enum {
a61af66fc99e Initial load
duke
parents:
diff changeset
78 Processed = (1 << 0),
a61af66fc99e Initial load
duke
parents:
diff changeset
79 Handler = (1 << 1),
a61af66fc99e Initial load
duke
parents:
diff changeset
80 MayThrow = (1 << 2),
a61af66fc99e Initial load
duke
parents:
diff changeset
81 DoesJsr = (1 << 3),
a61af66fc99e Initial load
duke
parents:
diff changeset
82 DoesRet = (1 << 4),
a61af66fc99e Initial load
duke
parents:
diff changeset
83 RetTarget = (1 << 5),
a61af66fc99e Initial load
duke
parents:
diff changeset
84 HasHandler = (1 << 6)
a61af66fc99e Initial load
duke
parents:
diff changeset
85 };
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87
a61af66fc99e Initial load
duke
parents:
diff changeset
88 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
89 enum {
a61af66fc99e Initial load
duke
parents:
diff changeset
90 fall_through_bci = -1
a61af66fc99e Initial load
duke
parents:
diff changeset
91 };
a61af66fc99e Initial load
duke
parents:
diff changeset
92
367
194b8e3a2fc4 6384206: Phis which are later unneeded are impairing our ability to inline based on static types
never
parents: 196
diff changeset
93 ciBlock(ciMethod *method, int index, int start_bci);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
94 int start_bci() const { return _start_bci; }
a61af66fc99e Initial load
duke
parents:
diff changeset
95 int limit_bci() const { return _limit_bci; }
a61af66fc99e Initial load
duke
parents:
diff changeset
96 int control_bci() const { return _control_bci; }
a61af66fc99e Initial load
duke
parents:
diff changeset
97 int index() const { return _idx; }
a61af66fc99e Initial load
duke
parents:
diff changeset
98 void set_start_bci(int bci) { _start_bci = bci; }
a61af66fc99e Initial load
duke
parents:
diff changeset
99 void set_limit_bci(int bci) { _limit_bci = bci; }
a61af66fc99e Initial load
duke
parents:
diff changeset
100 void set_control_bci(int bci) { _control_bci = bci;}
a61af66fc99e Initial load
duke
parents:
diff changeset
101 void set_exception_range(int start_bci, int limit_bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
102 int ex_start_bci() const { return _ex_start_bci; }
a61af66fc99e Initial load
duke
parents:
diff changeset
103 int ex_limit_bci() const { return _ex_limit_bci; }
a61af66fc99e Initial load
duke
parents:
diff changeset
104 bool contains(int bci) const { return start_bci() <= bci && bci < limit_bci(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
105
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // flag handling
a61af66fc99e Initial load
duke
parents:
diff changeset
107 bool processed() const { return (_flags & Processed) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
108 bool is_handler() const { return (_flags & Handler) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
109 bool may_throw() const { return (_flags & MayThrow) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
110 bool does_jsr() const { return (_flags & DoesJsr) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
111 bool does_ret() const { return (_flags & DoesRet) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
112 bool has_handler() const { return (_flags & HasHandler) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
113 bool is_ret_target() const { return (_flags & RetTarget) != 0; }
a61af66fc99e Initial load
duke
parents:
diff changeset
114 void set_processed() { _flags |= Processed; }
a61af66fc99e Initial load
duke
parents:
diff changeset
115 void clear_processed() { _flags &= ~Processed; }
a61af66fc99e Initial load
duke
parents:
diff changeset
116 void set_handler() { _flags |= Handler; }
a61af66fc99e Initial load
duke
parents:
diff changeset
117 void set_may_throw() { _flags |= MayThrow; }
a61af66fc99e Initial load
duke
parents:
diff changeset
118 void set_does_jsr() { _flags |= DoesJsr; }
a61af66fc99e Initial load
duke
parents:
diff changeset
119 void clear_does_jsr() { _flags &= ~DoesJsr; }
a61af66fc99e Initial load
duke
parents:
diff changeset
120 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
121 void clear_does_ret() { _flags &= ~DoesRet; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
122 void set_is_ret_target() { _flags |= RetTarget; }
a61af66fc99e Initial load
duke
parents:
diff changeset
123 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
124 void clear_exception_handler() { _flags &= ~Handler; _ex_start_bci = -1; _ex_limit_bci = -1; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
125 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
126 ciMethod *method() const { return _method; }
a61af66fc99e Initial load
duke
parents:
diff changeset
127 void dump();
a61af66fc99e Initial load
duke
parents:
diff changeset
128 void print_on(outputStream* st) const PRODUCT_RETURN;
a61af66fc99e Initial load
duke
parents:
diff changeset
129 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
130 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
131
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
132 #endif // SHARE_VM_CI_CIMETHODBLOCKS_HPP