llvm/test/CodeGen/RISCV/rvv/vfadd-sdnode.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -mattr=+d,+zfh,+zvfh,+v -target-abi=ilp32d \
   3 ; RUN:     -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,ZVFH
   4 ; RUN: llc -mtriple=riscv64 -mattr=+d,+zfh,+zvfh,+v -target-abi=lp64d \
   5 ; RUN:     -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,ZVFH
   6 ; RUN: llc -mtriple=riscv32 -mattr=+d,+zfhmin,+zvfhmin,+v -target-abi=ilp32d \
   7 ; RUN:     -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,ZVFHMIN
   8 ; RUN: llc -mtriple=riscv64 -mattr=+d,+zfhmin,+zvfhmin,+v -target-abi=lp64d \
   9 ; RUN:     -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,ZVFHMIN
  10
  11 define <vscale x 1 x half> @vfadd_vv_nxv1f16(<vscale x 1 x half> %va, <vscale x 1 x half> %vb) {
  12 ; ZVFH-LABEL: vfadd_vv_nxv1f16:
  13 ; ZVFH:       # %bb.0:
  14 ; ZVFH-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
  15 ; ZVFH-NEXT:    vfadd.vv v8, v8, v9
  16 ; ZVFH-NEXT:    ret
  17 ;
  18 ; ZVFHMIN-LABEL: vfadd_vv_nxv1f16:
  19 ; ZVFHMIN:       # %bb.0:
  20 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
  21 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v9
  22 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v9, v8
  23 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, mf2, ta, ma
  24 ; ZVFHMIN-NEXT:    vfadd.vv v9, v9, v10
  25 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, mf4, ta, ma
  26 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v9
  27 ; ZVFHMIN-NEXT:    ret
  28   %vc = fadd <vscale x 1 x half> %va, %vb
  29   ret <vscale x 1 x half> %vc
  30 }
  31
  32 define <vscale x 1 x half> @vfadd_vf_nxv1f16(<vscale x 1 x half> %va, half %b) {
  33 ; ZVFH-LABEL: vfadd_vf_nxv1f16:
  34 ; ZVFH:       # %bb.0:
  35 ; ZVFH-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
  36 ; ZVFH-NEXT:    vfadd.vf v8, v8, fa0
  37 ; ZVFH-NEXT:    ret
  38 ;
  39 ; ZVFHMIN-LABEL: vfadd_vf_nxv1f16:
  40 ; ZVFHMIN:       # %bb.0:
  41 ; ZVFHMIN-NEXT:    fcvt.s.h fa5, fa0
  42 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e32, mf2, ta, ma
  43 ; ZVFHMIN-NEXT:    vfmv.v.f v9, fa5
  44 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, mf4, ta, ma
  45 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v10, v9
  46 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v9, v8
  47 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v8, v10
  48 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, mf2, ta, ma
  49 ; ZVFHMIN-NEXT:    vfadd.vv v9, v9, v8
  50 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, mf4, ta, ma
  51 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v9
  52 ; ZVFHMIN-NEXT:    ret
  53   %head = insertelement <vscale x 1 x half> poison, half %b, i32 0
  54   %splat = shufflevector <vscale x 1 x half> %head, <vscale x 1 x half> poison, <vscale x 1 x i32> zeroinitializer
  55   %vc = fadd <vscale x 1 x half> %va, %splat
  56   ret <vscale x 1 x half> %vc
  57 }
  58
  59 define <vscale x 2 x half> @vfadd_vv_nxv2f16(<vscale x 2 x half> %va, <vscale x 2 x half> %vb) {
  60 ; ZVFH-LABEL: vfadd_vv_nxv2f16:
  61 ; ZVFH:       # %bb.0:
  62 ; ZVFH-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
  63 ; ZVFH-NEXT:    vfadd.vv v8, v8, v9
  64 ; ZVFH-NEXT:    ret
  65 ;
  66 ; ZVFHMIN-LABEL: vfadd_vv_nxv2f16:
  67 ; ZVFHMIN:       # %bb.0:
  68 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
  69 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v9
  70 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v9, v8
  71 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m1, ta, ma
  72 ; ZVFHMIN-NEXT:    vfadd.vv v9, v9, v10
  73 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, mf2, ta, ma
  74 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v9
  75 ; ZVFHMIN-NEXT:    ret
  76   %vc = fadd <vscale x 2 x half> %va, %vb
  77   ret <vscale x 2 x half> %vc
  78 }
  79
  80 define <vscale x 2 x half> @vfadd_vf_nxv2f16(<vscale x 2 x half> %va, half %b) {
  81 ; ZVFH-LABEL: vfadd_vf_nxv2f16:
  82 ; ZVFH:       # %bb.0:
  83 ; ZVFH-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
  84 ; ZVFH-NEXT:    vfadd.vf v8, v8, fa0
  85 ; ZVFH-NEXT:    ret
  86 ;
  87 ; ZVFHMIN-LABEL: vfadd_vf_nxv2f16:
  88 ; ZVFHMIN:       # %bb.0:
  89 ; ZVFHMIN-NEXT:    fcvt.s.h fa5, fa0
  90 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e32, m1, ta, ma
  91 ; ZVFHMIN-NEXT:    vfmv.v.f v9, fa5
  92 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, mf2, ta, ma
  93 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v10, v9
  94 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v9, v8
  95 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v8, v10
  96 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m1, ta, ma
  97 ; ZVFHMIN-NEXT:    vfadd.vv v9, v9, v8
  98 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, mf2, ta, ma
  99 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v9
 100 ; ZVFHMIN-NEXT:    ret
 101   %head = insertelement <vscale x 2 x half> poison, half %b, i32 0
 102   %splat = shufflevector <vscale x 2 x half> %head, <vscale x 2 x half> poison, <vscale x 2 x i32> zeroinitializer
 103   %vc = fadd <vscale x 2 x half> %va, %splat
 104   ret <vscale x 2 x half> %vc
 105 }
 106
 107 define <vscale x 4 x half> @vfadd_vv_nxv4f16(<vscale x 4 x half> %va, <vscale x 4 x half> %vb) {
 108 ; ZVFH-LABEL: vfadd_vv_nxv4f16:
 109 ; ZVFH:       # %bb.0:
 110 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
 111 ; ZVFH-NEXT:    vfadd.vv v8, v8, v9
 112 ; ZVFH-NEXT:    ret
 113 ;
 114 ; ZVFHMIN-LABEL: vfadd_vv_nxv4f16:
 115 ; ZVFHMIN:       # %bb.0:
 116 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
 117 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v9
 118 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v8
 119 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m2, ta, ma
 120 ; ZVFHMIN-NEXT:    vfadd.vv v10, v12, v10
 121 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m1, ta, ma
 122 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v10
 123 ; ZVFHMIN-NEXT:    ret
 124   %vc = fadd <vscale x 4 x half> %va, %vb
 125   ret <vscale x 4 x half> %vc
 126 }
 127
 128 define <vscale x 4 x half> @vfadd_vf_nxv4f16(<vscale x 4 x half> %va, half %b) {
 129 ; ZVFH-LABEL: vfadd_vf_nxv4f16:
 130 ; ZVFH:       # %bb.0:
 131 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
 132 ; ZVFH-NEXT:    vfadd.vf v8, v8, fa0
 133 ; ZVFH-NEXT:    ret
 134 ;
 135 ; ZVFHMIN-LABEL: vfadd_vf_nxv4f16:
 136 ; ZVFHMIN:       # %bb.0:
 137 ; ZVFHMIN-NEXT:    fcvt.s.h fa5, fa0
 138 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
 139 ; ZVFHMIN-NEXT:    vfmv.v.f v10, fa5
 140 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m1, ta, ma
 141 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v9, v10
 142 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v8
 143 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v9
 144 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m2, ta, ma
 145 ; ZVFHMIN-NEXT:    vfadd.vv v10, v10, v12
 146 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m1, ta, ma
 147 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v10
 148 ; ZVFHMIN-NEXT:    ret
 149   %head = insertelement <vscale x 4 x half> poison, half %b, i32 0
 150   %splat = shufflevector <vscale x 4 x half> %head, <vscale x 4 x half> poison, <vscale x 4 x i32> zeroinitializer
 151   %vc = fadd <vscale x 4 x half> %va, %splat
 152   ret <vscale x 4 x half> %vc
 153 }
 154
 155 define <vscale x 8 x half> @vfadd_vv_nxv8f16(<vscale x 8 x half> %va, <vscale x 8 x half> %vb) {
 156 ; ZVFH-LABEL: vfadd_vv_nxv8f16:
 157 ; ZVFH:       # %bb.0:
 158 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 159 ; ZVFH-NEXT:    vfadd.vv v8, v8, v10
 160 ; ZVFH-NEXT:    ret
 161 ;
 162 ; ZVFHMIN-LABEL: vfadd_vv_nxv8f16:
 163 ; ZVFHMIN:       # %bb.0:
 164 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 165 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v10
 166 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v8
 167 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m4, ta, ma
 168 ; ZVFHMIN-NEXT:    vfadd.vv v12, v16, v12
 169 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m2, ta, ma
 170 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v12
 171 ; ZVFHMIN-NEXT:    ret
 172   %vc = fadd <vscale x 8 x half> %va, %vb
 173   ret <vscale x 8 x half> %vc
 174 }
 175
 176 define <vscale x 8 x half> @vfadd_vf_nxv8f16(<vscale x 8 x half> %va, half %b) {
 177 ; ZVFH-LABEL: vfadd_vf_nxv8f16:
 178 ; ZVFH:       # %bb.0:
 179 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 180 ; ZVFH-NEXT:    vfadd.vf v8, v8, fa0
 181 ; ZVFH-NEXT:    ret
 182 ;
 183 ; ZVFHMIN-LABEL: vfadd_vf_nxv8f16:
 184 ; ZVFHMIN:       # %bb.0:
 185 ; ZVFHMIN-NEXT:    fcvt.s.h fa5, fa0
 186 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 187 ; ZVFHMIN-NEXT:    vfmv.v.f v12, fa5
 188 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m2, ta, ma
 189 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v10, v12
 190 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v8
 191 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v10
 192 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m4, ta, ma
 193 ; ZVFHMIN-NEXT:    vfadd.vv v12, v12, v16
 194 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m2, ta, ma
 195 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v12
 196 ; ZVFHMIN-NEXT:    ret
 197   %head = insertelement <vscale x 8 x half> poison, half %b, i32 0
 198   %splat = shufflevector <vscale x 8 x half> %head, <vscale x 8 x half> poison, <vscale x 8 x i32> zeroinitializer
 199   %vc = fadd <vscale x 8 x half> %va, %splat
 200   ret <vscale x 8 x half> %vc
 201 }
 202
 203 define <vscale x 8 x half> @vfadd_fv_nxv8f16(<vscale x 8 x half> %va, half %b) {
 204 ; ZVFH-LABEL: vfadd_fv_nxv8f16:
 205 ; ZVFH:       # %bb.0:
 206 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 207 ; ZVFH-NEXT:    vfadd.vf v8, v8, fa0
 208 ; ZVFH-NEXT:    ret
 209 ;
 210 ; ZVFHMIN-LABEL: vfadd_fv_nxv8f16:
 211 ; ZVFHMIN:       # %bb.0:
 212 ; ZVFHMIN-NEXT:    fcvt.s.h fa5, fa0
 213 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 214 ; ZVFHMIN-NEXT:    vfmv.v.f v12, fa5
 215 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m2, ta, ma
 216 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v10, v12
 217 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v8
 218 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v10
 219 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m4, ta, ma
 220 ; ZVFHMIN-NEXT:    vfadd.vv v12, v16, v12
 221 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m2, ta, ma
 222 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v12
 223 ; ZVFHMIN-NEXT:    ret
 224   %head = insertelement <vscale x 8 x half> poison, half %b, i32 0
 225   %splat = shufflevector <vscale x 8 x half> %head, <vscale x 8 x half> poison, <vscale x 8 x i32> zeroinitializer
 226   %vc = fadd <vscale x 8 x half> %splat, %va
 227   ret <vscale x 8 x half> %vc
 228 }
 229
 230 define <vscale x 16 x half> @vfadd_vv_nxv16f16(<vscale x 16 x half> %va, <vscale x 16 x half> %vb) {
 231 ; ZVFH-LABEL: vfadd_vv_nxv16f16:
 232 ; ZVFH:       # %bb.0:
 233 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 234 ; ZVFH-NEXT:    vfadd.vv v8, v8, v12
 235 ; ZVFH-NEXT:    ret
 236 ;
 237 ; ZVFHMIN-LABEL: vfadd_vv_nxv16f16:
 238 ; ZVFHMIN:       # %bb.0:
 239 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 240 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v12
 241 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v8
 242 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m8, ta, ma
 243 ; ZVFHMIN-NEXT:    vfadd.vv v16, v24, v16
 244 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m4, ta, ma
 245 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v16
 246 ; ZVFHMIN-NEXT:    ret
 247   %vc = fadd <vscale x 16 x half> %va, %vb
 248   ret <vscale x 16 x half> %vc
 249 }
 250
 251 define <vscale x 16 x half> @vfadd_vf_nxv16f16(<vscale x 16 x half> %va, half %b) {
 252 ; ZVFH-LABEL: vfadd_vf_nxv16f16:
 253 ; ZVFH:       # %bb.0:
 254 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 255 ; ZVFH-NEXT:    vfadd.vf v8, v8, fa0
 256 ; ZVFH-NEXT:    ret
 257 ;
 258 ; ZVFHMIN-LABEL: vfadd_vf_nxv16f16:
 259 ; ZVFHMIN:       # %bb.0:
 260 ; ZVFHMIN-NEXT:    fcvt.s.h fa5, fa0
 261 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 262 ; ZVFHMIN-NEXT:    vfmv.v.f v16, fa5
 263 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m4, ta, ma
 264 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v12, v16
 265 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v8
 266 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v12
 267 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m8, ta, ma
 268 ; ZVFHMIN-NEXT:    vfadd.vv v16, v16, v24
 269 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m4, ta, ma
 270 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v16
 271 ; ZVFHMIN-NEXT:    ret
 272   %head = insertelement <vscale x 16 x half> poison, half %b, i32 0
 273   %splat = shufflevector <vscale x 16 x half> %head, <vscale x 16 x half> poison, <vscale x 16 x i32> zeroinitializer
 274   %vc = fadd <vscale x 16 x half> %va, %splat
 275   ret <vscale x 16 x half> %vc
 276 }
 277
 278 define <vscale x 32 x half> @vfadd_vv_nxv32f16(<vscale x 32 x half> %va, <vscale x 32 x half> %vb) {
 279 ; ZVFH-LABEL: vfadd_vv_nxv32f16:
 280 ; ZVFH:       # %bb.0:
 281 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m8, ta, ma
 282 ; ZVFH-NEXT:    vfadd.vv v8, v8, v16
 283 ; ZVFH-NEXT:    ret
 284 ;
 285 ; ZVFHMIN-LABEL: vfadd_vv_nxv32f16:
 286 ; ZVFHMIN:       # %bb.0:
 287 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 288 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v16
 289 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v0, v8
 290 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m8, ta, ma
 291 ; ZVFHMIN-NEXT:    vfadd.vv v24, v0, v24
 292 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m4, ta, ma
 293 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v24
 294 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v20
 295 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v12
 296 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m8, ta, ma
 297 ; ZVFHMIN-NEXT:    vfadd.vv v16, v16, v24
 298 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m4, ta, ma
 299 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v12, v16
 300 ; ZVFHMIN-NEXT:    ret
 301   %vc = fadd <vscale x 32 x half> %va, %vb
 302   ret <vscale x 32 x half> %vc
 303 }
 304
 305 define <vscale x 32 x half> @vfadd_vf_nxv32f16(<vscale x 32 x half> %va, half %b) {
 306 ; ZVFH-LABEL: vfadd_vf_nxv32f16:
 307 ; ZVFH:       # %bb.0:
 308 ; ZVFH-NEXT:    vsetvli a0, zero, e16, m8, ta, ma
 309 ; ZVFH-NEXT:    vfadd.vf v8, v8, fa0
 310 ; ZVFH-NEXT:    ret
 311 ;
 312 ; ZVFHMIN-LABEL: vfadd_vf_nxv32f16:
 313 ; ZVFHMIN:       # %bb.0:
 314 ; ZVFHMIN-NEXT:    fcvt.s.h fa5, fa0
 315 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 316 ; ZVFHMIN-NEXT:    vfmv.v.f v16, fa5
 317 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m4, ta, ma
 318 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v24, v16
 319 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v8
 320 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v0, v24
 321 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m8, ta, ma
 322 ; ZVFHMIN-NEXT:    vfadd.vv v16, v16, v0
 323 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m4, ta, ma
 324 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v16
 325 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v12
 326 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e32, m8, ta, ma
 327 ; ZVFHMIN-NEXT:    vfadd.vv v16, v16, v0
 328 ; ZVFHMIN-NEXT:    vsetvli zero, zero, e16, m4, ta, ma
 329 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v12, v16
 330 ; ZVFHMIN-NEXT:    ret
 331   %head = insertelement <vscale x 32 x half> poison, half %b, i32 0
 332   %splat = shufflevector <vscale x 32 x half> %head, <vscale x 32 x half> poison, <vscale x 32 x i32> zeroinitializer
 333   %vc = fadd <vscale x 32 x half> %va, %splat
 334   ret <vscale x 32 x half> %vc
 335 }
 336
 337 define <vscale x 1 x float> @vfadd_vv_nxv1f32(<vscale x 1 x float> %va, <vscale x 1 x float> %vb) {
 338 ; CHECK-LABEL: vfadd_vv_nxv1f32:
 339 ; CHECK:       # %bb.0:
 340 ; CHECK-NEXT:    vsetvli a0, zero, e32, mf2, ta, ma
 341 ; CHECK-NEXT:    vfadd.vv v8, v8, v9
 342 ; CHECK-NEXT:    ret
 343   %vc = fadd <vscale x 1 x float> %va, %vb
 344   ret <vscale x 1 x float> %vc
 345 }
 346
 347 define <vscale x 1 x float> @vfadd_vf_nxv1f32(<vscale x 1 x float> %va, float %b) {
 348 ; CHECK-LABEL: vfadd_vf_nxv1f32:
 349 ; CHECK:       # %bb.0:
 350 ; CHECK-NEXT:    vsetvli a0, zero, e32, mf2, ta, ma
 351 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 352 ; CHECK-NEXT:    ret
 353   %head = insertelement <vscale x 1 x float> poison, float %b, i32 0
 354   %splat = shufflevector <vscale x 1 x float> %head, <vscale x 1 x float> poison, <vscale x 1 x i32> zeroinitializer
 355   %vc = fadd <vscale x 1 x float> %va, %splat
 356   ret <vscale x 1 x float> %vc
 357 }
 358
 359 define <vscale x 2 x float> @vfadd_vv_nxv2f32(<vscale x 2 x float> %va, <vscale x 2 x float> %vb) {
 360 ; CHECK-LABEL: vfadd_vv_nxv2f32:
 361 ; CHECK:       # %bb.0:
 362 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, ta, ma
 363 ; CHECK-NEXT:    vfadd.vv v8, v8, v9
 364 ; CHECK-NEXT:    ret
 365   %vc = fadd <vscale x 2 x float> %va, %vb
 366   ret <vscale x 2 x float> %vc
 367 }
 368
 369 define <vscale x 2 x float> @vfadd_vf_nxv2f32(<vscale x 2 x float> %va, float %b) {
 370 ; CHECK-LABEL: vfadd_vf_nxv2f32:
 371 ; CHECK:       # %bb.0:
 372 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, ta, ma
 373 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 374 ; CHECK-NEXT:    ret
 375   %head = insertelement <vscale x 2 x float> poison, float %b, i32 0
 376   %splat = shufflevector <vscale x 2 x float> %head, <vscale x 2 x float> poison, <vscale x 2 x i32> zeroinitializer
 377   %vc = fadd <vscale x 2 x float> %va, %splat
 378   ret <vscale x 2 x float> %vc
 379 }
 380
 381 define <vscale x 4 x float> @vfadd_vv_nxv4f32(<vscale x 4 x float> %va, <vscale x 4 x float> %vb) {
 382 ; CHECK-LABEL: vfadd_vv_nxv4f32:
 383 ; CHECK:       # %bb.0:
 384 ; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
 385 ; CHECK-NEXT:    vfadd.vv v8, v8, v10
 386 ; CHECK-NEXT:    ret
 387   %vc = fadd <vscale x 4 x float> %va, %vb
 388   ret <vscale x 4 x float> %vc
 389 }
 390
 391 define <vscale x 4 x float> @vfadd_vf_nxv4f32(<vscale x 4 x float> %va, float %b) {
 392 ; CHECK-LABEL: vfadd_vf_nxv4f32:
 393 ; CHECK:       # %bb.0:
 394 ; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
 395 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 396 ; CHECK-NEXT:    ret
 397   %head = insertelement <vscale x 4 x float> poison, float %b, i32 0
 398   %splat = shufflevector <vscale x 4 x float> %head, <vscale x 4 x float> poison, <vscale x 4 x i32> zeroinitializer
 399   %vc = fadd <vscale x 4 x float> %va, %splat
 400   ret <vscale x 4 x float> %vc
 401 }
 402
 403 define <vscale x 8 x float> @vfadd_vv_nxv8f32(<vscale x 8 x float> %va, <vscale x 8 x float> %vb) {
 404 ; CHECK-LABEL: vfadd_vv_nxv8f32:
 405 ; CHECK:       # %bb.0:
 406 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 407 ; CHECK-NEXT:    vfadd.vv v8, v8, v12
 408 ; CHECK-NEXT:    ret
 409   %vc = fadd <vscale x 8 x float> %va, %vb
 410   ret <vscale x 8 x float> %vc
 411 }
 412
 413 define <vscale x 8 x float> @vfadd_vf_nxv8f32(<vscale x 8 x float> %va, float %b) {
 414 ; CHECK-LABEL: vfadd_vf_nxv8f32:
 415 ; CHECK:       # %bb.0:
 416 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 417 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 418 ; CHECK-NEXT:    ret
 419   %head = insertelement <vscale x 8 x float> poison, float %b, i32 0
 420   %splat = shufflevector <vscale x 8 x float> %head, <vscale x 8 x float> poison, <vscale x 8 x i32> zeroinitializer
 421   %vc = fadd <vscale x 8 x float> %va, %splat
 422   ret <vscale x 8 x float> %vc
 423 }
 424
 425 define <vscale x 8 x float> @vfadd_fv_nxv8f32(<vscale x 8 x float> %va, float %b) {
 426 ; CHECK-LABEL: vfadd_fv_nxv8f32:
 427 ; CHECK:       # %bb.0:
 428 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 429 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 430 ; CHECK-NEXT:    ret
 431   %head = insertelement <vscale x 8 x float> poison, float %b, i32 0
 432   %splat = shufflevector <vscale x 8 x float> %head, <vscale x 8 x float> poison, <vscale x 8 x i32> zeroinitializer
 433   %vc = fadd <vscale x 8 x float> %splat, %va
 434   ret <vscale x 8 x float> %vc
 435 }
 436
 437 define <vscale x 16 x float> @vfadd_vv_nxv16f32(<vscale x 16 x float> %va, <vscale x 16 x float> %vb) {
 438 ; CHECK-LABEL: vfadd_vv_nxv16f32:
 439 ; CHECK:       # %bb.0:
 440 ; CHECK-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 441 ; CHECK-NEXT:    vfadd.vv v8, v8, v16
 442 ; CHECK-NEXT:    ret
 443   %vc = fadd <vscale x 16 x float> %va, %vb
 444   ret <vscale x 16 x float> %vc
 445 }
 446
 447 define <vscale x 16 x float> @vfadd_vf_nxv16f32(<vscale x 16 x float> %va, float %b) {
 448 ; CHECK-LABEL: vfadd_vf_nxv16f32:
 449 ; CHECK:       # %bb.0:
 450 ; CHECK-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 451 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 452 ; CHECK-NEXT:    ret
 453   %head = insertelement <vscale x 16 x float> poison, float %b, i32 0
 454   %splat = shufflevector <vscale x 16 x float> %head, <vscale x 16 x float> poison, <vscale x 16 x i32> zeroinitializer
 455   %vc = fadd <vscale x 16 x float> %va, %splat
 456   ret <vscale x 16 x float> %vc
 457 }
 458
 459 define <vscale x 1 x double> @vfadd_vv_nxv1f64(<vscale x 1 x double> %va, <vscale x 1 x double> %vb) {
 460 ; CHECK-LABEL: vfadd_vv_nxv1f64:
 461 ; CHECK:       # %bb.0:
 462 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, ta, ma
 463 ; CHECK-NEXT:    vfadd.vv v8, v8, v9
 464 ; CHECK-NEXT:    ret
 465   %vc = fadd <vscale x 1 x double> %va, %vb
 466   ret <vscale x 1 x double> %vc
 467 }
 468
 469 define <vscale x 1 x double> @vfadd_vf_nxv1f64(<vscale x 1 x double> %va, double %b) {
 470 ; CHECK-LABEL: vfadd_vf_nxv1f64:
 471 ; CHECK:       # %bb.0:
 472 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, ta, ma
 473 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 474 ; CHECK-NEXT:    ret
 475   %head = insertelement <vscale x 1 x double> poison, double %b, i32 0
 476   %splat = shufflevector <vscale x 1 x double> %head, <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer
 477   %vc = fadd <vscale x 1 x double> %va, %splat
 478   ret <vscale x 1 x double> %vc
 479 }
 480
 481 define <vscale x 2 x double> @vfadd_vv_nxv2f64(<vscale x 2 x double> %va, <vscale x 2 x double> %vb) {
 482 ; CHECK-LABEL: vfadd_vv_nxv2f64:
 483 ; CHECK:       # %bb.0:
 484 ; CHECK-NEXT:    vsetvli a0, zero, e64, m2, ta, ma
 485 ; CHECK-NEXT:    vfadd.vv v8, v8, v10
 486 ; CHECK-NEXT:    ret
 487   %vc = fadd <vscale x 2 x double> %va, %vb
 488   ret <vscale x 2 x double> %vc
 489 }
 490
 491 define <vscale x 2 x double> @vfadd_vf_nxv2f64(<vscale x 2 x double> %va, double %b) {
 492 ; CHECK-LABEL: vfadd_vf_nxv2f64:
 493 ; CHECK:       # %bb.0:
 494 ; CHECK-NEXT:    vsetvli a0, zero, e64, m2, ta, ma
 495 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 496 ; CHECK-NEXT:    ret
 497   %head = insertelement <vscale x 2 x double> poison, double %b, i32 0
 498   %splat = shufflevector <vscale x 2 x double> %head, <vscale x 2 x double> poison, <vscale x 2 x i32> zeroinitializer
 499   %vc = fadd <vscale x 2 x double> %va, %splat
 500   ret <vscale x 2 x double> %vc
 501 }
 502
 503 define <vscale x 4 x double> @vfadd_vv_nxv4f64(<vscale x 4 x double> %va, <vscale x 4 x double> %vb) {
 504 ; CHECK-LABEL: vfadd_vv_nxv4f64:
 505 ; CHECK:       # %bb.0:
 506 ; CHECK-NEXT:    vsetvli a0, zero, e64, m4, ta, ma
 507 ; CHECK-NEXT:    vfadd.vv v8, v8, v12
 508 ; CHECK-NEXT:    ret
 509   %vc = fadd <vscale x 4 x double> %va, %vb
 510   ret <vscale x 4 x double> %vc
 511 }
 512
 513 define <vscale x 4 x double> @vfadd_vf_nxv4f64(<vscale x 4 x double> %va, double %b) {
 514 ; CHECK-LABEL: vfadd_vf_nxv4f64:
 515 ; CHECK:       # %bb.0:
 516 ; CHECK-NEXT:    vsetvli a0, zero, e64, m4, ta, ma
 517 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 518 ; CHECK-NEXT:    ret
 519   %head = insertelement <vscale x 4 x double> poison, double %b, i32 0
 520   %splat = shufflevector <vscale x 4 x double> %head, <vscale x 4 x double> poison, <vscale x 4 x i32> zeroinitializer
 521   %vc = fadd <vscale x 4 x double> %va, %splat
 522   ret <vscale x 4 x double> %vc
 523 }
 524
 525 define <vscale x 8 x double> @vfadd_vv_nxv8f64(<vscale x 8 x double> %va, <vscale x 8 x double> %vb) {
 526 ; CHECK-LABEL: vfadd_vv_nxv8f64:
 527 ; CHECK:       # %bb.0:
 528 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 529 ; CHECK-NEXT:    vfadd.vv v8, v8, v16
 530 ; CHECK-NEXT:    ret
 531   %vc = fadd <vscale x 8 x double> %va, %vb
 532   ret <vscale x 8 x double> %vc
 533 }
 534
 535 define <vscale x 8 x double> @vfadd_vf_nxv8f64(<vscale x 8 x double> %va, double %b) {
 536 ; CHECK-LABEL: vfadd_vf_nxv8f64:
 537 ; CHECK:       # %bb.0:
 538 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 539 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 540 ; CHECK-NEXT:    ret
 541   %head = insertelement <vscale x 8 x double> poison, double %b, i32 0
 542   %splat = shufflevector <vscale x 8 x double> %head, <vscale x 8 x double> poison, <vscale x 8 x i32> zeroinitializer
 543   %vc = fadd <vscale x 8 x double> %va, %splat
 544   ret <vscale x 8 x double> %vc
 545 }
 546
 547 define <vscale x 8 x double> @vfadd_fv_nxv8f64(<vscale x 8 x double> %va, double %b) {
 548 ; CHECK-LABEL: vfadd_fv_nxv8f64:
 549 ; CHECK:       # %bb.0:
 550 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 551 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0
 552 ; CHECK-NEXT:    ret
 553   %head = insertelement <vscale x 8 x double> poison, double %b, i32 0
 554   %splat = shufflevector <vscale x 8 x double> %head, <vscale x 8 x double> poison, <vscale x 8 x i32> zeroinitializer
 555   %vc = fadd <vscale x 8 x double> %splat, %va
 556   ret <vscale x 8 x double> %vc
 557 }
 558
 559 define <vscale x 8 x float> @vfadd_vv_mask_nxv8f32(<vscale x 8 x float> %va, <vscale x 8 x float> %vb, <vscale x 8 x i1> %mask) {
 560 ; CHECK-LABEL: vfadd_vv_mask_nxv8f32:
 561 ; CHECK:       # %bb.0:
 562 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, mu
 563 ; CHECK-NEXT:    vfadd.vv v8, v8, v12, v0.t
 564 ; CHECK-NEXT:    ret
 565   %vs = select <vscale x 8 x i1> %mask, <vscale x 8 x float> %vb, <vscale x 8 x float> splat (float 0.0)
 566   %vc = fadd fast <vscale x 8 x float> %va, %vs
 567   ret <vscale x 8 x float> %vc
 568 }
 569
 570 define <vscale x 8 x float> @vfadd_vf_mask_nxv8f32(<vscale x 8 x float> %va, float %b, <vscale x 8 x i1> %mask) {
 571 ; CHECK-LABEL: vfadd_vf_mask_nxv8f32:
 572 ; CHECK:       # %bb.0:
 573 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, mu
 574 ; CHECK-NEXT:    vfadd.vf v8, v8, fa0, v0.t
 575 ; CHECK-NEXT:    ret
 576   %head1 = insertelement <vscale x 8 x float> poison, float %b, i32 0
 577   %splat1 = shufflevector <vscale x 8 x float> %head1, <vscale x 8 x float> poison, <vscale x 8 x i32> zeroinitializer
 578   %vs = select <vscale x 8 x i1> %mask, <vscale x 8 x float> %splat1, <vscale x 8 x float> splat (float 0.0)
 579   %vc = fadd fast <vscale x 8 x float> %va, %vs
 580   ret <vscale x 8 x float> %vc
 581 }