1#include "harness.h"
2
3extern vector pixel p16;
4extern vector pixel const p16c;
5extern vector pixel volatile p16v;
6extern const vector pixel p16c_;
7extern volatile vector pixel p16v_;
8
9static void test()
10{
11  int i_p16 = vec_step(p16);
12  int i_p16c = vec_step(p16c);
13  int i_p16v = vec_step(p16v);
14  int i_p16c_ = vec_step(p16c_);
15  int i_p16v_ = vec_step(p16v_);
16  check((i_p16 + i_p16c + i_p16v + i_p16c_ + i_p16v_) == 40, "vec_step");
17}
18