1  /* This test requires:
       2  
       3        TRULY_NOOP_TRUNCATION (sizeof (int) * CHAR_BIT,
       4  			     sizeof (long long) * CHAR_BIT)
       5  
       6     When the condition is true, we distribute "(int) (a + b)" as
       7     "(int) a + (int) b", otherwise we keep the original.  */
       8  /* { dg-do compile { target { ! mips64 } && { ! loongarch64 } } } */
       9  /* { dg-options "-O -fno-tree-forwprop -fno-tree-ccp -fwrapv -fdump-tree-fre1-details" } */
      10  
      11  /* From PR14844.  */
      12  
      13  int
      14  foo (int a, int b)
      15  {
      16    long long aa = a;
      17    long long bb = b;
      18    return aa + bb;
      19  }
      20  
      21  /* { dg-final { scan-tree-dump "Replaced \\\(int\\\) aa_.*with a_" "fre1" { xfail { riscv*-*-* && lp64 } } } } */