From: jakub Date: Wed, 25 Apr 2001 09:57:00 +0000 (+0000) Subject: * emit-rtl.c (subreg_hard_regno): Only do HARD_REGNO_MODE_OK check X-Git-Tag: upstream/4.9.2~94768 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=475fa9bdf917fd95ad208f807ff7379c8aa9be32;p=platform%2Fupstream%2Flinaro-gcc.git * emit-rtl.c (subreg_hard_regno): Only do HARD_REGNO_MODE_OK check if check_mode is non-zero. * gcc.dg/20010423-1.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@41537 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e22d747..661a51b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2001-04-25 Jakub Jelinek + * emit-rtl.c (subreg_hard_regno): Only do HARD_REGNO_MODE_OK check + if check_mode is non-zero. + +2001-04-25 Jakub Jelinek + * config/i386/i386.c (ix86_expand_int_movcc): If overlap between out and comparison sequence has been detected, put result into proper temporary pseudo. diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c index 2acb555..480ff15 100644 --- a/gcc/emit-rtl.c +++ b/gcc/emit-rtl.c @@ -719,7 +719,7 @@ subreg_hard_regno (x, check_mode) base_regno = REGNO (reg); if (base_regno >= FIRST_PSEUDO_REGISTER) abort (); - if (! HARD_REGNO_MODE_OK (base_regno, GET_MODE (reg))) + if (check_mode && ! HARD_REGNO_MODE_OK (base_regno, GET_MODE (reg))) abort (); /* Catch non-congruent offsets too. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d53a32e..f4c2fd1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,9 @@ 2001-04-25 Jakub Jelinek + * gcc.dg/20010423-1.c: New test. + +2001-04-25 Jakub Jelinek + * gcc.c-torture/execute/20010422-1.c: New test. 2001-04-25 Nathan Sidwell diff --git a/gcc/testsuite/gcc.dg/20010423-1.c b/gcc/testsuite/gcc.dg/20010423-1.c new file mode 100644 index 0000000..06af789 --- /dev/null +++ b/gcc/testsuite/gcc.dg/20010423-1.c @@ -0,0 +1,17 @@ +/* { dg-do compile { target ia64-*-* } } */ +/* { dg-options "-O2" } */ + +int __sync_fetch_and_add_si (int *, int); + +inline unsigned int +bar (volatile unsigned int *mem, unsigned int val) +{ + return __sync_fetch_and_add_si((int *)mem, (int)val); +} + +volatile unsigned int x; + +void foo (unsigned short *a) +{ + *a = bar (&x, 1) + 1; +}