1; RUN: llc < %s -march=arm -mattr=+neon | FileCheck %s 2 3define <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 12define <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 21define <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 30define <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 39define <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 48define <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 57define <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 66define <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 75define <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 84define <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 93define <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 102define <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 111define <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 120declare <8 x i8> @llvm.arm.neon.vaddhn.v8i8(<8 x i16>, <8 x i16>) nounwind readnone 121declare <4 x i16> @llvm.arm.neon.vaddhn.v4i16(<4 x i32>, <4 x i32>) nounwind readnone 122declare <2 x i32> @llvm.arm.neon.vaddhn.v2i32(<2 x i64>, <2 x i64>) nounwind readnone 123 124define <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 133define <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 142define <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 151declare <8 x i8> @llvm.arm.neon.vraddhn.v8i8(<8 x i16>, <8 x i16>) nounwind readnone 152declare <4 x i16> @llvm.arm.neon.vraddhn.v4i16(<4 x i32>, <4 x i32>) nounwind readnone 153declare <2 x i32> @llvm.arm.neon.vraddhn.v2i32(<2 x i64>, <2 x i64>) nounwind readnone 154 155define <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 166define <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 177define <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 188define <8 x i16> @vaddlu8(<8 x i8>* %A, <8 x i8>* %B) nounwind { 189;CHECK: vaddlu8: 190;CHECK: vaddl.u8 191 %tmp1 = load <8 x i8>* %A 192 %tmp2 = load <8 x i8>* %B 193 %tmp3 = zext <8 x i8> %tmp1 to <8 x i16> 194 %tmp4 = zext <8 x i8> %tmp2 to <8 x i16> 195 %tmp5 = add <8 x i16> %tmp3, %tmp4 196 ret <8 x i16> %tmp5 197} 198 199define <4 x i32> @vaddlu16(<4 x i16>* %A, <4 x i16>* %B) nounwind { 200;CHECK: vaddlu16: 201;CHECK: vaddl.u16 202 %tmp1 = load <4 x i16>* %A 203 %tmp2 = load <4 x i16>* %B 204 %tmp3 = zext <4 x i16> %tmp1 to <4 x i32> 205 %tmp4 = zext <4 x i16> %tmp2 to <4 x i32> 206 %tmp5 = add <4 x i32> %tmp3, %tmp4 207 ret <4 x i32> %tmp5 208} 209 210define <2 x i64> @vaddlu32(<2 x i32>* %A, <2 x i32>* %B) nounwind { 211;CHECK: vaddlu32: 212;CHECK: vaddl.u32 213 %tmp1 = load <2 x i32>* %A 214 %tmp2 = load <2 x i32>* %B 215 %tmp3 = zext <2 x i32> %tmp1 to <2 x i64> 216 %tmp4 = zext <2 x i32> %tmp2 to <2 x i64> 217 %tmp5 = add <2 x i64> %tmp3, %tmp4 218 ret <2 x i64> %tmp5 219} 220 221define <8 x i16> @vaddws8(<8 x i16>* %A, <8 x i8>* %B) nounwind { 222;CHECK: vaddws8: 223;CHECK: vaddw.s8 224 %tmp1 = load <8 x i16>* %A 225 %tmp2 = load <8 x i8>* %B 226 %tmp3 = sext <8 x i8> %tmp2 to <8 x i16> 227 %tmp4 = add <8 x i16> %tmp1, %tmp3 228 ret <8 x i16> %tmp4 229} 230 231define <4 x i32> @vaddws16(<4 x i32>* %A, <4 x i16>* %B) nounwind { 232;CHECK: vaddws16: 233;CHECK: vaddw.s16 234 %tmp1 = load <4 x i32>* %A 235 %tmp2 = load <4 x i16>* %B 236 %tmp3 = sext <4 x i16> %tmp2 to <4 x i32> 237 %tmp4 = add <4 x i32> %tmp1, %tmp3 238 ret <4 x i32> %tmp4 239} 240 241define <2 x i64> @vaddws32(<2 x i64>* %A, <2 x i32>* %B) nounwind { 242;CHECK: vaddws32: 243;CHECK: vaddw.s32 244 %tmp1 = load <2 x i64>* %A 245 %tmp2 = load <2 x i32>* %B 246 %tmp3 = sext <2 x i32> %tmp2 to <2 x i64> 247 %tmp4 = add <2 x i64> %tmp1, %tmp3 248 ret <2 x i64> %tmp4 249} 250 251define <8 x i16> @vaddwu8(<8 x i16>* %A, <8 x i8>* %B) nounwind { 252;CHECK: vaddwu8: 253;CHECK: vaddw.u8 254 %tmp1 = load <8 x i16>* %A 255 %tmp2 = load <8 x i8>* %B 256 %tmp3 = zext <8 x i8> %tmp2 to <8 x i16> 257 %tmp4 = add <8 x i16> %tmp1, %tmp3 258 ret <8 x i16> %tmp4 259} 260 261define <4 x i32> @vaddwu16(<4 x i32>* %A, <4 x i16>* %B) nounwind { 262;CHECK: vaddwu16: 263;CHECK: vaddw.u16 264 %tmp1 = load <4 x i32>* %A 265 %tmp2 = load <4 x i16>* %B 266 %tmp3 = zext <4 x i16> %tmp2 to <4 x i32> 267 %tmp4 = add <4 x i32> %tmp1, %tmp3 268 ret <4 x i32> %tmp4 269} 270 271define <2 x i64> @vaddwu32(<2 x i64>* %A, <2 x i32>* %B) nounwind { 272;CHECK: vaddwu32: 273;CHECK: vaddw.u32 274 %tmp1 = load <2 x i64>* %A 275 %tmp2 = load <2 x i32>* %B 276 %tmp3 = zext <2 x i32> %tmp2 to <2 x i64> 277 %tmp4 = add <2 x i64> %tmp1, %tmp3 278 ret <2 x i64> %tmp4 279} 280