public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-09-14 13:59 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-09-14 13:59 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:4b84d672c1fd3e8fb9fc205d80a64c01cfe5b2f8
commit 4b84d672c1fd3e8fb9fc205d80a64c01cfe5b2f8
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-07-26 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index 8aa3cd762f2..a1f3ac106b1 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8765,6 +8765,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8793,7 +8885,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8801,7 +8893,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8815,12 +8907,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8829,9 +8921,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -14084,7 +14194,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-10-29 19:52 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-10-29 19:52 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:a8f0c9f48eddbc95d0ec3565dd05cb028df5308c
commit a8f0c9f48eddbc95d0ec3565dd05cb028df5308c
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-07-26 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index fe37e45512c..6038a537825 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8822,6 +8822,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8850,7 +8942,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8858,7 +8950,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8872,12 +8964,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8886,9 +8978,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -14271,7 +14381,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-10-27 16:29 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-10-27 16:29 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:5c3e8d4868f74b0ff630d7504f6b88ceed55eeee
commit 5c3e8d4868f74b0ff630d7504f6b88ceed55eeee
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-07-26 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index fe37e45512c..6038a537825 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8822,6 +8822,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8850,7 +8942,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8858,7 +8950,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8872,12 +8964,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8886,9 +8978,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -14271,7 +14381,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-09-16 21:31 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-09-16 21:31 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:15ce0692b33d97b1bd53f427020f143f95e1eb5b
commit 15ce0692b33d97b1bd53f427020f143f95e1eb5b
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-07-26 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index b8d9074ef2d..c3d992085db 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8765,6 +8765,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8793,7 +8885,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8801,7 +8893,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8815,12 +8907,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8829,9 +8921,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -14084,7 +14194,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-08-28 20:09 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-08-28 20:09 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:a371fc3516300ab544ed36e2e40b8d9a87d83c79
commit a371fc3516300ab544ed36e2e40b8d9a87d83c79
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-07-26 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index 37e69bcf650..d41467de41e 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8765,6 +8765,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8793,7 +8885,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8801,7 +8893,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8815,12 +8907,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8829,9 +8921,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -14088,7 +14198,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-08-20 16:40 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-08-20 16:40 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:69baf3426d3fe8549809b9aeb093b732dcb18bc3
commit 69baf3426d3fe8549809b9aeb093b732dcb18bc3
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-07-26 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index 37e69bcf650..d41467de41e 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8765,6 +8765,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8793,7 +8885,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8801,7 +8893,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8815,12 +8907,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8829,9 +8921,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -14088,7 +14198,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-08-18 18:46 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-08-18 18:46 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:61b86d9cc47e9ab6383d57eefa74a98dad2707a0
commit 61b86d9cc47e9ab6383d57eefa74a98dad2707a0
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-07-26 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index e9fc4a3d9df..29491f180d4 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8765,6 +8765,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8793,7 +8885,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8801,7 +8893,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8815,12 +8907,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8829,9 +8921,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -14088,7 +14198,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-07-27 18:49 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-07-27 18:49 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:e61e281a618137f48efd7fd4e0cb3fa39d3bf988
commit e61e281a618137f48efd7fd4e0cb3fa39d3bf988
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-07-26 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index 35d963284dd..cf5c6d4be3c 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8524,6 +8524,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8552,7 +8644,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8560,7 +8652,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8574,12 +8666,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8588,9 +8680,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -13786,7 +13896,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-07-17 17:24 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-07-17 17:24 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:57e7cfccc4c0bd5e3b5de0775f8d70fec2f82cc2
commit 57e7cfccc4c0bd5e3b5de0775f8d70fec2f82cc2
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-06-17 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index a7320712ad3..f9e6246616f 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8524,6 +8524,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8552,7 +8644,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8560,7 +8652,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8574,12 +8666,12 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & (RS6000_BTC_QUAD | RS6000_BTC_PAIR)) != 0)
@@ -8588,9 +8680,27 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -13693,7 +13803,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index bbd8060e143..5e8fb268108 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2462,6 +2462,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_const_str, /* pointer to const char * */
RS6000_BTI_vector_pair, /* unsigned 256-bit types (vector pair). */
RS6000_BTI_vector_quad, /* unsigned 512-bit types (vector quad). */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2516,6 +2517,7 @@ enum rs6000_builtin_type_index
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
#define vector_pair_type_node (rs6000_builtin_types[RS6000_BTI_vector_pair])
#define vector_quad_type_node (rs6000_builtin_types[RS6000_BTI_vector_quad])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins
@ 2020-06-17 20:06 William Schmidt
0 siblings, 0 replies; 10+ messages in thread
From: William Schmidt @ 2020-06-17 20:06 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:68f9c71a41a9e06be2070f788910fd396c2422fd
commit 68f9c71a41a9e06be2070f788910fd396c2422fd
Author: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Wed Jun 17 12:12:39 2020 -0500
rs6000: Initial debug support for comparing builtins
2020-06-17 Bill Schmidt <wschmidt@linux.ibm.com>
* config/rs6000/rs6000-call.c (rs6000_debug_type): New function.
(def_builtin): Change format of debug output.
(altivec_init_builtins): Make pcvoid_type_node external.
* config/rs6000/rs6000.h (RS6000_BTI_const_ptr_void): New
rs6000_builtin_type_index value.
(pcvoid_type_node): New #define.
Diff:
---
gcc/config/rs6000/rs6000-call.c | 120 ++++++++++++++++++++++++++++++++++++++--
gcc/config/rs6000/rs6000.h | 2 +
2 files changed, 117 insertions(+), 5 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-call.c b/gcc/config/rs6000/rs6000-call.c
index 6848b5c8be3..ecd8e050a6d 100644
--- a/gcc/config/rs6000/rs6000-call.c
+++ b/gcc/config/rs6000/rs6000-call.c
@@ -8461,6 +8461,98 @@ rs6000_gimplify_va_arg (tree valist, tree type, gimple_seq *pre_p,
/* Builtins. */
+/* Debug utility to translate a type node to a single token. */
+static
+const char *rs6000_debug_type (tree type)
+{
+ if (type == void_type_node)
+ return "void";
+ else if (type == long_integer_type_node)
+ return "long";
+ else if (type == long_unsigned_type_node)
+ return "ulong";
+ else if (type == bool_V16QI_type_node)
+ return "vbc";
+ else if (type == bool_V2DI_type_node)
+ return "vbll";
+ else if (type == bool_V4SI_type_node)
+ return "vbi";
+ else if (type == bool_V8HI_type_node)
+ return "vbs";
+ else if (type == bool_int_type_node)
+ return "bool";
+ else if (type == dfloat64_type_node)
+ return "_Decimal64";
+ else if (type == double_type_node)
+ return "double";
+ else if (type == intDI_type_node)
+ return "sll";
+ else if (type == intHI_type_node)
+ return "ss";
+ else if (type == ibm128_float_type_node)
+ return "__ibm128";
+ else if (type == opaque_V4SI_type_node)
+ return "opaque";
+ else if (type == ptr_type_node)
+ return "void*";
+ else if (type == intQI_type_node || type == char_type_node)
+ return "sc";
+ else if (type == dfloat32_type_node)
+ return "_Decimal32";
+ else if (type == float_type_node)
+ return "float";
+ else if (type == intSI_type_node || type == integer_type_node)
+ return "si";
+ else if (type == dfloat128_type_node)
+ return "_Decimal128";
+ else if (type == long_double_type_node)
+ return "longdouble";
+ else if (type == intTI_type_node)
+ return "sq";
+ else if (type == unsigned_intDI_type_node)
+ return "ull";
+ else if (type == unsigned_intHI_type_node)
+ return "us";
+ else if (type == unsigned_intQI_type_node)
+ return "uc";
+ else if (type == unsigned_intSI_type_node)
+ return "ui";
+ else if (type == unsigned_intTI_type_node)
+ return "uq";
+ else if (type == unsigned_V16QI_type_node)
+ return "vuc";
+ else if (type == unsigned_V1TI_type_node)
+ return "vuq";
+ else if (type == unsigned_V2DI_type_node)
+ return "vull";
+ else if (type == unsigned_V4SI_type_node)
+ return "vui";
+ else if (type == unsigned_V8HI_type_node)
+ return "vus";
+ else if (type == V16QI_type_node)
+ return "vsc";
+ else if (type == V1TI_type_node)
+ return "vsq";
+ else if (type == V2DF_type_node)
+ return "vd";
+ else if (type == V2DI_type_node)
+ return "vsll";
+ else if (type == V4SF_type_node)
+ return "vf";
+ else if (type == V4SI_type_node)
+ return "vsi";
+ else if (type == V8HI_type_node)
+ return "vss";
+ else if (type == pixel_V8HI_type_node)
+ return "vp";
+ else if (type == pcvoid_type_node)
+ return "voidc*";
+ else if (type == float128_type_node)
+ return "_Float128";
+ else
+ return "unknown";
+}
+
static void
def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
@@ -8489,7 +8581,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
/* const function, function only depends on the inputs. */
TREE_READONLY (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", const";
+ attr_string = "= const";
}
else if ((classify & RS6000_BTC_PURE) != 0)
{
@@ -8497,7 +8589,7 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
external state. */
DECL_PURE_P (t) = 1;
TREE_NOTHROW (t) = 1;
- attr_string = ", pure";
+ attr_string = "= pure";
}
else if ((classify & RS6000_BTC_FP) != 0)
{
@@ -8511,20 +8603,38 @@ def_builtin (const char *name, tree type, enum rs6000_builtins code)
{
DECL_PURE_P (t) = 1;
DECL_IS_NOVOPS (t) = 1;
- attr_string = ", fp, pure";
+ attr_string = "= fp, pure";
}
else
{
TREE_READONLY (t) = 1;
- attr_string = ", fp, const";
+ attr_string = "= fp, const";
}
}
else if ((classify & RS6000_BTC_ATTR_MASK) != 0)
gcc_unreachable ();
+ if (TARGET_DEBUG_BUILTIN)
+ {
+ tree t = TREE_TYPE (type);
+ fprintf (stderr, "%s %s (", rs6000_debug_type (t), name);
+ t = TYPE_ARG_TYPES (type);
+ while (t && TREE_VALUE (t) != void_type_node)
+ {
+ fprintf (stderr, "%s",
+ rs6000_debug_type (TREE_VALUE (t)));
+ t = TREE_CHAIN (t);
+ if (t && TREE_VALUE (t) != void_type_node)
+ fprintf (stderr, ", ");
+ }
+ fprintf (stderr, "); %s [%4d]\n", attr_string, (int)code);
+ }
+
+ /*
if (TARGET_DEBUG_BUILTIN)
fprintf (stderr, "rs6000_builtin, code = %4d, %s%s\n",
(int)code, name, attr_string);
+ */
}
/* Simple ternary operations: VECd = foo (VECa, VECb, VECc). */
@@ -13151,7 +13261,7 @@ altivec_init_builtins (void)
tree pvoid_type_node = build_pointer_type (void_type_node);
- tree pcvoid_type_node
+ pcvoid_type_node
= build_pointer_type (build_qualified_type (void_type_node,
TYPE_QUAL_CONST));
diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index 1209a33173e..d694b2b1b04 100644
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -2443,6 +2443,7 @@ enum rs6000_builtin_type_index
RS6000_BTI_ieee128_float, /* ieee 128-bit floating point */
RS6000_BTI_ibm128_float, /* IBM 128-bit floating point */
RS6000_BTI_const_str, /* pointer to const char * */
+ RS6000_BTI_const_ptr_void, /* const pointer to void */
RS6000_BTI_MAX
};
@@ -2495,6 +2496,7 @@ enum rs6000_builtin_type_index
#define ieee128_float_type_node (rs6000_builtin_types[RS6000_BTI_ieee128_float])
#define ibm128_float_type_node (rs6000_builtin_types[RS6000_BTI_ibm128_float])
#define const_str_type_node (rs6000_builtin_types[RS6000_BTI_const_str])
+#define pcvoid_type_node (rs6000_builtin_types[RS6000_BTI_const_ptr_void])
extern GTY(()) tree rs6000_builtin_types[RS6000_BTI_MAX];
extern GTY(()) tree rs6000_builtin_decls[RS6000_BUILTIN_COUNT];
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2020-10-29 19:52 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-14 13:59 [gcc(refs/users/wschmidt/heads/builtins3)] rs6000: Initial debug support for comparing builtins William Schmidt
-- strict thread matches above, loose matches on Subject: below --
2020-10-29 19:52 William Schmidt
2020-10-27 16:29 William Schmidt
2020-09-16 21:31 William Schmidt
2020-08-28 20:09 William Schmidt
2020-08-20 16:40 William Schmidt
2020-08-18 18:46 William Schmidt
2020-07-27 18:49 William Schmidt
2020-07-17 17:24 William Schmidt
2020-06-17 20:06 William Schmidt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).