1  /* { dg-do compile } */ 
       2  /* { dg-options "-O2 -fdump-tree-reassoc1" } */
       3  unsigned int foo(unsigned int a, unsigned int b, unsigned int c, unsigned int d)
       4  {
       5    /* Should be transformed into a + c + 8 */
       6    unsigned int e = a + 3;
       7    unsigned int f = c + 5;
       8    unsigned int g = e + f;
       9    return g;
      10  }
      11  
      12  /* { dg-final { scan-tree-dump-times "\\\+ 8" 1 "reassoc1"} } */