Mercurial > hg > graal-compiler
view src/share/vm/asm/register.hpp @ 21696:ca140f8c35be
Empty pointer stamps are also non-null.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Wed, 03 Jun 2015 14:08:29 +0200 |
parents | 166d744df0de |
children |
line wrap: on
line source
/* * Copyright (c) 2000, 2014, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. * */ #ifndef SHARE_VM_ASM_REGISTER_HPP #define SHARE_VM_ASM_REGISTER_HPP #include "utilities/top.hpp" // Use AbstractRegister as shortcut class AbstractRegisterImpl; typedef AbstractRegisterImpl* AbstractRegister; // The super class for platform specific registers. Instead of using value objects, // registers are implemented as pointers. Subclassing is used so all registers can // use the debugging suport below. No virtual functions are used for efficiency. // They are canonicalized; i.e., registers are equal if their pointers are equal, // and vice versa. A concrete implementation may just map the register onto 'this'. class AbstractRegisterImpl { protected: int value() const { return (int)(intx)this; } }; // // Macros for use in defining Register instances. We'd like to be // able to simply define const instances of the RegisterImpl* for each // of the registers needed on a system in a header file. However many // compilers don't handle this very well and end up producing a // private definition in every file which includes the header file. // Along with the static constructors necessary for initialization it // can consume a significant amount of space in the result library. // // The following macros allow us to declare the instance in a .hpp and // produce an enumeration value which has the same number. Then in a // .cpp the the register instance can be defined using the enumeration // value. This avoids the use of static constructors and multiple // definitions per .cpp. In addition #defines for the register can be // produced so that the constant registers can be inlined. These // macros should not be used inside other macros, because you may get // multiple evaluations of the macros which can give bad results. // // Here are some example uses and expansions. Note that the macro // invocation is terminated with a ;. // // CONSTANT_REGISTER_DECLARATION(Register, G0, 0); // // extern const Register G0 ; // enum { G0_RegisterEnumValue = 0 } ; // // REGISTER_DECLARATION(Register, Gmethod, G5); // // extern const Register Gmethod ; // enum { Gmethod_RegisterEnumValue = G5_RegisterEnumValue } ; // // REGISTER_DEFINITION(Register, G0); // // const Register G0 = ( ( Register ) G0_RegisterEnumValue ) ; // #define AS_REGISTER(type,name) ((type)name##_##type##EnumValue) #define CONSTANT_REGISTER_DECLARATION(type, name, value) \ extern const type name; \ enum { name##_##type##EnumValue = (value) } #define REGISTER_DECLARATION(type, name, value) \ extern const type name; \ enum { name##_##type##EnumValue = value##_##type##EnumValue } #define REGISTER_DEFINITION(type, name) \ const type name = ((type)name##_##type##EnumValue) #ifdef TARGET_ARCH_x86 # include "register_x86.hpp" #endif #ifdef TARGET_ARCH_sparc # include "register_sparc.hpp" #endif #ifdef TARGET_ARCH_zero # include "register_zero.hpp" #endif #ifdef TARGET_ARCH_arm # include "register_arm.hpp" #endif #ifdef TARGET_ARCH_ppc # include "register_ppc.hpp" #endif // Debugging support inline void assert_different_registers( AbstractRegister a, AbstractRegister b ) { assert( a != b, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT "", p2i(a), p2i(b)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c ) { assert( a != b && a != c && b != c, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d ) { assert( a != b && a != c && a != d && b != c && b != d && c != d, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d, AbstractRegister e ) { assert( a != b && a != c && a != d && a != e && b != c && b != d && b != e && c != d && c != e && d != e, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT ", e=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d), p2i(e)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d, AbstractRegister e, AbstractRegister f ) { assert( a != b && a != c && a != d && a != e && a != f && b != c && b != d && b != e && b != f && c != d && c != e && c != f && d != e && d != f && e != f, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT ", e=" INTPTR_FORMAT ", f=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d), p2i(e), p2i(f)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d, AbstractRegister e, AbstractRegister f, AbstractRegister g ) { assert( a != b && a != c && a != d && a != e && a != f && a != g && b != c && b != d && b != e && b != f && b != g && c != d && c != e && c != f && c != g && d != e && d != f && d != g && e != f && e != g && f != g, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT ", e=" INTPTR_FORMAT ", f=" INTPTR_FORMAT ", g=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d), p2i(e), p2i(f), p2i(g)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d, AbstractRegister e, AbstractRegister f, AbstractRegister g, AbstractRegister h ) { assert( a != b && a != c && a != d && a != e && a != f && a != g && a != h && b != c && b != d && b != e && b != f && b != g && b != h && c != d && c != e && c != f && c != g && c != h && d != e && d != f && d != g && d != h && e != f && e != g && e != h && f != g && f != h && g != h, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT ", e=" INTPTR_FORMAT ", f=" INTPTR_FORMAT ", g=" INTPTR_FORMAT ", h=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d), p2i(e), p2i(f), p2i(g), p2i(h)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d, AbstractRegister e, AbstractRegister f, AbstractRegister g, AbstractRegister h, AbstractRegister i ) { assert( a != b && a != c && a != d && a != e && a != f && a != g && a != h && a != i && b != c && b != d && b != e && b != f && b != g && b != h && b != i && c != d && c != e && c != f && c != g && c != h && c != i && d != e && d != f && d != g && d != h && d != i && e != f && e != g && e != h && e != i && f != g && f != h && f != i && g != h && g != i && h != i, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT ", e=" INTPTR_FORMAT ", f=" INTPTR_FORMAT ", g=" INTPTR_FORMAT ", h=" INTPTR_FORMAT ", i=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d), p2i(e), p2i(f), p2i(g), p2i(h), p2i(i)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d, AbstractRegister e, AbstractRegister f, AbstractRegister g, AbstractRegister h, AbstractRegister i, AbstractRegister j ) { assert( a != b && a != c && a != d && a != e && a != f && a != g && a != h && a != i && a != j && b != c && b != d && b != e && b != f && b != g && b != h && b != i && b != j && c != d && c != e && c != f && c != g && c != h && c != i && c != j && d != e && d != f && d != g && d != h && d != i && d != j && e != f && e != g && e != h && e != i && e != j && f != g && f != h && f != i && f != j && g != h && g != i && g != j && h != i && h != j && i != j, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT ", e=" INTPTR_FORMAT ", f=" INTPTR_FORMAT ", g=" INTPTR_FORMAT ", h=" INTPTR_FORMAT ", i=" INTPTR_FORMAT ", j=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d), p2i(e), p2i(f), p2i(g), p2i(h), p2i(i), p2i(j)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d, AbstractRegister e, AbstractRegister f, AbstractRegister g, AbstractRegister h, AbstractRegister i, AbstractRegister j, AbstractRegister k ) { assert( a != b && a != c && a != d && a != e && a != f && a != g && a != h && a != i && a != j && a !=k && b != c && b != d && b != e && b != f && b != g && b != h && b != i && b != j && b !=k && c != d && c != e && c != f && c != g && c != h && c != i && c != j && c !=k && d != e && d != f && d != g && d != h && d != i && d != j && d !=k && e != f && e != g && e != h && e != i && e != j && e !=k && f != g && f != h && f != i && f != j && f !=k && g != h && g != i && g != j && g !=k && h != i && h != j && h !=k && i != j && i !=k && j !=k, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT ", e=" INTPTR_FORMAT ", f=" INTPTR_FORMAT ", g=" INTPTR_FORMAT ", h=" INTPTR_FORMAT ", i=" INTPTR_FORMAT ", j=" INTPTR_FORMAT ", k=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d), p2i(e), p2i(f), p2i(g), p2i(h), p2i(i), p2i(j), p2i(k)) ); } inline void assert_different_registers( AbstractRegister a, AbstractRegister b, AbstractRegister c, AbstractRegister d, AbstractRegister e, AbstractRegister f, AbstractRegister g, AbstractRegister h, AbstractRegister i, AbstractRegister j, AbstractRegister k, AbstractRegister l ) { assert( a != b && a != c && a != d && a != e && a != f && a != g && a != h && a != i && a != j && a !=k && a !=l && b != c && b != d && b != e && b != f && b != g && b != h && b != i && b != j && b !=k && b !=l && c != d && c != e && c != f && c != g && c != h && c != i && c != j && c !=k && c !=l && d != e && d != f && d != g && d != h && d != i && d != j && d !=k && d !=l && e != f && e != g && e != h && e != i && e != j && e !=k && e !=l && f != g && f != h && f != i && f != j && f !=k && f !=l && g != h && g != i && g != j && g !=k && g !=l && h != i && h != j && h !=k && h !=l && i != j && i !=k && i !=l && j !=k && j !=l && k !=l, err_msg_res("registers must be different: a=" INTPTR_FORMAT ", b=" INTPTR_FORMAT ", c=" INTPTR_FORMAT ", d=" INTPTR_FORMAT ", e=" INTPTR_FORMAT ", f=" INTPTR_FORMAT ", g=" INTPTR_FORMAT ", h=" INTPTR_FORMAT ", i=" INTPTR_FORMAT ", j=" INTPTR_FORMAT ", k=" INTPTR_FORMAT ", l=" INTPTR_FORMAT "", p2i(a), p2i(b), p2i(c), p2i(d), p2i(e), p2i(f), p2i(g), p2i(h), p2i(i), p2i(j), p2i(k), p2i(l)) ); } #endif // SHARE_VM_ASM_REGISTER_HPP