test/CodeGen/AArch64/vecreduce-add-legalization.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=aarch64-none-linux-gnu -mattr=+neon | FileCheck %s --check-prefix=CHECK
   3
   4 declare i1 @llvm.experimental.vector.reduce.add.v1i1(<1 x i1> %a)
   5 declare i8 @llvm.experimental.vector.reduce.add.v1i8(<1 x i8> %a)
   6 declare i16 @llvm.experimental.vector.reduce.add.v1i16(<1 x i16> %a)
   7 declare i24 @llvm.experimental.vector.reduce.add.v1i24(<1 x i24> %a)
   8 declare i32 @llvm.experimental.vector.reduce.add.v1i32(<1 x i32> %a)
   9 declare i64 @llvm.experimental.vector.reduce.add.v1i64(<1 x i64> %a)
  10 declare i128 @llvm.experimental.vector.reduce.add.v1i128(<1 x i128> %a)
  11
  12 declare i8 @llvm.experimental.vector.reduce.add.v3i8(<3 x i8> %a)
  13 declare i8 @llvm.experimental.vector.reduce.add.v9i8(<9 x i8> %a)
  14 declare i32 @llvm.experimental.vector.reduce.add.v3i32(<3 x i32> %a)
  15 declare i1 @llvm.experimental.vector.reduce.add.v4i1(<4 x i1> %a)
  16 declare i24 @llvm.experimental.vector.reduce.add.v4i24(<4 x i24> %a)
  17 declare i128 @llvm.experimental.vector.reduce.add.v2i128(<2 x i128> %a)
  18 declare i32 @llvm.experimental.vector.reduce.add.v16i32(<16 x i32> %a)
  19
  20 define i1 @test_v1i1(<1 x i1> %a) nounwind {
  21 ; CHECK-LABEL: test_v1i1:
  22 ; CHECK:       // %bb.0:
  23 ; CHECK-NEXT:    and w0, w0, #0x1
  24 ; CHECK-NEXT:    ret
  25   %b = call i1 @llvm.experimental.vector.reduce.add.v1i1(<1 x i1> %a)
  26   ret i1 %b
  27 }
  28
  29 define i8 @test_v1i8(<1 x i8> %a) nounwind {
  30 ; CHECK-LABEL: test_v1i8:
  31 ; CHECK:       // %bb.0:
  32 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $q0
  33 ; CHECK-NEXT:    umov w0, v0.b[0]
  34 ; CHECK-NEXT:    ret
  35   %b = call i8 @llvm.experimental.vector.reduce.add.v1i8(<1 x i8> %a)
  36   ret i8 %b
  37 }
  38
  39 define i16 @test_v1i16(<1 x i16> %a) nounwind {
  40 ; CHECK-LABEL: test_v1i16:
  41 ; CHECK:       // %bb.0:
  42 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $q0
  43 ; CHECK-NEXT:    umov w0, v0.h[0]
  44 ; CHECK-NEXT:    ret
  45   %b = call i16 @llvm.experimental.vector.reduce.add.v1i16(<1 x i16> %a)
  46   ret i16 %b
  47 }
  48
  49 define i24 @test_v1i24(<1 x i24> %a) nounwind {
  50 ; CHECK-LABEL: test_v1i24:
  51 ; CHECK:       // %bb.0:
  52 ; CHECK-NEXT:    ret
  53   %b = call i24 @llvm.experimental.vector.reduce.add.v1i24(<1 x i24> %a)
  54   ret i24 %b
  55 }
  56
  57 define i32 @test_v1i32(<1 x i32> %a) nounwind {
  58 ; CHECK-LABEL: test_v1i32:
  59 ; CHECK:       // %bb.0:
  60 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $q0
  61 ; CHECK-NEXT:    fmov w0, s0
  62 ; CHECK-NEXT:    ret
  63   %b = call i32 @llvm.experimental.vector.reduce.add.v1i32(<1 x i32> %a)
  64   ret i32 %b
  65 }
  66
  67 define i64 @test_v1i64(<1 x i64> %a) nounwind {
  68 ; CHECK-LABEL: test_v1i64:
  69 ; CHECK:       // %bb.0:
  70 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $q0
  71 ; CHECK-NEXT:    fmov x0, d0
  72 ; CHECK-NEXT:    ret
  73   %b = call i64 @llvm.experimental.vector.reduce.add.v1i64(<1 x i64> %a)
  74   ret i64 %b
  75 }
  76
  77 define i128 @test_v1i128(<1 x i128> %a) nounwind {
  78 ; CHECK-LABEL: test_v1i128:
  79 ; CHECK:       // %bb.0:
  80 ; CHECK-NEXT:    ret
  81   %b = call i128 @llvm.experimental.vector.reduce.add.v1i128(<1 x i128> %a)
  82   ret i128 %b
  83 }
  84
  85 define i8 @test_v3i8(<3 x i8> %a) nounwind {
  86 ; CHECK-LABEL: test_v3i8:
  87 ; CHECK:       // %bb.0:
  88 ; CHECK-NEXT:    movi d0, #0000000000000000
  89 ; CHECK-NEXT:    mov v0.h[0], w0
  90 ; CHECK-NEXT:    mov v0.h[1], w1
  91 ; CHECK-NEXT:    mov v0.h[2], w2
  92 ; CHECK-NEXT:    addv h0, v0.4h
  93 ; CHECK-NEXT:    fmov w0, s0
  94 ; CHECK-NEXT:    ret
  95   %b = call i8 @llvm.experimental.vector.reduce.add.v3i8(<3 x i8> %a)
  96   ret i8 %b
  97 }
  98
  99 define i8 @test_v9i8(<9 x i8> %a) nounwind {
 100 ; CHECK-LABEL: test_v9i8:
 101 ; CHECK:       // %bb.0:
 102 ; CHECK-NEXT:    mov v0.b[9], wzr
 103 ; CHECK-NEXT:    mov v0.b[10], wzr
 104 ; CHECK-NEXT:    mov v0.b[11], wzr
 105 ; CHECK-NEXT:    mov v0.b[12], wzr
 106 ; CHECK-NEXT:    mov v0.b[13], wzr
 107 ; CHECK-NEXT:    mov v0.b[14], wzr
 108 ; CHECK-NEXT:    mov v0.b[15], wzr
 109 ; CHECK-NEXT:    addv b0, v0.16b
 110 ; CHECK-NEXT:    fmov w0, s0
 111 ; CHECK-NEXT:    ret
 112   %b = call i8 @llvm.experimental.vector.reduce.add.v9i8(<9 x i8> %a)
 113   ret i8 %b
 114 }
 115
 116 define i32 @test_v3i32(<3 x i32> %a) nounwind {
 117 ; CHECK-LABEL: test_v3i32:
 118 ; CHECK:       // %bb.0:
 119 ; CHECK-NEXT:    mov v0.s[3], wzr
 120 ; CHECK-NEXT:    addv s0, v0.4s
 121 ; CHECK-NEXT:    fmov w0, s0
 122 ; CHECK-NEXT:    ret
 123   %b = call i32 @llvm.experimental.vector.reduce.add.v3i32(<3 x i32> %a)
 124   ret i32 %b
 125 }
 126
 127 define i1 @test_v4i1(<4 x i1> %a) nounwind {
 128 ; CHECK-LABEL: test_v4i1:
 129 ; CHECK:       // %bb.0:
 130 ; CHECK-NEXT:    addv h0, v0.4h
 131 ; CHECK-NEXT:    fmov w8, s0
 132 ; CHECK-NEXT:    and w0, w8, #0x1
 133 ; CHECK-NEXT:    ret
 134   %b = call i1 @llvm.experimental.vector.reduce.add.v4i1(<4 x i1> %a)
 135   ret i1 %b
 136 }
 137
 138 define i24 @test_v4i24(<4 x i24> %a) nounwind {
 139 ; CHECK-LABEL: test_v4i24:
 140 ; CHECK:       // %bb.0:
 141 ; CHECK-NEXT:    addv s0, v0.4s
 142 ; CHECK-NEXT:    fmov w0, s0
 143 ; CHECK-NEXT:    ret
 144   %b = call i24 @llvm.experimental.vector.reduce.add.v4i24(<4 x i24> %a)
 145   ret i24 %b
 146 }
 147
 148 define i128 @test_v2i128(<2 x i128> %a) nounwind {
 149 ; CHECK-LABEL: test_v2i128:
 150 ; CHECK:       // %bb.0:
 151 ; CHECK-NEXT:    adds x0, x0, x2
 152 ; CHECK-NEXT:    adcs x1, x1, x3
 153 ; CHECK-NEXT:    ret
 154   %b = call i128 @llvm.experimental.vector.reduce.add.v2i128(<2 x i128> %a)
 155   ret i128 %b
 156 }
 157
 158 define i32 @test_v16i32(<16 x i32> %a) nounwind {
 159 ; CHECK-LABEL: test_v16i32:
 160 ; CHECK:       // %bb.0:
 161 ; CHECK-NEXT:    add v1.4s, v1.4s, v3.4s
 162 ; CHECK-NEXT:    add v0.4s, v0.4s, v2.4s
 163 ; CHECK-NEXT:    add v0.4s, v0.4s, v1.4s
 164 ; CHECK-NEXT:    addv s0, v0.4s
 165 ; CHECK-NEXT:    fmov w0, s0
 166 ; CHECK-NEXT:    ret
 167   %b = call i32 @llvm.experimental.vector.reduce.add.v16i32(<16 x i32> %a)
 168   ret i32 %b
 169 }