From: Chung-Lin Tang <cltang@codesourcery.com>
To: gcc-patches@gcc.gnu.org
Cc: paul@codesourcery.com, rearnsha@arm.com
Subject: Re: [patch, ARM] ICE in get_arm_condition_code()
Date: Wed, 26 Jan 2011 03:48:00 -0000 [thread overview]
Message-ID: <4D3F9079.4080207@codesourcery.com> (raw)
In-Reply-To: <4D2E4658.9090904@codesourcery.com>
Ping.
(I'll fix the minor nits before actually committing, thanks Ramana :)
On 2011/1/13 08:24, Chung-Lin Tang wrote:
> Hi,
> there's an ICE in arm.c:get_arm_condition_code(), from here:
> https://bugs.launchpad.net/gcc-linaro/+bug/689887
>
> The report was on a 4.5 based compiler, but I verified it also occurs on
> current trunk, under Thumb-2.
>
> The problem as I found, happens in RTL ifcvt after the combine pass.
> ifcvt.c:noce_emit_cmove() creates this:
> (insn 58 57 59 4 (parallel [
> (set (reg:CC_NCV 24 cc)
> (compare:CC_NCV (reg:DI 140)
> (reg:DI 147)))
> (clobber (scratch:SI))
> ]) p.c:13 202 {*arm_cmpdi_insn}
> (nil))
>
> (insn 59 58 60 4 (set (reg:SI 146)
> (if_then_else:SI (gt (reg:CC_NCV 24 cc)
> (const_int 0 [0]))
> (reg:SI 145)
> (reg:SI 144))) p.c:13 701 {*thumb2_movsicc_insn}
> (nil))
>
> which is wrong; the GT comparison requires testing of the Z, C, and V
> flags, which CC_NCV does not satisfy. The ICE happens later when the asm
> emitting actually hits assert fail in get_arm_condition_code().
>
> This patch fixes this by stratifying the "arm_comparison_operator"
> predicate, by leveraging the current logic in get_arm_condition_code().
> I abstracted out the body into a new arm_comparison_to_cond_code()
> function, which returns an invalid code instead of assert fail, and used
> it to add a check to the comparison RTX in "arm_comparison_operator".
> This way, invalid comparisons like the above would be blocked from emitting.
>
> Tests were run with no regressions found. Okay for trunk?
>
> Thanks,
> Chung-Lin
>
> 2011-01-12 Chung-Lin Tang <cltang@codesourcery.com>
>
> * config/arm/arm.h (enum arm_cond_code): Add ARM_COND_INVALID.
> * config/arm/arm.c (arm_comparison_to_cond_code): Renamed from
> get_arm_condition_code(), change gcc_unreachable()s to return
> ARM_COND_INVALID.
> (get_arm_condition_code): Implement by calling
> arm_comparison_to_cond_code(), with result test by gcc_assert().
> (arm_valid_comparison_p): New function to test for valid ARM
> comparison RTX.
> * config/arm/arm-protos.h (arm_valid_comparison_p): Add
> prototype.
> * config/arm/predicates.md (arm_comparison_operator): Add
> additional check based on arm_valid_comparison_p().
>
> testsuite/
> * gcc.target/arm/20110112-1.c: New test.
>
>
>
next prev parent reply other threads:[~2011-01-26 3:09 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-01-13 1:37 Chung-Lin Tang
2011-01-13 11:33 ` Ramana Radhakrishnan
2011-01-26 3:48 ` Chung-Lin Tang [this message]
2011-03-07 14:10 ` Ping " Chung-Lin Tang
2011-03-15 1:40 ` Ping^3 " Chung-Lin Tang
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4D3F9079.4080207@codesourcery.com \
--to=cltang@codesourcery.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=paul@codesourcery.com \
--cc=rearnsha@arm.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).