From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id F2565389041C; Fri, 22 Jan 2021 12:46:42 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F2565389041C
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/98092] [11 Regression] ICE in extract_insn, at
 recog.c:2315 (error: unrecognizable insn)
Date: Fri, 22 Jan 2021 12:46:42 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 11.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cf_reconfirmed_on everconfirmed bug_status cc
Message-ID: <bug-98092-4-PkXwbNjHWB@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-98092-4@http.gcc.gnu.org/bugzilla/>
References: <bug-98092-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Fri, 22 Jan 2021 12:46:43 -0000

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-01-22
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
                 CC|                            |carll at gcc dot gnu.org,
                   |                            |jakub at gcc dot gnu.org,
                   |                            |segher at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The expander emits an UNORDERED comparison:
(define_expand "bcdinvalid_<mode>"
  [(parallel [(set (reg:CCFP CR6_REGNO)
                   (compare:CCFP
                    (unspec:V2DF [(match_operand:VBCD 1 "register_operand")]
                                 UNSPEC_BCDADD)
                    (match_dup 2)))
              (clobber (match_scratch:VBCD 3))])
   (set (match_operand:SI 0 "register_operand")
        (unordered:SI (reg:CCFP CR6_REGNO)
                      (const_int 0)))]
  "TARGET_P8_VECTOR"
{
  operands[2] =3D CONST0_RTX (V2DFmode);
})
But set<mode>_cc insn will not match with -ffinite-math-only for UNORDERED,
given:
(define_predicate "scc_comparison_operator"
  (and (match_operand 0 "branch_comparison_operator")
       (match_code "eq,lt,gt,ltu,gtu,unordered")))
(define_predicate "branch_comparison_operator"
   (and (match_operand 0 "comparison_operator")
        (match_test "GET_MODE_CLASS (GET_MODE (XEXP (op, 0))) =3D=3D MODE_C=
C")
        (if_then_else (match_test "GET_MODE (XEXP (op, 0)) =3D=3D CCFPmode
                                   && !flag_finite_math_only")
                      (match_code "lt,gt,eq,unordered,unge,unle,ne,ordered")
                      (match_code "lt,ltu,le,leu,gt,gtu,ge,geu,eq,ne"))
        (match_test "validate_condition_mode (GET_CODE (op),
                                              GET_MODE (XEXP (op, 0))),
                     1")))
Dunno how to get out of this, perhaps for !flag_finite_math_only expand to a
different instruction that will do both the bcdadd. and mfcr and rlwinm and
just clobber the cc reg?=