1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -verify-machineinstrs -mattr=+simd128 | FileCheck %s
3
4; Check that all varieties of vector concatenations get lowered to shuffles.
5
6target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
7target triple = "wasm32-unknown--wasm"
8
9define <16 x i8> @concat_v8i8(<8 x i8> %a, <8 x i8> %b) {
10; CHECK-LABEL: concat_v8i8:
11; CHECK:         .functype concat_v8i8 (v128, v128) -> (v128)
12; CHECK-NEXT:  # %bb.0:
13; CHECK-NEXT:    local.get 0
14; CHECK-NEXT:    local.get 1
15; CHECK-NEXT:    i8x16.shuffle 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30
16; CHECK-NEXT:    # fallthrough-return
17  %v = shufflevector <8 x i8> %a, <8 x i8> %b, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
18  ret <16 x i8> %v
19}
20
21define <8 x i8> @concat_v4i8(<4 x i8> %a, <4 x i8> %b) {
22; CHECK-LABEL: concat_v4i8:
23; CHECK:         .functype concat_v4i8 (v128, v128) -> (v128)
24; CHECK-NEXT:  # %bb.0:
25; CHECK-NEXT:    local.get 0
26; CHECK-NEXT:    local.get 1
27; CHECK-NEXT:    i8x16.shuffle 0, 1, 4, 5, 8, 9, 12, 13, 16, 17, 20, 21, 24, 25, 28, 29
28; CHECK-NEXT:    # fallthrough-return
29  %v = shufflevector <4 x i8> %a, <4 x i8> %b, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
30  ret <8 x i8> %v
31}
32
33define <8 x i16> @concat_v4i16(<4 x i16> %a, <4 x i16> %b) {
34; CHECK-LABEL: concat_v4i16:
35; CHECK:         .functype concat_v4i16 (v128, v128) -> (v128)
36; CHECK-NEXT:  # %bb.0:
37; CHECK-NEXT:    local.get 0
38; CHECK-NEXT:    local.get 1
39; CHECK-NEXT:    i8x16.shuffle 0, 1, 4, 5, 8, 9, 12, 13, 16, 17, 20, 21, 24, 25, 28, 29
40; CHECK-NEXT:    # fallthrough-return
41  %v = shufflevector <4 x i16> %a, <4 x i16> %b, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
42  ret <8 x i16> %v
43}
44
45define <4 x i8> @concat_v2i8(<2 x i8> %a, <2 x i8> %b) {
46; CHECK-LABEL: concat_v2i8:
47; CHECK:         .functype concat_v2i8 (v128, v128) -> (v128)
48; CHECK-NEXT:  # %bb.0:
49; CHECK-NEXT:    local.get 0
50; CHECK-NEXT:    local.get 1
51; CHECK-NEXT:    i8x16.shuffle 0, 1, 2, 3, 8, 9, 10, 11, 16, 17, 18, 19, 24, 25, 26, 27
52; CHECK-NEXT:    # fallthrough-return
53  %v = shufflevector <2 x i8> %a, <2 x i8> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
54  ret <4 x i8> %v
55}
56
57define <4 x i16> @concat_v2i16(<2 x i16> %a, <2 x i16> %b) {
58; CHECK-LABEL: concat_v2i16:
59; CHECK:         .functype concat_v2i16 (v128, v128) -> (v128)
60; CHECK-NEXT:  # %bb.0:
61; CHECK-NEXT:    local.get 0
62; CHECK-NEXT:    local.get 1
63; CHECK-NEXT:    i8x16.shuffle 0, 1, 2, 3, 8, 9, 10, 11, 16, 17, 18, 19, 24, 25, 26, 27
64; CHECK-NEXT:    # fallthrough-return
65  %v = shufflevector <2 x i16> %a, <2 x i16> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
66  ret <4 x i16> %v
67}
68
69define <4 x i32> @concat_v2i32(<2 x i32> %a, <2 x i32> %b) {
70; CHECK-LABEL: concat_v2i32:
71; CHECK:         .functype concat_v2i32 (v128, v128) -> (v128)
72; CHECK-NEXT:  # %bb.0:
73; CHECK-NEXT:    local.get 0
74; CHECK-NEXT:    local.get 1
75; CHECK-NEXT:    i8x16.shuffle 0, 1, 2, 3, 8, 9, 10, 11, 16, 17, 18, 19, 24, 25, 26, 27
76; CHECK-NEXT:    # fallthrough-return
77  %v = shufflevector <2 x i32> %a, <2 x i32> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
78  ret <4 x i32> %v
79}
80