1  /* PR tree-optimization/92712 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fno-ipa-icf -fdump-tree-optimized" } */
       4  /* { dg-final { scan-tree-dump-not " = \[tv]_\[0-9]*\\\(D\\\) \\* \[tv]_\[0-9]*\\\(D\\\);" "optimized" } } */
       5  
       6  int
       7  f1 (int t, int v)
       8  {
       9    int a = t - 1U;
      10    int b = a * v;
      11    return b + v;
      12  }
      13  
      14  int
      15  f2 (int t, int v)
      16  {
      17    int a = t - 1U;
      18    int b = a * v;
      19    return v + b;
      20  }
      21  
      22  int
      23  f3 (int t, int v)
      24  {
      25    int a = t + 1U;
      26    int b = a * v;
      27    return b - v;
      28  }
      29  
      30  int
      31  f4 (int t, int v)
      32  {
      33    int a = 1U - t;
      34    int b = a * v;
      35    return v - b;
      36  }