typedef short raw2x16 __attribute__ ((vector_size(4)));
foo() { raw2x16 a, b; __builtin_bfin_mulhisilh(a, b); }