diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1ea58afb6b6..13fb80d7c17 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2002-03-05 Jakub Jelinek + + * expmed.c (emit_store_flag): Don't test BITS_PER_WORD * 2 + wide volatile memory by parts. + 2002-03-05 Jakub Jelinek * ssa-ccp.c (ssa_ccp_substitute_constants): Don't crash if def diff --git a/gcc/expmed.c b/gcc/expmed.c index 6f9a939ed01..6d58ea9957e 100644 --- a/gcc/expmed.c +++ b/gcc/expmed.c @@ -4278,7 +4278,8 @@ emit_store_flag (target, code, op0, op1, mode, unsignedp, normalizep) the comparison into one involving a single word. */ if (GET_MODE_BITSIZE (mode) == BITS_PER_WORD * 2 && GET_MODE_CLASS (mode) == MODE_INT - && op1 == const0_rtx) + && op1 == const0_rtx + && (GET_CODE (op0) != MEM || ! MEM_VOLATILE_P (op0))) { if (code == EQ || code == NE) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 378dba70cbf..77623573f3d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -2,6 +2,8 @@ * gcc.dg/20020304-1.c: New test. + * gcc.c-torture/compile/20020304-2.c: New test. + 2002-03-04 Zack Weinberg * gcc.c-torture/compile/20020304-1.c: New test case diff --git a/gcc/testsuite/gcc.c-torture/compile/20020304-2.c b/gcc/testsuite/gcc.c-torture/compile/20020304-2.c new file mode 100644 index 00000000000..9a162d4935d --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20020304-2.c @@ -0,0 +1,10 @@ +/* This testcase ICEd because a SUBREG of MEM/v was never + simplified. */ +volatile unsigned long long *a; + +unsigned char +foo (void) +{ + unsigned char b = (*a != 0); + return b; +}