llvm/test/Bitcode/upgrade-vector-interleave2-deinterleave2-intrinsics.ll

   1 ; RUN: opt -S < %s | FileCheck %s
   2 ; RUN: llvm-as %s -o - | llvm-dis | FileCheck %s
   3
   4 define <8 x i32> @interleave_fixed(<4 x i32> %a, <4 x i32> %b) {
   5 ; CHECK-LABEL: @interleave_fixed
   6 ; CHECK: %res = call <8 x i32> @llvm.vector.interleave2.v8i32(<4 x i32> %a, <4 x i32> %b)
   7
   8   %res = call <8 x i32> @llvm.experimental.vector.interleave2.v8i32(<4 x i32> %a, <4 x i32> %b)
   9   ret <8 x i32> %res
  10 }
  11
  12 define { <4 x i32>, <4 x i32> } @deinterleave_fixed(<8 x i32> %a) {
  13 ; CHECK-LABEL: @deinterleave_fixed
  14 ; CHECK: %res = call { <4 x i32>, <4 x i32> } @llvm.vector.deinterleave2.v8i32(<8 x i32> %a)
  15
  16   %res = call { <4 x i32>, <4 x i32> } @llvm.experimental.vector.deinterleave2.v8i32(<8 x i32> %a)
  17   ret { <4 x i32>, <4 x i32> } %res
  18 }
  19
  20 define <vscale x 8 x i32> @interleave_scalable(<vscale x 4 x i32> %a, <vscale x 4 x i32> %b) {
  21 ; CHECK-LABEL: @interleave_scalable
  22 ; CHECK: %res = call <vscale x 8 x i32> @llvm.vector.interleave2.nxv8i32(<vscale x 4 x i32> %a, <vscale x 4 x i32> %b)
  23
  24   %res = call <vscale x 8 x i32> @llvm.experimental.vector.interleave2.nxv8i32(<vscale x 4 x i32> %a, <vscale x 4 x i32> %b)
  25   ret <vscale x 8 x i32> %res
  26 }
  27
  28 define { <vscale x 4 x i32>, <vscale x 4 x i32> } @deinterleave_scalable(<vscale x 8 x i32> %a) {
  29 ; CHECK-LABEL: @deinterleave_scalable
  30 ; CHECK: %res = call { <vscale x 4 x i32>, <vscale x 4 x i32> } @llvm.vector.deinterleave2.nxv8i32(<vscale x 8 x i32> %a)
  31
  32   %res = call { <vscale x 4 x i32>, <vscale x 4 x i32> } @llvm.experimental.vector.deinterleave2.nxv8i32(<vscale x 8 x i32> %a)
  33   ret { <vscale x 4 x i32>, <vscale x 4 x i32> } %res
  34 }
  35
  36 declare <8 x i32> @llvm.experimental.vector.interleave2.v8i32(<4 x i32>, <4 x i32>)
  37 ; CHECK: <8 x i32> @llvm.vector.interleave2.v8i32(<4 x i32>, <4 x i32>)
  38
  39 declare  { <4 x i32>, <4 x i32> } @llvm.experimental.vector.deinterleave2.v8i32(<8 x i32>)
  40 ; CHECK: declare  { <4 x i32>, <4 x i32> } @llvm.vector.deinterleave2.v8i32(<8 x i32>)
  41
  42 declare <vscale x 8 x i32> @llvm.experimental.vector.interleave2.nxv8i32(<vscale x 4 x i32>, <vscale x 4 x i32>)
  43 ; CHECK: <vscale x 8 x i32> @llvm.vector.interleave2.nxv8i32(<vscale x 4 x i32>, <vscale x 4 x i32>)
  44
  45 declare  { <vscale x 4 x i32>, <vscale x 4 x i32> } @llvm.experimental.vector.deinterleave2.nxv8i32(<vscale x 8 x i32>)
  46 ; CHECK: declare  { <vscale x 4 x i32>, <vscale x 4 x i32> } @llvm.vector.deinterleave2.nxv8i32(<vscale x 8 x i32>)