1 /*
   2  * Copyright (c) 2017, 2018, 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  */
  24 
  25 #ifndef SHARE_OOPS_COMPRESSEDOOPS_INLINE_HPP
  26 #define SHARE_OOPS_COMPRESSEDOOPS_INLINE_HPP
  27 
  28 #include "gc/shared/collectedHeap.hpp"
  29 #include "memory/universe.hpp"
  30 #include "oops/oop.hpp"
  31 
  32 // Functions for encoding and decoding compressed oops.
  33 // If the oops are compressed, the type passed to these overloaded functions
  34 // is narrowOop.  All functions are overloaded so they can be called by
  35 // template functions without conditionals (the compiler instantiates via
  36 // the right type and inlines the appropriate code).
  37 
  38 // Algorithm for encoding and decoding oops from 64 bit pointers to 32 bit
  39 // offset from the heap base.  Saving the check for null can save instructions
  40 // in inner GC loops so these are separated.
  41 
  42 namespace CompressedOops {
  43   inline bool is_null(oop obj)       { return obj == NULL; }
  44   inline bool is_null(narrowOop obj) { return obj == 0; }
  45 
  46   inline oop decode_not_null(narrowOop v) {
  47     assert(!is_null(v), "narrow oop value can never be zero");
  48     address base = Universe::narrow_oop_base();
  49     int    shift = Universe::narrow_oop_shift();
  50     oop result = (oop)(void*)((uintptr_t)base + ((uintptr_t)v << shift));
  51     assert(check_obj_alignment(result), "address not aligned: " INTPTR_FORMAT, p2i((void*) result));
  52     return result;
  53   }
  54 
  55   inline oop decode(narrowOop v) {
  56     return is_null(v) ? (oop)NULL : decode_not_null(v);
  57   }
  58 
  59   inline narrowOop encode_not_null(oop v) {
  60     assert(!is_null(v), "oop value can never be zero");
  61     assert(check_obj_alignment(v), "Address not aligned");
  62     assert(Universe::heap()->is_in_reserved(v), "Address not in heap");
  63     address base = Universe::narrow_oop_base();
  64     int    shift = Universe::narrow_oop_shift();
  65     uint64_t  pd = (uint64_t)(pointer_delta((void*)v, (void*)base, 1));
  66     assert(OopEncodingHeapMax > pd, "change encoding max if new encoding");
  67     uint64_t result = pd >> shift;
  68     assert((result & CONST64(0xffffffff00000000)) == 0, "narrow oop overflow");
  69     assert(decode(result) == v, "reversibility");
  70     return (narrowOop)result;
  71   }
  72 
  73   inline narrowOop encode(oop v) {
  74     return is_null(v) ? (narrowOop)0 : encode_not_null(v);
  75   }
  76 
  77   // No conversions needed for these overloads
  78   inline oop decode_not_null(oop v)             { return v; }
  79   inline oop decode(oop v)                      { return v; }
  80   inline narrowOop encode_not_null(narrowOop v) { return v; }
  81   inline narrowOop encode(narrowOop v)          { return v; }
  82 }
  83 
  84 #endif // SHARE_OOPS_COMPRESSEDOOPS_INLINE_HPP