public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/vendors/vrull/heads/slp-improvements)] Fix element_prevision check for vec_perm+view_convert pattern
@ 2024-01-23 20:57 Philipp Tomsich
0 siblings, 0 replies; 3+ messages in thread
From: Philipp Tomsich @ 2024-01-23 20:57 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:f0072d8a1dee8a6278ad68abe257f8f2433bfd91
commit f0072d8a1dee8a6278ad68abe257f8f2433bfd91
Author: Manolis Tsamis <manolis.tsamis@vrull.eu>
Date: Fri Nov 24 10:08:24 2023 +0100
Fix element_prevision check for vec_perm+view_convert pattern
Addresses the blender_r ICE reported as part of #343.
Ref #343
Diff:
---
gcc/match.pd | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/gcc/match.pd b/gcc/match.pd
index be623d9773c..e63be8e2158 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -9965,20 +9965,21 @@ and,
d = VEC_PERM_EXPR <a, b, NEW_VCST>; */
(simplify
- (vec_perm (view_convert?@0 (vec_perm @1 @2 VECTOR_CST@3)) @0 VECTOR_CST@4)
+ (vec_perm (view_convert?@0 (vec_perm@1 @2 @3 VECTOR_CST@4)) @0 VECTOR_CST@5)
(if (TYPE_VECTOR_SUBPARTS (type).is_constant ())
(with
{
machine_mode result_mode = TYPE_MODE (type);
- machine_mode op_mode = TYPE_MODE (TREE_TYPE (@1));
+ machine_mode op_mode = TYPE_MODE (TREE_TYPE (@2));
int nelts = TYPE_VECTOR_SUBPARTS (type).to_constant ();
vec_perm_builder builder0;
vec_perm_builder builder1;
vec_perm_builder builder2 (nelts, nelts, 1);
}
- (if (tree_to_vec_perm_builder (&builder0, @3)
- && tree_to_vec_perm_builder (&builder1, @4)
- && element_precision (type) == element_precision (TREE_TYPE (@0)))
+ (if (tree_to_vec_perm_builder (&builder0, @4)
+ && tree_to_vec_perm_builder (&builder1, @5)
+ && element_precision (TREE_TYPE (@0))
+ == element_precision (TREE_TYPE (@1)))
(with
{
vec_perm_indices sel0 (builder0, 2, nelts);
@@ -10000,10 +10001,10 @@ and,
? (!can_vec_perm_const_p (result_mode, op_mode, sel0, false)
|| !can_vec_perm_const_p (result_mode, op_mode, sel1, false))
: !can_vec_perm_const_p (result_mode, op_mode, sel1, false)))
- op0 = vec_perm_indices_to_tree (TREE_TYPE (@4), sel2);
+ op0 = vec_perm_indices_to_tree (TREE_TYPE (@5), sel2);
}
(if (op0)
- (view_convert (vec_perm @1 @2 { op0; }))))))))
+ (view_convert (vec_perm @2 @3 { op0; }))))))))
/* Merge
c = VEC_PERM_EXPR <a, b, VCST0>;
^ permalink raw reply [flat|nested] 3+ messages in thread
* [gcc(refs/vendors/vrull/heads/slp-improvements)] Fix element_prevision check for vec_perm+view_convert pattern
@ 2024-01-17 19:14 Philipp Tomsich
0 siblings, 0 replies; 3+ messages in thread
From: Philipp Tomsich @ 2024-01-17 19:14 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:2cbf158bb6bce94f9dcb5850e2a1ba995449b75c
commit 2cbf158bb6bce94f9dcb5850e2a1ba995449b75c
Author: Manolis Tsamis <manolis.tsamis@vrull.eu>
Date: Fri Nov 24 10:08:24 2023 +0100
Fix element_prevision check for vec_perm+view_convert pattern
Addresses the blender_r ICE reported as part of #343.
Ref #343
Diff:
---
gcc/match.pd | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/gcc/match.pd b/gcc/match.pd
index 59a664293ea..d3ee2ae79f8 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -9929,20 +9929,21 @@ and,
d = VEC_PERM_EXPR <a, b, NEW_VCST>; */
(simplify
- (vec_perm (view_convert?@0 (vec_perm @1 @2 VECTOR_CST@3)) @0 VECTOR_CST@4)
+ (vec_perm (view_convert?@0 (vec_perm@1 @2 @3 VECTOR_CST@4)) @0 VECTOR_CST@5)
(if (TYPE_VECTOR_SUBPARTS (type).is_constant ())
(with
{
machine_mode result_mode = TYPE_MODE (type);
- machine_mode op_mode = TYPE_MODE (TREE_TYPE (@1));
+ machine_mode op_mode = TYPE_MODE (TREE_TYPE (@2));
int nelts = TYPE_VECTOR_SUBPARTS (type).to_constant ();
vec_perm_builder builder0;
vec_perm_builder builder1;
vec_perm_builder builder2 (nelts, nelts, 1);
}
- (if (tree_to_vec_perm_builder (&builder0, @3)
- && tree_to_vec_perm_builder (&builder1, @4)
- && element_precision (type) == element_precision (TREE_TYPE (@0)))
+ (if (tree_to_vec_perm_builder (&builder0, @4)
+ && tree_to_vec_perm_builder (&builder1, @5)
+ && element_precision (TREE_TYPE (@0))
+ == element_precision (TREE_TYPE (@1)))
(with
{
vec_perm_indices sel0 (builder0, 2, nelts);
@@ -9964,10 +9965,10 @@ and,
? (!can_vec_perm_const_p (result_mode, op_mode, sel0, false)
|| !can_vec_perm_const_p (result_mode, op_mode, sel1, false))
: !can_vec_perm_const_p (result_mode, op_mode, sel1, false)))
- op0 = vec_perm_indices_to_tree (TREE_TYPE (@4), sel2);
+ op0 = vec_perm_indices_to_tree (TREE_TYPE (@5), sel2);
}
(if (op0)
- (view_convert (vec_perm @1 @2 { op0; }))))))))
+ (view_convert (vec_perm @2 @3 { op0; }))))))))
/* Merge
c = VEC_PERM_EXPR <a, b, VCST0>;
^ permalink raw reply [flat|nested] 3+ messages in thread
* [gcc(refs/vendors/vrull/heads/slp-improvements)] Fix element_prevision check for vec_perm+view_convert pattern
@ 2023-11-28 13:35 Philipp Tomsich
0 siblings, 0 replies; 3+ messages in thread
From: Philipp Tomsich @ 2023-11-28 13:35 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:20e626b3df72cb8d62bec8cb418163b7eecf04ef
commit 20e626b3df72cb8d62bec8cb418163b7eecf04ef
Author: Manolis Tsamis <manolis.tsamis@vrull.eu>
Date: Fri Nov 24 10:08:24 2023 +0100
Fix element_prevision check for vec_perm+view_convert pattern
Addresses the blender_r ICE reported as part of #343.
Ref #343
Diff:
---
gcc/match.pd | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/gcc/match.pd b/gcc/match.pd
index c41e1f8796b..97fd4920a4e 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -9818,20 +9818,21 @@ and,
d = VEC_PERM_EXPR <a, b, NEW_VCST>; */
(simplify
- (vec_perm (view_convert?@0 (vec_perm @1 @2 VECTOR_CST@3)) @0 VECTOR_CST@4)
+ (vec_perm (view_convert?@0 (vec_perm@1 @2 @3 VECTOR_CST@4)) @0 VECTOR_CST@5)
(if (TYPE_VECTOR_SUBPARTS (type).is_constant ())
(with
{
machine_mode result_mode = TYPE_MODE (type);
- machine_mode op_mode = TYPE_MODE (TREE_TYPE (@1));
+ machine_mode op_mode = TYPE_MODE (TREE_TYPE (@2));
int nelts = TYPE_VECTOR_SUBPARTS (type).to_constant ();
vec_perm_builder builder0;
vec_perm_builder builder1;
vec_perm_builder builder2 (nelts, nelts, 1);
}
- (if (tree_to_vec_perm_builder (&builder0, @3)
- && tree_to_vec_perm_builder (&builder1, @4)
- && element_precision (type) == element_precision (TREE_TYPE (@0)))
+ (if (tree_to_vec_perm_builder (&builder0, @4)
+ && tree_to_vec_perm_builder (&builder1, @5)
+ && element_precision (TREE_TYPE (@0))
+ == element_precision (TREE_TYPE (@1)))
(with
{
vec_perm_indices sel0 (builder0, 2, nelts);
@@ -9853,10 +9854,10 @@ and,
? (!can_vec_perm_const_p (result_mode, op_mode, sel0, false)
|| !can_vec_perm_const_p (result_mode, op_mode, sel1, false))
: !can_vec_perm_const_p (result_mode, op_mode, sel1, false)))
- op0 = vec_perm_indices_to_tree (TREE_TYPE (@4), sel2);
+ op0 = vec_perm_indices_to_tree (TREE_TYPE (@5), sel2);
}
(if (op0)
- (view_convert (vec_perm @1 @2 { op0; }))))))))
+ (view_convert (vec_perm @2 @3 { op0; }))))))))
/* Merge
c = VEC_PERM_EXPR <a, b, VCST0>;
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2024-01-23 20:57 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-01-23 20:57 [gcc(refs/vendors/vrull/heads/slp-improvements)] Fix element_prevision check for vec_perm+view_convert pattern Philipp Tomsich
-- strict thread matches above, loose matches on Subject: below --
2024-01-17 19:14 Philipp Tomsich
2023-11-28 13:35 Philipp Tomsich
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).