typedef short _raw16; typedef short __v2hi __attribute__ ((vector_size (4))); typedef __v2hi raw2x16; __inline__ __attribute__ ((always_inline)) static raw2x16 compose_2x16(_raw16 _x, _raw16 _y) { } int main (int argc, char *argv[]) { raw2x16 a = compose_2x16(2, 3); raw2x16 b = compose_2x16(4, 5); int z = __builtin_bfin_mulhisilh(a, b); }