gcc/testsuite/gcc.dg/pr94234-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-forwprop1" } */
   3
   4 int use_fn (int a);
   5
   6 int foo (int n)
   7 {
   8   int b1 = 8 * (n + 1);
   9   int b2 = 8 * n;
  10
  11   use_fn (b1 ^ b2);
  12
  13   return b1 - b2;
  14 }
  15
  16 unsigned goo (unsigned m_param, unsigned n_param)
  17 {
  18   unsigned b1 = m_param * (n_param + 2);
  19   unsigned b2 = m_param * (n_param + 1);
  20
  21   use_fn (b1 ^ b2);
  22
  23   return b1 - b2;
  24 }
  25
  26 unsigned hoo (unsigned k_param)
  27 {
  28   unsigned b1 = k_param * 28;
  29   unsigned b2 = k_param * 15;
  30   unsigned b3 = k_param * 12;
  31
  32   use_fn (b1 ^ b2 ^ b3);
  33
  34   return (b1 - b2) - b3;
  35 }
  36
  37 /* { dg-final { scan-tree-dump-times "return 8;" 1 "forwprop1" } } */
  38 /* { dg-final { scan-tree-dump-times "return m_param" 1 "forwprop1" } } */
  39 /* { dg-final { scan-tree-dump-not "return k_param" "forwprop1" } } */