#include "tree-ssa-address.h"
#include "cfgexpand.h"
#include "builtins.h"
+#include "tree-ssa.h"
#ifndef STACK_PUSH_CODE
#ifdef STACK_GROWS_DOWNWARD
}
#undef REDUCE_BIT_FIELD
+/* Return TRUE if value in SSA is zero and sign extended for wider mode MODE
+ using value range information stored. Return FALSE otherwise.
+
+ This is used to check if SUBREG is zero and sign extended and to set
+ promoted mode SRP_SIGNED_AND_UNSIGNED to SUBREG. */
+
+bool
+promoted_for_signed_and_unsigned_p (tree ssa, enum machine_mode mode)
+{
+ wide_int min, max;
+
+ if (ssa == NULL_TREE
+ || TREE_CODE (ssa) != SSA_NAME
+ || !INTEGRAL_TYPE_P (TREE_TYPE (ssa))
+ || (TYPE_PRECISION (TREE_TYPE (ssa)) != GET_MODE_PRECISION (mode)))
+ return false;
+
+ /* Return FALSE if value_range is not recorded for SSA. */
+ if (get_range_info (ssa, &min, &max) != VR_RANGE)
+ return false;
+
+ /* Return true (to set SRP_SIGNED_AND_UNSIGNED to SUBREG) if MSB of the
+ smaller mode is not set (i.e. MSB of ssa is not set). */
+ if (!wi::neg_p (min, SIGNED) && !wi::neg_p(max, SIGNED))
+ return true;
+ else
+ return false;
+
+}
/* Return TRUE if expression STMT is suitable for replacement.
Never consider memory loads as replaceable, because those don't ever lead
temp = gen_lowpart_SUBREG (mode, decl_rtl);
SUBREG_PROMOTED_VAR_P (temp) = 1;
- SUBREG_PROMOTED_SET (temp, unsignedp);
+ if (promoted_for_signed_and_unsigned_p (ssa_name, mode))
+ SUBREG_PROMOTED_SET (temp, SRP_SIGNED_AND_UNSIGNED);
+ else
+ SUBREG_PROMOTED_SET (temp, unsignedp);
return temp;
}
--- /dev/null
+extern void abort (void);
+
+/* { dg-options "-O2" } */
+/* { dg-do run } */
+
+#define TYPE_MAX(type, sign) \
+ ((!sign) ? ((1 << (sizeof (type) * 8 - 1)) - 1) : \
+ ((1 << (sizeof (type) * 8)) - 1))
+#define TYPE_MIN(type, sign) \
+ ((!sign) ? -(1 << (sizeof (type) * 8 - 1)) : 0)
+
+#define TEST_FN(NAME, ARG_TYPE, RET_TYPE, CAST_TYPE, VAL, VR_MIN, VR_MAX)\
+ __attribute__((noinline, noclone)) RET_TYPE \
+ NAME (ARG_TYPE arg){ \
+ RET_TYPE ret = VAL; \
+ if (arg + 1 < VR_MIN || arg + 1 > VR_MAX) return ret; \
+ /* Value Range of arg at this point will be [VR_min, VR_max]. */\
+ arg = arg + VAL; \
+ ret = (CAST_TYPE)arg; \
+ return arg; \
+ }
+
+/* Signed to signed conversion with value in-range. */
+TEST_FN (foo1, short, short, char, 1, TYPE_MIN (char, 0), TYPE_MAX (char, 0));
+TEST_FN (foo2, short, short, char, 1, TYPE_MIN (char, 0) + 1,\
+ TYPE_MAX (char, 0) - 1);
+
+/* Signed to signed conversion with value not in-range. */
+TEST_FN (foo3, short, short, char, -1, TYPE_MIN (short, 0) + 1, 100);
+TEST_FN (foo4, short, short, char, 1, 12, TYPE_MAX (short, 0) + 1);
+
+/* Unsigned to unsigned conversion with value in-range. */
+TEST_FN (foo5, unsigned short, unsigned short, unsigned char, 1,\
+ TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 1) - 1);
+TEST_FN (foo6, unsigned short, unsigned short, unsigned char, 1,\
+ TYPE_MIN (char, 1), TYPE_MAX (char, 1));
+
+/* Unsigned to unsigned conversion with value not in-range. */
+TEST_FN (foo7, unsigned short, unsigned short, unsigned char, 1,\
+ TYPE_MIN (short, 1) + 1, TYPE_MAX (short, 1) - 1);
+TEST_FN (foo8, unsigned short, unsigned short, unsigned char, 1,\
+ TYPE_MIN (short, 1), TYPE_MAX (short, 1));
+
+/* Signed to unsigned conversion with value range positive. */
+TEST_FN (foo9, short, short, unsigned char, -1, 1,\
+ TYPE_MAX (char, 1) - 1);
+TEST_FN (foo10, short, short, unsigned char, 1, 0,\
+ TYPE_MAX (char, 1));
+
+/* Signed to unsigned conversion with value range negative. */
+TEST_FN (foo11, short, short, unsigned char, 1,\
+ TYPE_MIN (char, 0) + 1, TYPE_MAX (char, 0) - 1);
+TEST_FN (foo12, short, short, unsigned char, 1,\
+ TYPE_MIN (char, 0), TYPE_MAX (char, 0));
+
+/* Unsigned to Signed conversion with value range in signed equiv range. */
+TEST_FN (foo13, unsigned short, unsigned short, char, 1,\
+ TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 0) - 1);
+TEST_FN (foo14, unsigned short, unsigned short, char, 1,\
+ TYPE_MIN (char, 1), TYPE_MAX (char, 0));
+
+/* Unsigned to Signed conversion with value range not-in signed range. */
+TEST_FN (foo15, unsigned short, unsigned short, char, 1,\
+ TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 1) - 1);
+TEST_FN (foo16, unsigned short, unsigned short, char, 1,\
+ TYPE_MIN (char, 1), TYPE_MAX (char, 1));
+
+int main ()
+{
+ /* Signed to signed conversion with value in-range. */
+ /* arg + 1. */
+ if (foo1 (-32) != -31)
+ abort ();
+ /* arg + 1. */
+ if (foo2 (32) != 33)
+ abort ();
+
+ /* Signed to signed conversion with value not in-range. */
+ /* arg - 1. */
+ if (foo3 (-512) != -513)
+ abort ();
+ /* arg + 1. */
+ if (foo4 (512) != 513)
+ abort ();
+
+ /* Unsigned to unsigned conversion with value in-range. */
+ /* arg + 1. */
+ if (foo5 (64) != 65)
+ abort ();
+ /* arg + 1. */
+ if (foo6 (64) != 65)
+ abort ();
+
+ /* Unsigned to unsigned conversion with value not in-range. */
+ /* arg + 1. */
+ if (foo7 (512) != 513)
+ abort ();
+ /* arg + 1. */
+ if (foo8 (512) != 513)
+ abort ();
+
+ /* Signed to unsigned conversion with value range positive. */
+ /* arg - 1. */
+ if (foo9 (2) != 1)
+ abort ();
+ /* arg + 1. */
+ if (foo10 (2) != 3)
+ abort ();
+
+ /* Signed to unsigned conversion with value range negative. */
+ /* arg + 1. */
+ if (foo11 (-125) != -124)
+ abort ();
+ /* arg + 1. */
+ if (foo12 (-125) != -124)
+ abort ();
+
+ /* Unsigned to Signed conversion with value range in signed equiv range. */
+ /* arg + 1. */
+ if (foo13 (125) != 126)
+ abort ();
+ /* arg + 1. */
+ if (foo14 (125) != 126)
+ abort ();
+
+ /* Unsigned to Signed conversion with value range not-in signed range. */
+ /* arg + 1. */
+ if (foo15 (250) != 251)
+ abort ();
+ /* arg + 1. */
+ if (foo16 (250) != 251)
+ abort ();
+
+ return 0;
+}
+
projects / platform / upstream / gcc.git / commitdiff