https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109566
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
--- gcc/config/rs6000/rs6000.cc.jj 2023-04-04 10:33:47.433201866 +0200
+++ gcc/config/rs6000/rs6000.cc 2023-04-24 12:31:07.237031550 +0200
@@ -11409,7 +11409,16 @@ bool
rs6000_is_valid_rotate_dot_mask (rtx mask, machine_mode mode)
{
int nb, ne;
- return rs6000_is_valid_mask (mask, &nb, &ne, mode) && nb >= ne && ne > 0;
+ if (rs6000_is_valid_mask (mask, &nb, &ne, mode) && nb >= ne && ne > 0)
+ {
+ if (TARGET_64BIT)
+ return true;
+ /* *rotldi3_mask_dot requires for -m32 -mpowerpc64 that the mask is
+ <= 0x7ffffff. */
+ return (UINTVAL (mask) << (63 - nb)) <= 0x7fffffff;
+ }
+ else
+ return false;
}
/* Return whether MASK (a CONST_INT) is a valid mask for any rlwinm, rldicl,
seems to fix this.
