test/CodeGen/ARM/vadd.ll

   1 ; RUN: llc < %s -march=arm -mattr=+neon | FileCheck %s
   2
   3 define <8 x i8> @vaddi8(<8 x i8>* %A, <8 x i8>* %B) nounwind {
   4 ;CHECK: vaddi8:
   5 ;CHECK: vadd.i8
   6         %tmp1 = load <8 x i8>* %A
   7         %tmp2 = load <8 x i8>* %B
   8         %tmp3 = add <8 x i8> %tmp1, %tmp2
   9         ret <8 x i8> %tmp3
  10 }
  11
  12 define <4 x i16> @vaddi16(<4 x i16>* %A, <4 x i16>* %B) nounwind {
  13 ;CHECK: vaddi16:
  14 ;CHECK: vadd.i16
  15         %tmp1 = load <4 x i16>* %A
  16         %tmp2 = load <4 x i16>* %B
  17         %tmp3 = add <4 x i16> %tmp1, %tmp2
  18         ret <4 x i16> %tmp3
  19 }
  20
  21 define <2 x i32> @vaddi32(<2 x i32>* %A, <2 x i32>* %B) nounwind {
  22 ;CHECK: vaddi32:
  23 ;CHECK: vadd.i32
  24         %tmp1 = load <2 x i32>* %A
  25         %tmp2 = load <2 x i32>* %B
  26         %tmp3 = add <2 x i32> %tmp1, %tmp2
  27         ret <2 x i32> %tmp3
  28 }
  29
  30 define <1 x i64> @vaddi64(<1 x i64>* %A, <1 x i64>* %B) nounwind {
  31 ;CHECK: vaddi64:
  32 ;CHECK: vadd.i64
  33         %tmp1 = load <1 x i64>* %A
  34         %tmp2 = load <1 x i64>* %B
  35         %tmp3 = add <1 x i64> %tmp1, %tmp2
  36         ret <1 x i64> %tmp3
  37 }
  38
  39 define <2 x float> @vaddf32(<2 x float>* %A, <2 x float>* %B) nounwind {
  40 ;CHECK: vaddf32:
  41 ;CHECK: vadd.f32
  42         %tmp1 = load <2 x float>* %A
  43         %tmp2 = load <2 x float>* %B
  44         %tmp3 = fadd <2 x float> %tmp1, %tmp2
  45         ret <2 x float> %tmp3
  46 }
  47
  48 define <16 x i8> @vaddQi8(<16 x i8>* %A, <16 x i8>* %B) nounwind {
  49 ;CHECK: vaddQi8:
  50 ;CHECK: vadd.i8
  51         %tmp1 = load <16 x i8>* %A
  52         %tmp2 = load <16 x i8>* %B
  53         %tmp3 = add <16 x i8> %tmp1, %tmp2
  54         ret <16 x i8> %tmp3
  55 }
  56
  57 define <8 x i16> @vaddQi16(<8 x i16>* %A, <8 x i16>* %B) nounwind {
  58 ;CHECK: vaddQi16:
  59 ;CHECK: vadd.i16
  60         %tmp1 = load <8 x i16>* %A
  61         %tmp2 = load <8 x i16>* %B
  62         %tmp3 = add <8 x i16> %tmp1, %tmp2
  63         ret <8 x i16> %tmp3
  64 }
  65
  66 define <4 x i32> @vaddQi32(<4 x i32>* %A, <4 x i32>* %B) nounwind {
  67 ;CHECK: vaddQi32:
  68 ;CHECK: vadd.i32
  69         %tmp1 = load <4 x i32>* %A
  70         %tmp2 = load <4 x i32>* %B
  71         %tmp3 = add <4 x i32> %tmp1, %tmp2
  72         ret <4 x i32> %tmp3
  73 }
  74
  75 define <2 x i64> @vaddQi64(<2 x i64>* %A, <2 x i64>* %B) nounwind {
  76 ;CHECK: vaddQi64:
  77 ;CHECK: vadd.i64
  78         %tmp1 = load <2 x i64>* %A
  79         %tmp2 = load <2 x i64>* %B
  80         %tmp3 = add <2 x i64> %tmp1, %tmp2
  81         ret <2 x i64> %tmp3
  82 }
  83
  84 define <4 x float> @vaddQf32(<4 x float>* %A, <4 x float>* %B) nounwind {
  85 ;CHECK: vaddQf32:
  86 ;CHECK: vadd.f32
  87         %tmp1 = load <4 x float>* %A
  88         %tmp2 = load <4 x float>* %B
  89         %tmp3 = fadd <4 x float> %tmp1, %tmp2
  90         ret <4 x float> %tmp3
  91 }
  92
  93 define <8 x i8> @vaddhni16(<8 x i16>* %A, <8 x i16>* %B) nounwind {
  94 ;CHECK: vaddhni16:
  95 ;CHECK: vaddhn.i16
  96         %tmp1 = load <8 x i16>* %A
  97         %tmp2 = load <8 x i16>* %B
  98         %tmp3 = call <8 x i8> @llvm.arm.neon.vaddhn.v8i8(<8 x i16> %tmp1, <8 x i16> %tmp2)
  99         ret <8 x i8> %tmp3
 100 }
 101
 102 define <4 x i16> @vaddhni32(<4 x i32>* %A, <4 x i32>* %B) nounwind {
 103 ;CHECK: vaddhni32:
 104 ;CHECK: vaddhn.i32
 105         %tmp1 = load <4 x i32>* %A
 106         %tmp2 = load <4 x i32>* %B
 107         %tmp3 = call <4 x i16> @llvm.arm.neon.vaddhn.v4i16(<4 x i32> %tmp1, <4 x i32> %tmp2)
 108         ret <4 x i16> %tmp3
 109 }
 110
 111 define <2 x i32> @vaddhni64(<2 x i64>* %A, <2 x i64>* %B) nounwind {
 112 ;CHECK: vaddhni64:
 113 ;CHECK: vaddhn.i64
 114         %tmp1 = load <2 x i64>* %A
 115         %tmp2 = load <2 x i64>* %B
 116         %tmp3 = call <2 x i32> @llvm.arm.neon.vaddhn.v2i32(<2 x i64> %tmp1, <2 x i64> %tmp2)
 117         ret <2 x i32> %tmp3
 118 }
 119
 120 declare <8 x i8>  @llvm.arm.neon.vaddhn.v8i8(<8 x i16>, <8 x i16>) nounwind readnone
 121 declare <4 x i16> @llvm.arm.neon.vaddhn.v4i16(<4 x i32>, <4 x i32>) nounwind readnone
 122 declare <2 x i32> @llvm.arm.neon.vaddhn.v2i32(<2 x i64>, <2 x i64>) nounwind readnone
 123
 124 define <8 x i8> @vraddhni16(<8 x i16>* %A, <8 x i16>* %B) nounwind {
 125 ;CHECK: vraddhni16:
 126 ;CHECK: vraddhn.i16
 127         %tmp1 = load <8 x i16>* %A
 128         %tmp2 = load <8 x i16>* %B
 129         %tmp3 = call <8 x i8> @llvm.arm.neon.vraddhn.v8i8(<8 x i16> %tmp1, <8 x i16> %tmp2)
 130         ret <8 x i8> %tmp3
 131 }
 132
 133 define <4 x i16> @vraddhni32(<4 x i32>* %A, <4 x i32>* %B) nounwind {
 134 ;CHECK: vraddhni32:
 135 ;CHECK: vraddhn.i32
 136         %tmp1 = load <4 x i32>* %A
 137         %tmp2 = load <4 x i32>* %B
 138         %tmp3 = call <4 x i16> @llvm.arm.neon.vraddhn.v4i16(<4 x i32> %tmp1, <4 x i32> %tmp2)
 139         ret <4 x i16> %tmp3
 140 }
 141
 142 define <2 x i32> @vraddhni64(<2 x i64>* %A, <2 x i64>* %B) nounwind {
 143 ;CHECK: vraddhni64:
 144 ;CHECK: vraddhn.i64
 145         %tmp1 = load <2 x i64>* %A
 146         %tmp2 = load <2 x i64>* %B
 147         %tmp3 = call <2 x i32> @llvm.arm.neon.vraddhn.v2i32(<2 x i64> %tmp1, <2 x i64> %tmp2)
 148         ret <2 x i32> %tmp3
 149 }
 150
 151 declare <8 x i8>  @llvm.arm.neon.vraddhn.v8i8(<8 x i16>, <8 x i16>) nounwind readnone
 152 declare <4 x i16> @llvm.arm.neon.vraddhn.v4i16(<4 x i32>, <4 x i32>) nounwind readnone
 153 declare <2 x i32> @llvm.arm.neon.vraddhn.v2i32(<2 x i64>, <2 x i64>) nounwind readnone
 154
 155 define <8 x i16> @vaddls8(<8 x i8>* %A, <8 x i8>* %B) nounwind {
 156 ;CHECK: vaddls8:
 157 ;CHECK: vaddl.s8
 158         %tmp1 = load <8 x i8>* %A
 159         %tmp2 = load <8 x i8>* %B
 160         %tmp3 = sext <8 x i8> %tmp1 to <8 x i16>
 161         %tmp4 = sext <8 x i8> %tmp2 to <8 x i16>
 162         %tmp5 = add <8 x i16> %tmp3, %tmp4
 163         ret <8 x i16> %tmp5
 164 }
 165
 166 define <4 x i32> @vaddls16(<4 x i16>* %A, <4 x i16>* %B) nounwind {
 167 ;CHECK: vaddls16:
 168 ;CHECK: vaddl.s16
 169         %tmp1 = load <4 x i16>* %A
 170         %tmp2 = load <4 x i16>* %B
 171         %tmp3 = sext <4 x i16> %tmp1 to <4 x i32>
 172         %tmp4 = sext <4 x i16> %tmp2 to <4 x i32>
 173         %tmp5 = add <4 x i32> %tmp3, %tmp4
 174         ret <4 x i32> %tmp5
 175 }
 176
 177 define <2 x i64> @vaddls32(<2 x i32>* %A, <2 x i32>* %B) nounwind {
 178 ;CHECK: vaddls32:
 179 ;CHECK: vaddl.s32
 180         %tmp1 = load <2 x i32>* %A
 181         %tmp2 = load <2 x i32>* %B
 182         %tmp3 = sext <2 x i32> %tmp1 to <2 x i64>
 183         %tmp4 = sext <2 x i32> %tmp2 to <2 x i64>
 184         %tmp5 = add <2 x i64> %tmp3, %tmp4
 185         ret <2 x i64> %tmp5
 186 }
 187
 188 define <8 x i16> @vaddls8_intrinsic(<8 x i8>* %A, <8 x i8>* %B) nounwind {
 189 ;CHECK: vaddls8_intrinsic:
 190 ;CHECK: vaddl.s8
 191         %tmp1 = load <8 x i8>* %A
 192         %tmp2 = load <8 x i8>* %B
 193         %tmp3 = call <8 x i16> @llvm.arm.neon.vaddls.v8i16(<8 x i8> %tmp1, <8 x i8> %tmp2)
 194         ret <8 x i16> %tmp3
 195 }
 196
 197 define <4 x i32> @vaddls16_intrinsic(<4 x i16>* %A, <4 x i16>* %B) nounwind {
 198 ;CHECK: vaddls16_intrinsic:
 199 ;CHECK: vaddl.s16
 200         %tmp1 = load <4 x i16>* %A
 201         %tmp2 = load <4 x i16>* %B
 202         %tmp3 = call <4 x i32> @llvm.arm.neon.vaddls.v4i32(<4 x i16> %tmp1, <4 x i16> %tmp2)
 203         ret <4 x i32> %tmp3
 204 }
 205
 206 define <2 x i64> @vaddls32_intrinsic(<2 x i32>* %A, <2 x i32>* %B) nounwind {
 207 ;CHECK: vaddls32_intrinsic:
 208 ;CHECK: vaddl.s32
 209         %tmp1 = load <2 x i32>* %A
 210         %tmp2 = load <2 x i32>* %B
 211         %tmp3 = call <2 x i64> @llvm.arm.neon.vaddls.v2i64(<2 x i32> %tmp1, <2 x i32> %tmp2)
 212         ret <2 x i64> %tmp3
 213 }
 214
 215 declare <8 x i16> @llvm.arm.neon.vaddls.v8i16(<8 x i8>, <8 x i8>) nounwind readnone
 216 declare <4 x i32> @llvm.arm.neon.vaddls.v4i32(<4 x i16>, <4 x i16>) nounwind readnone
 217 declare <2 x i64> @llvm.arm.neon.vaddls.v2i64(<2 x i32>, <2 x i32>) nounwind readnone
 218
 219
 220 define <8 x i16> @vaddlu8(<8 x i8>* %A, <8 x i8>* %B) nounwind {
 221 ;CHECK: vaddlu8:
 222 ;CHECK: vaddl.u8
 223         %tmp1 = load <8 x i8>* %A
 224         %tmp2 = load <8 x i8>* %B
 225         %tmp3 = zext <8 x i8> %tmp1 to <8 x i16>
 226         %tmp4 = zext <8 x i8> %tmp2 to <8 x i16>
 227         %tmp5 = add <8 x i16> %tmp3, %tmp4
 228         ret <8 x i16> %tmp5
 229 }
 230
 231 define <4 x i32> @vaddlu16(<4 x i16>* %A, <4 x i16>* %B) nounwind {
 232 ;CHECK: vaddlu16:
 233 ;CHECK: vaddl.u16
 234         %tmp1 = load <4 x i16>* %A
 235         %tmp2 = load <4 x i16>* %B
 236         %tmp3 = zext <4 x i16> %tmp1 to <4 x i32>
 237         %tmp4 = zext <4 x i16> %tmp2 to <4 x i32>
 238         %tmp5 = add <4 x i32> %tmp3, %tmp4
 239         ret <4 x i32> %tmp5
 240 }
 241
 242 define <2 x i64> @vaddlu32(<2 x i32>* %A, <2 x i32>* %B) nounwind {
 243 ;CHECK: vaddlu32:
 244 ;CHECK: vaddl.u32
 245         %tmp1 = load <2 x i32>* %A
 246         %tmp2 = load <2 x i32>* %B
 247         %tmp3 = zext <2 x i32> %tmp1 to <2 x i64>
 248         %tmp4 = zext <2 x i32> %tmp2 to <2 x i64>
 249         %tmp5 = add <2 x i64> %tmp3, %tmp4
 250         ret <2 x i64> %tmp5
 251 }
 252
 253 define <8 x i16> @vaddlu8_intrinsic(<8 x i8>* %A, <8 x i8>* %B) nounwind {
 254 ;CHECK: vaddlu8_intrinsic:
 255 ;CHECK: vaddl.u8
 256         %tmp1 = load <8 x i8>* %A
 257         %tmp2 = load <8 x i8>* %B
 258         %tmp3 = call <8 x i16> @llvm.arm.neon.vaddlu.v8i16(<8 x i8> %tmp1, <8 x i8> %tmp2)
 259         ret <8 x i16> %tmp3
 260 }
 261
 262 define <4 x i32> @vaddlu16_intrinsic(<4 x i16>* %A, <4 x i16>* %B) nounwind {
 263 ;CHECK: vaddlu16_intrinsic:
 264 ;CHECK: vaddl.u16
 265         %tmp1 = load <4 x i16>* %A
 266         %tmp2 = load <4 x i16>* %B
 267         %tmp3 = call <4 x i32> @llvm.arm.neon.vaddlu.v4i32(<4 x i16> %tmp1, <4 x i16> %tmp2)
 268         ret <4 x i32> %tmp3
 269 }
 270
 271 define <2 x i64> @vaddlu32_intrinsic(<2 x i32>* %A, <2 x i32>* %B) nounwind {
 272 ;CHECK: vaddlu32_intrinsic:
 273 ;CHECK: vaddl.u32
 274         %tmp1 = load <2 x i32>* %A
 275         %tmp2 = load <2 x i32>* %B
 276         %tmp3 = call <2 x i64> @llvm.arm.neon.vaddlu.v2i64(<2 x i32> %tmp1, <2 x i32> %tmp2)
 277         ret <2 x i64> %tmp3
 278 }
 279
 280 declare <8 x i16> @llvm.arm.neon.vaddlu.v8i16(<8 x i8>, <8 x i8>) nounwind readnone
 281 declare <4 x i32> @llvm.arm.neon.vaddlu.v4i32(<4 x i16>, <4 x i16>) nounwind readnone
 282 declare <2 x i64> @llvm.arm.neon.vaddlu.v2i64(<2 x i32>, <2 x i32>) nounwind readnone
 283
 284
 285 define <8 x i16> @vaddws8(<8 x i16>* %A, <8 x i8>* %B) nounwind {
 286 ;CHECK: vaddws8:
 287 ;CHECK: vaddw.s8
 288         %tmp1 = load <8 x i16>* %A
 289         %tmp2 = load <8 x i8>* %B
 290         %tmp3 = sext <8 x i8> %tmp2 to <8 x i16>
 291         %tmp4 = add <8 x i16> %tmp1, %tmp3
 292         ret <8 x i16> %tmp4
 293 }
 294
 295 define <4 x i32> @vaddws16(<4 x i32>* %A, <4 x i16>* %B) nounwind {
 296 ;CHECK: vaddws16:
 297 ;CHECK: vaddw.s16
 298         %tmp1 = load <4 x i32>* %A
 299         %tmp2 = load <4 x i16>* %B
 300         %tmp3 = sext <4 x i16> %tmp2 to <4 x i32>
 301         %tmp4 = add <4 x i32> %tmp1, %tmp3
 302         ret <4 x i32> %tmp4
 303 }
 304
 305 define <2 x i64> @vaddws32(<2 x i64>* %A, <2 x i32>* %B) nounwind {
 306 ;CHECK: vaddws32:
 307 ;CHECK: vaddw.s32
 308         %tmp1 = load <2 x i64>* %A
 309         %tmp2 = load <2 x i32>* %B
 310         %tmp3 = sext <2 x i32> %tmp2 to <2 x i64>
 311         %tmp4 = add <2 x i64> %tmp1, %tmp3
 312         ret <2 x i64> %tmp4
 313 }
 314
 315 define <8 x i16> @vaddwu8(<8 x i16>* %A, <8 x i8>* %B) nounwind {
 316 ;CHECK: vaddwu8:
 317 ;CHECK: vaddw.u8
 318         %tmp1 = load <8 x i16>* %A
 319         %tmp2 = load <8 x i8>* %B
 320         %tmp3 = zext <8 x i8> %tmp2 to <8 x i16>
 321         %tmp4 = add <8 x i16> %tmp1, %tmp3
 322         ret <8 x i16> %tmp4
 323 }
 324
 325 define <4 x i32> @vaddwu16(<4 x i32>* %A, <4 x i16>* %B) nounwind {
 326 ;CHECK: vaddwu16:
 327 ;CHECK: vaddw.u16
 328         %tmp1 = load <4 x i32>* %A
 329         %tmp2 = load <4 x i16>* %B
 330         %tmp3 = zext <4 x i16> %tmp2 to <4 x i32>
 331         %tmp4 = add <4 x i32> %tmp1, %tmp3
 332         ret <4 x i32> %tmp4
 333 }
 334
 335 define <2 x i64> @vaddwu32(<2 x i64>* %A, <2 x i32>* %B) nounwind {
 336 ;CHECK: vaddwu32:
 337 ;CHECK: vaddw.u32
 338         %tmp1 = load <2 x i64>* %A
 339         %tmp2 = load <2 x i32>* %B
 340         %tmp3 = zext <2 x i32> %tmp2 to <2 x i64>
 341         %tmp4 = add <2 x i64> %tmp1, %tmp3
 342         ret <2 x i64> %tmp4
 343 }