llvm/test/CodeGen/AArch64/faddsub.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: llc -mtriple=aarch64-none-eabi -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-SD,CHECK-SD-NOFP16
   3 ; RUN: llc -mtriple=aarch64-none-eabi -mattr=+fullfp16 -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-SD,CHECK-SD-FP16
   4 ; RUN: llc -mtriple=aarch64-none-eabi -global-isel -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-GI,CHECK-GI-NOFP16
   5 ; RUN: llc -mtriple=aarch64-none-eabi -mattr=+fullfp16 -global-isel -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,CHECK-GI,CHECK-GI-FP16
   6
   7 define double @fadd_f64(double %a, double %b) {
   8 ; CHECK-LABEL: fadd_f64:
   9 ; CHECK:       // %bb.0: // %entry
  10 ; CHECK-NEXT:    fadd d0, d0, d1
  11 ; CHECK-NEXT:    ret
  12 entry:
  13   %c = fadd double %a, %b
  14   ret double %c
  15 }
  16
  17 define float @fadd_f32(float %a, float %b) {
  18 ; CHECK-LABEL: fadd_f32:
  19 ; CHECK:       // %bb.0: // %entry
  20 ; CHECK-NEXT:    fadd s0, s0, s1
  21 ; CHECK-NEXT:    ret
  22 entry:
  23   %c = fadd float %a, %b
  24   ret float %c
  25 }
  26
  27 define half @fadd_f16(half %a, half %b) {
  28 ; CHECK-SD-NOFP16-LABEL: fadd_f16:
  29 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
  30 ; CHECK-SD-NOFP16-NEXT:    fcvt s1, h1
  31 ; CHECK-SD-NOFP16-NEXT:    fcvt s0, h0
  32 ; CHECK-SD-NOFP16-NEXT:    fadd s0, s0, s1
  33 ; CHECK-SD-NOFP16-NEXT:    fcvt h0, s0
  34 ; CHECK-SD-NOFP16-NEXT:    ret
  35 ;
  36 ; CHECK-SD-FP16-LABEL: fadd_f16:
  37 ; CHECK-SD-FP16:       // %bb.0: // %entry
  38 ; CHECK-SD-FP16-NEXT:    fadd h0, h0, h1
  39 ; CHECK-SD-FP16-NEXT:    ret
  40 ;
  41 ; CHECK-GI-NOFP16-LABEL: fadd_f16:
  42 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
  43 ; CHECK-GI-NOFP16-NEXT:    fcvt s0, h0
  44 ; CHECK-GI-NOFP16-NEXT:    fcvt s1, h1
  45 ; CHECK-GI-NOFP16-NEXT:    fadd s0, s0, s1
  46 ; CHECK-GI-NOFP16-NEXT:    fcvt h0, s0
  47 ; CHECK-GI-NOFP16-NEXT:    ret
  48 ;
  49 ; CHECK-GI-FP16-LABEL: fadd_f16:
  50 ; CHECK-GI-FP16:       // %bb.0: // %entry
  51 ; CHECK-GI-FP16-NEXT:    fadd h0, h0, h1
  52 ; CHECK-GI-FP16-NEXT:    ret
  53 entry:
  54   %c = fadd half %a, %b
  55   ret half %c
  56 }
  57
  58 define <2 x double> @fadd_v2f64(<2 x double> %a, <2 x double> %b) {
  59 ; CHECK-LABEL: fadd_v2f64:
  60 ; CHECK:       // %bb.0: // %entry
  61 ; CHECK-NEXT:    fadd v0.2d, v0.2d, v1.2d
  62 ; CHECK-NEXT:    ret
  63 entry:
  64   %c = fadd <2 x double> %a, %b
  65   ret <2 x double> %c
  66 }
  67
  68 define <3 x double> @fadd_v3f64(<3 x double> %a, <3 x double> %b) {
  69 ; CHECK-SD-LABEL: fadd_v3f64:
  70 ; CHECK-SD:       // %bb.0: // %entry
  71 ; CHECK-SD-NEXT:    // kill: def $d3 killed $d3 def $q3
  72 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
  73 ; CHECK-SD-NEXT:    // kill: def $d4 killed $d4 def $q4
  74 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 def $q1
  75 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 def $q2
  76 ; CHECK-SD-NEXT:    // kill: def $d5 killed $d5 def $q5
  77 ; CHECK-SD-NEXT:    mov v3.d[1], v4.d[0]
  78 ; CHECK-SD-NEXT:    mov v0.d[1], v1.d[0]
  79 ; CHECK-SD-NEXT:    fadd v2.2d, v2.2d, v5.2d
  80 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 killed $q2
  81 ; CHECK-SD-NEXT:    fadd v0.2d, v0.2d, v3.2d
  82 ; CHECK-SD-NEXT:    ext v1.16b, v0.16b, v0.16b, #8
  83 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
  84 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 killed $q1
  85 ; CHECK-SD-NEXT:    ret
  86 ;
  87 ; CHECK-GI-LABEL: fadd_v3f64:
  88 ; CHECK-GI:       // %bb.0: // %entry
  89 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 def $q0
  90 ; CHECK-GI-NEXT:    // kill: def $d3 killed $d3 def $q3
  91 ; CHECK-GI-NEXT:    // kill: def $d1 killed $d1 def $q1
  92 ; CHECK-GI-NEXT:    // kill: def $d4 killed $d4 def $q4
  93 ; CHECK-GI-NEXT:    fadd d2, d2, d5
  94 ; CHECK-GI-NEXT:    mov v0.d[1], v1.d[0]
  95 ; CHECK-GI-NEXT:    mov v3.d[1], v4.d[0]
  96 ; CHECK-GI-NEXT:    fadd v0.2d, v0.2d, v3.2d
  97 ; CHECK-GI-NEXT:    mov d1, v0.d[1]
  98 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 killed $q0
  99 ; CHECK-GI-NEXT:    ret
 100 entry:
 101   %c = fadd <3 x double> %a, %b
 102   ret <3 x double> %c
 103 }
 104
 105 define <4 x double> @fadd_v4f64(<4 x double> %a, <4 x double> %b) {
 106 ; CHECK-SD-LABEL: fadd_v4f64:
 107 ; CHECK-SD:       // %bb.0: // %entry
 108 ; CHECK-SD-NEXT:    fadd v1.2d, v1.2d, v3.2d
 109 ; CHECK-SD-NEXT:    fadd v0.2d, v0.2d, v2.2d
 110 ; CHECK-SD-NEXT:    ret
 111 ;
 112 ; CHECK-GI-LABEL: fadd_v4f64:
 113 ; CHECK-GI:       // %bb.0: // %entry
 114 ; CHECK-GI-NEXT:    fadd v0.2d, v0.2d, v2.2d
 115 ; CHECK-GI-NEXT:    fadd v1.2d, v1.2d, v3.2d
 116 ; CHECK-GI-NEXT:    ret
 117 entry:
 118   %c = fadd <4 x double> %a, %b
 119   ret <4 x double> %c
 120 }
 121
 122 define <2 x float> @fadd_v2f32(<2 x float> %a, <2 x float> %b) {
 123 ; CHECK-LABEL: fadd_v2f32:
 124 ; CHECK:       // %bb.0: // %entry
 125 ; CHECK-NEXT:    fadd v0.2s, v0.2s, v1.2s
 126 ; CHECK-NEXT:    ret
 127 entry:
 128   %c = fadd <2 x float> %a, %b
 129   ret <2 x float> %c
 130 }
 131
 132 define <3 x float> @fadd_v3f32(<3 x float> %a, <3 x float> %b) {
 133 ; CHECK-LABEL: fadd_v3f32:
 134 ; CHECK:       // %bb.0: // %entry
 135 ; CHECK-NEXT:    fadd v0.4s, v0.4s, v1.4s
 136 ; CHECK-NEXT:    ret
 137 entry:
 138   %c = fadd <3 x float> %a, %b
 139   ret <3 x float> %c
 140 }
 141
 142 define <4 x float> @fadd_v4f32(<4 x float> %a, <4 x float> %b) {
 143 ; CHECK-LABEL: fadd_v4f32:
 144 ; CHECK:       // %bb.0: // %entry
 145 ; CHECK-NEXT:    fadd v0.4s, v0.4s, v1.4s
 146 ; CHECK-NEXT:    ret
 147 entry:
 148   %c = fadd <4 x float> %a, %b
 149   ret <4 x float> %c
 150 }
 151
 152 define <8 x float> @fadd_v8f32(<8 x float> %a, <8 x float> %b) {
 153 ; CHECK-SD-LABEL: fadd_v8f32:
 154 ; CHECK-SD:       // %bb.0: // %entry
 155 ; CHECK-SD-NEXT:    fadd v1.4s, v1.4s, v3.4s
 156 ; CHECK-SD-NEXT:    fadd v0.4s, v0.4s, v2.4s
 157 ; CHECK-SD-NEXT:    ret
 158 ;
 159 ; CHECK-GI-LABEL: fadd_v8f32:
 160 ; CHECK-GI:       // %bb.0: // %entry
 161 ; CHECK-GI-NEXT:    fadd v0.4s, v0.4s, v2.4s
 162 ; CHECK-GI-NEXT:    fadd v1.4s, v1.4s, v3.4s
 163 ; CHECK-GI-NEXT:    ret
 164 entry:
 165   %c = fadd <8 x float> %a, %b
 166   ret <8 x float> %c
 167 }
 168
 169 define <7 x half> @fadd_v7f16(<7 x half> %a, <7 x half> %b) {
 170 ; CHECK-SD-NOFP16-LABEL: fadd_v7f16:
 171 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 172 ; CHECK-SD-NOFP16-NEXT:    mov h2, v1.h[1]
 173 ; CHECK-SD-NOFP16-NEXT:    mov h3, v0.h[1]
 174 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h1
 175 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h0
 176 ; CHECK-SD-NOFP16-NEXT:    mov h6, v1.h[2]
 177 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[2]
 178 ; CHECK-SD-NOFP16-NEXT:    mov h16, v1.h[3]
 179 ; CHECK-SD-NOFP16-NEXT:    fcvt s2, h2
 180 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h3
 181 ; CHECK-SD-NOFP16-NEXT:    fadd s4, s5, s4
 182 ; CHECK-SD-NOFP16-NEXT:    mov h5, v0.h[3]
 183 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h6
 184 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 185 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h16
 186 ; CHECK-SD-NOFP16-NEXT:    fadd s3, s3, s2
 187 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h5
 188 ; CHECK-SD-NOFP16-NEXT:    fcvt h2, s4
 189 ; CHECK-SD-NOFP16-NEXT:    fadd s4, s7, s6
 190 ; CHECK-SD-NOFP16-NEXT:    mov h6, v1.h[4]
 191 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[4]
 192 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s3
 193 ; CHECK-SD-NOFP16-NEXT:    fadd s5, s5, s16
 194 ; CHECK-SD-NOFP16-NEXT:    mov h16, v0.h[5]
 195 ; CHECK-SD-NOFP16-NEXT:    fcvt h4, s4
 196 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[1], v3.h[0]
 197 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h6
 198 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h7
 199 ; CHECK-SD-NOFP16-NEXT:    mov h7, v1.h[5]
 200 ; CHECK-SD-NOFP16-NEXT:    fcvt h5, s5
 201 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h16
 202 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[2], v4.h[0]
 203 ; CHECK-SD-NOFP16-NEXT:    mov h4, v1.h[6]
 204 ; CHECK-SD-NOFP16-NEXT:    fadd s3, s6, s3
 205 ; CHECK-SD-NOFP16-NEXT:    mov h6, v0.h[6]
 206 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 207 ; CHECK-SD-NOFP16-NEXT:    mov h1, v1.h[7]
 208 ; CHECK-SD-NOFP16-NEXT:    mov h0, v0.h[7]
 209 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[3], v5.h[0]
 210 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h4
 211 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s3
 212 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h6
 213 ; CHECK-SD-NOFP16-NEXT:    fadd s6, s16, s7
 214 ; CHECK-SD-NOFP16-NEXT:    fcvt s1, h1
 215 ; CHECK-SD-NOFP16-NEXT:    fcvt s0, h0
 216 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[4], v3.h[0]
 217 ; CHECK-SD-NOFP16-NEXT:    fadd s4, s5, s4
 218 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s6
 219 ; CHECK-SD-NOFP16-NEXT:    fadd s0, s0, s1
 220 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[5], v3.h[0]
 221 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s4
 222 ; CHECK-SD-NOFP16-NEXT:    fcvt h0, s0
 223 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[6], v3.h[0]
 224 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[7], v0.h[0]
 225 ; CHECK-SD-NOFP16-NEXT:    mov v0.16b, v2.16b
 226 ; CHECK-SD-NOFP16-NEXT:    ret
 227 ;
 228 ; CHECK-SD-FP16-LABEL: fadd_v7f16:
 229 ; CHECK-SD-FP16:       // %bb.0: // %entry
 230 ; CHECK-SD-FP16-NEXT:    fadd v0.8h, v0.8h, v1.8h
 231 ; CHECK-SD-FP16-NEXT:    ret
 232 ;
 233 ; CHECK-GI-NOFP16-LABEL: fadd_v7f16:
 234 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
 235 ; CHECK-GI-NOFP16-NEXT:    mov h2, v0.h[4]
 236 ; CHECK-GI-NOFP16-NEXT:    mov h3, v0.h[5]
 237 ; CHECK-GI-NOFP16-NEXT:    mov h4, v1.h[4]
 238 ; CHECK-GI-NOFP16-NEXT:    mov h5, v1.h[5]
 239 ; CHECK-GI-NOFP16-NEXT:    fcvtl v6.4s, v0.4h
 240 ; CHECK-GI-NOFP16-NEXT:    fcvtl v7.4s, v1.4h
 241 ; CHECK-GI-NOFP16-NEXT:    mov h0, v0.h[6]
 242 ; CHECK-GI-NOFP16-NEXT:    mov h1, v1.h[6]
 243 ; CHECK-GI-NOFP16-NEXT:    mov v2.h[1], v3.h[0]
 244 ; CHECK-GI-NOFP16-NEXT:    mov v4.h[1], v5.h[0]
 245 ; CHECK-GI-NOFP16-NEXT:    fadd v3.4s, v6.4s, v7.4s
 246 ; CHECK-GI-NOFP16-NEXT:    mov v2.h[2], v0.h[0]
 247 ; CHECK-GI-NOFP16-NEXT:    mov v4.h[2], v1.h[0]
 248 ; CHECK-GI-NOFP16-NEXT:    fcvtn v0.4h, v3.4s
 249 ; CHECK-GI-NOFP16-NEXT:    mov v2.h[3], v0.h[0]
 250 ; CHECK-GI-NOFP16-NEXT:    mov v4.h[3], v0.h[0]
 251 ; CHECK-GI-NOFP16-NEXT:    mov h1, v0.h[1]
 252 ; CHECK-GI-NOFP16-NEXT:    mov h5, v0.h[3]
 253 ; CHECK-GI-NOFP16-NEXT:    fcvtl v2.4s, v2.4h
 254 ; CHECK-GI-NOFP16-NEXT:    fcvtl v3.4s, v4.4h
 255 ; CHECK-GI-NOFP16-NEXT:    mov h4, v0.h[2]
 256 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[1], v1.h[0]
 257 ; CHECK-GI-NOFP16-NEXT:    fadd v1.4s, v2.4s, v3.4s
 258 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[2], v4.h[0]
 259 ; CHECK-GI-NOFP16-NEXT:    fcvtn v1.4h, v1.4s
 260 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[3], v5.h[0]
 261 ; CHECK-GI-NOFP16-NEXT:    mov h2, v1.h[1]
 262 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[4], v1.h[0]
 263 ; CHECK-GI-NOFP16-NEXT:    mov h1, v1.h[2]
 264 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[5], v2.h[0]
 265 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[6], v1.h[0]
 266 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[7], v0.h[0]
 267 ; CHECK-GI-NOFP16-NEXT:    ret
 268 ;
 269 ; CHECK-GI-FP16-LABEL: fadd_v7f16:
 270 ; CHECK-GI-FP16:       // %bb.0: // %entry
 271 ; CHECK-GI-FP16-NEXT:    fadd v0.8h, v0.8h, v1.8h
 272 ; CHECK-GI-FP16-NEXT:    ret
 273 entry:
 274   %c = fadd <7 x half> %a, %b
 275   ret <7 x half> %c
 276 }
 277
 278 define <4 x half> @fadd_v4f16(<4 x half> %a, <4 x half> %b) {
 279 ; CHECK-SD-NOFP16-LABEL: fadd_v4f16:
 280 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 281 ; CHECK-SD-NOFP16-NEXT:    fcvtl v1.4s, v1.4h
 282 ; CHECK-SD-NOFP16-NEXT:    fcvtl v0.4s, v0.4h
 283 ; CHECK-SD-NOFP16-NEXT:    fadd v0.4s, v0.4s, v1.4s
 284 ; CHECK-SD-NOFP16-NEXT:    fcvtn v0.4h, v0.4s
 285 ; CHECK-SD-NOFP16-NEXT:    ret
 286 ;
 287 ; CHECK-SD-FP16-LABEL: fadd_v4f16:
 288 ; CHECK-SD-FP16:       // %bb.0: // %entry
 289 ; CHECK-SD-FP16-NEXT:    fadd v0.4h, v0.4h, v1.4h
 290 ; CHECK-SD-FP16-NEXT:    ret
 291 ;
 292 ; CHECK-GI-NOFP16-LABEL: fadd_v4f16:
 293 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
 294 ; CHECK-GI-NOFP16-NEXT:    fcvtl v0.4s, v0.4h
 295 ; CHECK-GI-NOFP16-NEXT:    fcvtl v1.4s, v1.4h
 296 ; CHECK-GI-NOFP16-NEXT:    fadd v0.4s, v0.4s, v1.4s
 297 ; CHECK-GI-NOFP16-NEXT:    fcvtn v0.4h, v0.4s
 298 ; CHECK-GI-NOFP16-NEXT:    ret
 299 ;
 300 ; CHECK-GI-FP16-LABEL: fadd_v4f16:
 301 ; CHECK-GI-FP16:       // %bb.0: // %entry
 302 ; CHECK-GI-FP16-NEXT:    fadd v0.4h, v0.4h, v1.4h
 303 ; CHECK-GI-FP16-NEXT:    ret
 304 entry:
 305   %c = fadd <4 x half> %a, %b
 306   ret <4 x half> %c
 307 }
 308
 309 define <8 x half> @fadd_v8f16(<8 x half> %a, <8 x half> %b) {
 310 ; CHECK-SD-NOFP16-LABEL: fadd_v8f16:
 311 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 312 ; CHECK-SD-NOFP16-NEXT:    mov h2, v1.h[1]
 313 ; CHECK-SD-NOFP16-NEXT:    mov h3, v0.h[1]
 314 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h1
 315 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h0
 316 ; CHECK-SD-NOFP16-NEXT:    mov h6, v1.h[2]
 317 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[2]
 318 ; CHECK-SD-NOFP16-NEXT:    mov h16, v1.h[3]
 319 ; CHECK-SD-NOFP16-NEXT:    fcvt s2, h2
 320 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h3
 321 ; CHECK-SD-NOFP16-NEXT:    fadd s4, s5, s4
 322 ; CHECK-SD-NOFP16-NEXT:    mov h5, v0.h[3]
 323 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h6
 324 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 325 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h16
 326 ; CHECK-SD-NOFP16-NEXT:    fadd s3, s3, s2
 327 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h5
 328 ; CHECK-SD-NOFP16-NEXT:    fcvt h2, s4
 329 ; CHECK-SD-NOFP16-NEXT:    fadd s4, s7, s6
 330 ; CHECK-SD-NOFP16-NEXT:    mov h6, v1.h[4]
 331 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[4]
 332 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s3
 333 ; CHECK-SD-NOFP16-NEXT:    fadd s5, s5, s16
 334 ; CHECK-SD-NOFP16-NEXT:    mov h16, v0.h[5]
 335 ; CHECK-SD-NOFP16-NEXT:    fcvt h4, s4
 336 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[1], v3.h[0]
 337 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h6
 338 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h7
 339 ; CHECK-SD-NOFP16-NEXT:    mov h7, v1.h[5]
 340 ; CHECK-SD-NOFP16-NEXT:    fcvt h5, s5
 341 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h16
 342 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[2], v4.h[0]
 343 ; CHECK-SD-NOFP16-NEXT:    mov h4, v1.h[6]
 344 ; CHECK-SD-NOFP16-NEXT:    fadd s3, s6, s3
 345 ; CHECK-SD-NOFP16-NEXT:    mov h6, v0.h[6]
 346 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 347 ; CHECK-SD-NOFP16-NEXT:    mov h1, v1.h[7]
 348 ; CHECK-SD-NOFP16-NEXT:    mov h0, v0.h[7]
 349 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[3], v5.h[0]
 350 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h4
 351 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s3
 352 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h6
 353 ; CHECK-SD-NOFP16-NEXT:    fadd s6, s16, s7
 354 ; CHECK-SD-NOFP16-NEXT:    fcvt s1, h1
 355 ; CHECK-SD-NOFP16-NEXT:    fcvt s0, h0
 356 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[4], v3.h[0]
 357 ; CHECK-SD-NOFP16-NEXT:    fadd s4, s5, s4
 358 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s6
 359 ; CHECK-SD-NOFP16-NEXT:    fadd s0, s0, s1
 360 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[5], v3.h[0]
 361 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s4
 362 ; CHECK-SD-NOFP16-NEXT:    fcvt h0, s0
 363 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[6], v3.h[0]
 364 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[7], v0.h[0]
 365 ; CHECK-SD-NOFP16-NEXT:    mov v0.16b, v2.16b
 366 ; CHECK-SD-NOFP16-NEXT:    ret
 367 ;
 368 ; CHECK-SD-FP16-LABEL: fadd_v8f16:
 369 ; CHECK-SD-FP16:       // %bb.0: // %entry
 370 ; CHECK-SD-FP16-NEXT:    fadd v0.8h, v0.8h, v1.8h
 371 ; CHECK-SD-FP16-NEXT:    ret
 372 ;
 373 ; CHECK-GI-NOFP16-LABEL: fadd_v8f16:
 374 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
 375 ; CHECK-GI-NOFP16-NEXT:    fcvtl v2.4s, v0.4h
 376 ; CHECK-GI-NOFP16-NEXT:    fcvtl v3.4s, v1.4h
 377 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v0.4s, v0.8h
 378 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v1.4s, v1.8h
 379 ; CHECK-GI-NOFP16-NEXT:    fadd v2.4s, v2.4s, v3.4s
 380 ; CHECK-GI-NOFP16-NEXT:    fadd v1.4s, v0.4s, v1.4s
 381 ; CHECK-GI-NOFP16-NEXT:    fcvtn v0.4h, v2.4s
 382 ; CHECK-GI-NOFP16-NEXT:    fcvtn2 v0.8h, v1.4s
 383 ; CHECK-GI-NOFP16-NEXT:    ret
 384 ;
 385 ; CHECK-GI-FP16-LABEL: fadd_v8f16:
 386 ; CHECK-GI-FP16:       // %bb.0: // %entry
 387 ; CHECK-GI-FP16-NEXT:    fadd v0.8h, v0.8h, v1.8h
 388 ; CHECK-GI-FP16-NEXT:    ret
 389 entry:
 390   %c = fadd <8 x half> %a, %b
 391   ret <8 x half> %c
 392 }
 393
 394 define <16 x half> @fadd_v16f16(<16 x half> %a, <16 x half> %b) {
 395 ; CHECK-SD-NOFP16-LABEL: fadd_v16f16:
 396 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 397 ; CHECK-SD-NOFP16-NEXT:    mov h6, v2.h[1]
 398 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[1]
 399 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h2
 400 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h0
 401 ; CHECK-SD-NOFP16-NEXT:    mov h16, v3.h[1]
 402 ; CHECK-SD-NOFP16-NEXT:    mov h17, v1.h[1]
 403 ; CHECK-SD-NOFP16-NEXT:    mov h18, v2.h[2]
 404 ; CHECK-SD-NOFP16-NEXT:    mov h19, v0.h[2]
 405 ; CHECK-SD-NOFP16-NEXT:    fcvt s20, h3
 406 ; CHECK-SD-NOFP16-NEXT:    fcvt s21, h1
 407 ; CHECK-SD-NOFP16-NEXT:    mov h22, v3.h[2]
 408 ; CHECK-SD-NOFP16-NEXT:    mov h23, v1.h[2]
 409 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h6
 410 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 411 ; CHECK-SD-NOFP16-NEXT:    mov h24, v0.h[6]
 412 ; CHECK-SD-NOFP16-NEXT:    fadd s4, s5, s4
 413 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h16
 414 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h17
 415 ; CHECK-SD-NOFP16-NEXT:    fcvt s17, h18
 416 ; CHECK-SD-NOFP16-NEXT:    fcvt s18, h19
 417 ; CHECK-SD-NOFP16-NEXT:    mov h19, v0.h[3]
 418 ; CHECK-SD-NOFP16-NEXT:    fadd s20, s21, s20
 419 ; CHECK-SD-NOFP16-NEXT:    fcvt s21, h22
 420 ; CHECK-SD-NOFP16-NEXT:    mov h22, v3.h[3]
 421 ; CHECK-SD-NOFP16-NEXT:    fadd s6, s7, s6
 422 ; CHECK-SD-NOFP16-NEXT:    mov h7, v2.h[3]
 423 ; CHECK-SD-NOFP16-NEXT:    mov h25, v1.h[6]
 424 ; CHECK-SD-NOFP16-NEXT:    fcvt h4, s4
 425 ; CHECK-SD-NOFP16-NEXT:    fadd s5, s16, s5
 426 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h23
 427 ; CHECK-SD-NOFP16-NEXT:    mov h23, v1.h[3]
 428 ; CHECK-SD-NOFP16-NEXT:    fadd s17, s18, s17
 429 ; CHECK-SD-NOFP16-NEXT:    fcvt s18, h19
 430 ; CHECK-SD-NOFP16-NEXT:    fcvt h6, s6
 431 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 432 ; CHECK-SD-NOFP16-NEXT:    fcvt h19, s5
 433 ; CHECK-SD-NOFP16-NEXT:    fcvt h5, s20
 434 ; CHECK-SD-NOFP16-NEXT:    fadd s16, s16, s21
 435 ; CHECK-SD-NOFP16-NEXT:    fcvt s20, h23
 436 ; CHECK-SD-NOFP16-NEXT:    fcvt h17, s17
 437 ; CHECK-SD-NOFP16-NEXT:    mov h21, v2.h[4]
 438 ; CHECK-SD-NOFP16-NEXT:    mov h23, v1.h[4]
 439 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[1], v6.h[0]
 440 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h22
 441 ; CHECK-SD-NOFP16-NEXT:    mov h22, v0.h[4]
 442 ; CHECK-SD-NOFP16-NEXT:    fadd s7, s18, s7
 443 ; CHECK-SD-NOFP16-NEXT:    mov h18, v3.h[4]
 444 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[1], v19.h[0]
 445 ; CHECK-SD-NOFP16-NEXT:    fcvt h16, s16
 446 ; CHECK-SD-NOFP16-NEXT:    fadd s6, s20, s6
 447 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[2], v17.h[0]
 448 ; CHECK-SD-NOFP16-NEXT:    fcvt s17, h21
 449 ; CHECK-SD-NOFP16-NEXT:    fcvt s19, h22
 450 ; CHECK-SD-NOFP16-NEXT:    fcvt h7, s7
 451 ; CHECK-SD-NOFP16-NEXT:    fcvt s18, h18
 452 ; CHECK-SD-NOFP16-NEXT:    fcvt s20, h23
 453 ; CHECK-SD-NOFP16-NEXT:    mov h21, v2.h[5]
 454 ; CHECK-SD-NOFP16-NEXT:    mov h22, v0.h[5]
 455 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[2], v16.h[0]
 456 ; CHECK-SD-NOFP16-NEXT:    mov h16, v3.h[5]
 457 ; CHECK-SD-NOFP16-NEXT:    mov h23, v1.h[5]
 458 ; CHECK-SD-NOFP16-NEXT:    fcvt h6, s6
 459 ; CHECK-SD-NOFP16-NEXT:    mov h0, v0.h[7]
 460 ; CHECK-SD-NOFP16-NEXT:    mov h1, v1.h[7]
 461 ; CHECK-SD-NOFP16-NEXT:    fadd s17, s19, s17
 462 ; CHECK-SD-NOFP16-NEXT:    mov h19, v2.h[6]
 463 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[3], v7.h[0]
 464 ; CHECK-SD-NOFP16-NEXT:    fadd s18, s20, s18
 465 ; CHECK-SD-NOFP16-NEXT:    mov h20, v3.h[6]
 466 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h21
 467 ; CHECK-SD-NOFP16-NEXT:    fcvt s21, h22
 468 ; CHECK-SD-NOFP16-NEXT:    fcvt s22, h24
 469 ; CHECK-SD-NOFP16-NEXT:    mov h2, v2.h[7]
 470 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[3], v6.h[0]
 471 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h16
 472 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h23
 473 ; CHECK-SD-NOFP16-NEXT:    fcvt h17, s17
 474 ; CHECK-SD-NOFP16-NEXT:    fcvt s19, h19
 475 ; CHECK-SD-NOFP16-NEXT:    fcvt s23, h25
 476 ; CHECK-SD-NOFP16-NEXT:    fcvt h18, s18
 477 ; CHECK-SD-NOFP16-NEXT:    fcvt s20, h20
 478 ; CHECK-SD-NOFP16-NEXT:    mov h3, v3.h[7]
 479 ; CHECK-SD-NOFP16-NEXT:    fadd s7, s21, s7
 480 ; CHECK-SD-NOFP16-NEXT:    fcvt s2, h2
 481 ; CHECK-SD-NOFP16-NEXT:    fcvt s0, h0
 482 ; CHECK-SD-NOFP16-NEXT:    fadd s6, s16, s6
 483 ; CHECK-SD-NOFP16-NEXT:    fcvt s1, h1
 484 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[4], v17.h[0]
 485 ; CHECK-SD-NOFP16-NEXT:    fadd s16, s22, s19
 486 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[4], v18.h[0]
 487 ; CHECK-SD-NOFP16-NEXT:    fadd s17, s23, s20
 488 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h3
 489 ; CHECK-SD-NOFP16-NEXT:    fcvt h7, s7
 490 ; CHECK-SD-NOFP16-NEXT:    fadd s0, s0, s2
 491 ; CHECK-SD-NOFP16-NEXT:    fcvt h6, s6
 492 ; CHECK-SD-NOFP16-NEXT:    fcvt h2, s16
 493 ; CHECK-SD-NOFP16-NEXT:    fadd s1, s1, s3
 494 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[5], v7.h[0]
 495 ; CHECK-SD-NOFP16-NEXT:    fcvt h0, s0
 496 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[5], v6.h[0]
 497 ; CHECK-SD-NOFP16-NEXT:    fcvt h6, s17
 498 ; CHECK-SD-NOFP16-NEXT:    fcvt h1, s1
 499 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[6], v2.h[0]
 500 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[6], v6.h[0]
 501 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[7], v0.h[0]
 502 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[7], v1.h[0]
 503 ; CHECK-SD-NOFP16-NEXT:    mov v0.16b, v4.16b
 504 ; CHECK-SD-NOFP16-NEXT:    mov v1.16b, v5.16b
 505 ; CHECK-SD-NOFP16-NEXT:    ret
 506 ;
 507 ; CHECK-SD-FP16-LABEL: fadd_v16f16:
 508 ; CHECK-SD-FP16:       // %bb.0: // %entry
 509 ; CHECK-SD-FP16-NEXT:    fadd v1.8h, v1.8h, v3.8h
 510 ; CHECK-SD-FP16-NEXT:    fadd v0.8h, v0.8h, v2.8h
 511 ; CHECK-SD-FP16-NEXT:    ret
 512 ;
 513 ; CHECK-GI-NOFP16-LABEL: fadd_v16f16:
 514 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
 515 ; CHECK-GI-NOFP16-NEXT:    fcvtl v4.4s, v0.4h
 516 ; CHECK-GI-NOFP16-NEXT:    fcvtl v5.4s, v1.4h
 517 ; CHECK-GI-NOFP16-NEXT:    fcvtl v6.4s, v2.4h
 518 ; CHECK-GI-NOFP16-NEXT:    fcvtl v7.4s, v3.4h
 519 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v0.4s, v0.8h
 520 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v1.4s, v1.8h
 521 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v2.4s, v2.8h
 522 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v3.4s, v3.8h
 523 ; CHECK-GI-NOFP16-NEXT:    fadd v4.4s, v4.4s, v6.4s
 524 ; CHECK-GI-NOFP16-NEXT:    fadd v5.4s, v5.4s, v7.4s
 525 ; CHECK-GI-NOFP16-NEXT:    fadd v2.4s, v0.4s, v2.4s
 526 ; CHECK-GI-NOFP16-NEXT:    fadd v3.4s, v1.4s, v3.4s
 527 ; CHECK-GI-NOFP16-NEXT:    fcvtn v0.4h, v4.4s
 528 ; CHECK-GI-NOFP16-NEXT:    fcvtn v1.4h, v5.4s
 529 ; CHECK-GI-NOFP16-NEXT:    fcvtn2 v0.8h, v2.4s
 530 ; CHECK-GI-NOFP16-NEXT:    fcvtn2 v1.8h, v3.4s
 531 ; CHECK-GI-NOFP16-NEXT:    ret
 532 ;
 533 ; CHECK-GI-FP16-LABEL: fadd_v16f16:
 534 ; CHECK-GI-FP16:       // %bb.0: // %entry
 535 ; CHECK-GI-FP16-NEXT:    fadd v0.8h, v0.8h, v2.8h
 536 ; CHECK-GI-FP16-NEXT:    fadd v1.8h, v1.8h, v3.8h
 537 ; CHECK-GI-FP16-NEXT:    ret
 538 entry:
 539   %c = fadd <16 x half> %a, %b
 540   ret <16 x half> %c
 541 }
 542
 543 define double @fsub_f64(double %a, double %b) {
 544 ; CHECK-LABEL: fsub_f64:
 545 ; CHECK:       // %bb.0: // %entry
 546 ; CHECK-NEXT:    fsub d0, d0, d1
 547 ; CHECK-NEXT:    ret
 548 entry:
 549   %c = fsub double %a, %b
 550   ret double %c
 551 }
 552
 553 define float @fsub_f32(float %a, float %b) {
 554 ; CHECK-LABEL: fsub_f32:
 555 ; CHECK:       // %bb.0: // %entry
 556 ; CHECK-NEXT:    fsub s0, s0, s1
 557 ; CHECK-NEXT:    ret
 558 entry:
 559   %c = fsub float %a, %b
 560   ret float %c
 561 }
 562
 563 define half @fsub_f16(half %a, half %b) {
 564 ; CHECK-SD-NOFP16-LABEL: fsub_f16:
 565 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 566 ; CHECK-SD-NOFP16-NEXT:    fcvt s1, h1
 567 ; CHECK-SD-NOFP16-NEXT:    fcvt s0, h0
 568 ; CHECK-SD-NOFP16-NEXT:    fsub s0, s0, s1
 569 ; CHECK-SD-NOFP16-NEXT:    fcvt h0, s0
 570 ; CHECK-SD-NOFP16-NEXT:    ret
 571 ;
 572 ; CHECK-SD-FP16-LABEL: fsub_f16:
 573 ; CHECK-SD-FP16:       // %bb.0: // %entry
 574 ; CHECK-SD-FP16-NEXT:    fsub h0, h0, h1
 575 ; CHECK-SD-FP16-NEXT:    ret
 576 ;
 577 ; CHECK-GI-NOFP16-LABEL: fsub_f16:
 578 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
 579 ; CHECK-GI-NOFP16-NEXT:    fcvt s0, h0
 580 ; CHECK-GI-NOFP16-NEXT:    fcvt s1, h1
 581 ; CHECK-GI-NOFP16-NEXT:    fsub s0, s0, s1
 582 ; CHECK-GI-NOFP16-NEXT:    fcvt h0, s0
 583 ; CHECK-GI-NOFP16-NEXT:    ret
 584 ;
 585 ; CHECK-GI-FP16-LABEL: fsub_f16:
 586 ; CHECK-GI-FP16:       // %bb.0: // %entry
 587 ; CHECK-GI-FP16-NEXT:    fsub h0, h0, h1
 588 ; CHECK-GI-FP16-NEXT:    ret
 589 entry:
 590   %c = fsub half %a, %b
 591   ret half %c
 592 }
 593
 594 define <2 x double> @fsub_v2f64(<2 x double> %a, <2 x double> %b) {
 595 ; CHECK-LABEL: fsub_v2f64:
 596 ; CHECK:       // %bb.0: // %entry
 597 ; CHECK-NEXT:    fsub v0.2d, v0.2d, v1.2d
 598 ; CHECK-NEXT:    ret
 599 entry:
 600   %c = fsub <2 x double> %a, %b
 601   ret <2 x double> %c
 602 }
 603
 604 define <3 x double> @fsub_v3f64(<3 x double> %a, <3 x double> %b) {
 605 ; CHECK-SD-LABEL: fsub_v3f64:
 606 ; CHECK-SD:       // %bb.0: // %entry
 607 ; CHECK-SD-NEXT:    // kill: def $d3 killed $d3 def $q3
 608 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
 609 ; CHECK-SD-NEXT:    // kill: def $d4 killed $d4 def $q4
 610 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 def $q1
 611 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 def $q2
 612 ; CHECK-SD-NEXT:    // kill: def $d5 killed $d5 def $q5
 613 ; CHECK-SD-NEXT:    mov v3.d[1], v4.d[0]
 614 ; CHECK-SD-NEXT:    mov v0.d[1], v1.d[0]
 615 ; CHECK-SD-NEXT:    fsub v2.2d, v2.2d, v5.2d
 616 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 killed $q2
 617 ; CHECK-SD-NEXT:    fsub v0.2d, v0.2d, v3.2d
 618 ; CHECK-SD-NEXT:    ext v1.16b, v0.16b, v0.16b, #8
 619 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 620 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 killed $q1
 621 ; CHECK-SD-NEXT:    ret
 622 ;
 623 ; CHECK-GI-LABEL: fsub_v3f64:
 624 ; CHECK-GI:       // %bb.0: // %entry
 625 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 def $q0
 626 ; CHECK-GI-NEXT:    // kill: def $d3 killed $d3 def $q3
 627 ; CHECK-GI-NEXT:    // kill: def $d1 killed $d1 def $q1
 628 ; CHECK-GI-NEXT:    // kill: def $d4 killed $d4 def $q4
 629 ; CHECK-GI-NEXT:    fsub d2, d2, d5
 630 ; CHECK-GI-NEXT:    mov v0.d[1], v1.d[0]
 631 ; CHECK-GI-NEXT:    mov v3.d[1], v4.d[0]
 632 ; CHECK-GI-NEXT:    fsub v0.2d, v0.2d, v3.2d
 633 ; CHECK-GI-NEXT:    mov d1, v0.d[1]
 634 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 killed $q0
 635 ; CHECK-GI-NEXT:    ret
 636 entry:
 637   %c = fsub <3 x double> %a, %b
 638   ret <3 x double> %c
 639 }
 640
 641 define <4 x double> @fsub_v4f64(<4 x double> %a, <4 x double> %b) {
 642 ; CHECK-SD-LABEL: fsub_v4f64:
 643 ; CHECK-SD:       // %bb.0: // %entry
 644 ; CHECK-SD-NEXT:    fsub v1.2d, v1.2d, v3.2d
 645 ; CHECK-SD-NEXT:    fsub v0.2d, v0.2d, v2.2d
 646 ; CHECK-SD-NEXT:    ret
 647 ;
 648 ; CHECK-GI-LABEL: fsub_v4f64:
 649 ; CHECK-GI:       // %bb.0: // %entry
 650 ; CHECK-GI-NEXT:    fsub v0.2d, v0.2d, v2.2d
 651 ; CHECK-GI-NEXT:    fsub v1.2d, v1.2d, v3.2d
 652 ; CHECK-GI-NEXT:    ret
 653 entry:
 654   %c = fsub <4 x double> %a, %b
 655   ret <4 x double> %c
 656 }
 657
 658 define <2 x float> @fsub_v2f32(<2 x float> %a, <2 x float> %b) {
 659 ; CHECK-LABEL: fsub_v2f32:
 660 ; CHECK:       // %bb.0: // %entry
 661 ; CHECK-NEXT:    fsub v0.2s, v0.2s, v1.2s
 662 ; CHECK-NEXT:    ret
 663 entry:
 664   %c = fsub <2 x float> %a, %b
 665   ret <2 x float> %c
 666 }
 667
 668 define <3 x float> @fsub_v3f32(<3 x float> %a, <3 x float> %b) {
 669 ; CHECK-LABEL: fsub_v3f32:
 670 ; CHECK:       // %bb.0: // %entry
 671 ; CHECK-NEXT:    fsub v0.4s, v0.4s, v1.4s
 672 ; CHECK-NEXT:    ret
 673 entry:
 674   %c = fsub <3 x float> %a, %b
 675   ret <3 x float> %c
 676 }
 677
 678 define <4 x float> @fsub_v4f32(<4 x float> %a, <4 x float> %b) {
 679 ; CHECK-LABEL: fsub_v4f32:
 680 ; CHECK:       // %bb.0: // %entry
 681 ; CHECK-NEXT:    fsub v0.4s, v0.4s, v1.4s
 682 ; CHECK-NEXT:    ret
 683 entry:
 684   %c = fsub <4 x float> %a, %b
 685   ret <4 x float> %c
 686 }
 687
 688 define <8 x float> @fsub_v8f32(<8 x float> %a, <8 x float> %b) {
 689 ; CHECK-SD-LABEL: fsub_v8f32:
 690 ; CHECK-SD:       // %bb.0: // %entry
 691 ; CHECK-SD-NEXT:    fsub v1.4s, v1.4s, v3.4s
 692 ; CHECK-SD-NEXT:    fsub v0.4s, v0.4s, v2.4s
 693 ; CHECK-SD-NEXT:    ret
 694 ;
 695 ; CHECK-GI-LABEL: fsub_v8f32:
 696 ; CHECK-GI:       // %bb.0: // %entry
 697 ; CHECK-GI-NEXT:    fsub v0.4s, v0.4s, v2.4s
 698 ; CHECK-GI-NEXT:    fsub v1.4s, v1.4s, v3.4s
 699 ; CHECK-GI-NEXT:    ret
 700 entry:
 701   %c = fsub <8 x float> %a, %b
 702   ret <8 x float> %c
 703 }
 704
 705 define <7 x half> @fsub_v7f16(<7 x half> %a, <7 x half> %b) {
 706 ; CHECK-SD-NOFP16-LABEL: fsub_v7f16:
 707 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 708 ; CHECK-SD-NOFP16-NEXT:    mov h2, v1.h[1]
 709 ; CHECK-SD-NOFP16-NEXT:    mov h3, v0.h[1]
 710 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h1
 711 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h0
 712 ; CHECK-SD-NOFP16-NEXT:    mov h6, v1.h[2]
 713 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[2]
 714 ; CHECK-SD-NOFP16-NEXT:    mov h16, v1.h[3]
 715 ; CHECK-SD-NOFP16-NEXT:    fcvt s2, h2
 716 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h3
 717 ; CHECK-SD-NOFP16-NEXT:    fsub s4, s5, s4
 718 ; CHECK-SD-NOFP16-NEXT:    mov h5, v0.h[3]
 719 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h6
 720 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 721 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h16
 722 ; CHECK-SD-NOFP16-NEXT:    fsub s3, s3, s2
 723 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h5
 724 ; CHECK-SD-NOFP16-NEXT:    fcvt h2, s4
 725 ; CHECK-SD-NOFP16-NEXT:    fsub s4, s7, s6
 726 ; CHECK-SD-NOFP16-NEXT:    mov h6, v1.h[4]
 727 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[4]
 728 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s3
 729 ; CHECK-SD-NOFP16-NEXT:    fsub s5, s5, s16
 730 ; CHECK-SD-NOFP16-NEXT:    mov h16, v0.h[5]
 731 ; CHECK-SD-NOFP16-NEXT:    fcvt h4, s4
 732 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[1], v3.h[0]
 733 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h6
 734 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h7
 735 ; CHECK-SD-NOFP16-NEXT:    mov h7, v1.h[5]
 736 ; CHECK-SD-NOFP16-NEXT:    fcvt h5, s5
 737 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h16
 738 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[2], v4.h[0]
 739 ; CHECK-SD-NOFP16-NEXT:    mov h4, v1.h[6]
 740 ; CHECK-SD-NOFP16-NEXT:    fsub s3, s6, s3
 741 ; CHECK-SD-NOFP16-NEXT:    mov h6, v0.h[6]
 742 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 743 ; CHECK-SD-NOFP16-NEXT:    mov h1, v1.h[7]
 744 ; CHECK-SD-NOFP16-NEXT:    mov h0, v0.h[7]
 745 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[3], v5.h[0]
 746 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h4
 747 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s3
 748 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h6
 749 ; CHECK-SD-NOFP16-NEXT:    fsub s6, s16, s7
 750 ; CHECK-SD-NOFP16-NEXT:    fcvt s1, h1
 751 ; CHECK-SD-NOFP16-NEXT:    fcvt s0, h0
 752 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[4], v3.h[0]
 753 ; CHECK-SD-NOFP16-NEXT:    fsub s4, s5, s4
 754 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s6
 755 ; CHECK-SD-NOFP16-NEXT:    fsub s0, s0, s1
 756 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[5], v3.h[0]
 757 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s4
 758 ; CHECK-SD-NOFP16-NEXT:    fcvt h0, s0
 759 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[6], v3.h[0]
 760 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[7], v0.h[0]
 761 ; CHECK-SD-NOFP16-NEXT:    mov v0.16b, v2.16b
 762 ; CHECK-SD-NOFP16-NEXT:    ret
 763 ;
 764 ; CHECK-SD-FP16-LABEL: fsub_v7f16:
 765 ; CHECK-SD-FP16:       // %bb.0: // %entry
 766 ; CHECK-SD-FP16-NEXT:    fsub v0.8h, v0.8h, v1.8h
 767 ; CHECK-SD-FP16-NEXT:    ret
 768 ;
 769 ; CHECK-GI-NOFP16-LABEL: fsub_v7f16:
 770 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
 771 ; CHECK-GI-NOFP16-NEXT:    mov h2, v0.h[4]
 772 ; CHECK-GI-NOFP16-NEXT:    mov h3, v0.h[5]
 773 ; CHECK-GI-NOFP16-NEXT:    mov h4, v1.h[4]
 774 ; CHECK-GI-NOFP16-NEXT:    mov h5, v1.h[5]
 775 ; CHECK-GI-NOFP16-NEXT:    fcvtl v6.4s, v0.4h
 776 ; CHECK-GI-NOFP16-NEXT:    fcvtl v7.4s, v1.4h
 777 ; CHECK-GI-NOFP16-NEXT:    mov h0, v0.h[6]
 778 ; CHECK-GI-NOFP16-NEXT:    mov h1, v1.h[6]
 779 ; CHECK-GI-NOFP16-NEXT:    mov v2.h[1], v3.h[0]
 780 ; CHECK-GI-NOFP16-NEXT:    mov v4.h[1], v5.h[0]
 781 ; CHECK-GI-NOFP16-NEXT:    fsub v3.4s, v6.4s, v7.4s
 782 ; CHECK-GI-NOFP16-NEXT:    mov v2.h[2], v0.h[0]
 783 ; CHECK-GI-NOFP16-NEXT:    mov v4.h[2], v1.h[0]
 784 ; CHECK-GI-NOFP16-NEXT:    fcvtn v0.4h, v3.4s
 785 ; CHECK-GI-NOFP16-NEXT:    mov v2.h[3], v0.h[0]
 786 ; CHECK-GI-NOFP16-NEXT:    mov v4.h[3], v0.h[0]
 787 ; CHECK-GI-NOFP16-NEXT:    mov h1, v0.h[1]
 788 ; CHECK-GI-NOFP16-NEXT:    mov h5, v0.h[3]
 789 ; CHECK-GI-NOFP16-NEXT:    fcvtl v2.4s, v2.4h
 790 ; CHECK-GI-NOFP16-NEXT:    fcvtl v3.4s, v4.4h
 791 ; CHECK-GI-NOFP16-NEXT:    mov h4, v0.h[2]
 792 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[1], v1.h[0]
 793 ; CHECK-GI-NOFP16-NEXT:    fsub v1.4s, v2.4s, v3.4s
 794 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[2], v4.h[0]
 795 ; CHECK-GI-NOFP16-NEXT:    fcvtn v1.4h, v1.4s
 796 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[3], v5.h[0]
 797 ; CHECK-GI-NOFP16-NEXT:    mov h2, v1.h[1]
 798 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[4], v1.h[0]
 799 ; CHECK-GI-NOFP16-NEXT:    mov h1, v1.h[2]
 800 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[5], v2.h[0]
 801 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[6], v1.h[0]
 802 ; CHECK-GI-NOFP16-NEXT:    mov v0.h[7], v0.h[0]
 803 ; CHECK-GI-NOFP16-NEXT:    ret
 804 ;
 805 ; CHECK-GI-FP16-LABEL: fsub_v7f16:
 806 ; CHECK-GI-FP16:       // %bb.0: // %entry
 807 ; CHECK-GI-FP16-NEXT:    fsub v0.8h, v0.8h, v1.8h
 808 ; CHECK-GI-FP16-NEXT:    ret
 809 entry:
 810   %c = fsub <7 x half> %a, %b
 811   ret <7 x half> %c
 812 }
 813
 814 define <4 x half> @fsub_v4f16(<4 x half> %a, <4 x half> %b) {
 815 ; CHECK-SD-NOFP16-LABEL: fsub_v4f16:
 816 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 817 ; CHECK-SD-NOFP16-NEXT:    fcvtl v1.4s, v1.4h
 818 ; CHECK-SD-NOFP16-NEXT:    fcvtl v0.4s, v0.4h
 819 ; CHECK-SD-NOFP16-NEXT:    fsub v0.4s, v0.4s, v1.4s
 820 ; CHECK-SD-NOFP16-NEXT:    fcvtn v0.4h, v0.4s
 821 ; CHECK-SD-NOFP16-NEXT:    ret
 822 ;
 823 ; CHECK-SD-FP16-LABEL: fsub_v4f16:
 824 ; CHECK-SD-FP16:       // %bb.0: // %entry
 825 ; CHECK-SD-FP16-NEXT:    fsub v0.4h, v0.4h, v1.4h
 826 ; CHECK-SD-FP16-NEXT:    ret
 827 ;
 828 ; CHECK-GI-NOFP16-LABEL: fsub_v4f16:
 829 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
 830 ; CHECK-GI-NOFP16-NEXT:    fcvtl v0.4s, v0.4h
 831 ; CHECK-GI-NOFP16-NEXT:    fcvtl v1.4s, v1.4h
 832 ; CHECK-GI-NOFP16-NEXT:    fsub v0.4s, v0.4s, v1.4s
 833 ; CHECK-GI-NOFP16-NEXT:    fcvtn v0.4h, v0.4s
 834 ; CHECK-GI-NOFP16-NEXT:    ret
 835 ;
 836 ; CHECK-GI-FP16-LABEL: fsub_v4f16:
 837 ; CHECK-GI-FP16:       // %bb.0: // %entry
 838 ; CHECK-GI-FP16-NEXT:    fsub v0.4h, v0.4h, v1.4h
 839 ; CHECK-GI-FP16-NEXT:    ret
 840 entry:
 841   %c = fsub <4 x half> %a, %b
 842   ret <4 x half> %c
 843 }
 844
 845 define <8 x half> @fsub_v8f16(<8 x half> %a, <8 x half> %b) {
 846 ; CHECK-SD-NOFP16-LABEL: fsub_v8f16:
 847 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 848 ; CHECK-SD-NOFP16-NEXT:    mov h2, v1.h[1]
 849 ; CHECK-SD-NOFP16-NEXT:    mov h3, v0.h[1]
 850 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h1
 851 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h0
 852 ; CHECK-SD-NOFP16-NEXT:    mov h6, v1.h[2]
 853 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[2]
 854 ; CHECK-SD-NOFP16-NEXT:    mov h16, v1.h[3]
 855 ; CHECK-SD-NOFP16-NEXT:    fcvt s2, h2
 856 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h3
 857 ; CHECK-SD-NOFP16-NEXT:    fsub s4, s5, s4
 858 ; CHECK-SD-NOFP16-NEXT:    mov h5, v0.h[3]
 859 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h6
 860 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 861 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h16
 862 ; CHECK-SD-NOFP16-NEXT:    fsub s3, s3, s2
 863 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h5
 864 ; CHECK-SD-NOFP16-NEXT:    fcvt h2, s4
 865 ; CHECK-SD-NOFP16-NEXT:    fsub s4, s7, s6
 866 ; CHECK-SD-NOFP16-NEXT:    mov h6, v1.h[4]
 867 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[4]
 868 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s3
 869 ; CHECK-SD-NOFP16-NEXT:    fsub s5, s5, s16
 870 ; CHECK-SD-NOFP16-NEXT:    mov h16, v0.h[5]
 871 ; CHECK-SD-NOFP16-NEXT:    fcvt h4, s4
 872 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[1], v3.h[0]
 873 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h6
 874 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h7
 875 ; CHECK-SD-NOFP16-NEXT:    mov h7, v1.h[5]
 876 ; CHECK-SD-NOFP16-NEXT:    fcvt h5, s5
 877 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h16
 878 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[2], v4.h[0]
 879 ; CHECK-SD-NOFP16-NEXT:    mov h4, v1.h[6]
 880 ; CHECK-SD-NOFP16-NEXT:    fsub s3, s6, s3
 881 ; CHECK-SD-NOFP16-NEXT:    mov h6, v0.h[6]
 882 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 883 ; CHECK-SD-NOFP16-NEXT:    mov h1, v1.h[7]
 884 ; CHECK-SD-NOFP16-NEXT:    mov h0, v0.h[7]
 885 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[3], v5.h[0]
 886 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h4
 887 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s3
 888 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h6
 889 ; CHECK-SD-NOFP16-NEXT:    fsub s6, s16, s7
 890 ; CHECK-SD-NOFP16-NEXT:    fcvt s1, h1
 891 ; CHECK-SD-NOFP16-NEXT:    fcvt s0, h0
 892 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[4], v3.h[0]
 893 ; CHECK-SD-NOFP16-NEXT:    fsub s4, s5, s4
 894 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s6
 895 ; CHECK-SD-NOFP16-NEXT:    fsub s0, s0, s1
 896 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[5], v3.h[0]
 897 ; CHECK-SD-NOFP16-NEXT:    fcvt h3, s4
 898 ; CHECK-SD-NOFP16-NEXT:    fcvt h0, s0
 899 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[6], v3.h[0]
 900 ; CHECK-SD-NOFP16-NEXT:    mov v2.h[7], v0.h[0]
 901 ; CHECK-SD-NOFP16-NEXT:    mov v0.16b, v2.16b
 902 ; CHECK-SD-NOFP16-NEXT:    ret
 903 ;
 904 ; CHECK-SD-FP16-LABEL: fsub_v8f16:
 905 ; CHECK-SD-FP16:       // %bb.0: // %entry
 906 ; CHECK-SD-FP16-NEXT:    fsub v0.8h, v0.8h, v1.8h
 907 ; CHECK-SD-FP16-NEXT:    ret
 908 ;
 909 ; CHECK-GI-NOFP16-LABEL: fsub_v8f16:
 910 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
 911 ; CHECK-GI-NOFP16-NEXT:    fcvtl v2.4s, v0.4h
 912 ; CHECK-GI-NOFP16-NEXT:    fcvtl v3.4s, v1.4h
 913 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v0.4s, v0.8h
 914 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v1.4s, v1.8h
 915 ; CHECK-GI-NOFP16-NEXT:    fsub v2.4s, v2.4s, v3.4s
 916 ; CHECK-GI-NOFP16-NEXT:    fsub v1.4s, v0.4s, v1.4s
 917 ; CHECK-GI-NOFP16-NEXT:    fcvtn v0.4h, v2.4s
 918 ; CHECK-GI-NOFP16-NEXT:    fcvtn2 v0.8h, v1.4s
 919 ; CHECK-GI-NOFP16-NEXT:    ret
 920 ;
 921 ; CHECK-GI-FP16-LABEL: fsub_v8f16:
 922 ; CHECK-GI-FP16:       // %bb.0: // %entry
 923 ; CHECK-GI-FP16-NEXT:    fsub v0.8h, v0.8h, v1.8h
 924 ; CHECK-GI-FP16-NEXT:    ret
 925 entry:
 926   %c = fsub <8 x half> %a, %b
 927   ret <8 x half> %c
 928 }
 929
 930 define <16 x half> @fsub_v16f16(<16 x half> %a, <16 x half> %b) {
 931 ; CHECK-SD-NOFP16-LABEL: fsub_v16f16:
 932 ; CHECK-SD-NOFP16:       // %bb.0: // %entry
 933 ; CHECK-SD-NOFP16-NEXT:    mov h6, v2.h[1]
 934 ; CHECK-SD-NOFP16-NEXT:    mov h7, v0.h[1]
 935 ; CHECK-SD-NOFP16-NEXT:    fcvt s4, h2
 936 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h0
 937 ; CHECK-SD-NOFP16-NEXT:    mov h16, v3.h[1]
 938 ; CHECK-SD-NOFP16-NEXT:    mov h17, v1.h[1]
 939 ; CHECK-SD-NOFP16-NEXT:    mov h18, v2.h[2]
 940 ; CHECK-SD-NOFP16-NEXT:    mov h19, v0.h[2]
 941 ; CHECK-SD-NOFP16-NEXT:    fcvt s20, h3
 942 ; CHECK-SD-NOFP16-NEXT:    fcvt s21, h1
 943 ; CHECK-SD-NOFP16-NEXT:    mov h22, v3.h[2]
 944 ; CHECK-SD-NOFP16-NEXT:    mov h23, v1.h[2]
 945 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h6
 946 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 947 ; CHECK-SD-NOFP16-NEXT:    mov h24, v0.h[6]
 948 ; CHECK-SD-NOFP16-NEXT:    fsub s4, s5, s4
 949 ; CHECK-SD-NOFP16-NEXT:    fcvt s5, h16
 950 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h17
 951 ; CHECK-SD-NOFP16-NEXT:    fcvt s17, h18
 952 ; CHECK-SD-NOFP16-NEXT:    fcvt s18, h19
 953 ; CHECK-SD-NOFP16-NEXT:    mov h19, v0.h[3]
 954 ; CHECK-SD-NOFP16-NEXT:    fsub s20, s21, s20
 955 ; CHECK-SD-NOFP16-NEXT:    fcvt s21, h22
 956 ; CHECK-SD-NOFP16-NEXT:    mov h22, v3.h[3]
 957 ; CHECK-SD-NOFP16-NEXT:    fsub s6, s7, s6
 958 ; CHECK-SD-NOFP16-NEXT:    mov h7, v2.h[3]
 959 ; CHECK-SD-NOFP16-NEXT:    mov h25, v1.h[6]
 960 ; CHECK-SD-NOFP16-NEXT:    fcvt h4, s4
 961 ; CHECK-SD-NOFP16-NEXT:    fsub s5, s16, s5
 962 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h23
 963 ; CHECK-SD-NOFP16-NEXT:    mov h23, v1.h[3]
 964 ; CHECK-SD-NOFP16-NEXT:    fsub s17, s18, s17
 965 ; CHECK-SD-NOFP16-NEXT:    fcvt s18, h19
 966 ; CHECK-SD-NOFP16-NEXT:    fcvt h6, s6
 967 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h7
 968 ; CHECK-SD-NOFP16-NEXT:    fcvt h19, s5
 969 ; CHECK-SD-NOFP16-NEXT:    fcvt h5, s20
 970 ; CHECK-SD-NOFP16-NEXT:    fsub s16, s16, s21
 971 ; CHECK-SD-NOFP16-NEXT:    fcvt s20, h23
 972 ; CHECK-SD-NOFP16-NEXT:    fcvt h17, s17
 973 ; CHECK-SD-NOFP16-NEXT:    mov h21, v2.h[4]
 974 ; CHECK-SD-NOFP16-NEXT:    mov h23, v1.h[4]
 975 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[1], v6.h[0]
 976 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h22
 977 ; CHECK-SD-NOFP16-NEXT:    mov h22, v0.h[4]
 978 ; CHECK-SD-NOFP16-NEXT:    fsub s7, s18, s7
 979 ; CHECK-SD-NOFP16-NEXT:    mov h18, v3.h[4]
 980 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[1], v19.h[0]
 981 ; CHECK-SD-NOFP16-NEXT:    fcvt h16, s16
 982 ; CHECK-SD-NOFP16-NEXT:    fsub s6, s20, s6
 983 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[2], v17.h[0]
 984 ; CHECK-SD-NOFP16-NEXT:    fcvt s17, h21
 985 ; CHECK-SD-NOFP16-NEXT:    fcvt s19, h22
 986 ; CHECK-SD-NOFP16-NEXT:    fcvt h7, s7
 987 ; CHECK-SD-NOFP16-NEXT:    fcvt s18, h18
 988 ; CHECK-SD-NOFP16-NEXT:    fcvt s20, h23
 989 ; CHECK-SD-NOFP16-NEXT:    mov h21, v2.h[5]
 990 ; CHECK-SD-NOFP16-NEXT:    mov h22, v0.h[5]
 991 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[2], v16.h[0]
 992 ; CHECK-SD-NOFP16-NEXT:    mov h16, v3.h[5]
 993 ; CHECK-SD-NOFP16-NEXT:    mov h23, v1.h[5]
 994 ; CHECK-SD-NOFP16-NEXT:    fcvt h6, s6
 995 ; CHECK-SD-NOFP16-NEXT:    mov h0, v0.h[7]
 996 ; CHECK-SD-NOFP16-NEXT:    mov h1, v1.h[7]
 997 ; CHECK-SD-NOFP16-NEXT:    fsub s17, s19, s17
 998 ; CHECK-SD-NOFP16-NEXT:    mov h19, v2.h[6]
 999 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[3], v7.h[0]
1000 ; CHECK-SD-NOFP16-NEXT:    fsub s18, s20, s18
1001 ; CHECK-SD-NOFP16-NEXT:    mov h20, v3.h[6]
1002 ; CHECK-SD-NOFP16-NEXT:    fcvt s7, h21
1003 ; CHECK-SD-NOFP16-NEXT:    fcvt s21, h22
1004 ; CHECK-SD-NOFP16-NEXT:    fcvt s22, h24
1005 ; CHECK-SD-NOFP16-NEXT:    mov h2, v2.h[7]
1006 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[3], v6.h[0]
1007 ; CHECK-SD-NOFP16-NEXT:    fcvt s6, h16
1008 ; CHECK-SD-NOFP16-NEXT:    fcvt s16, h23
1009 ; CHECK-SD-NOFP16-NEXT:    fcvt h17, s17
1010 ; CHECK-SD-NOFP16-NEXT:    fcvt s19, h19
1011 ; CHECK-SD-NOFP16-NEXT:    fcvt s23, h25
1012 ; CHECK-SD-NOFP16-NEXT:    fcvt h18, s18
1013 ; CHECK-SD-NOFP16-NEXT:    fcvt s20, h20
1014 ; CHECK-SD-NOFP16-NEXT:    mov h3, v3.h[7]
1015 ; CHECK-SD-NOFP16-NEXT:    fsub s7, s21, s7
1016 ; CHECK-SD-NOFP16-NEXT:    fcvt s2, h2
1017 ; CHECK-SD-NOFP16-NEXT:    fcvt s0, h0
1018 ; CHECK-SD-NOFP16-NEXT:    fsub s6, s16, s6
1019 ; CHECK-SD-NOFP16-NEXT:    fcvt s1, h1
1020 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[4], v17.h[0]
1021 ; CHECK-SD-NOFP16-NEXT:    fsub s16, s22, s19
1022 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[4], v18.h[0]
1023 ; CHECK-SD-NOFP16-NEXT:    fsub s17, s23, s20
1024 ; CHECK-SD-NOFP16-NEXT:    fcvt s3, h3
1025 ; CHECK-SD-NOFP16-NEXT:    fcvt h7, s7
1026 ; CHECK-SD-NOFP16-NEXT:    fsub s0, s0, s2
1027 ; CHECK-SD-NOFP16-NEXT:    fcvt h6, s6
1028 ; CHECK-SD-NOFP16-NEXT:    fcvt h2, s16
1029 ; CHECK-SD-NOFP16-NEXT:    fsub s1, s1, s3
1030 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[5], v7.h[0]
1031 ; CHECK-SD-NOFP16-NEXT:    fcvt h0, s0
1032 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[5], v6.h[0]
1033 ; CHECK-SD-NOFP16-NEXT:    fcvt h6, s17
1034 ; CHECK-SD-NOFP16-NEXT:    fcvt h1, s1
1035 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[6], v2.h[0]
1036 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[6], v6.h[0]
1037 ; CHECK-SD-NOFP16-NEXT:    mov v4.h[7], v0.h[0]
1038 ; CHECK-SD-NOFP16-NEXT:    mov v5.h[7], v1.h[0]
1039 ; CHECK-SD-NOFP16-NEXT:    mov v0.16b, v4.16b
1040 ; CHECK-SD-NOFP16-NEXT:    mov v1.16b, v5.16b
1041 ; CHECK-SD-NOFP16-NEXT:    ret
1042 ;
1043 ; CHECK-SD-FP16-LABEL: fsub_v16f16:
1044 ; CHECK-SD-FP16:       // %bb.0: // %entry
1045 ; CHECK-SD-FP16-NEXT:    fsub v1.8h, v1.8h, v3.8h
1046 ; CHECK-SD-FP16-NEXT:    fsub v0.8h, v0.8h, v2.8h
1047 ; CHECK-SD-FP16-NEXT:    ret
1048 ;
1049 ; CHECK-GI-NOFP16-LABEL: fsub_v16f16:
1050 ; CHECK-GI-NOFP16:       // %bb.0: // %entry
1051 ; CHECK-GI-NOFP16-NEXT:    fcvtl v4.4s, v0.4h
1052 ; CHECK-GI-NOFP16-NEXT:    fcvtl v5.4s, v1.4h
1053 ; CHECK-GI-NOFP16-NEXT:    fcvtl v6.4s, v2.4h
1054 ; CHECK-GI-NOFP16-NEXT:    fcvtl v7.4s, v3.4h
1055 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v0.4s, v0.8h
1056 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v1.4s, v1.8h
1057 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v2.4s, v2.8h
1058 ; CHECK-GI-NOFP16-NEXT:    fcvtl2 v3.4s, v3.8h
1059 ; CHECK-GI-NOFP16-NEXT:    fsub v4.4s, v4.4s, v6.4s
1060 ; CHECK-GI-NOFP16-NEXT:    fsub v5.4s, v5.4s, v7.4s
1061 ; CHECK-GI-NOFP16-NEXT:    fsub v2.4s, v0.4s, v2.4s
1062 ; CHECK-GI-NOFP16-NEXT:    fsub v3.4s, v1.4s, v3.4s
1063 ; CHECK-GI-NOFP16-NEXT:    fcvtn v0.4h, v4.4s
1064 ; CHECK-GI-NOFP16-NEXT:    fcvtn v1.4h, v5.4s
1065 ; CHECK-GI-NOFP16-NEXT:    fcvtn2 v0.8h, v2.4s
1066 ; CHECK-GI-NOFP16-NEXT:    fcvtn2 v1.8h, v3.4s
1067 ; CHECK-GI-NOFP16-NEXT:    ret
1068 ;
1069 ; CHECK-GI-FP16-LABEL: fsub_v16f16:
1070 ; CHECK-GI-FP16:       // %bb.0: // %entry
1071 ; CHECK-GI-FP16-NEXT:    fsub v0.8h, v0.8h, v2.8h
1072 ; CHECK-GI-FP16-NEXT:    fsub v1.8h, v1.8h, v3.8h
1073 ; CHECK-GI-FP16-NEXT:    ret
1074 entry:
1075   %c = fsub <16 x half> %a, %b
1076   ret <16 x half> %c
1077 }