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" } } */