/* { dg-do run } */
/* { dg-options "-O2 -ftree-pre -fno-tree-loop-im -fgcse-sm -fdump-rtl-store_motion" } */

/* tree-pre moves the *sum load out of the loop.  ftree-loop-im moves the *sum
   store out of the loop, so we disable it, to allow fgcse-sm to do it
   instead.  */

#include <stdlib.h>

void __attribute__((noinline))
f (unsigned int *__restrict__ a, unsigned int *__restrict__ sum, unsigned int n)
{
  unsigned int i;
  for (i = 0; i < n; ++i)
    *sum += a[i];
}

int
main ()
{
  unsigned int a[] = { 1, 10, 100 };
  unsigned sum = 1000;

  f (a, &sum, 3);
  if (sum != 1111)
    abort ();

  return 0;
}

/* Check that -fgcse-sm did something for f.  */
/* { dg-final { scan-rtl-dump "STORE_MOTION of f, .* basic blocks, 1 insns deleted, 1 insns created" "store_motion" } } */