gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-3.c

   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 } && { ! spu-*-* } } } } */
   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 } } } } */