Re: [PATCH] IBM Z: Restrict vec_cmp on z13

[Andreas Krebbel via Gcc-patches]

On 24.11.20 12:55, Ilya Leoshkevich wrote:
> Bootstrapped and regtested on s390x-redhat-linux.  Ok for master?
> 
> 
> 
> Commit 5d9ade39b872 ("IBM Z: Fix PR97326: Enable fp compares in
> vec_cmp") made it possible to create rtxes that describe signaling
> comparisons on z13, which are not supported by the hardware.  Restrict
> this by using vcond_comparison_operator predicate.
> 
> gcc/ChangeLog:
> 
> 2020-11-24  Ilya Leoshkevich  
> 
>   * config/s390/vector.md: Use vcond_comparison_operator
>   predicate.

Ok. Thanks!

Andreas

[PATCH] IBM Z: Restrict vec_cmp on z13

[Ilya Leoshkevich via Gcc-patches]

Bootstrapped and regtested on s390x-redhat-linux.  Ok for master?



Commit 5d9ade39b872 ("IBM Z: Fix PR97326: Enable fp compares in
vec_cmp") made it possible to create rtxes that describe signaling
comparisons on z13, which are not supported by the hardware.  Restrict
this by using vcond_comparison_operator predicate.

gcc/ChangeLog:

2020-11-24  Ilya Leoshkevich  

* config/s390/vector.md: Use vcond_comparison_operator
predicate.
---
 gcc/config/s390/vector.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/config/s390/vector.md b/gcc/config/s390/vector.md
index fef68644625..029ee0886c2 100644
--- a/gcc/config/s390/vector.md
+++ b/gcc/config/s390/vector.md
@@ -1561,7 +1561,7 @@ (define_expand "copysign3"
 
 (define_expand "vec_cmp"
   [(set (match_operand:  0 "register_operand" "")
-   (match_operator: 1 ""
+   (match_operator: 1 "vcond_comparison_operator"
  [(match_operand:V_HW 2 "register_operand" "")
   (match_operand:V_HW 3 "register_operand" "")]))]
   "TARGET_VX"
-- 
2.25.4