gcc/testsuite/gcc.dg/tree-ssa/pr102951.c

   1 /* PR tree-optimization/102951 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -fdump-tree-ccp1" } */
   4 /* { dg-final { scan-tree-dump-times "return \&a\\\[1\\\];" 2 "ccp1" } } */
   5 /* { dg-final { scan-tree-dump-times "return \&a\\\[4\\\];" 2 "ccp1" } } */
   6 /* { dg-final { scan-tree-dump-not "MIN_EXPR" "ccp1" } } */
   7 /* { dg-final { scan-tree-dump-not "MAX_EXPR" "ccp1" } } */
   8
   9 extern int a[5];
  10
  11 int *
  12 foo (void)
  13 {
  14   int *p1 = &a[1];
  15   int *p2 = &a[2];
  16   return p1 < p2 ? p1 : p2;
  17 }
  18
  19 int *
  20 bar (void)
  21 {
  22   int *p1 = &a[1];
  23   int *p2 = &a[2];
  24   return p1 <= p2 ? p1 : p2;
  25 }
  26
  27 int *
  28 baz (void)
  29 {
  30   int *p1 = &a[3];
  31   int *p2 = &a[4];
  32   return p1 > p2 ? p1 : p2;
  33 }
  34
  35 int *
  36 qux (void)
  37 {
  38   int *p1 = &a[3];
  39   int *p2 = &a[4];
  40   return p1 >= p2 ? p1 : p2;
  41 }