[gcc(refs/users/mikael/heads/refactor_descriptor_v06_temp)] Correction régression assumed_type_13

[Mikael Morin via Gcc-cvs]

https://gcc.gnu.org/g:96bc4d896ff7545bbbe64cd07e48b75f84a99638

commit 96bc4d896ff7545bbbe64cd07e48b75f84a99638
Author: Mikael Morin <mik...@gcc.gnu.org>
Date:   Mon May 19 15:06:55 2025 +0200

    Correction régression assumed_type_13

Diff:
---
 gcc/match.pd | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/gcc/match.pd b/gcc/match.pd
index eaaf4bc2b331..8c6936b2c04c 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -848,13 +848,19 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
     (switch
      (if (cst1 == cst2) @0)
      (if (wi::multiple_of_p (cst1, cst2, TYPE_SIGN (type)))
-      (mul @0 { wide_int_to_tree (type,
-                                 wi::div_trunc (cst1, cst2,
-                                                TYPE_SIGN (type))); }))
+      (with
+       {wide_int simplified = wi::div_trunc (cst1, cst2, TYPE_SIGN (type));
+        if (mul == LSHIFT_EXPR)
+         simplified = wi::shwi (wi::exact_log2 (simplified),
+                                TYPE_PRECISION (type));}
+       (mul @0 { wide_int_to_tree (type, simplified); })))
      (if (wi::multiple_of_p (cst2, cst1, TYPE_SIGN (type)))
-      (div @0 { wide_int_to_tree (type,
-                                 wi::div_trunc (cst2, cst1,
-                                                TYPE_SIGN (type))); })))))))
+      (with
+       {wide_int simplified = wi::div_trunc (cst2, cst1, TYPE_SIGN (type));
+        if (div == RSHIFT_EXPR)
+         simplified = wi::shwi (wi::exact_log2 (simplified),
+                                TYPE_PRECISION (type));}
+       (div @0 { wide_int_to_tree (type, simplified); }))))))))
 
 
 /* If ARG1 is a constant, we can convert this to a multiply by the