public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-2562] Handle OPAQUE_TYPE specially in verify_type [PR106833]
@ 2022-09-09 13:18 Kewen Lin
0 siblings, 0 replies; only message in thread
From: Kewen Lin @ 2022-09-09 13:18 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:e230f11e9784eefed316df7dbc5df6ac999841b2
commit r13-2562-ge230f11e9784eefed316df7dbc5df6ac999841b2
Author: Kewen Lin <linkw@linux.ibm.com>
Date: Fri Sep 9 08:17:21 2022 -0500
Handle OPAQUE_TYPE specially in verify_type [PR106833]
As PR106833 shows, cv-qualified opaque type can cause ICE
during LTO. It exposes that we missd to handle OPAQUE_TYPE
well in type verification. As Richi pointed out, also
assuming that target will always define TYPE_MAIN_VARIANT
TYPE_CANONICAL for opaque type, this patch is to check
both are OPAQUE_TYPE_P and their modes are of MODE_OPAQUE
class. Besides, it also checks the only available size
and alignment information.
PR middle-end/106833
gcc/ChangeLog:
* tree.cc (verify_opaque_type): New function.
(verify_type): Call verify_opaque_type for OPAQUE_TYPE.
gcc/testsuite/ChangeLog:
* gcc.target/powerpc/pr106833.c: New test.
Diff:
---
gcc/testsuite/gcc.target/powerpc/pr106833.c | 14 ++++++
gcc/tree.cc | 74 ++++++++++++++++++++++++++++-
2 files changed, 87 insertions(+), 1 deletion(-)
diff --git a/gcc/testsuite/gcc.target/powerpc/pr106833.c b/gcc/testsuite/gcc.target/powerpc/pr106833.c
new file mode 100644
index 00000000000..968d75184ff
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/pr106833.c
@@ -0,0 +1,14 @@
+/* { dg-do link } */
+/* { dg-require-effective-target power10_ok } */
+/* { dg-require-effective-target lto } */
+/* { dg-options "-flto -mdejagnu-cpu=power10" } */
+
+/* Verify there is no ICE in LTO mode. */
+
+int main ()
+{
+ float *b;
+ const __vector_quad c;
+ __builtin_mma_disassemble_acc (b, &c);
+ return 0;
+}
diff --git a/gcc/tree.cc b/gcc/tree.cc
index 2f488e4467c..0546c8f4025 100644
--- a/gcc/tree.cc
+++ b/gcc/tree.cc
@@ -13680,6 +13680,71 @@ gimple_canonical_types_compatible_p (const_tree t1, const_tree t2,
}
}
+/* For OPAQUE_TYPE T, it should have only size and alignment information
+ and its mode should be of class MODE_OPAQUE. This function verifies
+ these properties of T match TV which is the main variant of T and TC
+ which is the canonical of T. */
+
+static void
+verify_opaque_type (const_tree t, tree tv, tree tc)
+{
+ gcc_assert (OPAQUE_TYPE_P (t));
+ gcc_assert (tv && tv == TYPE_MAIN_VARIANT (tv));
+ gcc_assert (tc && tc == TYPE_CANONICAL (tc));
+
+ /* For an opaque type T1, check if some of its properties match
+ the corresponding ones of the other opaque type T2, emit some
+ error messages for those inconsistent ones. */
+ auto check_properties_for_opaque_type = [](const_tree t1, tree t2,
+ const char *kind_msg)
+ {
+ if (!OPAQUE_TYPE_P (t2))
+ {
+ error ("type %s is not an opaque type", kind_msg);
+ debug_tree (t2);
+ return;
+ }
+ if (!OPAQUE_MODE_P (TYPE_MODE (t2)))
+ {
+ error ("type %s is not with opaque mode", kind_msg);
+ debug_tree (t2);
+ return;
+ }
+ if (TYPE_MODE (t1) != TYPE_MODE (t2))
+ {
+ error ("type %s differs by %<TYPE_MODE%>", kind_msg);
+ debug_tree (t2);
+ return;
+ }
+ poly_uint64 t1_size = tree_to_poly_uint64 (TYPE_SIZE (t1));
+ poly_uint64 t2_size = tree_to_poly_uint64 (TYPE_SIZE (t2));
+ if (maybe_ne (t1_size, t2_size))
+ {
+ error ("type %s differs by %<TYPE_SIZE%>", kind_msg);
+ debug_tree (t2);
+ return;
+ }
+ if (TYPE_ALIGN (t1) != TYPE_ALIGN (t2))
+ {
+ error ("type %s differs by %<TYPE_ALIGN%>", kind_msg);
+ debug_tree (t2);
+ return;
+ }
+ if (TYPE_USER_ALIGN (t1) != TYPE_USER_ALIGN (t2))
+ {
+ error ("type %s differs by %<TYPE_USER_ALIGN%>", kind_msg);
+ debug_tree (t2);
+ return;
+ }
+ };
+
+ if (t != tv)
+ check_properties_for_opaque_type (t, tv, "variant");
+
+ if (t != tc)
+ check_properties_for_opaque_type (t, tc, "canonical");
+}
+
/* Verify type T. */
void
@@ -13687,6 +13752,14 @@ verify_type (const_tree t)
{
bool error_found = false;
tree mv = TYPE_MAIN_VARIANT (t);
+ tree ct = TYPE_CANONICAL (t);
+
+ if (OPAQUE_TYPE_P (t))
+ {
+ verify_opaque_type (t, mv, ct);
+ return;
+ }
+
if (!mv)
{
error ("main variant is not defined");
@@ -13701,7 +13774,6 @@ verify_type (const_tree t)
else if (t != mv && !verify_type_variant (t, mv))
error_found = true;
- tree ct = TYPE_CANONICAL (t);
if (!ct)
;
else if (TYPE_CANONICAL (ct) != ct)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-09-09 13:18 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-09 13:18 [gcc r13-2562] Handle OPAQUE_TYPE specially in verify_type [PR106833] Kewen Lin
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).