llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vcopysign-vp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -mattr=+m,+d,+zfh,+zvfh,+v -target-abi=ilp32d \
   3 ; RUN:   -verify-machineinstrs < %s | FileCheck %s
   4 ; RUN: llc -mtriple=riscv64 -mattr=+m,+d,+zfh,+zvfh,+v -target-abi=lp64d \
   5 ; RUN:   -verify-machineinstrs < %s | FileCheck %s
   6
   7 declare <2 x half> @llvm.vp.copysign.v2f16(<2 x half>, <2 x half>, <2 x i1>, i32)
   8
   9 define <2 x half> @vfsgnj_vv_v2f16(<2 x half> %va, <2 x half> %vb, <2 x i1> %m, i32 zeroext %evl) {
  10 ; CHECK-LABEL: vfsgnj_vv_v2f16:
  11 ; CHECK:       # %bb.0:
  12 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
  13 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
  14 ; CHECK-NEXT:    ret
  15   %v = call <2 x half> @llvm.vp.copysign.v2f16(<2 x half> %va, <2 x half> %vb, <2 x i1> %m, i32 %evl)
  16   ret <2 x half> %v
  17 }
  18
  19 define <2 x half> @vfsgnj_vv_v2f16_unmasked(<2 x half> %va, <2 x half> %vb, i32 zeroext %evl) {
  20 ; CHECK-LABEL: vfsgnj_vv_v2f16_unmasked:
  21 ; CHECK:       # %bb.0:
  22 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf4, ta, ma
  23 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
  24 ; CHECK-NEXT:    ret
  25   %head = insertelement <2 x i1> poison, i1 true, i32 0
  26   %m = shufflevector <2 x i1> %head, <2 x i1> poison, <2 x i32> zeroinitializer
  27   %v = call <2 x half> @llvm.vp.copysign.v2f16(<2 x half> %va, <2 x half> %vb, <2 x i1> %m, i32 %evl)
  28   ret <2 x half> %v
  29 }
  30
  31 declare <4 x half> @llvm.vp.copysign.v4f16(<4 x half>, <4 x half>, <4 x i1>, i32)
  32
  33 define <4 x half> @vfsgnj_vv_v4f16(<4 x half> %va, <4 x half> %vb, <4 x i1> %m, i32 zeroext %evl) {
  34 ; CHECK-LABEL: vfsgnj_vv_v4f16:
  35 ; CHECK:       # %bb.0:
  36 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
  37 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
  38 ; CHECK-NEXT:    ret
  39   %v = call <4 x half> @llvm.vp.copysign.v4f16(<4 x half> %va, <4 x half> %vb, <4 x i1> %m, i32 %evl)
  40   ret <4 x half> %v
  41 }
  42
  43 define <4 x half> @vfsgnj_vv_v4f16_unmasked(<4 x half> %va, <4 x half> %vb, i32 zeroext %evl) {
  44 ; CHECK-LABEL: vfsgnj_vv_v4f16_unmasked:
  45 ; CHECK:       # %bb.0:
  46 ; CHECK-NEXT:    vsetvli zero, a0, e16, mf2, ta, ma
  47 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
  48 ; CHECK-NEXT:    ret
  49   %head = insertelement <4 x i1> poison, i1 true, i32 0
  50   %m = shufflevector <4 x i1> %head, <4 x i1> poison, <4 x i32> zeroinitializer
  51   %v = call <4 x half> @llvm.vp.copysign.v4f16(<4 x half> %va, <4 x half> %vb, <4 x i1> %m, i32 %evl)
  52   ret <4 x half> %v
  53 }
  54
  55 declare <8 x half> @llvm.vp.copysign.v8f16(<8 x half>, <8 x half>, <8 x i1>, i32)
  56
  57 define <8 x half> @vfsgnj_vv_v8f16(<8 x half> %va, <8 x half> %vb, <8 x i1> %m, i32 zeroext %evl) {
  58 ; CHECK-LABEL: vfsgnj_vv_v8f16:
  59 ; CHECK:       # %bb.0:
  60 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
  61 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
  62 ; CHECK-NEXT:    ret
  63   %v = call <8 x half> @llvm.vp.copysign.v8f16(<8 x half> %va, <8 x half> %vb, <8 x i1> %m, i32 %evl)
  64   ret <8 x half> %v
  65 }
  66
  67 define <8 x half> @vfsgnj_vv_v8f16_unmasked(<8 x half> %va, <8 x half> %vb, i32 zeroext %evl) {
  68 ; CHECK-LABEL: vfsgnj_vv_v8f16_unmasked:
  69 ; CHECK:       # %bb.0:
  70 ; CHECK-NEXT:    vsetvli zero, a0, e16, m1, ta, ma
  71 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
  72 ; CHECK-NEXT:    ret
  73   %head = insertelement <8 x i1> poison, i1 true, i32 0
  74   %m = shufflevector <8 x i1> %head, <8 x i1> poison, <8 x i32> zeroinitializer
  75   %v = call <8 x half> @llvm.vp.copysign.v8f16(<8 x half> %va, <8 x half> %vb, <8 x i1> %m, i32 %evl)
  76   ret <8 x half> %v
  77 }
  78
  79 declare <16 x half> @llvm.vp.copysign.v16f16(<16 x half>, <16 x half>, <16 x i1>, i32)
  80
  81 define <16 x half> @vfsgnj_vv_v16f16(<16 x half> %va, <16 x half> %vb, <16 x i1> %m, i32 zeroext %evl) {
  82 ; CHECK-LABEL: vfsgnj_vv_v16f16:
  83 ; CHECK:       # %bb.0:
  84 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
  85 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10, v0.t
  86 ; CHECK-NEXT:    ret
  87   %v = call <16 x half> @llvm.vp.copysign.v16f16(<16 x half> %va, <16 x half> %vb, <16 x i1> %m, i32 %evl)
  88   ret <16 x half> %v
  89 }
  90
  91 define <16 x half> @vfsgnj_vv_v16f16_unmasked(<16 x half> %va, <16 x half> %vb, i32 zeroext %evl) {
  92 ; CHECK-LABEL: vfsgnj_vv_v16f16_unmasked:
  93 ; CHECK:       # %bb.0:
  94 ; CHECK-NEXT:    vsetvli zero, a0, e16, m2, ta, ma
  95 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10
  96 ; CHECK-NEXT:    ret
  97   %head = insertelement <16 x i1> poison, i1 true, i32 0
  98   %m = shufflevector <16 x i1> %head, <16 x i1> poison, <16 x i32> zeroinitializer
  99   %v = call <16 x half> @llvm.vp.copysign.v16f16(<16 x half> %va, <16 x half> %vb, <16 x i1> %m, i32 %evl)
 100   ret <16 x half> %v
 101 }
 102
 103 declare <2 x float> @llvm.vp.copysign.v2f32(<2 x float>, <2 x float>, <2 x i1>, i32)
 104
 105 define <2 x float> @vfsgnj_vv_v2f32(<2 x float> %va, <2 x float> %vb, <2 x i1> %m, i32 zeroext %evl) {
 106 ; CHECK-LABEL: vfsgnj_vv_v2f32:
 107 ; CHECK:       # %bb.0:
 108 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
 109 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
 110 ; CHECK-NEXT:    ret
 111   %v = call <2 x float> @llvm.vp.copysign.v2f32(<2 x float> %va, <2 x float> %vb, <2 x i1> %m, i32 %evl)
 112   ret <2 x float> %v
 113 }
 114
 115 define <2 x float> @vfsgnj_vv_v2f32_unmasked(<2 x float> %va, <2 x float> %vb, i32 zeroext %evl) {
 116 ; CHECK-LABEL: vfsgnj_vv_v2f32_unmasked:
 117 ; CHECK:       # %bb.0:
 118 ; CHECK-NEXT:    vsetvli zero, a0, e32, mf2, ta, ma
 119 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
 120 ; CHECK-NEXT:    ret
 121   %head = insertelement <2 x i1> poison, i1 true, i32 0
 122   %m = shufflevector <2 x i1> %head, <2 x i1> poison, <2 x i32> zeroinitializer
 123   %v = call <2 x float> @llvm.vp.copysign.v2f32(<2 x float> %va, <2 x float> %vb, <2 x i1> %m, i32 %evl)
 124   ret <2 x float> %v
 125 }
 126
 127 declare <4 x float> @llvm.vp.copysign.v4f32(<4 x float>, <4 x float>, <4 x i1>, i32)
 128
 129 define <4 x float> @vfsgnj_vv_v4f32(<4 x float> %va, <4 x float> %vb, <4 x i1> %m, i32 zeroext %evl) {
 130 ; CHECK-LABEL: vfsgnj_vv_v4f32:
 131 ; CHECK:       # %bb.0:
 132 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
 133 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
 134 ; CHECK-NEXT:    ret
 135   %v = call <4 x float> @llvm.vp.copysign.v4f32(<4 x float> %va, <4 x float> %vb, <4 x i1> %m, i32 %evl)
 136   ret <4 x float> %v
 137 }
 138
 139 define <4 x float> @vfsgnj_vv_v4f32_unmasked(<4 x float> %va, <4 x float> %vb, i32 zeroext %evl) {
 140 ; CHECK-LABEL: vfsgnj_vv_v4f32_unmasked:
 141 ; CHECK:       # %bb.0:
 142 ; CHECK-NEXT:    vsetvli zero, a0, e32, m1, ta, ma
 143 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
 144 ; CHECK-NEXT:    ret
 145   %head = insertelement <4 x i1> poison, i1 true, i32 0
 146   %m = shufflevector <4 x i1> %head, <4 x i1> poison, <4 x i32> zeroinitializer
 147   %v = call <4 x float> @llvm.vp.copysign.v4f32(<4 x float> %va, <4 x float> %vb, <4 x i1> %m, i32 %evl)
 148   ret <4 x float> %v
 149 }
 150
 151 declare <8 x float> @llvm.vp.copysign.v8f32(<8 x float>, <8 x float>, <8 x i1>, i32)
 152
 153 define <8 x float> @vfsgnj_vv_v8f32(<8 x float> %va, <8 x float> %vb, <8 x i1> %m, i32 zeroext %evl) {
 154 ; CHECK-LABEL: vfsgnj_vv_v8f32:
 155 ; CHECK:       # %bb.0:
 156 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 157 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10, v0.t
 158 ; CHECK-NEXT:    ret
 159   %v = call <8 x float> @llvm.vp.copysign.v8f32(<8 x float> %va, <8 x float> %vb, <8 x i1> %m, i32 %evl)
 160   ret <8 x float> %v
 161 }
 162
 163 define <8 x float> @vfsgnj_vv_v8f32_unmasked(<8 x float> %va, <8 x float> %vb, i32 zeroext %evl) {
 164 ; CHECK-LABEL: vfsgnj_vv_v8f32_unmasked:
 165 ; CHECK:       # %bb.0:
 166 ; CHECK-NEXT:    vsetvli zero, a0, e32, m2, ta, ma
 167 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10
 168 ; CHECK-NEXT:    ret
 169   %head = insertelement <8 x i1> poison, i1 true, i32 0
 170   %m = shufflevector <8 x i1> %head, <8 x i1> poison, <8 x i32> zeroinitializer
 171   %v = call <8 x float> @llvm.vp.copysign.v8f32(<8 x float> %va, <8 x float> %vb, <8 x i1> %m, i32 %evl)
 172   ret <8 x float> %v
 173 }
 174
 175 declare <16 x float> @llvm.vp.copysign.v16f32(<16 x float>, <16 x float>, <16 x i1>, i32)
 176
 177 define <16 x float> @vfsgnj_vv_v16f32(<16 x float> %va, <16 x float> %vb, <16 x i1> %m, i32 zeroext %evl) {
 178 ; CHECK-LABEL: vfsgnj_vv_v16f32:
 179 ; CHECK:       # %bb.0:
 180 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 181 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v12, v0.t
 182 ; CHECK-NEXT:    ret
 183   %v = call <16 x float> @llvm.vp.copysign.v16f32(<16 x float> %va, <16 x float> %vb, <16 x i1> %m, i32 %evl)
 184   ret <16 x float> %v
 185 }
 186
 187 define <16 x float> @vfsgnj_vv_v16f32_unmasked(<16 x float> %va, <16 x float> %vb, i32 zeroext %evl) {
 188 ; CHECK-LABEL: vfsgnj_vv_v16f32_unmasked:
 189 ; CHECK:       # %bb.0:
 190 ; CHECK-NEXT:    vsetvli zero, a0, e32, m4, ta, ma
 191 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v12
 192 ; CHECK-NEXT:    ret
 193   %head = insertelement <16 x i1> poison, i1 true, i32 0
 194   %m = shufflevector <16 x i1> %head, <16 x i1> poison, <16 x i32> zeroinitializer
 195   %v = call <16 x float> @llvm.vp.copysign.v16f32(<16 x float> %va, <16 x float> %vb, <16 x i1> %m, i32 %evl)
 196   ret <16 x float> %v
 197 }
 198
 199 declare <2 x double> @llvm.vp.copysign.v2f64(<2 x double>, <2 x double>, <2 x i1>, i32)
 200
 201 define <2 x double> @vfsgnj_vv_v2f64(<2 x double> %va, <2 x double> %vb, <2 x i1> %m, i32 zeroext %evl) {
 202 ; CHECK-LABEL: vfsgnj_vv_v2f64:
 203 ; CHECK:       # %bb.0:
 204 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
 205 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9, v0.t
 206 ; CHECK-NEXT:    ret
 207   %v = call <2 x double> @llvm.vp.copysign.v2f64(<2 x double> %va, <2 x double> %vb, <2 x i1> %m, i32 %evl)
 208   ret <2 x double> %v
 209 }
 210
 211 define <2 x double> @vfsgnj_vv_v2f64_unmasked(<2 x double> %va, <2 x double> %vb, i32 zeroext %evl) {
 212 ; CHECK-LABEL: vfsgnj_vv_v2f64_unmasked:
 213 ; CHECK:       # %bb.0:
 214 ; CHECK-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
 215 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v9
 216 ; CHECK-NEXT:    ret
 217   %head = insertelement <2 x i1> poison, i1 true, i32 0
 218   %m = shufflevector <2 x i1> %head, <2 x i1> poison, <2 x i32> zeroinitializer
 219   %v = call <2 x double> @llvm.vp.copysign.v2f64(<2 x double> %va, <2 x double> %vb, <2 x i1> %m, i32 %evl)
 220   ret <2 x double> %v
 221 }
 222
 223 declare <4 x double> @llvm.vp.copysign.v4f64(<4 x double>, <4 x double>, <4 x i1>, i32)
 224
 225 define <4 x double> @vfsgnj_vv_v4f64(<4 x double> %va, <4 x double> %vb, <4 x i1> %m, i32 zeroext %evl) {
 226 ; CHECK-LABEL: vfsgnj_vv_v4f64:
 227 ; CHECK:       # %bb.0:
 228 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
 229 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10, v0.t
 230 ; CHECK-NEXT:    ret
 231   %v = call <4 x double> @llvm.vp.copysign.v4f64(<4 x double> %va, <4 x double> %vb, <4 x i1> %m, i32 %evl)
 232   ret <4 x double> %v
 233 }
 234
 235 define <4 x double> @vfsgnj_vv_v4f64_unmasked(<4 x double> %va, <4 x double> %vb, i32 zeroext %evl) {
 236 ; CHECK-LABEL: vfsgnj_vv_v4f64_unmasked:
 237 ; CHECK:       # %bb.0:
 238 ; CHECK-NEXT:    vsetvli zero, a0, e64, m2, ta, ma
 239 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v10
 240 ; CHECK-NEXT:    ret
 241   %head = insertelement <4 x i1> poison, i1 true, i32 0
 242   %m = shufflevector <4 x i1> %head, <4 x i1> poison, <4 x i32> zeroinitializer
 243   %v = call <4 x double> @llvm.vp.copysign.v4f64(<4 x double> %va, <4 x double> %vb, <4 x i1> %m, i32 %evl)
 244   ret <4 x double> %v
 245 }
 246
 247 declare <8 x double> @llvm.vp.copysign.v8f64(<8 x double>, <8 x double>, <8 x i1>, i32)
 248
 249 define <8 x double> @vfsgnj_vv_v8f64(<8 x double> %va, <8 x double> %vb, <8 x i1> %m, i32 zeroext %evl) {
 250 ; CHECK-LABEL: vfsgnj_vv_v8f64:
 251 ; CHECK:       # %bb.0:
 252 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
 253 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v12, v0.t
 254 ; CHECK-NEXT:    ret
 255   %v = call <8 x double> @llvm.vp.copysign.v8f64(<8 x double> %va, <8 x double> %vb, <8 x i1> %m, i32 %evl)
 256   ret <8 x double> %v
 257 }
 258
 259 define <8 x double> @vfsgnj_vv_v8f64_unmasked(<8 x double> %va, <8 x double> %vb, i32 zeroext %evl) {
 260 ; CHECK-LABEL: vfsgnj_vv_v8f64_unmasked:
 261 ; CHECK:       # %bb.0:
 262 ; CHECK-NEXT:    vsetvli zero, a0, e64, m4, ta, ma
 263 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v12
 264 ; CHECK-NEXT:    ret
 265   %head = insertelement <8 x i1> poison, i1 true, i32 0
 266   %m = shufflevector <8 x i1> %head, <8 x i1> poison, <8 x i32> zeroinitializer
 267   %v = call <8 x double> @llvm.vp.copysign.v8f64(<8 x double> %va, <8 x double> %vb, <8 x i1> %m, i32 %evl)
 268   ret <8 x double> %v
 269 }
 270
 271 declare <15 x double> @llvm.vp.copysign.v15f64(<15 x double>, <15 x double>, <15 x i1>, i32)
 272
 273 define <15 x double> @vfsgnj_vv_v15f64(<15 x double> %va, <15 x double> %vb, <15 x i1> %m, i32 zeroext %evl) {
 274 ; CHECK-LABEL: vfsgnj_vv_v15f64:
 275 ; CHECK:       # %bb.0:
 276 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 277 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v16, v0.t
 278 ; CHECK-NEXT:    ret
 279   %v = call <15 x double> @llvm.vp.copysign.v15f64(<15 x double> %va, <15 x double> %vb, <15 x i1> %m, i32 %evl)
 280   ret <15 x double> %v
 281 }
 282
 283 define <15 x double> @vfsgnj_vv_v15f64_unmasked(<15 x double> %va, <15 x double> %vb, i32 zeroext %evl) {
 284 ; CHECK-LABEL: vfsgnj_vv_v15f64_unmasked:
 285 ; CHECK:       # %bb.0:
 286 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 287 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v16
 288 ; CHECK-NEXT:    ret
 289   %head = insertelement <15 x i1> poison, i1 true, i32 0
 290   %m = shufflevector <15 x i1> %head, <15 x i1> poison, <15 x i32> zeroinitializer
 291   %v = call <15 x double> @llvm.vp.copysign.v15f64(<15 x double> %va, <15 x double> %vb, <15 x i1> %m, i32 %evl)
 292   ret <15 x double> %v
 293 }
 294
 295 declare <16 x double> @llvm.vp.copysign.v16f64(<16 x double>, <16 x double>, <16 x i1>, i32)
 296
 297 define <16 x double> @vfsgnj_vv_v16f64(<16 x double> %va, <16 x double> %vb, <16 x i1> %m, i32 zeroext %evl) {
 298 ; CHECK-LABEL: vfsgnj_vv_v16f64:
 299 ; CHECK:       # %bb.0:
 300 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 301 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v16, v0.t
 302 ; CHECK-NEXT:    ret
 303   %v = call <16 x double> @llvm.vp.copysign.v16f64(<16 x double> %va, <16 x double> %vb, <16 x i1> %m, i32 %evl)
 304   ret <16 x double> %v
 305 }
 306
 307 define <16 x double> @vfsgnj_vv_v16f64_unmasked(<16 x double> %va, <16 x double> %vb, i32 zeroext %evl) {
 308 ; CHECK-LABEL: vfsgnj_vv_v16f64_unmasked:
 309 ; CHECK:       # %bb.0:
 310 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 311 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v16
 312 ; CHECK-NEXT:    ret
 313   %head = insertelement <16 x i1> poison, i1 true, i32 0
 314   %m = shufflevector <16 x i1> %head, <16 x i1> poison, <16 x i32> zeroinitializer
 315   %v = call <16 x double> @llvm.vp.copysign.v16f64(<16 x double> %va, <16 x double> %vb, <16 x i1> %m, i32 %evl)
 316   ret <16 x double> %v
 317 }
 318
 319 declare <32 x double> @llvm.vp.copysign.v32f64(<32 x double>, <32 x double>, <32 x i1>, i32)
 320
 321 define <32 x double> @vfsgnj_vv_v32f64(<32 x double> %va, <32 x double> %vb, <32 x i1> %m, i32 zeroext %evl) {
 322 ; CHECK-LABEL: vfsgnj_vv_v32f64:
 323 ; CHECK:       # %bb.0:
 324 ; CHECK-NEXT:    addi sp, sp, -16
 325 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
 326 ; CHECK-NEXT:    csrr a1, vlenb
 327 ; CHECK-NEXT:    slli a1, a1, 3
 328 ; CHECK-NEXT:    sub sp, sp, a1
 329 ; CHECK-NEXT:    .cfi_escape 0x0f, 0x0d, 0x72, 0x00, 0x11, 0x10, 0x22, 0x11, 0x08, 0x92, 0xa2, 0x38, 0x00, 0x1e, 0x22 # sp + 16 + 8 * vlenb
 330 ; CHECK-NEXT:    addi a1, a0, 128
 331 ; CHECK-NEXT:    vsetivli zero, 16, e64, m8, ta, ma
 332 ; CHECK-NEXT:    vle64.v v24, (a1)
 333 ; CHECK-NEXT:    addi a1, sp, 16
 334 ; CHECK-NEXT:    vs8r.v v24, (a1) # Unknown-size Folded Spill
 335 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf4, ta, ma
 336 ; CHECK-NEXT:    vslidedown.vi v1, v0, 2
 337 ; CHECK-NEXT:    vsetivli zero, 16, e64, m8, ta, ma
 338 ; CHECK-NEXT:    vle64.v v24, (a0)
 339 ; CHECK-NEXT:    li a1, 16
 340 ; CHECK-NEXT:    mv a0, a2
 341 ; CHECK-NEXT:    bltu a2, a1, .LBB26_2
 342 ; CHECK-NEXT:  # %bb.1:
 343 ; CHECK-NEXT:    li a0, 16
 344 ; CHECK-NEXT:  .LBB26_2:
 345 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 346 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v24, v0.t
 347 ; CHECK-NEXT:    addi a0, a2, -16
 348 ; CHECK-NEXT:    sltu a1, a2, a0
 349 ; CHECK-NEXT:    addi a1, a1, -1
 350 ; CHECK-NEXT:    and a0, a1, a0
 351 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 352 ; CHECK-NEXT:    vmv1r.v v0, v1
 353 ; CHECK-NEXT:    addi a0, sp, 16
 354 ; CHECK-NEXT:    vl8r.v v24, (a0) # Unknown-size Folded Reload
 355 ; CHECK-NEXT:    vfsgnj.vv v16, v16, v24, v0.t
 356 ; CHECK-NEXT:    csrr a0, vlenb
 357 ; CHECK-NEXT:    slli a0, a0, 3
 358 ; CHECK-NEXT:    add sp, sp, a0
 359 ; CHECK-NEXT:    addi sp, sp, 16
 360 ; CHECK-NEXT:    ret
 361   %v = call <32 x double> @llvm.vp.copysign.v32f64(<32 x double> %va, <32 x double> %vb, <32 x i1> %m, i32 %evl)
 362   ret <32 x double> %v
 363 }
 364
 365 define <32 x double> @vfsgnj_vv_v32f64_unmasked(<32 x double> %va, <32 x double> %vb, i32 zeroext %evl) {
 366 ; CHECK-LABEL: vfsgnj_vv_v32f64_unmasked:
 367 ; CHECK:       # %bb.0:
 368 ; CHECK-NEXT:    addi a1, a0, 128
 369 ; CHECK-NEXT:    vsetivli zero, 16, e64, m8, ta, ma
 370 ; CHECK-NEXT:    vle64.v v24, (a1)
 371 ; CHECK-NEXT:    vle64.v v0, (a0)
 372 ; CHECK-NEXT:    li a1, 16
 373 ; CHECK-NEXT:    mv a0, a2
 374 ; CHECK-NEXT:    bltu a2, a1, .LBB27_2
 375 ; CHECK-NEXT:  # %bb.1:
 376 ; CHECK-NEXT:    li a0, 16
 377 ; CHECK-NEXT:  .LBB27_2:
 378 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 379 ; CHECK-NEXT:    vfsgnj.vv v8, v8, v0
 380 ; CHECK-NEXT:    addi a0, a2, -16
 381 ; CHECK-NEXT:    sltu a1, a2, a0
 382 ; CHECK-NEXT:    addi a1, a1, -1
 383 ; CHECK-NEXT:    and a0, a1, a0
 384 ; CHECK-NEXT:    vsetvli zero, a0, e64, m8, ta, ma
 385 ; CHECK-NEXT:    vfsgnj.vv v16, v16, v24
 386 ; CHECK-NEXT:    ret
 387   %head = insertelement <32 x i1> poison, i1 true, i32 0
 388   %m = shufflevector <32 x i1> %head, <32 x i1> poison, <32 x i32> zeroinitializer
 389   %v = call <32 x double> @llvm.vp.copysign.v32f64(<32 x double> %va, <32 x double> %vb, <32 x i1> %m, i32 %evl)
 390   ret <32 x double> %v
 391 }