3 /* { dg-options "-O3" } */
7 extern void abort (void);
12 int16x8_t val1
, val2
, val3
;
16 val1
= vcombine_s16 (vcreate_s16 (UINT64_C (0xffff9ab680000000)),
17 vcreate_s16 (UINT64_C (0x00000000ffff0000)));
18 val2
= vcombine_s16 (vcreate_s16 (UINT64_C (0x32b77fffffff7fff)),
19 vcreate_s16 (UINT64_C (0x0000ffff00007fff)));
20 val3
= vcombine_s16 (vcreate_s16 (UINT64_C (0x7fff00007fff0000)),
21 vcreate_s16 (UINT64_C (0x80007fff00000000)));
22 result
= vmlsq_laneq_s16 (val1
, val2
, val3
, 6);
24 act
= vgetq_lane_u64 (vreinterpretq_u64_s16 (result
), 0);
25 exp
= UINT64_C (0xb2b69ab5ffffffff);
29 act
= vgetq_lane_u64 (vreinterpretq_u64_s16 (result
), 1);
30 exp
= UINT64_C (0x00007fffffffffff);
38 int32x4_t val1
, val2
, val3
;
42 val1
= vcombine_s32 (vcreate_s32 (UINT64_C (0x00008000f46f7fff)),
43 vcreate_s32 (UINT64_C (0x7fffffffffff8000)));
44 val2
= vcombine_s32 (vcreate_s32 (UINT64_C (0x7fff7fff0e700000)),
45 vcreate_s32 (UINT64_C (0xffff000080000000)));
46 val3
= vcombine_s32 (vcreate_s32 (UINT64_C (0x00000000ffff0000)),
47 vcreate_s32 (UINT64_C (0xd9edea1a8000fb28)));
48 result
= vmlsq_laneq_s32 (val1
, val2
, val3
, 3);
50 act
= vgetq_lane_u64 (vreinterpretq_u64_s32 (result
), 0);
51 exp
= UINT64_C (0xcefb6a1a1d0f7fff);
55 act
= vgetq_lane_u64 (vreinterpretq_u64_s32 (result
), 1);
56 exp
= UINT64_C (0x6a19ffffffff8000);
64 uint16x8_t val1
, val2
, val3
;
68 val1
= vcombine_u16 (vcreate_u16 (UINT64_C (0x000080008000802a)),
69 vcreate_u16 (UINT64_C (0x7fffffff00007fff)));
70 val2
= vcombine_u16 (vcreate_u16 (UINT64_C (0x7fffcdf1ffff0000)),
71 vcreate_u16 (UINT64_C (0xe2550000ffffffff)));
72 val3
= vcombine_u16 (vcreate_u16 (UINT64_C (0x80007fff80000000)),
73 vcreate_u16 (UINT64_C (0xbe2100007fffffff)));
75 result
= vmlsq_laneq_u16 (val1
, val2
, val3
, 7);
77 act
= vgetq_lane_u64 (vreinterpretq_u64_u16 (result
), 0);
78 exp
= UINT64_C (0x3e2115ef3e21802a);
82 act
= vgetq_lane_u64 (vreinterpretq_u64_u16 (result
), 1);
83 exp
= UINT64_C (0x3d0affffbe213e20);
91 uint32x4_t val1
, val2
, val3
;
95 val1
= vcombine_u32 (vcreate_u32 (UINT64_C (0x3295fe3d7fff7fff)),
96 vcreate_u32 (UINT64_C (0x7fff00007fff7fff)));
97 val2
= vcombine_u32 (vcreate_u32 (UINT64_C (0xffff7fff7fff8000)),
98 vcreate_u32 (UINT64_C (0x7fff80008000ffff)));
99 val3
= vcombine_u32 (vcreate_u32 (UINT64_C (0x7fff7fff80008000)),
100 vcreate_u32 (UINT64_C (0x0000800053ab7fff)));
102 result
= vmlsq_laneq_u32 (val1
, val2
, val3
, 2);
104 act
= vgetq_lane_u64 (vreinterpretq_u64_u32 (result
), 0);
105 exp
= UINT64_C (0x4640fe3cbffeffff);
109 act
= vgetq_lane_u64 (vreinterpretq_u64_u32 (result
), 1);
110 exp
= UINT64_C (0xbffe8000d3abfffe);
118 float32x4_t val1
, val2
, val3
;
122 val1
= vcombine_f32 (vcreate_f32 (UINT64_C (0x3f49daf03ef3dc73)),
123 vcreate_f32 (UINT64_C (0x3f5d467a3ef3dc73)));
124 val2
= vcombine_f32 (vcreate_f32 (UINT64_C (0x3d2064c83d10cd28)),
125 vcreate_f32 (UINT64_C (0x3ea7d1a23d10cd28)));
126 val3
= vcombine_f32 (vcreate_f32 (UINT64_C (0x3f6131993edb1e04)),
127 vcreate_f32 (UINT64_C (0x3f37f4bf3edb1e04)));
129 result
= vmlsq_laneq_f32 (val1
, val2
, val3
, 0);
131 act
= vgetq_lane_f32 (result
, 0);
132 if (act
!= 0.46116194128990173f
)
135 act
= vgetq_lane_f32 (result
, 1);
136 if (act
!= 0.7717385292053223f
)
139 act
= vgetq_lane_f32 (result
, 2);
140 if (act
!= 0.46116194128990173f
)
143 act
= vgetq_lane_f32 (result
, 3);
144 if (act
!= 0.7240825295448303f
)