llvm/test/CodeGen/RISCV/rvv/vfmadd-constrained-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
   4 ; RUN: llc -mtriple=riscv64 -mattr=+d,+zfh,+zvfh,+v -target-abi=lp64d \
   5 ; RUN:     -verify-machineinstrs < %s | FileCheck %s
   6
   7 ; This tests a mix of vfmacc and vfmadd by using different operand orders to
   8 ; trigger commuting in TwoAddressInstructionPass.
   9
  10 declare <vscale x 1 x half> @llvm.experimental.constrained.fma.nxv1f16(<vscale x 1 x half>, <vscale x 1 x half>, <vscale x 1 x half>, metadata, metadata)
  11
  12 define <vscale x 1 x half> @vfmadd_vv_nxv1f16(<vscale x 1 x half> %va, <vscale x 1 x half> %vb, <vscale x 1 x half> %vc) strictfp {
  13 ; CHECK-LABEL: vfmadd_vv_nxv1f16:
  14 ; CHECK:       # %bb.0:
  15 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
  16 ; CHECK-NEXT:    vfmadd.vv v8, v9, v10
  17 ; CHECK-NEXT:    ret
  18   %vd = call <vscale x 1 x half> @llvm.experimental.constrained.fma.nxv1f16(<vscale x 1 x half> %va, <vscale x 1 x half> %vb, <vscale x 1 x half> %vc, metadata !"round.dynamic", metadata !"fpexcept.strict")
  19   ret <vscale x 1 x half> %vd
  20 }
  21
  22 define <vscale x 1 x half> @vfmadd_vf_nxv1f16(<vscale x 1 x half> %va, <vscale x 1 x half> %vb, half %c) strictfp {
  23 ; CHECK-LABEL: vfmadd_vf_nxv1f16:
  24 ; CHECK:       # %bb.0:
  25 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf4, ta, ma
  26 ; CHECK-NEXT:    vfmadd.vf v8, fa0, v9
  27 ; CHECK-NEXT:    ret
  28   %head = insertelement <vscale x 1 x half> poison, half %c, i32 0
  29   %splat = shufflevector <vscale x 1 x half> %head, <vscale x 1 x half> poison, <vscale x 1 x i32> zeroinitializer
  30   %vd = call <vscale x 1 x half> @llvm.experimental.constrained.fma.nxv1f16(<vscale x 1 x half> %va, <vscale x 1 x half> %splat, <vscale x 1 x half> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
  31   ret <vscale x 1 x half> %vd
  32 }
  33
  34 declare <vscale x 2 x half> @llvm.experimental.constrained.fma.nxv2f16(<vscale x 2 x half>, <vscale x 2 x half>, <vscale x 2 x half>, metadata, metadata)
  35
  36 define <vscale x 2 x half> @vfmadd_vv_nxv2f16(<vscale x 2 x half> %va, <vscale x 2 x half> %vb, <vscale x 2 x half> %vc) strictfp {
  37 ; CHECK-LABEL: vfmadd_vv_nxv2f16:
  38 ; CHECK:       # %bb.0:
  39 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
  40 ; CHECK-NEXT:    vfmadd.vv v8, v10, v9
  41 ; CHECK-NEXT:    ret
  42   %vd = call <vscale x 2 x half> @llvm.experimental.constrained.fma.nxv2f16(<vscale x 2 x half> %va, <vscale x 2 x half> %vc, <vscale x 2 x half> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
  43   ret <vscale x 2 x half> %vd
  44 }
  45
  46 define <vscale x 2 x half> @vfmadd_vf_nxv2f16(<vscale x 2 x half> %va, <vscale x 2 x half> %vb, half %c) strictfp {
  47 ; CHECK-LABEL: vfmadd_vf_nxv2f16:
  48 ; CHECK:       # %bb.0:
  49 ; CHECK-NEXT:    vsetvli a0, zero, e16, mf2, ta, ma
  50 ; CHECK-NEXT:    vfmacc.vf v8, fa0, v9
  51 ; CHECK-NEXT:    ret
  52   %head = insertelement <vscale x 2 x half> poison, half %c, i32 0
  53   %splat = shufflevector <vscale x 2 x half> %head, <vscale x 2 x half> poison, <vscale x 2 x i32> zeroinitializer
  54   %vd = call <vscale x 2 x half> @llvm.experimental.constrained.fma.nxv2f16(<vscale x 2 x half> %vb, <vscale x 2 x half> %splat, <vscale x 2 x half> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  55   ret <vscale x 2 x half> %vd
  56 }
  57
  58 declare <vscale x 4 x half> @llvm.experimental.constrained.fma.nxv4f16(<vscale x 4 x half>, <vscale x 4 x half>, <vscale x 4 x half>, metadata, metadata)
  59
  60 define <vscale x 4 x half> @vfmadd_vv_nxv4f16(<vscale x 4 x half> %va, <vscale x 4 x half> %vb, <vscale x 4 x half> %vc) strictfp {
  61 ; CHECK-LABEL: vfmadd_vv_nxv4f16:
  62 ; CHECK:       # %bb.0:
  63 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
  64 ; CHECK-NEXT:    vfmadd.vv v8, v9, v10
  65 ; CHECK-NEXT:    ret
  66   %vd = call <vscale x 4 x half> @llvm.experimental.constrained.fma.nxv4f16(<vscale x 4 x half> %vb, <vscale x 4 x half> %va, <vscale x 4 x half> %vc, metadata !"round.dynamic", metadata !"fpexcept.strict")
  67   ret <vscale x 4 x half> %vd
  68 }
  69
  70 define <vscale x 4 x half> @vfmadd_vf_nxv4f16(<vscale x 4 x half> %va, <vscale x 4 x half> %vb, half %c) strictfp {
  71 ; CHECK-LABEL: vfmadd_vf_nxv4f16:
  72 ; CHECK:       # %bb.0:
  73 ; CHECK-NEXT:    vsetvli a0, zero, e16, m1, ta, ma
  74 ; CHECK-NEXT:    vfmadd.vf v8, fa0, v9
  75 ; CHECK-NEXT:    ret
  76   %head = insertelement <vscale x 4 x half> poison, half %c, i32 0
  77   %splat = shufflevector <vscale x 4 x half> %head, <vscale x 4 x half> poison, <vscale x 4 x i32> zeroinitializer
  78   %vd = call <vscale x 4 x half> @llvm.experimental.constrained.fma.nxv4f16(<vscale x 4 x half> %va, <vscale x 4 x half> %splat, <vscale x 4 x half> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
  79   ret <vscale x 4 x half> %vd
  80 }
  81
  82 declare <vscale x 8 x half> @llvm.experimental.constrained.fma.nxv8f16(<vscale x 8 x half>, <vscale x 8 x half>, <vscale x 8 x half>, metadata, metadata)
  83
  84 define <vscale x 8 x half> @vfmadd_vv_nxv8f16(<vscale x 8 x half> %va, <vscale x 8 x half> %vb, <vscale x 8 x half> %vc) strictfp {
  85 ; CHECK-LABEL: vfmadd_vv_nxv8f16:
  86 ; CHECK:       # %bb.0:
  87 ; CHECK-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
  88 ; CHECK-NEXT:    vfmacc.vv v8, v12, v10
  89 ; CHECK-NEXT:    ret
  90   %vd = call <vscale x 8 x half> @llvm.experimental.constrained.fma.nxv8f16(<vscale x 8 x half> %vb, <vscale x 8 x half> %vc, <vscale x 8 x half> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
  91   ret <vscale x 8 x half> %vd
  92 }
  93
  94 define <vscale x 8 x half> @vfmadd_vf_nxv8f16(<vscale x 8 x half> %va, <vscale x 8 x half> %vb, half %c) strictfp {
  95 ; CHECK-LABEL: vfmadd_vf_nxv8f16:
  96 ; CHECK:       # %bb.0:
  97 ; CHECK-NEXT:    vsetvli a0, zero, e16, m2, ta, ma
  98 ; CHECK-NEXT:    vfmacc.vf v8, fa0, v10
  99 ; CHECK-NEXT:    ret
 100   %head = insertelement <vscale x 8 x half> poison, half %c, i32 0
 101   %splat = shufflevector <vscale x 8 x half> %head, <vscale x 8 x half> poison, <vscale x 8 x i32> zeroinitializer
 102   %vd = call <vscale x 8 x half> @llvm.experimental.constrained.fma.nxv8f16(<vscale x 8 x half> %vb, <vscale x 8 x half> %splat, <vscale x 8 x half> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 103   ret <vscale x 8 x half> %vd
 104 }
 105
 106 declare <vscale x 16 x half> @llvm.experimental.constrained.fma.nxv16f16(<vscale x 16 x half>, <vscale x 16 x half>, <vscale x 16 x half>, metadata, metadata)
 107
 108 define <vscale x 16 x half> @vfmadd_vv_nxv16f16(<vscale x 16 x half> %va, <vscale x 16 x half> %vb, <vscale x 16 x half> %vc) strictfp {
 109 ; CHECK-LABEL: vfmadd_vv_nxv16f16:
 110 ; CHECK:       # %bb.0:
 111 ; CHECK-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 112 ; CHECK-NEXT:    vfmadd.vv v8, v16, v12
 113 ; CHECK-NEXT:    ret
 114   %vd = call <vscale x 16 x half> @llvm.experimental.constrained.fma.nxv16f16(<vscale x 16 x half> %vc, <vscale x 16 x half> %va, <vscale x 16 x half> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 115   ret <vscale x 16 x half> %vd
 116 }
 117
 118 define <vscale x 16 x half> @vfmadd_vf_nxv16f16(<vscale x 16 x half> %va, <vscale x 16 x half> %vb, half %c) strictfp {
 119 ; CHECK-LABEL: vfmadd_vf_nxv16f16:
 120 ; CHECK:       # %bb.0:
 121 ; CHECK-NEXT:    vsetvli a0, zero, e16, m4, ta, ma
 122 ; CHECK-NEXT:    vfmadd.vf v8, fa0, v12
 123 ; CHECK-NEXT:    ret
 124   %head = insertelement <vscale x 16 x half> poison, half %c, i32 0
 125   %splat = shufflevector <vscale x 16 x half> %head, <vscale x 16 x half> poison, <vscale x 16 x i32> zeroinitializer
 126   %vd = call <vscale x 16 x half> @llvm.experimental.constrained.fma.nxv16f16(<vscale x 16 x half> %va, <vscale x 16 x half> %splat, <vscale x 16 x half> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 127   ret <vscale x 16 x half> %vd
 128 }
 129
 130 declare <vscale x 32 x half> @llvm.experimental.constrained.fma.nxv32f16(<vscale x 32 x half>, <vscale x 32 x half>, <vscale x 32 x half>, metadata, metadata)
 131
 132 define <vscale x 32 x half> @vfmadd_vv_nxv32f16(<vscale x 32 x half> %va, <vscale x 32 x half> %vb, <vscale x 32 x half> %vc) strictfp {
 133 ; CHECK-LABEL: vfmadd_vv_nxv32f16:
 134 ; CHECK:       # %bb.0:
 135 ; CHECK-NEXT:    vl8re16.v v24, (a0)
 136 ; CHECK-NEXT:    vsetvli a0, zero, e16, m8, ta, ma
 137 ; CHECK-NEXT:    vfmacc.vv v8, v16, v24
 138 ; CHECK-NEXT:    ret
 139   %vd = call <vscale x 32 x half> @llvm.experimental.constrained.fma.nxv32f16(<vscale x 32 x half> %vc, <vscale x 32 x half> %vb, <vscale x 32 x half> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 140   ret <vscale x 32 x half> %vd
 141 }
 142
 143 define <vscale x 32 x half> @vfmadd_vf_nxv32f16(<vscale x 32 x half> %va, <vscale x 32 x half> %vb, half %c) strictfp {
 144 ; CHECK-LABEL: vfmadd_vf_nxv32f16:
 145 ; CHECK:       # %bb.0:
 146 ; CHECK-NEXT:    vsetvli a0, zero, e16, m8, ta, ma
 147 ; CHECK-NEXT:    vfmacc.vf v8, fa0, v16
 148 ; CHECK-NEXT:    ret
 149   %head = insertelement <vscale x 32 x half> poison, half %c, i32 0
 150   %splat = shufflevector <vscale x 32 x half> %head, <vscale x 32 x half> poison, <vscale x 32 x i32> zeroinitializer
 151   %vd = call <vscale x 32 x half> @llvm.experimental.constrained.fma.nxv32f16(<vscale x 32 x half> %vb, <vscale x 32 x half> %splat, <vscale x 32 x half> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 152   ret <vscale x 32 x half> %vd
 153 }
 154
 155 declare <vscale x 1 x float> @llvm.experimental.constrained.fma.nxv1f32(<vscale x 1 x float>, <vscale x 1 x float>, <vscale x 1 x float>, metadata, metadata)
 156
 157 define <vscale x 1 x float> @vfmadd_vv_nxv1f32(<vscale x 1 x float> %va, <vscale x 1 x float> %vb, <vscale x 1 x float> %vc) strictfp {
 158 ; CHECK-LABEL: vfmadd_vv_nxv1f32:
 159 ; CHECK:       # %bb.0:
 160 ; CHECK-NEXT:    vsetvli a0, zero, e32, mf2, ta, ma
 161 ; CHECK-NEXT:    vfmadd.vv v8, v9, v10
 162 ; CHECK-NEXT:    ret
 163   %vd = call <vscale x 1 x float> @llvm.experimental.constrained.fma.nxv1f32(<vscale x 1 x float> %va, <vscale x 1 x float> %vb, <vscale x 1 x float> %vc, metadata !"round.dynamic", metadata !"fpexcept.strict")
 164   ret <vscale x 1 x float> %vd
 165 }
 166
 167 define <vscale x 1 x float> @vfmadd_vf_nxv1f32(<vscale x 1 x float> %va, <vscale x 1 x float> %vb, float %c) strictfp {
 168 ; CHECK-LABEL: vfmadd_vf_nxv1f32:
 169 ; CHECK:       # %bb.0:
 170 ; CHECK-NEXT:    vsetvli a0, zero, e32, mf2, ta, ma
 171 ; CHECK-NEXT:    vfmadd.vf v8, fa0, v9
 172 ; CHECK-NEXT:    ret
 173   %head = insertelement <vscale x 1 x float> poison, float %c, i32 0
 174   %splat = shufflevector <vscale x 1 x float> %head, <vscale x 1 x float> poison, <vscale x 1 x i32> zeroinitializer
 175   %vd = call <vscale x 1 x float> @llvm.experimental.constrained.fma.nxv1f32(<vscale x 1 x float> %va, <vscale x 1 x float> %splat, <vscale x 1 x float> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 176   ret <vscale x 1 x float> %vd
 177 }
 178
 179 declare <vscale x 2 x float> @llvm.experimental.constrained.fma.nxv2f32(<vscale x 2 x float>, <vscale x 2 x float>, <vscale x 2 x float>, metadata, metadata)
 180
 181 define <vscale x 2 x float> @vfmadd_vv_nxv2f32(<vscale x 2 x float> %va, <vscale x 2 x float> %vb, <vscale x 2 x float> %vc) strictfp {
 182 ; CHECK-LABEL: vfmadd_vv_nxv2f32:
 183 ; CHECK:       # %bb.0:
 184 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, ta, ma
 185 ; CHECK-NEXT:    vfmadd.vv v8, v10, v9
 186 ; CHECK-NEXT:    ret
 187   %vd = call <vscale x 2 x float> @llvm.experimental.constrained.fma.nxv2f32(<vscale x 2 x float> %va, <vscale x 2 x float> %vc, <vscale x 2 x float> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 188   ret <vscale x 2 x float> %vd
 189 }
 190
 191 define <vscale x 2 x float> @vfmadd_vf_nxv2f32(<vscale x 2 x float> %va, <vscale x 2 x float> %vb, float %c) strictfp {
 192 ; CHECK-LABEL: vfmadd_vf_nxv2f32:
 193 ; CHECK:       # %bb.0:
 194 ; CHECK-NEXT:    vsetvli a0, zero, e32, m1, ta, ma
 195 ; CHECK-NEXT:    vfmacc.vf v8, fa0, v9
 196 ; CHECK-NEXT:    ret
 197   %head = insertelement <vscale x 2 x float> poison, float %c, i32 0
 198   %splat = shufflevector <vscale x 2 x float> %head, <vscale x 2 x float> poison, <vscale x 2 x i32> zeroinitializer
 199   %vd = call <vscale x 2 x float> @llvm.experimental.constrained.fma.nxv2f32(<vscale x 2 x float> %vb, <vscale x 2 x float> %splat, <vscale x 2 x float> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 200   ret <vscale x 2 x float> %vd
 201 }
 202
 203 declare <vscale x 4 x float> @llvm.experimental.constrained.fma.nxv4f32(<vscale x 4 x float>, <vscale x 4 x float>, <vscale x 4 x float>, metadata, metadata)
 204
 205 define <vscale x 4 x float> @vfmadd_vv_nxv4f32(<vscale x 4 x float> %va, <vscale x 4 x float> %vb, <vscale x 4 x float> %vc) strictfp {
 206 ; CHECK-LABEL: vfmadd_vv_nxv4f32:
 207 ; CHECK:       # %bb.0:
 208 ; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
 209 ; CHECK-NEXT:    vfmadd.vv v8, v10, v12
 210 ; CHECK-NEXT:    ret
 211   %vd = call <vscale x 4 x float> @llvm.experimental.constrained.fma.nxv4f32(<vscale x 4 x float> %vb, <vscale x 4 x float> %va, <vscale x 4 x float> %vc, metadata !"round.dynamic", metadata !"fpexcept.strict")
 212   ret <vscale x 4 x float> %vd
 213 }
 214
 215 define <vscale x 4 x float> @vfmadd_vf_nxv4f32(<vscale x 4 x float> %va, <vscale x 4 x float> %vb, float %c) strictfp {
 216 ; CHECK-LABEL: vfmadd_vf_nxv4f32:
 217 ; CHECK:       # %bb.0:
 218 ; CHECK-NEXT:    vsetvli a0, zero, e32, m2, ta, ma
 219 ; CHECK-NEXT:    vfmadd.vf v8, fa0, v10
 220 ; CHECK-NEXT:    ret
 221   %head = insertelement <vscale x 4 x float> poison, float %c, i32 0
 222   %splat = shufflevector <vscale x 4 x float> %head, <vscale x 4 x float> poison, <vscale x 4 x i32> zeroinitializer
 223   %vd = call <vscale x 4 x float> @llvm.experimental.constrained.fma.nxv4f32(<vscale x 4 x float> %va, <vscale x 4 x float> %splat, <vscale x 4 x float> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 224   ret <vscale x 4 x float> %vd
 225 }
 226
 227 declare <vscale x 8 x float> @llvm.experimental.constrained.fma.nxv8f32(<vscale x 8 x float>, <vscale x 8 x float>, <vscale x 8 x float>, metadata, metadata)
 228
 229 define <vscale x 8 x float> @vfmadd_vv_nxv8f32(<vscale x 8 x float> %va, <vscale x 8 x float> %vb, <vscale x 8 x float> %vc) strictfp {
 230 ; CHECK-LABEL: vfmadd_vv_nxv8f32:
 231 ; CHECK:       # %bb.0:
 232 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 233 ; CHECK-NEXT:    vfmacc.vv v8, v16, v12
 234 ; CHECK-NEXT:    ret
 235   %vd = call <vscale x 8 x float> @llvm.experimental.constrained.fma.nxv8f32(<vscale x 8 x float> %vb, <vscale x 8 x float> %vc, <vscale x 8 x float> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 236   ret <vscale x 8 x float> %vd
 237 }
 238
 239 define <vscale x 8 x float> @vfmadd_vf_nxv8f32(<vscale x 8 x float> %va, <vscale x 8 x float> %vb, float %c) strictfp {
 240 ; CHECK-LABEL: vfmadd_vf_nxv8f32:
 241 ; CHECK:       # %bb.0:
 242 ; CHECK-NEXT:    vsetvli a0, zero, e32, m4, ta, ma
 243 ; CHECK-NEXT:    vfmacc.vf v8, fa0, v12
 244 ; CHECK-NEXT:    ret
 245   %head = insertelement <vscale x 8 x float> poison, float %c, i32 0
 246   %splat = shufflevector <vscale x 8 x float> %head, <vscale x 8 x float> poison, <vscale x 8 x i32> zeroinitializer
 247   %vd = call <vscale x 8 x float> @llvm.experimental.constrained.fma.nxv8f32(<vscale x 8 x float> %vb, <vscale x 8 x float> %splat, <vscale x 8 x float> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 248   ret <vscale x 8 x float> %vd
 249 }
 250
 251 declare <vscale x 16 x float> @llvm.experimental.constrained.fma.nxv16f32(<vscale x 16 x float>, <vscale x 16 x float>, <vscale x 16 x float>, metadata, metadata)
 252
 253 define <vscale x 16 x float> @vfmadd_vv_nxv16f32(<vscale x 16 x float> %va, <vscale x 16 x float> %vb, <vscale x 16 x float> %vc) strictfp {
 254 ; CHECK-LABEL: vfmadd_vv_nxv16f32:
 255 ; CHECK:       # %bb.0:
 256 ; CHECK-NEXT:    vl8re32.v v24, (a0)
 257 ; CHECK-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 258 ; CHECK-NEXT:    vfmadd.vv v8, v24, v16
 259 ; CHECK-NEXT:    ret
 260   %vd = call <vscale x 16 x float> @llvm.experimental.constrained.fma.nxv16f32(<vscale x 16 x float> %vc, <vscale x 16 x float> %va, <vscale x 16 x float> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 261   ret <vscale x 16 x float> %vd
 262 }
 263
 264 define <vscale x 16 x float> @vfmadd_vf_nxv16f32(<vscale x 16 x float> %va, <vscale x 16 x float> %vb, float %c) strictfp {
 265 ; CHECK-LABEL: vfmadd_vf_nxv16f32:
 266 ; CHECK:       # %bb.0:
 267 ; CHECK-NEXT:    vsetvli a0, zero, e32, m8, ta, ma
 268 ; CHECK-NEXT:    vfmadd.vf v8, fa0, v16
 269 ; CHECK-NEXT:    ret
 270   %head = insertelement <vscale x 16 x float> poison, float %c, i32 0
 271   %splat = shufflevector <vscale x 16 x float> %head, <vscale x 16 x float> poison, <vscale x 16 x i32> zeroinitializer
 272   %vd = call <vscale x 16 x float> @llvm.experimental.constrained.fma.nxv16f32(<vscale x 16 x float> %va, <vscale x 16 x float> %splat, <vscale x 16 x float> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 273   ret <vscale x 16 x float> %vd
 274 }
 275
 276 declare <vscale x 1 x double> @llvm.experimental.constrained.fma.nxv1f64(<vscale x 1 x double>, <vscale x 1 x double>, <vscale x 1 x double>, metadata, metadata)
 277
 278 define <vscale x 1 x double> @vfmadd_vv_nxv1f64(<vscale x 1 x double> %va, <vscale x 1 x double> %vb, <vscale x 1 x double> %vc) strictfp {
 279 ; CHECK-LABEL: vfmadd_vv_nxv1f64:
 280 ; CHECK:       # %bb.0:
 281 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, ta, ma
 282 ; CHECK-NEXT:    vfmadd.vv v8, v9, v10
 283 ; CHECK-NEXT:    ret
 284   %vd = call <vscale x 1 x double> @llvm.experimental.constrained.fma.nxv1f64(<vscale x 1 x double> %va, <vscale x 1 x double> %vb, <vscale x 1 x double> %vc, metadata !"round.dynamic", metadata !"fpexcept.strict")
 285   ret <vscale x 1 x double> %vd
 286 }
 287
 288 define <vscale x 1 x double> @vfmadd_vf_nxv1f64(<vscale x 1 x double> %va, <vscale x 1 x double> %vb, double %c) strictfp {
 289 ; CHECK-LABEL: vfmadd_vf_nxv1f64:
 290 ; CHECK:       # %bb.0:
 291 ; CHECK-NEXT:    vsetvli a0, zero, e64, m1, ta, ma
 292 ; CHECK-NEXT:    vfmadd.vf v8, fa0, v9
 293 ; CHECK-NEXT:    ret
 294   %head = insertelement <vscale x 1 x double> poison, double %c, i32 0
 295   %splat = shufflevector <vscale x 1 x double> %head, <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer
 296   %vd = call <vscale x 1 x double> @llvm.experimental.constrained.fma.nxv1f64(<vscale x 1 x double> %va, <vscale x 1 x double> %splat, <vscale x 1 x double> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 297   ret <vscale x 1 x double> %vd
 298 }
 299
 300 declare <vscale x 2 x double> @llvm.experimental.constrained.fma.nxv2f64(<vscale x 2 x double>, <vscale x 2 x double>, <vscale x 2 x double>, metadata, metadata)
 301
 302 define <vscale x 2 x double> @vfmadd_vv_nxv2f64(<vscale x 2 x double> %va, <vscale x 2 x double> %vb, <vscale x 2 x double> %vc) strictfp {
 303 ; CHECK-LABEL: vfmadd_vv_nxv2f64:
 304 ; CHECK:       # %bb.0:
 305 ; CHECK-NEXT:    vsetvli a0, zero, e64, m2, ta, ma
 306 ; CHECK-NEXT:    vfmadd.vv v8, v12, v10
 307 ; CHECK-NEXT:    ret
 308   %vd = call <vscale x 2 x double> @llvm.experimental.constrained.fma.nxv2f64(<vscale x 2 x double> %va, <vscale x 2 x double> %vc, <vscale x 2 x double> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 309   ret <vscale x 2 x double> %vd
 310 }
 311
 312 define <vscale x 2 x double> @vfmadd_vf_nxv2f64(<vscale x 2 x double> %va, <vscale x 2 x double> %vb, double %c) strictfp {
 313 ; CHECK-LABEL: vfmadd_vf_nxv2f64:
 314 ; CHECK:       # %bb.0:
 315 ; CHECK-NEXT:    vsetvli a0, zero, e64, m2, ta, ma
 316 ; CHECK-NEXT:    vfmacc.vf v8, fa0, v10
 317 ; CHECK-NEXT:    ret
 318   %head = insertelement <vscale x 2 x double> poison, double %c, i32 0
 319   %splat = shufflevector <vscale x 2 x double> %head, <vscale x 2 x double> poison, <vscale x 2 x i32> zeroinitializer
 320   %vd = call <vscale x 2 x double> @llvm.experimental.constrained.fma.nxv2f64(<vscale x 2 x double> %vb, <vscale x 2 x double> %splat, <vscale x 2 x double> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 321   ret <vscale x 2 x double> %vd
 322 }
 323
 324 declare <vscale x 4 x double> @llvm.experimental.constrained.fma.nxv4f64(<vscale x 4 x double>, <vscale x 4 x double>, <vscale x 4 x double>, metadata, metadata)
 325
 326 define <vscale x 4 x double> @vfmadd_vv_nxv4f64(<vscale x 4 x double> %va, <vscale x 4 x double> %vb, <vscale x 4 x double> %vc) strictfp {
 327 ; CHECK-LABEL: vfmadd_vv_nxv4f64:
 328 ; CHECK:       # %bb.0:
 329 ; CHECK-NEXT:    vsetvli a0, zero, e64, m4, ta, ma
 330 ; CHECK-NEXT:    vfmadd.vv v8, v12, v16
 331 ; CHECK-NEXT:    ret
 332   %vd = call <vscale x 4 x double> @llvm.experimental.constrained.fma.nxv4f64(<vscale x 4 x double> %vb, <vscale x 4 x double> %va, <vscale x 4 x double> %vc, metadata !"round.dynamic", metadata !"fpexcept.strict")
 333   ret <vscale x 4 x double> %vd
 334 }
 335
 336 define <vscale x 4 x double> @vfmadd_vf_nxv4f64(<vscale x 4 x double> %va, <vscale x 4 x double> %vb, double %c) strictfp {
 337 ; CHECK-LABEL: vfmadd_vf_nxv4f64:
 338 ; CHECK:       # %bb.0:
 339 ; CHECK-NEXT:    vsetvli a0, zero, e64, m4, ta, ma
 340 ; CHECK-NEXT:    vfmadd.vf v8, fa0, v12
 341 ; CHECK-NEXT:    ret
 342   %head = insertelement <vscale x 4 x double> poison, double %c, i32 0
 343   %splat = shufflevector <vscale x 4 x double> %head, <vscale x 4 x double> poison, <vscale x 4 x i32> zeroinitializer
 344   %vd = call <vscale x 4 x double> @llvm.experimental.constrained.fma.nxv4f64(<vscale x 4 x double> %va, <vscale x 4 x double> %splat, <vscale x 4 x double> %vb, metadata !"round.dynamic", metadata !"fpexcept.strict")
 345   ret <vscale x 4 x double> %vd
 346 }
 347
 348 declare <vscale x 8 x double> @llvm.experimental.constrained.fma.nxv8f64(<vscale x 8 x double>, <vscale x 8 x double>, <vscale x 8 x double>, metadata, metadata)
 349
 350 define <vscale x 8 x double> @vfmadd_vv_nxv8f64(<vscale x 8 x double> %va, <vscale x 8 x double> %vb, <vscale x 8 x double> %vc) strictfp {
 351 ; CHECK-LABEL: vfmadd_vv_nxv8f64:
 352 ; CHECK:       # %bb.0:
 353 ; CHECK-NEXT:    vl8re64.v v24, (a0)
 354 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 355 ; CHECK-NEXT:    vfmacc.vv v8, v16, v24
 356 ; CHECK-NEXT:    ret
 357   %vd = call <vscale x 8 x double> @llvm.experimental.constrained.fma.nxv8f64(<vscale x 8 x double> %vb, <vscale x 8 x double> %vc, <vscale x 8 x double> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 358   ret <vscale x 8 x double> %vd
 359 }
 360
 361 define <vscale x 8 x double> @vfmadd_vf_nxv8f64(<vscale x 8 x double> %va, <vscale x 8 x double> %vb, double %c) strictfp {
 362 ; CHECK-LABEL: vfmadd_vf_nxv8f64:
 363 ; CHECK:       # %bb.0:
 364 ; CHECK-NEXT:    vsetvli a0, zero, e64, m8, ta, ma
 365 ; CHECK-NEXT:    vfmacc.vf v8, fa0, v16
 366 ; CHECK-NEXT:    ret
 367   %head = insertelement <vscale x 8 x double> poison, double %c, i32 0
 368   %splat = shufflevector <vscale x 8 x double> %head, <vscale x 8 x double> poison, <vscale x 8 x i32> zeroinitializer
 369   %vd = call <vscale x 8 x double> @llvm.experimental.constrained.fma.nxv8f64(<vscale x 8 x double> %vb, <vscale x 8 x double> %splat, <vscale x 8 x double> %va, metadata !"round.dynamic", metadata !"fpexcept.strict")
 370   ret <vscale x 8 x double> %vd
 371 }