https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96226

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Uros Bizjak <u...@gcc.gnu.org>:

https://gcc.gnu.org/g:84476b4c88465f09c3ec1a52fdf0df1a76364988

commit r16-3054-g84476b4c88465f09c3ec1a52fdf0df1a76364988
Author: Uros Bizjak <ubiz...@gmail.com>
Date:   Wed Aug 6 20:06:42 2025 +0200

    i386: Fix invalid RTX mode in the unnamed rotate splitter.

    The following splitter from the commit r11-5747:

    (define_split
      [(set (match_operand:SWI 0 "register_operand")
            (any_rotate:SWI
              (match_operand:SWI 1 "const_int_operand")
              (subreg:QI
                (and
                  (match_operand 2 "int248_register_operand")
                  (match_operand 3 "const_int_operand")) 0)))]
     "(INTVAL (operands[3]) & (GET_MODE_BITSIZE (<MODE>mode) - 1))
       == GET_MODE_BITSIZE (<MODE>mode) - 1"
     [(set (match_dup 4) (match_dup 1))
      (set (match_dup 0)
           (any_rotate:SWI (match_dup 4)
                           (subreg:QI
                             (and:SI (match_dup 2) (match_dup 3)) 0)))]
     "operands[4] = gen_reg_rtx (<MODE>mode);")

    matches any mode of (and ...) on input, but hard-codes (and:SI ...)
    in the output.  This causes an ICE if the incoming (and ...) is DImode
    rather than SImode.

    Co-developed-by: Richard Sandiford <richard.sandif...@arm.com>

            PR target/96226

    gcc/ChangeLog:

            * config/i386/predicates.md (and_operator): New operator.
            * config/i386/i386.md (splitter after *<rotate_insn><mode>3_mask):
            Use and_operator to match AND RTX and use its mode
            in the split pattern.
  • [Bug tree-optimization/96226] F... cvs-commit at gcc dot gnu.org via Gcc-bugs

Reply via email to