defaults.h (TARGET_PTRMEMFUNC_VBIT_LOCATION): Define.

* defaults.h (TARGET_PTRMEMFUNC_VBIT_LOCATION): Define.
* tm.texi (TARGET_PRTMEMFUNC_VBIT_LOCATION): Document.

From-SVN: r41989

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cd72d9006e60c06a8b6c120619eb5b1d238dc735..748847f68bc1550325a8e02ddfb5427aef2b3d6a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2001-05-12  Alexandre Oliva  <aoliva@redhat.com>
+
+       * defaults.h (TARGET_PTRMEMFUNC_VBIT_LOCATION): Define.
+       * tm.texi (TARGET_PRTMEMFUNC_VBIT_LOCATION): Document.
+
 2001-05-11  Richard Henderson  <rth@redhat.com>
 
        * defaults.h (ASM_PREFERRED_EH_DATA_FORMAT): New.

diff --git a/gcc/defaults.h b/gcc/defaults.h
index 9ec2af1a5ab82bf164dbf2c12e0a24f44dfbf959..45fb088785fcda6273921cb944d7ad87a6b0030f 100644 (file)
--- a/gcc/defaults.h
+++ b/gcc/defaults.h
@@ -325,5 +325,16 @@ do {                                                               \
 #define ASM_PREFERRED_EH_DATA_FORMAT(CODE,GLOBAL)  DW_EH_PE_absptr
 #endif
 
+/* By default, the C++ compiler will use the lowest bit of the pointer
+   to function to indicate a pointer-to-member-function points to a
+   virtual member function.  However, if FUNCTION_BOUNDARY indicates
+   function addresses aren't always even, the lowest bit of the delta
+   field will be used.  */
+#ifndef TARGET_PTRMEMFUNC_VBIT_LOCATION
+#define TARGET_PTRMEMFUNC_VBIT_LOCATION \
+  (FUNCTION_BOUNDARY >= 2 * BITS_PER_UNIT \
+   ? ptrmemfunc_vbit_in_pfn : ptrmemfunc_vbit_in_delta)
+#endif
+
 #endif  /* GCC_DEFAULTS_H */
 

diff --git a/gcc/tm.texi b/gcc/tm.texi
index 1a1ad21238b62ba64df0de21c1cb6e7c24f0f019..8f1c314d79056b53ec9a1568f2506d425259ed14 100644 (file)
--- a/gcc/tm.texi
+++ b/gcc/tm.texi
@@ -1451,6 +1451,45 @@ label.
 On certain machines, it is important to have a separate label for each
 selector because this enables the linker to eliminate duplicate selectors.
 
+@findex TARGET_PTRMEMFUNC_VBIT_LOCATION
+@item TARGET_PTRMEMFUNC_VBIT_LOCATION
+The C++ compiler represents a pointer-to-member-function with a struct
+that looks like:
+
+@example
+  struct @{
+    union @{
+      void (*fn)();
+      ptrdiff_t vtable_index;
+    @};
+    ptrdiff_t delta;
+  @};
+@end example
+
+@noindent
+The C++ compiler must use one bit to indicate whether the function that
+will be called through a pointer-to-member-function is virtual.
+Normally, we assume that the low-order bit of a function pointer must
+always be zero.  Then, by ensuring that the vtable_index is odd, we can
+distinguish which variant of the union is in use.  But, on some
+platforms function pointers can be odd, and so this doesn't work.  In
+that case, we use the low-order bit of the @code{delta} field, and shift
+the remainder of the @code{delta} field to the left.
+
+GCC will automatically make the right selection about where to store
+this bit using the @code{FUNCTION_BOUNDARY} setting for your platform.
+However, some platforms such as ARM/Thumb have @code{FUNCTION_BOUNDARY}
+set such that functions always start at even addresses, but the lowest
+bit of pointers to functions indicate whether the function at that
+address is in ARM or Thumb mode.  If this is the case of your
+architecture, you should define this macro to
+@code{ptrmemfunc_vbit_in_delta}.
+
+In general, you should not have to define this macro.  On architectures
+in which function addresses are always even, according to
+@code{FUNCTION_BOUNDARY}, GCC will automatically define this macro to
+@code{ptrmemfunc_vbit_in_pfn}.
+
 @findex TARGET_BELL
 @item TARGET_BELL
 A C constant expression for the integer value for escape sequence