llvm/test/CodeGen/AArch64/arm64-vbitwise.ll

   1 ; RUN: llc < %s -mtriple=arm64-eabi -aarch64-neon-syntax=apple | FileCheck %s
   2
   3 define <8 x i8> @rbit_8b(ptr %A) nounwind {
   4 ;CHECK-LABEL: rbit_8b:
   5 ;CHECK: rbit.8b
   6         %tmp1 = load <8 x i8>, ptr %A
   7         %tmp3 = call <8 x i8> @llvm.bitreverse.v8i8(<8 x i8> %tmp1)
   8         ret <8 x i8> %tmp3
   9 }
  10
  11 define <16 x i8> @rbit_16b(ptr %A) nounwind {
  12 ;CHECK-LABEL: rbit_16b:
  13 ;CHECK: rbit.16b
  14         %tmp1 = load <16 x i8>, ptr %A
  15         %tmp3 = call <16 x i8> @llvm.bitreverse.v16i8(<16 x i8> %tmp1)
  16         ret <16 x i8> %tmp3
  17 }
  18
  19 declare <8 x i8> @llvm.bitreverse.v8i8(<8 x i8>) nounwind readnone
  20 declare <16 x i8> @llvm.bitreverse.v16i8(<16 x i8>) nounwind readnone
  21
  22 define <8 x i16> @sxtl8h(ptr %A) nounwind {
  23 ;CHECK-LABEL: sxtl8h:
  24 ;CHECK: sshll.8h
  25         %tmp1 = load <8 x i8>, ptr %A
  26   %tmp2 = sext <8 x i8> %tmp1 to <8 x i16>
  27   ret <8 x i16> %tmp2
  28 }
  29
  30 define <8 x i16> @uxtl8h(ptr %A) nounwind {
  31 ;CHECK-LABEL: uxtl8h:
  32 ;CHECK: ushll.8h
  33         %tmp1 = load <8 x i8>, ptr %A
  34   %tmp2 = zext <8 x i8> %tmp1 to <8 x i16>
  35   ret <8 x i16> %tmp2
  36 }
  37
  38 define <4 x i32> @sxtl4s(ptr %A) nounwind {
  39 ;CHECK-LABEL: sxtl4s:
  40 ;CHECK: sshll.4s
  41         %tmp1 = load <4 x i16>, ptr %A
  42   %tmp2 = sext <4 x i16> %tmp1 to <4 x i32>
  43   ret <4 x i32> %tmp2
  44 }
  45
  46 define <4 x i32> @uxtl4s(ptr %A) nounwind {
  47 ;CHECK-LABEL: uxtl4s:
  48 ;CHECK: ushll.4s
  49         %tmp1 = load <4 x i16>, ptr %A
  50   %tmp2 = zext <4 x i16> %tmp1 to <4 x i32>
  51   ret <4 x i32> %tmp2
  52 }
  53
  54 define <2 x i64> @sxtl2d(ptr %A) nounwind {
  55 ;CHECK-LABEL: sxtl2d:
  56 ;CHECK: sshll.2d
  57         %tmp1 = load <2 x i32>, ptr %A
  58   %tmp2 = sext <2 x i32> %tmp1 to <2 x i64>
  59   ret <2 x i64> %tmp2
  60 }
  61
  62 define <2 x i64> @uxtl2d(ptr %A) nounwind {
  63 ;CHECK-LABEL: uxtl2d:
  64 ;CHECK: ushll.2d
  65         %tmp1 = load <2 x i32>, ptr %A
  66   %tmp2 = zext <2 x i32> %tmp1 to <2 x i64>
  67   ret <2 x i64> %tmp2
  68 }
  69
  70 ; Check for incorrect use of vector bic.
  71 ; rdar://11553859
  72 define void @test_vsliq(ptr nocapture %src, ptr nocapture %dest) nounwind noinline ssp {
  73 entry:
  74 ; CHECK-LABEL: test_vsliq:
  75 ; CHECK-NOT: bic
  76 ; CHECK: movi.2d [[REG1:v[0-9]+]], #0x0000ff000000ff
  77 ; CHECK: and.16b v{{[0-9]+}}, v{{[0-9]+}}, [[REG1]]
  78   %0 = load <16 x i8>, ptr %src, align 16
  79   %and.i = and <16 x i8> %0, <i8 -1, i8 0, i8 0, i8 0, i8 -1, i8 0, i8 0, i8 0, i8 -1, i8 0, i8 0, i8 0, i8 -1, i8 0, i8 0, i8 0>
  80   %1 = bitcast <16 x i8> %and.i to <8 x i16>
  81   %vshl_n = shl <8 x i16> %1, <i16 8, i16 8, i16 8, i16 8, i16 8, i16 8, i16 8, i16 8>
  82   %2 = or <8 x i16> %1, %vshl_n
  83   %3 = bitcast <8 x i16> %2 to <4 x i32>
  84   %vshl_n8 = shl <4 x i32> %3, <i32 16, i32 16, i32 16, i32 16>
  85   %4 = or <4 x i32> %3, %vshl_n8
  86   %5 = bitcast <4 x i32> %4 to <16 x i8>
  87   store <16 x i8> %5, ptr %dest, align 16
  88   ret void
  89 }