/* Test that using a character splat to set up a shift-right algebraic
   for a doubleword vector works correctly after gimple folding.  */

/* { dg-do run { target { p8vector_hw } } } */
/* { dg-options "-O2 -mvsx" } */
/* { dg-additional-options "-mdejagnu-cpu=power8" { target { ! has_arch_pwr8 } } } */

#include <altivec.h>

typedef __vector unsigned long long vui64_t;
typedef __vector long long vi64_t;

static inline vi64_t
vec_sradi (vi64_t vra, const unsigned int shb)
{
  vui64_t rshift;
  vi64_t result;

  /* Note legitimate use of wrong-type splat due to expectation that only
     lower 6-bits are read.  */
  rshift = (vui64_t) vec_splat_s8 (shb);

  /* Vector Shift Right Algebraic Doublewords based on the lower 6-bits
     of corresponding element of rshift.  */
  result = vec_vsrad (vra, rshift);

  return result;
}

__attribute__ ((noinline)) vi64_t
test_sradi_4 (vi64_t a)
{
  return vec_sradi (a, 4);
}

int
main ()
{
  vi64_t x = {-256, 1025};
  x = test_sradi_4 (x);
  if (x[0] != -16 || x[1] != 64)
    __builtin_abort ();
  return 0;
}