hotspot/src/share/vm/code/pcDesc.hpp
author kvn
Tue, 09 Feb 2010 01:31:13 -0800
changeset 4894 8a76fd3d098d
parent 4564 55dfb20908d0
child 5547 f4b087cbb361
permissions -rw-r--r--
6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop") Summary: Mark in PcDesc call sites which return oop and save the result oop across objects reallocation during deoptimization. Reviewed-by: never
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
     2
 * Copyright 1997-2009 Sun Microsystems, Inc.  All Rights Reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    21
 * have any questions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
// PcDescs map a physical PC (given as offset from start of nmethod) to
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
// the corresponding source scope and byte code index.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
class nmethod;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
class PcDesc VALUE_OBJ_CLASS_SPEC {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
  friend class VMStructs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
  int _pc_offset;           // offset from start of nmethod
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
  int _scope_decode_offset; // offset for scope in nmethod
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
  int _obj_decode_offset;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    37
  union PcDescFlags {
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    38
    int word;
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    39
    struct {
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    40
      unsigned int reexecute: 1;
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4017
diff changeset
    41
      unsigned int is_method_handle_invoke: 1;
4894
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 4564
diff changeset
    42
      unsigned int return_oop: 1;
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    43
    } bits;
4017
0cb087a2b9a9 6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute")
never
parents: 3686
diff changeset
    44
    bool operator ==(const PcDescFlags& other) { return word == other.word; }
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    45
  } _flags;
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    46
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
  int pc_offset() const           { return _pc_offset;   }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  int scope_decode_offset() const { return _scope_decode_offset; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  int obj_decode_offset() const   { return _obj_decode_offset; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
  void set_pc_offset(int x)           { _pc_offset           = x; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  void set_scope_decode_offset(int x) { _scope_decode_offset = x; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  void set_obj_decode_offset(int x)   { _obj_decode_offset   = x; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  // Constructor (only used for static in nmethod.cpp)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  // Also used by ScopeDesc::sender()]
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  PcDesc(int pc_offset, int scope_decode_offset, int obj_decode_offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
  enum {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
    // upper and lower exclusive limits real offsets:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
    lower_offset_limit = -1,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
    upper_offset_limit = (unsigned int)-1 >> 1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
3686
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    66
  // Flags
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    67
  bool     should_reexecute()              const { return _flags.bits.reexecute; }
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    68
  void set_should_reexecute(bool z)              { _flags.bits.reexecute = z;    }
69c1b5228547 6873116: Modify reexecute implementation to use pcDesc to record the reexecute bit
cfang
parents: 1
diff changeset
    69
4017
0cb087a2b9a9 6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute")
never
parents: 3686
diff changeset
    70
  // Does pd refer to the same information as pd?
0cb087a2b9a9 6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute")
never
parents: 3686
diff changeset
    71
  bool is_same_info(const PcDesc* pd) {
0cb087a2b9a9 6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute")
never
parents: 3686
diff changeset
    72
    return _scope_decode_offset == pd->_scope_decode_offset &&
0cb087a2b9a9 6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute")
never
parents: 3686
diff changeset
    73
      _obj_decode_offset == pd->_obj_decode_offset &&
0cb087a2b9a9 6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute")
never
parents: 3686
diff changeset
    74
      _flags == pd->_flags;
0cb087a2b9a9 6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute")
never
parents: 3686
diff changeset
    75
  }
0cb087a2b9a9 6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute")
never
parents: 3686
diff changeset
    76
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4017
diff changeset
    77
  bool     is_method_handle_invoke()       const { return _flags.bits.is_method_handle_invoke;     }
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4017
diff changeset
    78
  void set_is_method_handle_invoke(bool z)       {        _flags.bits.is_method_handle_invoke = z; }
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4017
diff changeset
    79
4894
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 4564
diff changeset
    80
  bool     return_oop()                    const { return _flags.bits.return_oop;     }
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 4564
diff changeset
    81
  void set_return_oop(bool z)                    {        _flags.bits.return_oop = z; }
8a76fd3d098d 6910618: C2: Error: assert(d->is_oop(),"JVM_ArrayCopy: dst not an oop")
kvn
parents: 4564
diff changeset
    82
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  // Returns the real pc
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  address real_pc(const nmethod* code) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  void print(nmethod* code);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  bool verify(nmethod* code);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
};