gcc/testsuite/gcc.dg/pr66187-1.c

   1 /* PR tree-optimization/66187 */
   2 /* { dg-do run } */
   3 /* { dg-options "-O2 -fno-wrapv" } */
   4
   5 __attribute__((noinline, noclone)) int
   6 f0 (unsigned char x, unsigned char y)
   7 {
   8   return (x + y) & 0x2ff;
   9 }
  10
  11 __attribute__((noinline, noclone)) int
  12 f1 (unsigned char x, unsigned char y)
  13 {
  14   return (x - y) & 0x2ff;
  15 }
  16
  17 __attribute__((noinline, noclone)) int
  18 f2 (signed char x, signed char y)
  19 {
  20   return (x + y) & -4;
  21 }
  22
  23 __attribute__((noinline, noclone)) int
  24 f3 (signed char x, signed char y)
  25 {
  26   return (x + y) & 0xf8;
  27 }
  28
  29 __attribute__((noinline, noclone)) int
  30 f4 (signed char x, signed char y)
  31 {
  32   return (x + y) & 0x78;
  33 }
  34
  35 __attribute__((noinline, noclone)) int
  36 f5 (unsigned char x, unsigned char y)
  37 {
  38   int a = x;
  39   int b = y;
  40   int c = a + b;
  41   return c & 0x2ff;
  42 }
  43
  44 __attribute__((noinline, noclone)) int
  45 f6 (unsigned char x, unsigned char y)
  46 {
  47   int a = x;
  48   int b = y;
  49   int c = a - b;
  50   return c & 0x2ff;
  51 }
  52
  53 __attribute__((noinline, noclone)) int
  54 f7 (signed char x, signed char y)
  55 {
  56   int a = x;
  57   int b = y;
  58   int c = a + b;
  59   return c & -4;
  60 }
  61
  62 __attribute__((noinline, noclone)) int
  63 f8 (signed char x, signed char y)
  64 {
  65   int a = x;
  66   int b = y;
  67   int c = a + b;
  68   return c & 0xf8;
  69 }
  70
  71 __attribute__((noinline, noclone)) int
  72 f9 (signed char x, signed char y)
  73 {
  74   int a = x;
  75   int b = y;
  76   int c = a + b;
  77   return c & 0x78;
  78 }
  79
  80 int
  81 main ()
  82 {
  83   if (__SCHAR_MAX__ != 127 || sizeof (int) != 4)
  84     return 0;
  85   if (f0 (0xff, 0xff) != 0xfe
  86       || f1 (0, 1) != 0x2ff
  87       || f2 (-2, 1) != -4
  88       || f3 (-2, 1) != 0xf8
  89       || f4 (-2, 1) != 0x78
  90       || f5 (0xff, 0xff) != 0xfe
  91       || f6 (0, 1) != 0x2ff
  92       || f7 (-2, 1) != -4
  93       || f8 (-2, 1) != 0xf8
  94       || f9 (-2, 1) != 0x78)
  95     __builtin_abort ();
  96   return 0;
  97 }