1; RUN: llc < %s -mtriple armeb-eabi -mattr v7,neon -o - | FileCheck %s
2
3define void @vector_trunc_store_2i64_to_2i16( <2 x i64>* %loadaddr, <2 x i16>* %storeaddr ) {
4; CHECK-LABEL: vector_trunc_store_2i64_to_2i16:
5; CHECK:       vmovn.i64  [[REG:d[0-9]+]]
6; CHECK:       vrev32.16  [[REG]], [[REG]]
7; CHECK:       vuzp.16    [[REG]], [[REG2:d[0-9]+]]
8; CHECK:       vrev32.16  [[REG]], [[REG2]]
9  %1 = load <2 x i64>, <2 x i64>* %loadaddr
10  %2 = trunc <2 x i64> %1 to <2 x i16>
11  store <2 x i16> %2, <2 x i16>* %storeaddr
12  ret void
13}
14
15define void @vector_trunc_store_4i32_to_4i8( <4 x i32>* %loadaddr, <4 x i8>* %storeaddr ) {
16; CHECK-LABEL: vector_trunc_store_4i32_to_4i8:
17; CHECK:       vmovn.i32 [[REG:d[0-9]+]]
18; CHECK:       vrev16.8  [[REG]], [[REG]]
19; CHECK:       vuzp.8    [[REG]], [[REG2:d[0-9]+]]
20; CHECK:       vrev32.8  [[REG]], [[REG2]]
21  %1 = load <4 x i32>, <4 x i32>* %loadaddr
22  %2 = trunc <4 x i32> %1 to <4 x i8>
23  store <4 x i8> %2, <4 x i8>* %storeaddr
24  ret void
25}
26
27