1 files changed, 45 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.c-torture/execute/20111227-3.c b/gcc-4.9/gcc/testsuite/gcc.c-torture/execute/20111227-3.c
new file mode 100644
index 000000000..d6726c473
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.c-torture/execute/20111227-3.c
@@ -0,0 +1,45 @@
+/* Testcase derived from 20111227-1.c to ensure that REE is combining
+   redundant sign extends with sign extend to wider mode.  */
+/* { dg-options "-fdump-rtl-ree -O" } */
+
+extern void abort (void);
+
+signed short s;
+signed int i;
+signed long l;
+signed char v = -1;
+
+void __attribute__((noinline,noclone))
+bar (int t)
+{
+  if (t == 2 && s != -1)
+    abort ();
+  if (t == 1 && i != -1)
+    abort ();
+  if (t == 0 && l != -1)
+    abort ();
+}
+
+void __attribute__((noinline,noclone))
+foo (signed char *a, int t)
+{
+  signed char r = v;
+
+  if (t == 2)
+    s = (signed short) r;
+  else if (t == 1)
+    i = (signed int) r;
+  else if (t == 0)
+    l = (signed long) r;
+  bar (t);
+}
+
+int main(void)
+{
+  foo (&v, 0);
+  foo (&v, 1);
+  foo (&v, 2);
+  return 0;
+}
+/* { dg-final { scan-rtl-dump "Elimination opportunities = 3 realized = 3" "ree" } }  */
+/* { dg-final { cleanup-rtl-dump "ree" } }  */