llvm/test/CodeGen/WebAssembly/simd-concat.ll

   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
   6 target triple = "wasm32-unknown--wasm"
   7
   8 define <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
  20 define <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
  32 define <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
  44 define <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
  56 define <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
  68 define <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 }