diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cse.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/opt/cse2.C | 39 |
4 files changed, 50 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b5298d5..800233d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2002-05-26 Jakub Jelinek <jakub@redhat.com> + + * cse.c (fold_rtx): Don't optimize if SUBREG changes mode class. + 2002-05-26 Andreas Jaeger <aj@suse.de> * cfg.c (dump_flow_info): Remove extra argument to fprintf. @@ -3472,7 +3472,9 @@ fold_rtx (x, insn) && GET_CODE (elt->exp) != SIGN_EXTEND && GET_CODE (elt->exp) != ZERO_EXTEND && GET_CODE (XEXP (elt->exp, 0)) == SUBREG - && GET_MODE (SUBREG_REG (XEXP (elt->exp, 0))) == mode) + && GET_MODE (SUBREG_REG (XEXP (elt->exp, 0))) == mode + && (GET_MODE_CLASS (mode) + == GET_MODE_CLASS (GET_MODE (XEXP (elt->exp, 0))))) { rtx op0 = SUBREG_REG (XEXP (elt->exp, 0)); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 51e46fb..0b8b5f1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2002-05-26 Jakub Jelinek <jakub@redhat.com> + + * g++.dg/opt/cse2.C: New test. + 2002-05-26 Neil Booth <neil@daikokuya.demon.co.uk> * gcc.dg/cpp/arith-1.c: New semantic tests. diff --git a/gcc/testsuite/g++.dg/opt/cse2.C b/gcc/testsuite/g++.dg/opt/cse2.C new file mode 100644 index 0000000..5a04bf53 --- /dev/null +++ b/gcc/testsuite/g++.dg/opt/cse2.C @@ -0,0 +1,39 @@ +// This testcase caused ICE on IA-32 in simplify_unary_operation +// CSE did not assume SUBREGs changing mode from integral to floating. +// { dg-do run { target i?86-*-* sparc*-*-* } } +// { dg-options "-O2" } + +struct A +{ + union + { + float f; + unsigned int w; + } a; + + static inline const A foo (void) + { + return A ((unsigned int) (__extension__ ((union { unsigned l; float d; }) + { l: 0x3f800000 }).d)); + } + inline A (float f) { a.f = f; } + A (); + inline A (unsigned int w) { a.w = w; } +}; + +A::A() +{ + *this = foo (); +} + +A a; + +extern "C" void abort (void); +extern "C" void exit (int); + +int main () +{ + if (a.a.w != 1) + abort (); + exit (0); +} |