OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR target/49069 (ICE in gen_cstoredi4, at config/arm/arm.md:7554)

Browse Source 
PR target/49069
	* config/arm/arm.md (cbranchdi4, cstoredi4): Use s_register_operand
	instead of cmpdi_operand for first comparison operand.
	Don't assert that comparison operands aren't both constants.

	* gcc.dg/pr49069.c: New test.

From-SVN: r195398
This commit is contained in:
Jakub Jelinek 2013-01-23 09:37:16 +01:00
parent a4bfae44d4
commit a70418fc91
5 changed files with 32 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2013-01-23 Jakub Jelinek <jakub@redhat.com>
PR target/49069
* config/arm/arm.md (cbranchdi4, cstoredi4): Use s_register_operand
instead of cmpdi_operand for first comparison operand.
Don't assert that comparison operands aren't both constants.
2013-01-22 Jonathan Wakely <jwakely.gcc@gmail.com>
* doc/install.texi (Downloading the Source): Update references to

12
gcc/config/arm/arm.md
View File

@ -7030,16 +7030,12 @@
(define_expand "cbranchdi4"
[(set (pc) (if_then_else
(match_operator 0 "expandable_comparison_operator"
[(match_operand:DI 1 "cmpdi_operand" "")
[(match_operand:DI 1 "s_register_operand" "")
(match_operand:DI 2 "cmpdi_operand" "")])
(label_ref (match_operand 3 "" ""))
(pc)))]
"TARGET_32BIT"
"{
/* We should not have two constants. */
gcc_assert (GET_MODE (operands[1]) == DImode
|| GET_MODE (operands[2]) == DImode);
if (!arm_validize_comparison (&operands[0], &operands[1], &operands[2]))
FAIL;
emit_jump_insn (gen_cbranch_cc (operands[0], operands[1], operands[2],
@ -7955,14 +7951,10 @@
(define_expand "cstoredi4"
[(set (match_operand:SI 0 "s_register_operand" "")
(match_operator:SI 1 "expandable_comparison_operator"
[(match_operand:DI 2 "cmpdi_operand" "")
[(match_operand:DI 2 "s_register_operand" "")
(match_operand:DI 3 "cmpdi_operand" "")]))]
"TARGET_32BIT"
"{
/* We should not have two constants. */
gcc_assert (GET_MODE (operands[2]) == DImode
|| GET_MODE (operands[3]) == DImode);
if (!arm_validize_comparison (&operands[1],
&operands[2],
&operands[3]))

3
gcc/fortran/ChangeLog
View File

@ -1,7 +1,8 @@
2013-01-21 Thomas Koenig <tkoenig@gcc.gnu.org>
PR fortran/55919
* gfortran.dg/include_8.f90: New test.
* scanner.c (add_path_to_list): Copy path to temporary and strip
trailing directory separators before calling stat().
2013-01-17 Richard Biener <rguenther@suse.de>

8
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2013-01-23 Jakub Jelinek <jakub@redhat.com>
PR target/49069
* gcc.dg/pr49069.c: New test.
2013-01-22 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/55944
@ -27,8 +32,7 @@
2013-01-21 Thomas Koenig <tkoenig@gcc.gnu.org>
PR fortran/55919
* add_path_to_list: Copy path to temporary and strip
trailing directory separators before calling stat().
* gfortran.dg/include_8.f90: New test.
2013-01-21 Uros Bizjak <ubizjak@gmail.com>

15
gcc/testsuite/gcc.dg/pr49069.c Normal file
View File

@ -0,0 +1,15 @@
/* PR target/49069 */
/* { dg-do compile } */
/* { dg-options "-Os -fno-tree-forwprop -Wno-div-by-zero" } */
int a;
const unsigned long long b[1] = { 1ULL };
extern void bar (int);
void
foo (void)
{
for (a = 0; a == 1; a = 2)
;
bar (b[0] == (a == 0 ? a : a / 0));
}