79 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -verify-machineinstrs -mattr=+simd128 | FileCheck %s3 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 013; CHECK-NEXT: local.get 114; CHECK-NEXT: i8x16.shuffle 0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 2315; CHECK-NEXT: # fallthrough-return16 %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> %v18}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 025; CHECK-NEXT: local.get 126; CHECK-NEXT: i8x16.shuffle 0, 1, 2, 3, 16, 17, 18, 19, 0, 0, 0, 0, 0, 0, 0, 027; CHECK-NEXT: # fallthrough-return28 %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> %v30}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 037; CHECK-NEXT: local.get 138; CHECK-NEXT: i8x16.shuffle 0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 2339; CHECK-NEXT: # fallthrough-return40 %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> %v42}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 049; CHECK-NEXT: local.get 150; CHECK-NEXT: i8x16.shuffle 0, 1, 16, 17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 051; CHECK-NEXT: # fallthrough-return52 %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> %v54}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 061; CHECK-NEXT: local.get 162; CHECK-NEXT: i8x16.shuffle 0, 1, 2, 3, 16, 17, 18, 19, 0, 1, 0, 1, 0, 1, 0, 163; CHECK-NEXT: # fallthrough-return64 %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> %v66}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 073; CHECK-NEXT: local.get 174; CHECK-NEXT: i8x16.shuffle 0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 2375; CHECK-NEXT: # fallthrough-return76 %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> %v78}79