1  /* PR tree-optimization/83843 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2 -fno-tree-vectorize -fdump-tree-store-merging" } */
       4  /* { dg-final { scan-tree-dump-times "Merging successful" 3 "store-merging" { target { store_merge && { ! arm*-*-* } } } } } */
       5  
       6  __attribute__((noipa)) void
       7  foo (unsigned char *buf, unsigned char *tab)
       8  {
       9    unsigned v = tab[1] ^ (tab[0] << 8);
      10    buf[0] = ~(v >> 8);
      11    buf[1] = ~v;
      12  }
      13  
      14  __attribute__((noipa)) void
      15  bar (unsigned char *buf, unsigned char *tab)
      16  {
      17    unsigned v = tab[1] ^ (tab[0] << 8);
      18    buf[0] = (v >> 8);
      19    buf[1] = ~v;
      20  }
      21  
      22  __attribute__((noipa)) void
      23  baz (unsigned char *buf, unsigned char *tab)
      24  {
      25    unsigned v = tab[1] ^ (tab[0] << 8);
      26    buf[0] = ~(v >> 8);
      27    buf[1] = v;
      28  }
      29  
      30  int
      31  main ()
      32  {
      33    volatile unsigned char l1 = 0;
      34    volatile unsigned char l2 = 1;
      35    unsigned char buf[2];
      36    unsigned char tab[2] = { l1 + 1, l2 * 2 };
      37    foo (buf, tab);
      38    if (buf[0] != (unsigned char) ~1 || buf[1] != (unsigned char) ~2)
      39      __builtin_abort ();
      40    buf[0] = l1 + 7;
      41    buf[1] = l2 * 8;
      42    bar (buf, tab);
      43    if (buf[0] != 1 || buf[1] != (unsigned char) ~2)
      44      __builtin_abort ();
      45    buf[0] = l1 + 9;
      46    buf[1] = l2 * 10;
      47    baz (buf, tab);
      48    if (buf[0] != (unsigned char) ~1 || buf[1] != 2)
      49      __builtin_abort ();
      50    return 0;
      51  }