xref: /llvm-project/llvm/test/CodeGen/WebAssembly/simd-concat.ll (revision 28557e8c9872a31a29cf0aca19e9d036caf7eff4) 
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 triple = "wasm32-unknown--wasm"
7
8define <16 x i8> @concat_v8i8(<8 x i8> %a, <8 x i8> %b) {
9; CHECK-LABEL: concat_v8i8:
10; CHECK:         .functype concat_v8i8 (v128, v128) -> (v128)
11; CHECK-NEXT:  # %bb.0:
12; CHECK-NEXT:    local.get 0
13; CHECK-NEXT:    local.get 1
14; CHECK-NEXT:    i8x16.shuffle 0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 23
15; CHECK-NEXT:    # fallthrough-return
16  %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>
17  ret <16 x i8> %v
18}
19
20define <8 x i8> @concat_v4i8(<4 x i8> %a, <4 x i8> %b) {
21; CHECK-LABEL: concat_v4i8:
22; CHECK:         .functype concat_v4i8 (v128, v128) -> (v128)
23; CHECK-NEXT:  # %bb.0:
24; CHECK-NEXT:    local.get 0
25; CHECK-NEXT:    local.get 1
26; CHECK-NEXT:    i8x16.shuffle 0, 1, 2, 3, 16, 17, 18, 19, 0, 0, 0, 0, 0, 0, 0, 0
27; CHECK-NEXT:    # fallthrough-return
28  %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>
29  ret <8 x i8> %v
30}
31
32define <8 x i16> @concat_v4i16(<4 x i16> %a, <4 x i16> %b) {
33; CHECK-LABEL: concat_v4i16:
34; CHECK:         .functype concat_v4i16 (v128, v128) -> (v128)
35; CHECK-NEXT:  # %bb.0:
36; CHECK-NEXT:    local.get 0
37; CHECK-NEXT:    local.get 1
38; CHECK-NEXT:    i8x16.shuffle 0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 23
39; CHECK-NEXT:    # fallthrough-return
40  %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>
41  ret <8 x i16> %v
42}
43
44define <4 x i8> @concat_v2i8(<2 x i8> %a, <2 x i8> %b) {
45; CHECK-LABEL: concat_v2i8:
46; CHECK:         .functype concat_v2i8 (v128, v128) -> (v128)
47; CHECK-NEXT:  # %bb.0:
48; CHECK-NEXT:    local.get 0
49; CHECK-NEXT:    local.get 1
50; CHECK-NEXT:    i8x16.shuffle 0, 1, 16, 17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
51; CHECK-NEXT:    # fallthrough-return
52  %v = shufflevector <2 x i8> %a, <2 x i8> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
53  ret <4 x i8> %v
54}
55
56define <4 x i16> @concat_v2i16(<2 x i16> %a, <2 x i16> %b) {
57; CHECK-LABEL: concat_v2i16:
58; CHECK:         .functype concat_v2i16 (v128, v128) -> (v128)
59; CHECK-NEXT:  # %bb.0:
60; CHECK-NEXT:    local.get 0
61; CHECK-NEXT:    local.get 1
62; CHECK-NEXT:    i8x16.shuffle 0, 1, 2, 3, 16, 17, 18, 19, 0, 1, 0, 1, 0, 1, 0, 1
63; CHECK-NEXT:    # fallthrough-return
64  %v = shufflevector <2 x i16> %a, <2 x i16> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
65  ret <4 x i16> %v
66}
67
68define <4 x i32> @concat_v2i32(<2 x i32> %a, <2 x i32> %b) {
69; CHECK-LABEL: concat_v2i32:
70; CHECK:         .functype concat_v2i32 (v128, v128) -> (v128)
71; CHECK-NEXT:  # %bb.0:
72; CHECK-NEXT:    local.get 0
73; CHECK-NEXT:    local.get 1
74; CHECK-NEXT:    i8x16.shuffle 0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 23
75; CHECK-NEXT:    # fallthrough-return
76  %v = shufflevector <2 x i32> %a, <2 x i32> %b, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
77  ret <4 x i32> %v
78}
79