6 typedef float         v4f32 __attribute__((ext_vector_type(4)));   typedef
54 void print_v4f32(const char *str, v4f32 v) {  in print_v4f32()
101 v4f32 v4f32_shuffle_1(v4f32 a) {  in v4f32_shuffle_1()
102   v4f32 c2 = a.yzwx;  in v4f32_shuffle_1()
106 v4f32 v4f32_shuffle_2(v4f32 a) {  in v4f32_shuffle_2()
107   v4f32 c2 = a.zwxy;  in v4f32_shuffle_2()
111 v4f32 v4f32_shuffle_3(v4f32 a) {  in v4f32_shuffle_3()
112   v4f32 c2 = a.wxyz;  in v4f32_shuffle_3()
116 v4f32 v4f32_shuffle_4(v4f32 a) {  in v4f32_shuffle_4()
117   v4f32 c2 = a.xyzw;  in v4f32_shuffle_4()
121 v4f32 v4f32_shuffle_5(v4f32 a) {  in v4f32_shuffle_5()
122   v4f32 c2 = a.xwzy;  in v4f32_shuffle_5()
146   v4f32 v2 = { 1.0, 2.0, 3.0, 4.0 };  in main()