/* { dg-do run { target int128 } } */
/* { dg-require-effective-target vsx_hw } */
/* { dg-options "-mvsx -O3" } */

/* This test should run the same on any target that supports vsx
   instructions.  Intentionally not specifying cpu in order to test
   all code generation paths.  */

#include <altivec.h>

#define SIGNED signed

extern void abort (void);

#define CONST0		(((SIGNED __int128) 31415926539) << 60)
#define CONST1		(((SIGNED __int128) 31415926539) << 55)
#define CONST2		(((SIGNED __int128) 31415926539) << 50)
#define CONST3		(((SIGNED __int128) 31415926539) << 45)

/* Test that indices > length of vector are applied modulo the vector
   length.  */

/* Test for vector residing in register.  */
vector SIGNED __int128 e0 (vector SIGNED __int128 v, SIGNED __int128 x)
{
  return vec_insert (x, v, 0);
}

vector SIGNED __int128 e3 (vector SIGNED __int128 v, SIGNED __int128 x)
{
  return vec_insert (x, v, 3);
}

/* Test for vector residing in memory.  */
vector SIGNED __int128 me0 (vector SIGNED __int128 *vp, SIGNED __int128 x)
{
  return vec_insert (x, *vp, 0);
}

vector SIGNED __int128 me3 (vector SIGNED __int128 *vp, SIGNED __int128 x)
{
  return vec_insert (x, *vp, 3);
}

/* Test the same with variable indices.  */

/* Test for variable selector and vector residing in register.  */
__attribute__((noinline))
vector SIGNED __int128
ei (vector SIGNED __int128 v, int i, SIGNED __int128 x)
{
  return vec_insert (x, v, i);
}

/* Test for variable selector and vector residing in memory.  */
__attribute__((noinline))
vector SIGNED __int128
mei (vector SIGNED __int128 *vp, int i, SIGNED __int128 x)
{
  return vec_insert (x, *vp, i);
}

int main (int argc, char *argv[]) {
  vector SIGNED __int128 dv = { CONST0 };
  SIGNED __int128 d;

  dv = e0 (dv, CONST3);
  if (dv [0] != CONST3)
    abort ();

  dv = e3 (dv, CONST1);
  if (dv [0] != CONST1)
    abort ();

  dv = me0 (&dv, CONST2);
  if (dv [0] != CONST2)
    abort ();

  dv = me3 (&dv, CONST3);
  if (dv [0] != CONST3)
    abort ();

  dv = ei (dv, 0, CONST1);
  if (dv [0] != CONST1)
    abort ();

  dv = ei (dv, 1, CONST2);
  if (dv [0] != CONST2)
    abort ();

  dv = ei (dv, 2, CONST3);
  if (dv [0] != CONST3)
    abort ();

  dv = ei (dv, 3, CONST1);
  if (dv [0] != CONST1)
    abort ();

  dv = mei (&dv, 0, CONST2);
  if (dv [0] != CONST2)
    abort ();

  dv = mei (&dv, 1, CONST3);
  if (dv [0] != CONST3)
    abort ();

  dv = mei (&dv, 2, CONST1);
  if (dv [0] != CONST1)
    abort ();

  dv = mei (&dv, 3, CONST2);
  if (dv [0] != CONST2)
    abort ();
  return 0;
}