#include <stdio.h>

void
printvec(const char *s, vector4double v)
{
  double d[4] __attribute__((aligned(16)));
  int i;

  vec_st(v,0,d);
  printf("%s:",s);
  for(i=0;i<4;i++) printf(" %g",d[i]);
  printf("\n");
}

int
main()
{
  float  f[4] __attribute__((aligned(16))) = {1,2,3,4};
  vector4double v;

  v = vec_ld(0,f);

  printvec("v",v);
}