1  #include "harness.h"
       2  
       3  typedef vector unsigned int x;
       4  
       5  x f (x a)
       6  {
       7    return vec_addc(a,a); 
       8  }
       9  
      10  void g (int b) 
      11  {
      12    vec_dst(&b, 3, 3); 
      13    vec_dst(&b, 1, 1);
      14  }
      15  
      16  static void test()
      17  {
      18    check(vec_all_eq(f(((vector unsigned int){0x80000000,0x7fffffff,3,4})),
      19  		   ((vector unsigned int){1,0,0,0})),
      20  	"f");
      21  }