llvm/test/CodeGen/RISCV/rvv/vcopysign-vp.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 declare <vscale x 1 x half> @llvm.vp.copysign.nxv1f16(<vscale x 1 x half>, <vscale x 1 x half>, <vscale x 1 x i1>, i32)
  12
  13 define <vscale x 1 x half> @vfsgnj_vv_nxv1f16(<vscale x 1 x half> %va, <vscale x 1 x half> %vb, <vscale x 1 x i1> %m, i32 zeroext %evl) {
  14 ; ZVFH-LABEL: vfsgnj_vv_nxv1f16:
  15 ; ZVFH:       # %bb.0:
  16 ; ZVFH-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
  17 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
  18 ; ZVFH-NEXT:    ret
  19 ;
  20 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv1f16:
  21 ; ZVFHMIN:       # %bb.0:
  22 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, mf4, ta, ma
  23 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v9
  24 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v9, v8
  25 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
  26 ; ZVFHMIN-NEXT:    vfsgnj.vv v9, v9, v10, v0.t
  27 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
  28 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v9
  29 ; ZVFHMIN-NEXT:    ret
  30   %v = call <vscale x 1 x half> @llvm.vp.copysign.nxv1f16(<vscale x 1 x half> %va, <vscale x 1 x half> %vb, <vscale x 1 x i1> %m, i32 %evl)
  31   ret <vscale x 1 x half> %v
  32 }
  33
  34 define <vscale x 1 x half> @vfsgnj_vv_nxv1f16_unmasked(<vscale x 1 x half> %va, <vscale x 1 x half> %vb, i32 zeroext %evl) {
  35 ; ZVFH-LABEL: vfsgnj_vv_nxv1f16_unmasked:
  36 ; ZVFH:       # %bb.0:
  37 ; ZVFH-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
  38 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v9
  39 ; ZVFH-NEXT:    ret
  40 ;
  41 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv1f16_unmasked:
  42 ; ZVFHMIN:       # %bb.0:
  43 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, mf4, ta, ma
  44 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v9
  45 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v9, v8
  46 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
  47 ; ZVFHMIN-NEXT:    vfsgnj.vv v9, v9, v10
  48 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
  49 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v9
  50 ; ZVFHMIN-NEXT:    ret
  51   %head = insertelement <vscale x 1 x i1> poison, i1 true, i32 0
  52   %m = shufflevector <vscale x 1 x i1> %head, <vscale x 1 x i1> poison, <vscale x 1 x i32> zeroinitializer
  53   %v = call <vscale x 1 x half> @llvm.vp.copysign.nxv1f16(<vscale x 1 x half> %va, <vscale x 1 x half> %vb, <vscale x 1 x i1> %m, i32 %evl)
  54   ret <vscale x 1 x half> %v
  55 }
  56
  57 declare <vscale x 2 x half> @llvm.vp.copysign.nxv2f16(<vscale x 2 x half>, <vscale x 2 x half>, <vscale x 2 x i1>, i32)
  58
  59 define <vscale x 2 x half> @vfsgnj_vv_nxv2f16(<vscale x 2 x half> %va, <vscale x 2 x half> %vb, <vscale x 2 x i1> %m, i32 zeroext %evl) {
  60 ; ZVFH-LABEL: vfsgnj_vv_nxv2f16:
  61 ; ZVFH:       # %bb.0:
  62 ; ZVFH-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
  63 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
  64 ; ZVFH-NEXT:    ret
  65 ;
  66 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv2f16:
  67 ; ZVFHMIN:       # %bb.0:
  68 ; ZVFHMIN-NEXT:    vsetvli a1, 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, a0, e32, m1, ta, ma
  72 ; ZVFHMIN-NEXT:    vfsgnj.vv v9, v9, v10, v0.t
  73 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
  74 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v9
  75 ; ZVFHMIN-NEXT:    ret
  76   %v = call <vscale x 2 x half> @llvm.vp.copysign.nxv2f16(<vscale x 2 x half> %va, <vscale x 2 x half> %vb, <vscale x 2 x i1> %m, i32 %evl)
  77   ret <vscale x 2 x half> %v
  78 }
  79
  80 define <vscale x 2 x half> @vfsgnj_vv_nxv2f16_unmasked(<vscale x 2 x half> %va, <vscale x 2 x half> %vb, i32 zeroext %evl) {
  81 ; ZVFH-LABEL: vfsgnj_vv_nxv2f16_unmasked:
  82 ; ZVFH:       # %bb.0:
  83 ; ZVFH-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
  84 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v9
  85 ; ZVFH-NEXT:    ret
  86 ;
  87 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv2f16_unmasked:
  88 ; ZVFHMIN:       # %bb.0:
  89 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, mf2, ta, ma
  90 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v9
  91 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v9, v8
  92 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
  93 ; ZVFHMIN-NEXT:    vfsgnj.vv v9, v9, v10
  94 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
  95 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v9
  96 ; ZVFHMIN-NEXT:    ret
  97   %head = insertelement <vscale x 2 x i1> poison, i1 true, i32 0
  98   %m = shufflevector <vscale x 2 x i1> %head, <vscale x 2 x i1> poison, <vscale x 2 x i32> zeroinitializer
  99   %v = call <vscale x 2 x half> @llvm.vp.copysign.nxv2f16(<vscale x 2 x half> %va, <vscale x 2 x half> %vb, <vscale x 2 x i1> %m, i32 %evl)
 100   ret <vscale x 2 x half> %v
 101 }
 102
 103 declare <vscale x 4 x half> @llvm.vp.copysign.nxv4f16(<vscale x 4 x half>, <vscale x 4 x half>, <vscale x 4 x i1>, i32)
 104
 105 define <vscale x 4 x half> @vfsgnj_vv_nxv4f16(<vscale x 4 x half> %va, <vscale x 4 x half> %vb, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 106 ; ZVFH-LABEL: vfsgnj_vv_nxv4f16:
 107 ; ZVFH:       # %bb.0:
 108 ; ZVFH-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 109 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
 110 ; ZVFH-NEXT:    ret
 111 ;
 112 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv4f16:
 113 ; ZVFHMIN:       # %bb.0:
 114 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, m1, ta, ma
 115 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v9
 116 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v8
 117 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 118 ; ZVFHMIN-NEXT:    vfsgnj.vv v10, v12, v10, v0.t
 119 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
 120 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v10
 121 ; ZVFHMIN-NEXT:    ret
 122   %v = call <vscale x 4 x half> @llvm.vp.copysign.nxv4f16(<vscale x 4 x half> %va, <vscale x 4 x half> %vb, <vscale x 4 x i1> %m, i32 %evl)
 123   ret <vscale x 4 x half> %v
 124 }
 125
 126 define <vscale x 4 x half> @vfsgnj_vv_nxv4f16_unmasked(<vscale x 4 x half> %va, <vscale x 4 x half> %vb, i32 zeroext %evl) {
 127 ; ZVFH-LABEL: vfsgnj_vv_nxv4f16_unmasked:
 128 ; ZVFH:       # %bb.0:
 129 ; ZVFH-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
 130 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v9
 131 ; ZVFH-NEXT:    ret
 132 ;
 133 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv4f16_unmasked:
 134 ; ZVFHMIN:       # %bb.0:
 135 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, m1, ta, ma
 136 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v10, v9
 137 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v8
 138 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 139 ; ZVFHMIN-NEXT:    vfsgnj.vv v10, v12, v10
 140 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
 141 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v10
 142 ; ZVFHMIN-NEXT:    ret
 143   %head = insertelement <vscale x 4 x i1> poison, i1 true, i32 0
 144   %m = shufflevector <vscale x 4 x i1> %head, <vscale x 4 x i1> poison, <vscale x 4 x i32> zeroinitializer
 145   %v = call <vscale x 4 x half> @llvm.vp.copysign.nxv4f16(<vscale x 4 x half> %va, <vscale x 4 x half> %vb, <vscale x 4 x i1> %m, i32 %evl)
 146   ret <vscale x 4 x half> %v
 147 }
 148
 149 declare <vscale x 8 x half> @llvm.vp.copysign.nxv8f16(<vscale x 8 x half>, <vscale x 8 x half>, <vscale x 8 x i1>, i32)
 150
 151 define <vscale x 8 x half> @vfsgnj_vv_nxv8f16(<vscale x 8 x half> %va, <vscale x 8 x half> %vb, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 152 ; ZVFH-LABEL: vfsgnj_vv_nxv8f16:
 153 ; ZVFH:       # %bb.0:
 154 ; ZVFH-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 155 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v10, v0.t
 156 ; ZVFH-NEXT:    ret
 157 ;
 158 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv8f16:
 159 ; ZVFHMIN:       # %bb.0:
 160 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, m2, ta, ma
 161 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v10
 162 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v8
 163 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 164 ; ZVFHMIN-NEXT:    vfsgnj.vv v12, v16, v12, v0.t
 165 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 166 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v12
 167 ; ZVFHMIN-NEXT:    ret
 168   %v = call <vscale x 8 x half> @llvm.vp.copysign.nxv8f16(<vscale x 8 x half> %va, <vscale x 8 x half> %vb, <vscale x 8 x i1> %m, i32 %evl)
 169   ret <vscale x 8 x half> %v
 170 }
 171
 172 define <vscale x 8 x half> @vfsgnj_vv_nxv8f16_unmasked(<vscale x 8 x half> %va, <vscale x 8 x half> %vb, i32 zeroext %evl) {
 173 ; ZVFH-LABEL: vfsgnj_vv_nxv8f16_unmasked:
 174 ; ZVFH:       # %bb.0:
 175 ; ZVFH-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
 176 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v10
 177 ; ZVFH-NEXT:    ret
 178 ;
 179 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv8f16_unmasked:
 180 ; ZVFHMIN:       # %bb.0:
 181 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, m2, ta, ma
 182 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v12, v10
 183 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v8
 184 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 185 ; ZVFHMIN-NEXT:    vfsgnj.vv v12, v16, v12
 186 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
 187 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v12
 188 ; ZVFHMIN-NEXT:    ret
 189   %head = insertelement <vscale x 8 x i1> poison, i1 true, i32 0
 190   %m = shufflevector <vscale x 8 x i1> %head, <vscale x 8 x i1> poison, <vscale x 8 x i32> zeroinitializer
 191   %v = call <vscale x 8 x half> @llvm.vp.copysign.nxv8f16(<vscale x 8 x half> %va, <vscale x 8 x half> %vb, <vscale x 8 x i1> %m, i32 %evl)
 192   ret <vscale x 8 x half> %v
 193 }
 194
 195 declare <vscale x 16 x half> @llvm.vp.copysign.nxv16f16(<vscale x 16 x half>, <vscale x 16 x half>, <vscale x 16 x i1>, i32)
 196
 197 define <vscale x 16 x half> @vfsgnj_vv_nxv16f16(<vscale x 16 x half> %va, <vscale x 16 x half> %vb, <vscale x 16 x i1> %m, i32 zeroext %evl) {
 198 ; ZVFH-LABEL: vfsgnj_vv_nxv16f16:
 199 ; ZVFH:       # %bb.0:
 200 ; ZVFH-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
 201 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v12, v0.t
 202 ; ZVFH-NEXT:    ret
 203 ;
 204 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv16f16:
 205 ; ZVFHMIN:       # %bb.0:
 206 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, m4, ta, ma
 207 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v12
 208 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v8
 209 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
 210 ; ZVFHMIN-NEXT:    vfsgnj.vv v16, v24, v16, v0.t
 211 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 212 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v16
 213 ; ZVFHMIN-NEXT:    ret
 214   %v = call <vscale x 16 x half> @llvm.vp.copysign.nxv16f16(<vscale x 16 x half> %va, <vscale x 16 x half> %vb, <vscale x 16 x i1> %m, i32 %evl)
 215   ret <vscale x 16 x half> %v
 216 }
 217
 218 define <vscale x 16 x half> @vfsgnj_vv_nxv16f16_unmasked(<vscale x 16 x half> %va, <vscale x 16 x half> %vb, i32 zeroext %evl) {
 219 ; ZVFH-LABEL: vfsgnj_vv_nxv16f16_unmasked:
 220 ; ZVFH:       # %bb.0:
 221 ; ZVFH-NEXT:    vsetvli zero, a0, e16, m4, ta, ma
 222 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v12
 223 ; ZVFH-NEXT:    ret
 224 ;
 225 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv16f16_unmasked:
 226 ; ZVFHMIN:       # %bb.0:
 227 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e16, m4, ta, ma
 228 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v12
 229 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v8
 230 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
 231 ; ZVFHMIN-NEXT:    vfsgnj.vv v16, v24, v16
 232 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 233 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v16
 234 ; ZVFHMIN-NEXT:    ret
 235   %head = insertelement <vscale x 16 x i1> poison, i1 true, i32 0
 236   %m = shufflevector <vscale x 16 x i1> %head, <vscale x 16 x i1> poison, <vscale x 16 x i32> zeroinitializer
 237   %v = call <vscale x 16 x half> @llvm.vp.copysign.nxv16f16(<vscale x 16 x half> %va, <vscale x 16 x half> %vb, <vscale x 16 x i1> %m, i32 %evl)
 238   ret <vscale x 16 x half> %v
 239 }
 240
 241 declare <vscale x 32 x half> @llvm.vp.copysign.nxv32f16(<vscale x 32 x half>, <vscale x 32 x half>, <vscale x 32 x i1>, i32)
 242
 243 define <vscale x 32 x half> @vfsgnj_vv_nxv32f16(<vscale x 32 x half> %va, <vscale x 32 x half> %vb, <vscale x 32 x i1> %m, i32 zeroext %evl) {
 244 ; ZVFH-LABEL: vfsgnj_vv_nxv32f16:
 245 ; ZVFH:       # %bb.0:
 246 ; ZVFH-NEXT:    vsetvli zero, a0, e16, m8, ta, ma
 247 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v16, v0.t
 248 ; ZVFH-NEXT:    ret
 249 ;
 250 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv32f16:
 251 ; ZVFHMIN:       # %bb.0:
 252 ; ZVFHMIN-NEXT:    addi sp, sp, -16
 253 ; ZVFHMIN-NEXT:    .cfi_def_cfa_offset 16
 254 ; ZVFHMIN-NEXT:    csrr a1, vlenb
 255 ; ZVFHMIN-NEXT:    slli a1, a1, 3
 256 ; ZVFHMIN-NEXT:    sub sp, sp, a1
 257 ; ZVFHMIN-NEXT:    .cfi_escape 0x0f, 0x0d, 0x72, 0x00, 0x11, 0x10, 0x22, 0x11, 0x08, 0x92, 0xa2, 0x38, 0x00, 0x1e, 0x22 # sp + 16 + 8 * vlenb
 258 ; ZVFHMIN-NEXT:    vmv1r.v v1, v0
 259 ; ZVFHMIN-NEXT:    csrr a2, vlenb
 260 ; ZVFHMIN-NEXT:    slli a1, a2, 1
 261 ; ZVFHMIN-NEXT:    sub a3, a0, a1
 262 ; ZVFHMIN-NEXT:    sltu a4, a0, a3
 263 ; ZVFHMIN-NEXT:    addi a4, a4, -1
 264 ; ZVFHMIN-NEXT:    and a3, a4, a3
 265 ; ZVFHMIN-NEXT:    srli a2, a2, 2
 266 ; ZVFHMIN-NEXT:    vsetvli a4, zero, e8, mf2, ta, ma
 267 ; ZVFHMIN-NEXT:    vslidedown.vx v0, v0, a2
 268 ; ZVFHMIN-NEXT:    vsetvli a2, zero, e16, m4, ta, ma
 269 ; ZVFHMIN-NEXT:    addi a2, sp, 16
 270 ; ZVFHMIN-NEXT:    vs8r.v v16, (a2) # Unknown-size Folded Spill
 271 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v20
 272 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v12
 273 ; ZVFHMIN-NEXT:    vsetvli zero, a3, e32, m8, ta, ma
 274 ; ZVFHMIN-NEXT:    vfsgnj.vv v16, v16, v24, v0.t
 275 ; ZVFHMIN-NEXT:    vsetvli a2, zero, e16, m4, ta, ma
 276 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v12, v16
 277 ; ZVFHMIN-NEXT:    bltu a0, a1, .LBB10_2
 278 ; ZVFHMIN-NEXT:  # %bb.1:
 279 ; ZVFHMIN-NEXT:    mv a0, a1
 280 ; ZVFHMIN-NEXT:  .LBB10_2:
 281 ; ZVFHMIN-NEXT:    addi a1, sp, 16
 282 ; ZVFHMIN-NEXT:    vl8r.v v24, (a1) # Unknown-size Folded Reload
 283 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v24
 284 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v8
 285 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
 286 ; ZVFHMIN-NEXT:    vmv1r.v v0, v1
 287 ; ZVFHMIN-NEXT:    vfsgnj.vv v16, v24, v16, v0.t
 288 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 289 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v16
 290 ; ZVFHMIN-NEXT:    csrr a0, vlenb
 291 ; ZVFHMIN-NEXT:    slli a0, a0, 3
 292 ; ZVFHMIN-NEXT:    add sp, sp, a0
 293 ; ZVFHMIN-NEXT:    addi sp, sp, 16
 294 ; ZVFHMIN-NEXT:    ret
 295   %v = call <vscale x 32 x half> @llvm.vp.copysign.nxv32f16(<vscale x 32 x half> %va, <vscale x 32 x half> %vb, <vscale x 32 x i1> %m, i32 %evl)
 296   ret <vscale x 32 x half> %v
 297 }
 298
 299 define <vscale x 32 x half> @vfsgnj_vv_nxv32f16_unmasked(<vscale x 32 x half> %va, <vscale x 32 x half> %vb, i32 zeroext %evl) {
 300 ; ZVFH-LABEL: vfsgnj_vv_nxv32f16_unmasked:
 301 ; ZVFH:       # %bb.0:
 302 ; ZVFH-NEXT:    vsetvli zero, a0, e16, m8, ta, ma
 303 ; ZVFH-NEXT:    vfsgnj.vv v8, v8, v16
 304 ; ZVFH-NEXT:    ret
 305 ;
 306 ; ZVFHMIN-LABEL: vfsgnj_vv_nxv32f16_unmasked:
 307 ; ZVFHMIN:       # %bb.0:
 308 ; ZVFHMIN-NEXT:    addi sp, sp, -16
 309 ; ZVFHMIN-NEXT:    .cfi_def_cfa_offset 16
 310 ; ZVFHMIN-NEXT:    csrr a1, vlenb
 311 ; ZVFHMIN-NEXT:    slli a1, a1, 3
 312 ; ZVFHMIN-NEXT:    sub sp, sp, a1
 313 ; ZVFHMIN-NEXT:    .cfi_escape 0x0f, 0x0d, 0x72, 0x00, 0x11, 0x10, 0x22, 0x11, 0x08, 0x92, 0xa2, 0x38, 0x00, 0x1e, 0x22 # sp + 16 + 8 * vlenb
 314 ; ZVFHMIN-NEXT:    vsetvli a1, zero, e8, m4, ta, ma
 315 ; ZVFHMIN-NEXT:    vmset.m v24
 316 ; ZVFHMIN-NEXT:    csrr a2, vlenb
 317 ; ZVFHMIN-NEXT:    slli a1, a2, 1
 318 ; ZVFHMIN-NEXT:    sub a3, a0, a1
 319 ; ZVFHMIN-NEXT:    sltu a4, a0, a3
 320 ; ZVFHMIN-NEXT:    addi a4, a4, -1
 321 ; ZVFHMIN-NEXT:    and a3, a4, a3
 322 ; ZVFHMIN-NEXT:    srli a2, a2, 2
 323 ; ZVFHMIN-NEXT:    vsetvli a4, zero, e8, mf2, ta, ma
 324 ; ZVFHMIN-NEXT:    vslidedown.vx v0, v24, a2
 325 ; ZVFHMIN-NEXT:    vsetvli a2, zero, e16, m4, ta, ma
 326 ; ZVFHMIN-NEXT:    addi a2, sp, 16
 327 ; ZVFHMIN-NEXT:    vs8r.v v16, (a2) # Unknown-size Folded Spill
 328 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v20
 329 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v12
 330 ; ZVFHMIN-NEXT:    vsetvli zero, a3, e32, m8, ta, ma
 331 ; ZVFHMIN-NEXT:    vfsgnj.vv v16, v16, v24, v0.t
 332 ; ZVFHMIN-NEXT:    vsetvli a2, zero, e16, m4, ta, ma
 333 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v12, v16
 334 ; ZVFHMIN-NEXT:    bltu a0, a1, .LBB11_2
 335 ; ZVFHMIN-NEXT:  # %bb.1:
 336 ; ZVFHMIN-NEXT:    mv a0, a1
 337 ; ZVFHMIN-NEXT:  .LBB11_2:
 338 ; ZVFHMIN-NEXT:    addi a1, sp, 16
 339 ; ZVFHMIN-NEXT:    vl8r.v v24, (a1) # Unknown-size Folded Reload
 340 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v16, v24
 341 ; ZVFHMIN-NEXT:    vfwcvt.f.f.v v24, v8
 342 ; ZVFHMIN-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
 343 ; ZVFHMIN-NEXT:    vfsgnj.vv v16, v24, v16
 344 ; ZVFHMIN-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 345 ; ZVFHMIN-NEXT:    vfncvt.f.f.w v8, v16
 346 ; ZVFHMIN-NEXT:    csrr a0, vlenb
 347 ; ZVFHMIN-NEXT:    slli a0, a0, 3
 348 ; ZVFHMIN-NEXT:    add sp, sp, a0
 349 ; ZVFHMIN-NEXT:    addi sp, sp, 16
 350 ; ZVFHMIN-NEXT:    ret
 351   %head = insertelement <vscale x 32 x i1> poison, i1 true, i32 0
 352   %m = shufflevector <vscale x 32 x i1> %head, <vscale x 32 x i1> poison, <vscale x 32 x i32> zeroinitializer
 353   %v = call <vscale x 32 x half> @llvm.vp.copysign.nxv32f16(<vscale x 32 x half> %va, <vscale x 32 x half> %vb, <vscale x 32 x i1> %m, i32 %evl)
 354   ret <vscale x 32 x half> %v
 355 }
 356
 357 declare <vscale x 1 x float> @llvm.vp.copysign.nxv1f32(<vscale x 1 x float>, <vscale x 1 x float>, <vscale x 1 x i1>, i32)
 358
 359 define <vscale x 1 x float> @vfsgnj_vv_nxv1f32(<vscale x 1 x float> %va, <vscale x 1 x float> %vb, <vscale x 1 x i1> %m, i32 zeroext %evl) {
 360 ; CHECK-LABEL: vfsgnj_vv_nxv1f32:
 361 ; CHECK:       # %bb.0:
 362 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
 363 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
 364 ; CHECK-NEXT:    ret
 365   %v = call <vscale x 1 x float> @llvm.vp.copysign.nxv1f32(<vscale x 1 x float> %va, <vscale x 1 x float> %vb, <vscale x 1 x i1> %m, i32 %evl)
 366   ret <vscale x 1 x float> %v
 367 }
 368
 369 define <vscale x 1 x float> @vfsgnj_vv_nxv1f32_unmasked(<vscale x 1 x float> %va, <vscale x 1 x float> %vb, i32 zeroext %evl) {
 370 ; CHECK-LABEL: vfsgnj_vv_nxv1f32_unmasked:
 371 ; CHECK:       # %bb.0:
 372 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
 373 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
 374 ; CHECK-NEXT:    ret
 375   %head = insertelement <vscale x 1 x i1> poison, i1 true, i32 0
 376   %m = shufflevector <vscale x 1 x i1> %head, <vscale x 1 x i1> poison, <vscale x 1 x i32> zeroinitializer
 377   %v = call <vscale x 1 x float> @llvm.vp.copysign.nxv1f32(<vscale x 1 x float> %va, <vscale x 1 x float> %vb, <vscale x 1 x i1> %m, i32 %evl)
 378   ret <vscale x 1 x float> %v
 379 }
 380
 381 declare <vscale x 2 x float> @llvm.vp.copysign.nxv2f32(<vscale x 2 x float>, <vscale x 2 x float>, <vscale x 2 x i1>, i32)
 382
 383 define <vscale x 2 x float> @vfsgnj_vv_nxv2f32(<vscale x 2 x float> %va, <vscale x 2 x float> %vb, <vscale x 2 x i1> %m, i32 zeroext %evl) {
 384 ; CHECK-LABEL: vfsgnj_vv_nxv2f32:
 385 ; CHECK:       # %bb.0:
 386 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
 387 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
 388 ; CHECK-NEXT:    ret
 389   %v = call <vscale x 2 x float> @llvm.vp.copysign.nxv2f32(<vscale x 2 x float> %va, <vscale x 2 x float> %vb, <vscale x 2 x i1> %m, i32 %evl)
 390   ret <vscale x 2 x float> %v
 391 }
 392
 393 define <vscale x 2 x float> @vfsgnj_vv_nxv2f32_unmasked(<vscale x 2 x float> %va, <vscale x 2 x float> %vb, i32 zeroext %evl) {
 394 ; CHECK-LABEL: vfsgnj_vv_nxv2f32_unmasked:
 395 ; CHECK:       # %bb.0:
 396 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
 397 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
 398 ; CHECK-NEXT:    ret
 399   %head = insertelement <vscale x 2 x i1> poison, i1 true, i32 0
 400   %m = shufflevector <vscale x 2 x i1> %head, <vscale x 2 x i1> poison, <vscale x 2 x i32> zeroinitializer
 401   %v = call <vscale x 2 x float> @llvm.vp.copysign.nxv2f32(<vscale x 2 x float> %va, <vscale x 2 x float> %vb, <vscale x 2 x i1> %m, i32 %evl)
 402   ret <vscale x 2 x float> %v
 403 }
 404
 405 declare <vscale x 4 x float> @llvm.vp.copysign.nxv4f32(<vscale x 4 x float>, <vscale x 4 x float>, <vscale x 4 x i1>, i32)
 406
 407 define <vscale x 4 x float> @vfsgnj_vv_nxv4f32(<vscale x 4 x float> %va, <vscale x 4 x float> %vb, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 408 ; CHECK-LABEL: vfsgnj_vv_nxv4f32:
 409 ; CHECK:       # %bb.0:
 410 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 411 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10, v0.t
 412 ; CHECK-NEXT:    ret
 413   %v = call <vscale x 4 x float> @llvm.vp.copysign.nxv4f32(<vscale x 4 x float> %va, <vscale x 4 x float> %vb, <vscale x 4 x i1> %m, i32 %evl)
 414   ret <vscale x 4 x float> %v
 415 }
 416
 417 define <vscale x 4 x float> @vfsgnj_vv_nxv4f32_unmasked(<vscale x 4 x float> %va, <vscale x 4 x float> %vb, i32 zeroext %evl) {
 418 ; CHECK-LABEL: vfsgnj_vv_nxv4f32_unmasked:
 419 ; CHECK:       # %bb.0:
 420 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 421 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10
 422 ; CHECK-NEXT:    ret
 423   %head = insertelement <vscale x 4 x i1> poison, i1 true, i32 0
 424   %m = shufflevector <vscale x 4 x i1> %head, <vscale x 4 x i1> poison, <vscale x 4 x i32> zeroinitializer
 425   %v = call <vscale x 4 x float> @llvm.vp.copysign.nxv4f32(<vscale x 4 x float> %va, <vscale x 4 x float> %vb, <vscale x 4 x i1> %m, i32 %evl)
 426   ret <vscale x 4 x float> %v
 427 }
 428
 429 declare <vscale x 8 x float> @llvm.vp.copysign.nxv8f32(<vscale x 8 x float>, <vscale x 8 x float>, <vscale x 8 x i1>, i32)
 430
 431 define <vscale x 8 x float> @vfsgnj_vv_nxv8f32(<vscale x 8 x float> %va, <vscale x 8 x float> %vb, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 432 ; CHECK-LABEL: vfsgnj_vv_nxv8f32:
 433 ; CHECK:       # %bb.0:
 434 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 435 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v12, v0.t
 436 ; CHECK-NEXT:    ret
 437   %v = call <vscale x 8 x float> @llvm.vp.copysign.nxv8f32(<vscale x 8 x float> %va, <vscale x 8 x float> %vb, <vscale x 8 x i1> %m, i32 %evl)
 438   ret <vscale x 8 x float> %v
 439 }
 440
 441 define <vscale x 8 x float> @vfsgnj_vv_nxv8f32_unmasked(<vscale x 8 x float> %va, <vscale x 8 x float> %vb, i32 zeroext %evl) {
 442 ; CHECK-LABEL: vfsgnj_vv_nxv8f32_unmasked:
 443 ; CHECK:       # %bb.0:
 444 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 445 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v12
 446 ; CHECK-NEXT:    ret
 447   %head = insertelement <vscale x 8 x i1> poison, i1 true, i32 0
 448   %m = shufflevector <vscale x 8 x i1> %head, <vscale x 8 x i1> poison, <vscale x 8 x i32> zeroinitializer
 449   %v = call <vscale x 8 x float> @llvm.vp.copysign.nxv8f32(<vscale x 8 x float> %va, <vscale x 8 x float> %vb, <vscale x 8 x i1> %m, i32 %evl)
 450   ret <vscale x 8 x float> %v
 451 }
 452
 453 declare <vscale x 16 x float> @llvm.vp.copysign.nxv16f32(<vscale x 16 x float>, <vscale x 16 x float>, <vscale x 16 x i1>, i32)
 454
 455 define <vscale x 16 x float> @vfsgnj_vv_nxv16f32(<vscale x 16 x float> %va, <vscale x 16 x float> %vb, <vscale x 16 x i1> %m, i32 zeroext %evl) {
 456 ; CHECK-LABEL: vfsgnj_vv_nxv16f32:
 457 ; CHECK:       # %bb.0:
 458 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
 459 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v16, v0.t
 460 ; CHECK-NEXT:    ret
 461   %v = call <vscale x 16 x float> @llvm.vp.copysign.nxv16f32(<vscale x 16 x float> %va, <vscale x 16 x float> %vb, <vscale x 16 x i1> %m, i32 %evl)
 462   ret <vscale x 16 x float> %v
 463 }
 464
 465 define <vscale x 16 x float> @vfsgnj_vv_nxv16f32_unmasked(<vscale x 16 x float> %va, <vscale x 16 x float> %vb, i32 zeroext %evl) {
 466 ; CHECK-LABEL: vfsgnj_vv_nxv16f32_unmasked:
 467 ; CHECK:       # %bb.0:
 468 ; CHECK-NEXT:    vsetvli zero, a0, e32, m8, ta, ma
 469 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v16
 470 ; CHECK-NEXT:    ret
 471   %head = insertelement <vscale x 16 x i1> poison, i1 true, i32 0
 472   %m = shufflevector <vscale x 16 x i1> %head, <vscale x 16 x i1> poison, <vscale x 16 x i32> zeroinitializer
 473   %v = call <vscale x 16 x float> @llvm.vp.copysign.nxv16f32(<vscale x 16 x float> %va, <vscale x 16 x float> %vb, <vscale x 16 x i1> %m, i32 %evl)
 474   ret <vscale x 16 x float> %v
 475 }
 476
 477 declare <vscale x 1 x double> @llvm.vp.copysign.nxv1f64(<vscale x 1 x double>, <vscale x 1 x double>, <vscale x 1 x i1>, i32)
 478
 479 define <vscale x 1 x double> @vfsgnj_vv_nxv1f64(<vscale x 1 x double> %va, <vscale x 1 x double> %vb, <vscale x 1 x i1> %m, i32 zeroext %evl) {
 480 ; CHECK-LABEL: vfsgnj_vv_nxv1f64:
 481 ; CHECK:       # %bb.0:
 482 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
 483 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
 484 ; CHECK-NEXT:    ret
 485   %v = call <vscale x 1 x double> @llvm.vp.copysign.nxv1f64(<vscale x 1 x double> %va, <vscale x 1 x double> %vb, <vscale x 1 x i1> %m, i32 %evl)
 486   ret <vscale x 1 x double> %v
 487 }
 488
 489 define <vscale x 1 x double> @vfsgnj_vv_nxv1f64_unmasked(<vscale x 1 x double> %va, <vscale x 1 x double> %vb, i32 zeroext %evl) {
 490 ; CHECK-LABEL: vfsgnj_vv_nxv1f64_unmasked:
 491 ; CHECK:       # %bb.0:
 492 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
 493 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
 494 ; CHECK-NEXT:    ret
 495   %head = insertelement <vscale x 1 x i1> poison, i1 true, i32 0
 496   %m = shufflevector <vscale x 1 x i1> %head, <vscale x 1 x i1> poison, <vscale x 1 x i32> zeroinitializer
 497   %v = call <vscale x 1 x double> @llvm.vp.copysign.nxv1f64(<vscale x 1 x double> %va, <vscale x 1 x double> %vb, <vscale x 1 x i1> %m, i32 %evl)
 498   ret <vscale x 1 x double> %v
 499 }
 500
 501 declare <vscale x 2 x double> @llvm.vp.copysign.nxv2f64(<vscale x 2 x double>, <vscale x 2 x double>, <vscale x 2 x i1>, i32)
 502
 503 define <vscale x 2 x double> @vfsgnj_vv_nxv2f64(<vscale x 2 x double> %va, <vscale x 2 x double> %vb, <vscale x 2 x i1> %m, i32 zeroext %evl) {
 504 ; CHECK-LABEL: vfsgnj_vv_nxv2f64:
 505 ; CHECK:       # %bb.0:
 506 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
 507 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10, v0.t
 508 ; CHECK-NEXT:    ret
 509   %v = call <vscale x 2 x double> @llvm.vp.copysign.nxv2f64(<vscale x 2 x double> %va, <vscale x 2 x double> %vb, <vscale x 2 x i1> %m, i32 %evl)
 510   ret <vscale x 2 x double> %v
 511 }
 512
 513 define <vscale x 2 x double> @vfsgnj_vv_nxv2f64_unmasked(<vscale x 2 x double> %va, <vscale x 2 x double> %vb, i32 zeroext %evl) {
 514 ; CHECK-LABEL: vfsgnj_vv_nxv2f64_unmasked:
 515 ; CHECK:       # %bb.0:
 516 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
 517 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10
 518 ; CHECK-NEXT:    ret
 519   %head = insertelement <vscale x 2 x i1> poison, i1 true, i32 0
 520   %m = shufflevector <vscale x 2 x i1> %head, <vscale x 2 x i1> poison, <vscale x 2 x i32> zeroinitializer
 521   %v = call <vscale x 2 x double> @llvm.vp.copysign.nxv2f64(<vscale x 2 x double> %va, <vscale x 2 x double> %vb, <vscale x 2 x i1> %m, i32 %evl)
 522   ret <vscale x 2 x double> %v
 523 }
 524
 525 declare <vscale x 4 x double> @llvm.vp.copysign.nxv4f64(<vscale x 4 x double>, <vscale x 4 x double>, <vscale x 4 x i1>, i32)
 526
 527 define <vscale x 4 x double> @vfsgnj_vv_nxv4f64(<vscale x 4 x double> %va, <vscale x 4 x double> %vb, <vscale x 4 x i1> %m, i32 zeroext %evl) {
 528 ; CHECK-LABEL: vfsgnj_vv_nxv4f64:
 529 ; CHECK:       # %bb.0:
 530 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
 531 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v12, v0.t
 532 ; CHECK-NEXT:    ret
 533   %v = call <vscale x 4 x double> @llvm.vp.copysign.nxv4f64(<vscale x 4 x double> %va, <vscale x 4 x double> %vb, <vscale x 4 x i1> %m, i32 %evl)
 534   ret <vscale x 4 x double> %v
 535 }
 536
 537 define <vscale x 4 x double> @vfsgnj_vv_nxv4f64_unmasked(<vscale x 4 x double> %va, <vscale x 4 x double> %vb, i32 zeroext %evl) {
 538 ; CHECK-LABEL: vfsgnj_vv_nxv4f64_unmasked:
 539 ; CHECK:       # %bb.0:
 540 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
 541 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v12
 542 ; CHECK-NEXT:    ret
 543   %head = insertelement <vscale x 4 x i1> poison, i1 true, i32 0
 544   %m = shufflevector <vscale x 4 x i1> %head, <vscale x 4 x i1> poison, <vscale x 4 x i32> zeroinitializer
 545   %v = call <vscale x 4 x double> @llvm.vp.copysign.nxv4f64(<vscale x 4 x double> %va, <vscale x 4 x double> %vb, <vscale x 4 x i1> %m, i32 %evl)
 546   ret <vscale x 4 x double> %v
 547 }
 548
 549 declare <vscale x 8 x double> @llvm.vp.copysign.nxv8f64(<vscale x 8 x double>, <vscale x 8 x double>, <vscale x 8 x i1>, i32)
 550
 551 define <vscale x 8 x double> @vfsgnj_vv_nxv8f64(<vscale x 8 x double> %va, <vscale x 8 x double> %vb, <vscale x 8 x i1> %m, i32 zeroext %evl) {
 552 ; CHECK-LABEL: vfsgnj_vv_nxv8f64:
 553 ; CHECK:       # %bb.0:
 554 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 555 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v16, v0.t
 556 ; CHECK-NEXT:    ret
 557   %v = call <vscale x 8 x double> @llvm.vp.copysign.nxv8f64(<vscale x 8 x double> %va, <vscale x 8 x double> %vb, <vscale x 8 x i1> %m, i32 %evl)
 558   ret <vscale x 8 x double> %v
 559 }
 560
 561 define <vscale x 8 x double> @vfsgnj_vv_nxv8f64_unmasked(<vscale x 8 x double> %va, <vscale x 8 x double> %vb, i32 zeroext %evl) {
 562 ; CHECK-LABEL: vfsgnj_vv_nxv8f64_unmasked:
 563 ; CHECK:       # %bb.0:
 564 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 565 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v16
 566 ; CHECK-NEXT:    ret
 567   %head = insertelement <vscale x 8 x i1> poison, i1 true, i32 0
 568   %m = shufflevector <vscale x 8 x i1> %head, <vscale x 8 x i1> poison, <vscale x 8 x i32> zeroinitializer
 569   %v = call <vscale x 8 x double> @llvm.vp.copysign.nxv8f64(<vscale x 8 x double> %va, <vscale x 8 x double> %vb, <vscale x 8 x i1> %m, i32 %evl)
 570   ret <vscale x 8 x double> %v
 571 }