gcc/testsuite/gcc.dg/20111227-3.c

   1 /* Testcase derived from 20111227-1.c to ensure that REE is combining
   2    redundant sign extends with sign extend to wider mode.  */
   3 /* { dg-do compile  { target i?86-*-* x86_64-*-* } } */
   4 /* { dg-options "-fdump-rtl-ree -O -free" } */
   5
   6 extern void abort (void);
   7
   8 signed short s;
   9 signed int i;
  10 signed long l;
  11 signed char v = -1;
  12
  13 void __attribute__((noinline,noclone))
  14 bar (int t)
  15 {
  16   if (t == 2 && s != -1)
  17     abort ();
  18   if (t == 1 && i != -1)
  19     abort ();
  20   if (t == 0 && l != -1)
  21     abort ();
  22 }
  23
  24 void __attribute__((noinline,noclone))
  25 foo (signed char *a, int t)
  26 {
  27   signed char r = v;
  28
  29   if (t == 2)
  30     s = (signed short) r;
  31   else if (t == 1)
  32     i = (signed int) r;
  33   else if (t == 0)
  34     l = (signed long) r;
  35   bar (t);
  36 }
  37
  38 int main(void)
  39 {
  40   foo (&v, 0);
  41   foo (&v, 1);
  42   foo (&v, 2);
  43   return 0;
  44 }
  45 /* { dg-final { scan-rtl-dump "Elimination opportunities = 3 realized = 3" "ree" } }  */