vax.h (NOTICE_UPDATE_CC): Set CC_NO_OVERFLOW in cc_status.flags for integer operation...

	* vax.h (NOTICE_UPDATE_CC): Set CC_NO_OVERFLOW in cc_status.flags
	for integer operations that don't update C bit.

From-SVN: r43094

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 71a20f8adcd6fe3ee217455d5b5644e1b554c1fb..1cafdce267468a91529b5d9aa69016dd5db6adc4 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2001-06-09  John David Anglin  <dave@hiauly1.hia.nrc.ca>
+
+       * vax.h (NOTICE_UPDATE_CC): Set CC_NO_OVERFLOW in cc_status.flags
+       for integer operations that don't update C bit.
+
 2001-06-09  Nicola Pero <nicola@brainstorm.co.uk>
 
        * gthr-posix.h (__gthread_objc_init_thread_system): If

diff --git a/gcc/config/vax/vax.h b/gcc/config/vax/vax.h
index 36df44723daf056eff161ee16340a8c2e0a85ed0..a3a9dde538db0f630055511b0f0174c38dcf8bd3 100644 (file)
--- a/gcc/config/vax/vax.h
+++ b/gcc/config/vax/vax.h
@@ -986,7 +986,30 @@ enum reg_class { NO_REGS, ALL_REGS, LIM_REG_CLASSES };
        CC_STATUS_INIT;                                         \
       else if (GET_CODE (SET_DEST (EXP)) != ZERO_EXTRACT       \
               && GET_CODE (SET_DEST (EXP)) != PC)              \
-       { cc_status.flags = 0;                                  \
+       {                                                       \
+         cc_status.flags = 0;                                  \
+         /* The integer operations below don't set carry or    \
+            set it in an incompatible way.  That's ok though   \
+            as the Z bit is all we need when doing unsigned    \
+            comparisons on the result of these insns (since    \
+            they're always with 0).  Set CC_NO_OVERFLOW to     \
+            generate the correct unsigned branches.  */        \
+         switch (GET_CODE (SET_SRC (EXP)))                     \
+           {                                                   \
+           case NEG:                                           \
+             if (GET_MODE_CLASS (GET_MODE (EXP)) == MODE_FLOAT)\
+               break;                                          \
+           case AND:                                           \
+           case IOR:                                           \
+           case XOR:                                           \
+           case NOT:                                           \
+           case MEM:                                           \
+           case REG:                                           \
+             cc_status.flags = CC_NO_OVERFLOW;                 \
+             break;                                            \
+           default:                                            \
+             break;                                            \
+           }                                                   \
          cc_status.value1 = SET_DEST (EXP);                    \
          cc_status.value2 = SET_SRC (EXP); } }                 \
   else if (GET_CODE (EXP) == PARALLEL                          \