src/cpu/zero/vm/stack_zero.hpp

Fri, 12 Feb 2010 10:34:11 -0800

author
kvn
date
Fri, 12 Feb 2010 10:34:11 -0800
changeset 1691
c09ee209b65c
parent 1445
354d3184f6b2
child 1814
f9271ff9d324
permissions
-rw-r--r--

6926048: Improve Zero performance
Summary: Make Zero figure out result types in a similar way to C++ interpreter implementation.
Reviewed-by: kvn
Contributed-by: gbenson@redhat.com

never@1445 1 /*
never@1445 2 * Copyright 2003-2007 Sun Microsystems, Inc. All Rights Reserved.
never@1445 3 * Copyright 2008, 2009 Red Hat, Inc.
never@1445 4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
never@1445 5 *
never@1445 6 * This code is free software; you can redistribute it and/or modify it
never@1445 7 * under the terms of the GNU General Public License version 2 only, as
never@1445 8 * published by the Free Software Foundation.
never@1445 9 *
never@1445 10 * This code is distributed in the hope that it will be useful, but WITHOUT
never@1445 11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
never@1445 12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
never@1445 13 * version 2 for more details (a copy is included in the LICENSE file that
never@1445 14 * accompanied this code).
never@1445 15 *
never@1445 16 * You should have received a copy of the GNU General Public License version
never@1445 17 * 2 along with this work; if not, write to the Free Software Foundation,
never@1445 18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
never@1445 19 *
never@1445 20 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
never@1445 21 * CA 95054 USA or visit www.sun.com if you need additional information or
never@1445 22 * have any questions.
never@1445 23 *
never@1445 24 */
never@1445 25
never@1445 26 class ZeroStack {
never@1445 27 private:
never@1445 28 intptr_t *_base; // the last available word
never@1445 29 intptr_t *_top; // the word past the end of the stack
never@1445 30 intptr_t *_sp; // the top word on the stack
never@1445 31
never@1445 32 public:
never@1445 33 ZeroStack()
never@1445 34 : _base(NULL), _top(NULL), _sp(NULL) {}
never@1445 35
never@1445 36 bool needs_setup() const {
never@1445 37 return _base == NULL;
never@1445 38 }
never@1445 39
never@1445 40 void setup(void *mem, size_t size) {
never@1445 41 assert(needs_setup(), "already set up");
never@1445 42 assert(!(size & WordAlignmentMask), "unaligned");
never@1445 43
never@1445 44 _base = (intptr_t *) mem;
never@1445 45 _top = _base + (size >> LogBytesPerWord);
never@1445 46 _sp = _top;
never@1445 47 }
never@1445 48 void teardown() {
never@1445 49 assert(!needs_setup(), "not set up");
never@1445 50 assert(_sp == _top, "stuff on stack at teardown");
never@1445 51
never@1445 52 _base = NULL;
never@1445 53 _top = NULL;
never@1445 54 _sp = NULL;
never@1445 55 }
never@1445 56
never@1445 57 intptr_t *sp() const {
never@1445 58 return _sp;
never@1445 59 }
never@1445 60 void set_sp(intptr_t *new_sp) {
never@1445 61 assert(_top >= new_sp && new_sp >= _base, "bad stack pointer");
never@1445 62 _sp = new_sp;
never@1445 63 }
never@1445 64
never@1445 65 int available_words() const {
never@1445 66 return _sp - _base;
never@1445 67 }
never@1445 68
never@1445 69 void push(intptr_t value) {
never@1445 70 assert(_sp > _base, "stack overflow");
never@1445 71 *(--_sp) = value;
never@1445 72 }
never@1445 73 intptr_t pop() {
never@1445 74 assert(_sp < _top, "stack underflow");
never@1445 75 return *(_sp++);
never@1445 76 }
never@1445 77
never@1445 78 void *alloc(size_t size) {
never@1445 79 int count = align_size_up(size, wordSize) >> LogBytesPerWord;
never@1445 80 assert(count <= available_words(), "stack overflow");
never@1445 81 return _sp -= count;
never@1445 82 }
never@1445 83
never@1445 84 public:
never@1445 85 static ByteSize base_offset() {
never@1445 86 return byte_offset_of(ZeroStack, _base);
never@1445 87 }
never@1445 88 static ByteSize top_offset() {
never@1445 89 return byte_offset_of(ZeroStack, _top);
never@1445 90 }
never@1445 91 static ByteSize sp_offset() {
never@1445 92 return byte_offset_of(ZeroStack, _sp);
never@1445 93 }
never@1445 94 };
never@1445 95
never@1445 96
never@1445 97 class EntryFrame;
never@1445 98 class InterpreterFrame;
never@1445 99 class SharkFrame;
never@1445 100 class FakeStubFrame;
never@1445 101
never@1445 102 //
never@1445 103 // | ... |
never@1445 104 // +--------------------+ ------------------
never@1445 105 // | ... | low addresses
never@1445 106 // | frame_type |
never@1445 107 // | next_frame | high addresses
never@1445 108 // +--------------------+ ------------------
never@1445 109 // | ... |
never@1445 110
never@1445 111 class ZeroFrame {
never@1445 112 friend class frame;
never@1445 113 friend class ZeroStackPrinter;
never@1445 114
never@1445 115 protected:
never@1445 116 ZeroFrame() {
never@1445 117 ShouldNotCallThis();
never@1445 118 }
never@1445 119
never@1445 120 enum Layout {
never@1445 121 next_frame_off,
never@1445 122 frame_type_off,
never@1445 123 jf_header_words
never@1445 124 };
never@1445 125
never@1445 126 enum FrameType {
never@1445 127 ENTRY_FRAME = 1,
never@1445 128 INTERPRETER_FRAME,
never@1445 129 SHARK_FRAME,
never@1445 130 FAKE_STUB_FRAME
never@1445 131 };
never@1445 132
never@1445 133 protected:
never@1445 134 intptr_t *addr_of_word(int offset) const {
never@1445 135 return (intptr_t *) this - offset;
never@1445 136 }
never@1445 137 intptr_t value_of_word(int offset) const {
never@1445 138 return *addr_of_word(offset);
never@1445 139 }
never@1445 140
never@1445 141 public:
never@1445 142 ZeroFrame *next() const {
never@1445 143 return (ZeroFrame *) value_of_word(next_frame_off);
never@1445 144 }
never@1445 145
never@1445 146 protected:
never@1445 147 FrameType type() const {
never@1445 148 return (FrameType) value_of_word(frame_type_off);
never@1445 149 }
never@1445 150
never@1445 151 public:
never@1445 152 bool is_entry_frame() const {
never@1445 153 return type() == ENTRY_FRAME;
never@1445 154 }
never@1445 155 bool is_interpreter_frame() const {
never@1445 156 return type() == INTERPRETER_FRAME;
never@1445 157 }
never@1445 158 bool is_shark_frame() const {
never@1445 159 return type() == SHARK_FRAME;
never@1445 160 }
never@1445 161 bool is_fake_stub_frame() const {
never@1445 162 return type() == FAKE_STUB_FRAME;
never@1445 163 }
never@1445 164
never@1445 165 public:
never@1445 166 EntryFrame *as_entry_frame() const {
never@1445 167 assert(is_entry_frame(), "should be");
never@1445 168 return (EntryFrame *) this;
never@1445 169 }
never@1445 170 InterpreterFrame *as_interpreter_frame() const {
never@1445 171 assert(is_interpreter_frame(), "should be");
never@1445 172 return (InterpreterFrame *) this;
never@1445 173 }
never@1445 174 SharkFrame *as_shark_frame() const {
never@1445 175 assert(is_shark_frame(), "should be");
never@1445 176 return (SharkFrame *) this;
never@1445 177 }
never@1445 178 FakeStubFrame *as_fake_stub_frame() const {
never@1445 179 assert(is_fake_stub_frame(), "should be");
never@1445 180 return (FakeStubFrame *) this;
never@1445 181 }
never@1445 182
never@1445 183 public:
never@1445 184 void identify_word(int frame_index,
never@1445 185 int offset,
never@1445 186 char* fieldbuf,
never@1445 187 char* valuebuf,
never@1445 188 int buflen) const;
never@1445 189
never@1445 190 protected:
never@1445 191 void identify_vp_word(int frame_index,
never@1445 192 intptr_t* addr,
never@1445 193 intptr_t* monitor_base,
never@1445 194 intptr_t* stack_base,
never@1445 195 char* fieldbuf,
never@1445 196 int buflen) const;
never@1445 197 };

mercurial