1 extern void abort (void);
3 typedef short __v2hi
__attribute ((vector_size(4)));
4 typedef __v2hi fract2x16
;
12 a
= __builtin_bfin_compose_2x16 (0xd000, 0xa000);
13 b
= __builtin_bfin_compose_2x16 (0x1000, 0xc000);
15 t
= __builtin_bfin_dspsubaddsat (a
, b
);
16 t1
= __builtin_bfin_extract_hi (t
);
17 t2
= __builtin_bfin_extract_lo (t
);
18 if (t1
!= 0xffffc000 || t2
!= 0xffff8000)