llvm/test/Analysis/CostModel/RISCV/reduce-scalable-fp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
   2 ; RUN: opt < %s -mtriple=riscv32 -mattr=+d,+zfh,+experimental-zvfh,+v -passes='print<cost-model>' -cost-kind=throughput 2>&1 -disable-output | FileCheck %s
   3 ; RUN: opt < %s -mtriple=riscv64 -mattr=+d,+zfh,+experimental-zvfh,+v -passes='print<cost-model>' -cost-kind=throughput 2>&1 -disable-output | FileCheck %s
   4
   5 declare half @llvm.vector.reduce.fadd.nxv1f16(half, <vscale x 1 x half>)
   6
   7 define half @vreduce_fadd_nxv1f16(<vscale x 1 x half> %v, half %s) {
   8 ; CHECK-LABEL: 'vreduce_fadd_nxv1f16'
   9 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc half @llvm.vector.reduce.fadd.nxv1f16(half %s, <vscale x 1 x half> %v)
  10 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
  11 ;
  12   %red = call reassoc half @llvm.vector.reduce.fadd.nxv1f16(half %s, <vscale x 1 x half> %v)
  13   ret half %red
  14 }
  15
  16 define half @vreduce_ord_fadd_nxv1f16(<vscale x 1 x half> %v, half %s) {
  17 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv1f16'
  18 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fadd.nxv1f16(half %s, <vscale x 1 x half> %v)
  19 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
  20 ;
  21   %red = call half @llvm.vector.reduce.fadd.nxv1f16(half %s, <vscale x 1 x half> %v)
  22   ret half %red
  23 }
  24
  25 declare half @llvm.vector.reduce.fadd.nxv2f16(half, <vscale x 2 x half>)
  26
  27 define half @vreduce_fadd_nxv2f16(<vscale x 2 x half> %v, half %s) {
  28 ; CHECK-LABEL: 'vreduce_fadd_nxv2f16'
  29 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc half @llvm.vector.reduce.fadd.nxv2f16(half %s, <vscale x 2 x half> %v)
  30 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
  31 ;
  32   %red = call reassoc half @llvm.vector.reduce.fadd.nxv2f16(half %s, <vscale x 2 x half> %v)
  33   ret half %red
  34 }
  35
  36 define half @vreduce_ord_fadd_nxv2f16(<vscale x 2 x half> %v, half %s) {
  37 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv2f16'
  38 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fadd.nxv2f16(half %s, <vscale x 2 x half> %v)
  39 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
  40 ;
  41   %red = call half @llvm.vector.reduce.fadd.nxv2f16(half %s, <vscale x 2 x half> %v)
  42   ret half %red
  43 }
  44
  45 declare half @llvm.vector.reduce.fadd.nxv4f16(half, <vscale x 4 x half>)
  46
  47 define half @vreduce_fadd_nxv4f16(<vscale x 4 x half> %v, half %s) {
  48 ; CHECK-LABEL: 'vreduce_fadd_nxv4f16'
  49 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc half @llvm.vector.reduce.fadd.nxv4f16(half %s, <vscale x 4 x half> %v)
  50 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
  51 ;
  52   %red = call reassoc half @llvm.vector.reduce.fadd.nxv4f16(half %s, <vscale x 4 x half> %v)
  53   ret half %red
  54 }
  55
  56 define half @vreduce_ord_fadd_nxv4f16(<vscale x 4 x half> %v, half %s) {
  57 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv4f16'
  58 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fadd.nxv4f16(half %s, <vscale x 4 x half> %v)
  59 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
  60 ;
  61   %red = call half @llvm.vector.reduce.fadd.nxv4f16(half %s, <vscale x 4 x half> %v)
  62   ret half %red
  63 }
  64
  65 declare float @llvm.vector.reduce.fadd.nxv1f32(float, <vscale x 1 x float>)
  66
  67 define float @vreduce_fadd_nxv1f32(<vscale x 1 x float> %v, float %s) {
  68 ; CHECK-LABEL: 'vreduce_fadd_nxv1f32'
  69 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %v)
  70 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
  71 ;
  72   %red = call reassoc float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %v)
  73   ret float %red
  74 }
  75
  76 define float @vreduce_ord_fadd_nxv1f32(<vscale x 1 x float> %v, float %s) {
  77 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv1f32'
  78 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %v)
  79 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
  80 ;
  81   %red = call float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %v)
  82   ret float %red
  83 }
  84
  85 define float @vreduce_fwadd_nxv1f32(<vscale x 1 x half> %v, float %s) {
  86 ; CHECK-LABEL: 'vreduce_fwadd_nxv1f32'
  87 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 1 x half> %v to <vscale x 1 x float>
  88 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %e)
  89 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
  90 ;
  91   %e = fpext <vscale x 1 x half> %v to <vscale x 1 x float>
  92   %red = call reassoc float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %e)
  93   ret float %red
  94 }
  95
  96 define float @vreduce_ord_fwadd_nxv1f32(<vscale x 1 x half> %v, float %s) {
  97 ; CHECK-LABEL: 'vreduce_ord_fwadd_nxv1f32'
  98 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 1 x half> %v to <vscale x 1 x float>
  99 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %e)
 100 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 101 ;
 102   %e = fpext <vscale x 1 x half> %v to <vscale x 1 x float>
 103   %red = call float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %e)
 104   ret float %red
 105 }
 106
 107 declare float @llvm.vector.reduce.fadd.nxv2f32(float, <vscale x 2 x float>)
 108
 109 define float @vreduce_fadd_nxv2f32(<vscale x 2 x float> %v, float %s) {
 110 ; CHECK-LABEL: 'vreduce_fadd_nxv2f32'
 111 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc float @llvm.vector.reduce.fadd.nxv2f32(float %s, <vscale x 2 x float> %v)
 112 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 113 ;
 114   %red = call reassoc float @llvm.vector.reduce.fadd.nxv2f32(float %s, <vscale x 2 x float> %v)
 115   ret float %red
 116 }
 117
 118 define float @vreduce_ord_fadd_nxv2f32(<vscale x 2 x float> %v, float %s) {
 119 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv2f32'
 120 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fadd.nxv2f32(float %s, <vscale x 2 x float> %v)
 121 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 122 ;
 123   %red = call float @llvm.vector.reduce.fadd.nxv2f32(float %s, <vscale x 2 x float> %v)
 124   ret float %red
 125 }
 126
 127 define float @vreduce_fwadd_nxv2f32(<vscale x 2 x half> %v, float %s) {
 128 ; CHECK-LABEL: 'vreduce_fwadd_nxv2f32'
 129 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 2 x half> %v to <vscale x 2 x float>
 130 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc float @llvm.vector.reduce.fadd.nxv2f32(float %s, <vscale x 2 x float> %e)
 131 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 132 ;
 133   %e = fpext <vscale x 2 x half> %v to <vscale x 2 x float>
 134   %red = call reassoc float @llvm.vector.reduce.fadd.nxv2f32(float %s, <vscale x 2 x float> %e)
 135   ret float %red
 136 }
 137
 138 define float @vreduce_ord_fwadd_nxv2f32(<vscale x 2 x half> %v, float %s) {
 139 ; CHECK-LABEL: 'vreduce_ord_fwadd_nxv2f32'
 140 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 2 x half> %v to <vscale x 2 x float>
 141 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fadd.nxv2f32(float %s, <vscale x 2 x float> %e)
 142 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 143 ;
 144   %e = fpext <vscale x 2 x half> %v to <vscale x 2 x float>
 145   %red = call float @llvm.vector.reduce.fadd.nxv2f32(float %s, <vscale x 2 x float> %e)
 146   ret float %red
 147 }
 148
 149 declare float @llvm.vector.reduce.fadd.nxv4f32(float, <vscale x 4 x float>)
 150
 151 define float @vreduce_fadd_nxv4f32(<vscale x 4 x float> %v, float %s) {
 152 ; CHECK-LABEL: 'vreduce_fadd_nxv4f32'
 153 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc float @llvm.vector.reduce.fadd.nxv4f32(float %s, <vscale x 4 x float> %v)
 154 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 155 ;
 156   %red = call reassoc float @llvm.vector.reduce.fadd.nxv4f32(float %s, <vscale x 4 x float> %v)
 157   ret float %red
 158 }
 159
 160 define float @vreduce_ord_fadd_nxv4f32(<vscale x 4 x float> %v, float %s) {
 161 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv4f32'
 162 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fadd.nxv4f32(float %s, <vscale x 4 x float> %v)
 163 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 164 ;
 165   %red = call float @llvm.vector.reduce.fadd.nxv4f32(float %s, <vscale x 4 x float> %v)
 166   ret float %red
 167 }
 168
 169 define float @vreduce_fwadd_nxv4f32(<vscale x 4 x half> %v, float %s) {
 170 ; CHECK-LABEL: 'vreduce_fwadd_nxv4f32'
 171 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 4 x half> %v to <vscale x 4 x float>
 172 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc float @llvm.vector.reduce.fadd.nxv4f32(float %s, <vscale x 4 x float> %e)
 173 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 174 ;
 175   %e = fpext <vscale x 4 x half> %v to <vscale x 4 x float>
 176   %red = call reassoc float @llvm.vector.reduce.fadd.nxv4f32(float %s, <vscale x 4 x float> %e)
 177   ret float %red
 178 }
 179
 180 define float @vreduce_ord_fwadd_nxv4f32(<vscale x 4 x half> %v, float %s) {
 181 ; CHECK-LABEL: 'vreduce_ord_fwadd_nxv4f32'
 182 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 4 x half> %v to <vscale x 4 x float>
 183 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fadd.nxv4f32(float %s, <vscale x 4 x float> %e)
 184 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 185 ;
 186   %e = fpext <vscale x 4 x half> %v to <vscale x 4 x float>
 187   %red = call float @llvm.vector.reduce.fadd.nxv4f32(float %s, <vscale x 4 x float> %e)
 188   ret float %red
 189 }
 190
 191 declare double @llvm.vector.reduce.fadd.nxv1f64(double, <vscale x 1 x double>)
 192
 193 define double @vreduce_fadd_nxv1f64(<vscale x 1 x double> %v, double %s) {
 194 ; CHECK-LABEL: 'vreduce_fadd_nxv1f64'
 195 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc double @llvm.vector.reduce.fadd.nxv1f64(double %s, <vscale x 1 x double> %v)
 196 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 197 ;
 198   %red = call reassoc double @llvm.vector.reduce.fadd.nxv1f64(double %s, <vscale x 1 x double> %v)
 199   ret double %red
 200 }
 201
 202 define double @vreduce_ord_fadd_nxv1f64(<vscale x 1 x double> %v, double %s) {
 203 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv1f64'
 204 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fadd.nxv1f64(double %s, <vscale x 1 x double> %v)
 205 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 206 ;
 207   %red = call double @llvm.vector.reduce.fadd.nxv1f64(double %s, <vscale x 1 x double> %v)
 208   ret double %red
 209 }
 210
 211 define double @vreduce_fwadd_nxv1f64(<vscale x 1 x float> %v, double %s) {
 212 ; CHECK-LABEL: 'vreduce_fwadd_nxv1f64'
 213 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 1 x float> %v to <vscale x 1 x double>
 214 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc double @llvm.vector.reduce.fadd.nxv1f64(double %s, <vscale x 1 x double> %e)
 215 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 216 ;
 217   %e = fpext <vscale x 1 x float> %v to <vscale x 1 x double>
 218   %red = call reassoc double @llvm.vector.reduce.fadd.nxv1f64(double %s, <vscale x 1 x double> %e)
 219   ret double %red
 220 }
 221
 222 define double @vreduce_ord_fwadd_nxv1f64(<vscale x 1 x float> %v, double %s) {
 223 ; CHECK-LABEL: 'vreduce_ord_fwadd_nxv1f64'
 224 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 1 x float> %v to <vscale x 1 x double>
 225 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fadd.nxv1f64(double %s, <vscale x 1 x double> %e)
 226 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 227 ;
 228   %e = fpext <vscale x 1 x float> %v to <vscale x 1 x double>
 229   %red = call double @llvm.vector.reduce.fadd.nxv1f64(double %s, <vscale x 1 x double> %e)
 230   ret double %red
 231 }
 232
 233 declare double @llvm.vector.reduce.fadd.nxv2f64(double, <vscale x 2 x double>)
 234
 235 define double @vreduce_fadd_nxv2f64(<vscale x 2 x double> %v, double %s) {
 236 ; CHECK-LABEL: 'vreduce_fadd_nxv2f64'
 237 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc double @llvm.vector.reduce.fadd.nxv2f64(double %s, <vscale x 2 x double> %v)
 238 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 239 ;
 240   %red = call reassoc double @llvm.vector.reduce.fadd.nxv2f64(double %s, <vscale x 2 x double> %v)
 241   ret double %red
 242 }
 243
 244 define double @vreduce_ord_fadd_nxv2f64(<vscale x 2 x double> %v, double %s) {
 245 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv2f64'
 246 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fadd.nxv2f64(double %s, <vscale x 2 x double> %v)
 247 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 248 ;
 249   %red = call double @llvm.vector.reduce.fadd.nxv2f64(double %s, <vscale x 2 x double> %v)
 250   ret double %red
 251 }
 252
 253 define double @vreduce_fwadd_nxv2f64(<vscale x 2 x float> %v, double %s) {
 254 ; CHECK-LABEL: 'vreduce_fwadd_nxv2f64'
 255 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 2 x float> %v to <vscale x 2 x double>
 256 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc double @llvm.vector.reduce.fadd.nxv2f64(double %s, <vscale x 2 x double> %e)
 257 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 258 ;
 259   %e = fpext <vscale x 2 x float> %v to <vscale x 2 x double>
 260   %red = call reassoc double @llvm.vector.reduce.fadd.nxv2f64(double %s, <vscale x 2 x double> %e)
 261   ret double %red
 262 }
 263
 264 define double @vreduce_ord_fwadd_nxv2f64(<vscale x 2 x float> %v, double %s) {
 265 ; CHECK-LABEL: 'vreduce_ord_fwadd_nxv2f64'
 266 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 2 x float> %v to <vscale x 2 x double>
 267 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fadd.nxv2f64(double %s, <vscale x 2 x double> %e)
 268 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 269 ;
 270   %e = fpext <vscale x 2 x float> %v to <vscale x 2 x double>
 271   %red = call double @llvm.vector.reduce.fadd.nxv2f64(double %s, <vscale x 2 x double> %e)
 272   ret double %red
 273 }
 274
 275 declare double @llvm.vector.reduce.fadd.nxv4f64(double, <vscale x 4 x double>)
 276
 277 define double @vreduce_fadd_nxv4f64(<vscale x 4 x double> %v, double %s) {
 278 ; CHECK-LABEL: 'vreduce_fadd_nxv4f64'
 279 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc double @llvm.vector.reduce.fadd.nxv4f64(double %s, <vscale x 4 x double> %v)
 280 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 281 ;
 282   %red = call reassoc double @llvm.vector.reduce.fadd.nxv4f64(double %s, <vscale x 4 x double> %v)
 283   ret double %red
 284 }
 285
 286 define double @vreduce_ord_fadd_nxv4f64(<vscale x 4 x double> %v, double %s) {
 287 ; CHECK-LABEL: 'vreduce_ord_fadd_nxv4f64'
 288 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fadd.nxv4f64(double %s, <vscale x 4 x double> %v)
 289 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 290 ;
 291   %red = call double @llvm.vector.reduce.fadd.nxv4f64(double %s, <vscale x 4 x double> %v)
 292   ret double %red
 293 }
 294
 295 define double @vreduce_fwadd_nxv4f64(<vscale x 4 x float> %v, double %s) {
 296 ; CHECK-LABEL: 'vreduce_fwadd_nxv4f64'
 297 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 4 x float> %v to <vscale x 4 x double>
 298 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc double @llvm.vector.reduce.fadd.nxv4f64(double %s, <vscale x 4 x double> %e)
 299 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 300 ;
 301   %e = fpext <vscale x 4 x float> %v to <vscale x 4 x double>
 302   %red = call reassoc double @llvm.vector.reduce.fadd.nxv4f64(double %s, <vscale x 4 x double> %e)
 303   ret double %red
 304 }
 305
 306 define double @vreduce_ord_fwadd_nxv4f64(<vscale x 4 x float> %v, double %s) {
 307 ; CHECK-LABEL: 'vreduce_ord_fwadd_nxv4f64'
 308 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %e = fpext <vscale x 4 x float> %v to <vscale x 4 x double>
 309 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fadd.nxv4f64(double %s, <vscale x 4 x double> %e)
 310 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 311 ;
 312   %e = fpext <vscale x 4 x float> %v to <vscale x 4 x double>
 313   %red = call double @llvm.vector.reduce.fadd.nxv4f64(double %s, <vscale x 4 x double> %e)
 314   ret double %red
 315 }
 316
 317 declare half @llvm.vector.reduce.fmin.nxv1f16(<vscale x 1 x half>)
 318
 319 define half @vreduce_fmin_nxv1f16(<vscale x 1 x half> %v) {
 320 ; CHECK-LABEL: 'vreduce_fmin_nxv1f16'
 321 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fmin.nxv1f16(<vscale x 1 x half> %v)
 322 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 323 ;
 324   %red = call half @llvm.vector.reduce.fmin.nxv1f16(<vscale x 1 x half> %v)
 325   ret half %red
 326 }
 327
 328 define half @vreduce_fmin_nxv1f16_nonans(<vscale x 1 x half> %v) #0 {
 329 ; CHECK-LABEL: 'vreduce_fmin_nxv1f16_nonans'
 330 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan half @llvm.vector.reduce.fmin.nxv1f16(<vscale x 1 x half> %v)
 331 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 332 ;
 333   %red = call nnan half @llvm.vector.reduce.fmin.nxv1f16(<vscale x 1 x half> %v)
 334   ret half %red
 335 }
 336
 337 define half @vreduce_fmin_nxv1f16_nonans_noinfs(<vscale x 1 x half> %v) #1 {
 338 ; CHECK-LABEL: 'vreduce_fmin_nxv1f16_nonans_noinfs'
 339 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan ninf half @llvm.vector.reduce.fmin.nxv1f16(<vscale x 1 x half> %v)
 340 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 341 ;
 342   %red = call nnan ninf half @llvm.vector.reduce.fmin.nxv1f16(<vscale x 1 x half> %v)
 343   ret half %red
 344 }
 345
 346 declare half @llvm.vector.reduce.fmin.nxv2f16(<vscale x 2 x half>)
 347
 348 define half @vreduce_fmin_nxv2f16(<vscale x 2 x half> %v) {
 349 ; CHECK-LABEL: 'vreduce_fmin_nxv2f16'
 350 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fmin.nxv2f16(<vscale x 2 x half> %v)
 351 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 352 ;
 353   %red = call half @llvm.vector.reduce.fmin.nxv2f16(<vscale x 2 x half> %v)
 354   ret half %red
 355 }
 356
 357 declare half @llvm.vector.reduce.fmin.nxv4f16(<vscale x 4 x half>)
 358
 359 define half @vreduce_fmin_nxv4f16(<vscale x 4 x half> %v) {
 360 ; CHECK-LABEL: 'vreduce_fmin_nxv4f16'
 361 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fmin.nxv4f16(<vscale x 4 x half> %v)
 362 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 363 ;
 364   %red = call half @llvm.vector.reduce.fmin.nxv4f16(<vscale x 4 x half> %v)
 365   ret half %red
 366 }
 367
 368 declare half @llvm.vector.reduce.fmin.nxv64f16(<vscale x 64 x half>)
 369
 370 define half @vreduce_fmin_nxv64f16(<vscale x 64 x half> %v) {
 371 ; CHECK-LABEL: 'vreduce_fmin_nxv64f16'
 372 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fmin.nxv64f16(<vscale x 64 x half> %v)
 373 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 374 ;
 375   %red = call half @llvm.vector.reduce.fmin.nxv64f16(<vscale x 64 x half> %v)
 376   ret half %red
 377 }
 378
 379 declare float @llvm.vector.reduce.fmin.nxv1f32(<vscale x 1 x float>)
 380
 381 define float @vreduce_fmin_nxv1f32(<vscale x 1 x float> %v) {
 382 ; CHECK-LABEL: 'vreduce_fmin_nxv1f32'
 383 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fmin.nxv1f32(<vscale x 1 x float> %v)
 384 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 385 ;
 386   %red = call float @llvm.vector.reduce.fmin.nxv1f32(<vscale x 1 x float> %v)
 387   ret float %red
 388 }
 389
 390 define float @vreduce_fmin_nxv1f32_nonans(<vscale x 1 x float> %v) {
 391 ; CHECK-LABEL: 'vreduce_fmin_nxv1f32_nonans'
 392 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan float @llvm.vector.reduce.fmin.nxv1f32(<vscale x 1 x float> %v)
 393 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 394 ;
 395   %red = call nnan float @llvm.vector.reduce.fmin.nxv1f32(<vscale x 1 x float> %v)
 396   ret float %red
 397 }
 398
 399 define float @vreduce_fmin_nxv1f32_nonans_noinfs(<vscale x 1 x float> %v) {
 400 ; CHECK-LABEL: 'vreduce_fmin_nxv1f32_nonans_noinfs'
 401 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan ninf float @llvm.vector.reduce.fmin.nxv1f32(<vscale x 1 x float> %v)
 402 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 403 ;
 404   %red = call nnan ninf float @llvm.vector.reduce.fmin.nxv1f32(<vscale x 1 x float> %v)
 405   ret float %red
 406 }
 407
 408 declare float @llvm.vector.reduce.fmin.nxv2f32(<vscale x 2 x float>)
 409
 410 define float @vreduce_fmin_nxv2f32(<vscale x 2 x float> %v) {
 411 ; CHECK-LABEL: 'vreduce_fmin_nxv2f32'
 412 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fmin.nxv2f32(<vscale x 2 x float> %v)
 413 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 414 ;
 415   %red = call float @llvm.vector.reduce.fmin.nxv2f32(<vscale x 2 x float> %v)
 416   ret float %red
 417 }
 418
 419 declare float @llvm.vector.reduce.fmin.nxv4f32(<vscale x 4 x float>)
 420
 421 define float @vreduce_fmin_nxv4f32(<vscale x 4 x float> %v) {
 422 ; CHECK-LABEL: 'vreduce_fmin_nxv4f32'
 423 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fmin.nxv4f32(<vscale x 4 x float> %v)
 424 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 425 ;
 426   %red = call float @llvm.vector.reduce.fmin.nxv4f32(<vscale x 4 x float> %v)
 427   ret float %red
 428 }
 429
 430 declare float @llvm.vector.reduce.fmin.nxv32f32(<vscale x 32 x float>)
 431
 432 define float @vreduce_fmin_nxv32f32(<vscale x 32 x float> %v) {
 433 ; CHECK-LABEL: 'vreduce_fmin_nxv32f32'
 434 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fmin.nxv32f32(<vscale x 32 x float> %v)
 435 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 436 ;
 437   %red = call float @llvm.vector.reduce.fmin.nxv32f32(<vscale x 32 x float> %v)
 438   ret float %red
 439 }
 440
 441 declare double @llvm.vector.reduce.fmin.nxv1f64(<vscale x 1 x double>)
 442
 443 define double @vreduce_fmin_nxv1f64(<vscale x 1 x double> %v) {
 444 ; CHECK-LABEL: 'vreduce_fmin_nxv1f64'
 445 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fmin.nxv1f64(<vscale x 1 x double> %v)
 446 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 447 ;
 448   %red = call double @llvm.vector.reduce.fmin.nxv1f64(<vscale x 1 x double> %v)
 449   ret double %red
 450 }
 451
 452 define double @vreduce_fmin_nxv1f64_nonans(<vscale x 1 x double> %v) {
 453 ; CHECK-LABEL: 'vreduce_fmin_nxv1f64_nonans'
 454 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan double @llvm.vector.reduce.fmin.nxv1f64(<vscale x 1 x double> %v)
 455 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 456 ;
 457   %red = call nnan double @llvm.vector.reduce.fmin.nxv1f64(<vscale x 1 x double> %v)
 458   ret double %red
 459 }
 460
 461 define double @vreduce_fmin_nxv1f64_nonans_noinfs(<vscale x 1 x double> %v) {
 462 ; CHECK-LABEL: 'vreduce_fmin_nxv1f64_nonans_noinfs'
 463 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan ninf double @llvm.vector.reduce.fmin.nxv1f64(<vscale x 1 x double> %v)
 464 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 465 ;
 466   %red = call nnan ninf double @llvm.vector.reduce.fmin.nxv1f64(<vscale x 1 x double> %v)
 467   ret double %red
 468 }
 469
 470 declare double @llvm.vector.reduce.fmin.nxv2f64(<vscale x 2 x double>)
 471
 472 define double @vreduce_fmin_nxv2f64(<vscale x 2 x double> %v) {
 473 ; CHECK-LABEL: 'vreduce_fmin_nxv2f64'
 474 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fmin.nxv2f64(<vscale x 2 x double> %v)
 475 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 476 ;
 477   %red = call double @llvm.vector.reduce.fmin.nxv2f64(<vscale x 2 x double> %v)
 478   ret double %red
 479 }
 480
 481 declare double @llvm.vector.reduce.fmin.nxv4f64(<vscale x 4 x double>)
 482
 483 define double @vreduce_fmin_nxv4f64(<vscale x 4 x double> %v) {
 484 ; CHECK-LABEL: 'vreduce_fmin_nxv4f64'
 485 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fmin.nxv4f64(<vscale x 4 x double> %v)
 486 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 487 ;
 488   %red = call double @llvm.vector.reduce.fmin.nxv4f64(<vscale x 4 x double> %v)
 489   ret double %red
 490 }
 491
 492 declare double @llvm.vector.reduce.fmin.nxv16f64(<vscale x 16 x double>)
 493
 494 define double @vreduce_fmin_nxv16f64(<vscale x 16 x double> %v) {
 495 ; CHECK-LABEL: 'vreduce_fmin_nxv16f64'
 496 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fmin.nxv16f64(<vscale x 16 x double> %v)
 497 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 498 ;
 499   %red = call double @llvm.vector.reduce.fmin.nxv16f64(<vscale x 16 x double> %v)
 500   ret double %red
 501 }
 502
 503 declare half @llvm.vector.reduce.fmax.nxv1f16(<vscale x 1 x half>)
 504
 505 define half @vreduce_fmax_nxv1f16(<vscale x 1 x half> %v) {
 506 ; CHECK-LABEL: 'vreduce_fmax_nxv1f16'
 507 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fmax.nxv1f16(<vscale x 1 x half> %v)
 508 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 509 ;
 510   %red = call half @llvm.vector.reduce.fmax.nxv1f16(<vscale x 1 x half> %v)
 511   ret half %red
 512 }
 513
 514 define half @vreduce_fmax_nxv1f16_nonans(<vscale x 1 x half> %v) #0 {
 515 ; CHECK-LABEL: 'vreduce_fmax_nxv1f16_nonans'
 516 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan half @llvm.vector.reduce.fmax.nxv1f16(<vscale x 1 x half> %v)
 517 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 518 ;
 519   %red = call nnan half @llvm.vector.reduce.fmax.nxv1f16(<vscale x 1 x half> %v)
 520   ret half %red
 521 }
 522
 523 define half @vreduce_fmax_nxv1f16_nonans_noinfs(<vscale x 1 x half> %v) #1 {
 524 ; CHECK-LABEL: 'vreduce_fmax_nxv1f16_nonans_noinfs'
 525 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan ninf half @llvm.vector.reduce.fmax.nxv1f16(<vscale x 1 x half> %v)
 526 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 527 ;
 528   %red = call nnan ninf half @llvm.vector.reduce.fmax.nxv1f16(<vscale x 1 x half> %v)
 529   ret half %red
 530 }
 531
 532 declare half @llvm.vector.reduce.fmax.nxv2f16(<vscale x 2 x half>)
 533
 534 define half @vreduce_fmax_nxv2f16(<vscale x 2 x half> %v) {
 535 ; CHECK-LABEL: 'vreduce_fmax_nxv2f16'
 536 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fmax.nxv2f16(<vscale x 2 x half> %v)
 537 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 538 ;
 539   %red = call half @llvm.vector.reduce.fmax.nxv2f16(<vscale x 2 x half> %v)
 540   ret half %red
 541 }
 542
 543 declare half @llvm.vector.reduce.fmax.nxv4f16(<vscale x 4 x half>)
 544
 545 define half @vreduce_fmax_nxv4f16(<vscale x 4 x half> %v) {
 546 ; CHECK-LABEL: 'vreduce_fmax_nxv4f16'
 547 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fmax.nxv4f16(<vscale x 4 x half> %v)
 548 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 549 ;
 550   %red = call half @llvm.vector.reduce.fmax.nxv4f16(<vscale x 4 x half> %v)
 551   ret half %red
 552 }
 553
 554 declare half @llvm.vector.reduce.fmax.nxv64f16(<vscale x 64 x half>)
 555
 556 define half @vreduce_fmax_nxv64f16(<vscale x 64 x half> %v) {
 557 ; CHECK-LABEL: 'vreduce_fmax_nxv64f16'
 558 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call half @llvm.vector.reduce.fmax.nxv64f16(<vscale x 64 x half> %v)
 559 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret half %red
 560 ;
 561   %red = call half @llvm.vector.reduce.fmax.nxv64f16(<vscale x 64 x half> %v)
 562   ret half %red
 563 }
 564
 565 declare float @llvm.vector.reduce.fmax.nxv1f32(<vscale x 1 x float>)
 566
 567 define float @vreduce_fmax_nxv1f32(<vscale x 1 x float> %v) {
 568 ; CHECK-LABEL: 'vreduce_fmax_nxv1f32'
 569 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fmax.nxv1f32(<vscale x 1 x float> %v)
 570 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 571 ;
 572   %red = call float @llvm.vector.reduce.fmax.nxv1f32(<vscale x 1 x float> %v)
 573   ret float %red
 574 }
 575
 576 define float @vreduce_fmax_nxv1f32_nonans(<vscale x 1 x float> %v) {
 577 ; CHECK-LABEL: 'vreduce_fmax_nxv1f32_nonans'
 578 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan float @llvm.vector.reduce.fmax.nxv1f32(<vscale x 1 x float> %v)
 579 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 580 ;
 581   %red = call nnan float @llvm.vector.reduce.fmax.nxv1f32(<vscale x 1 x float> %v)
 582   ret float %red
 583 }
 584
 585 define float @vreduce_fmax_nxv1f32_nonans_noinfs(<vscale x 1 x float> %v) {
 586 ; CHECK-LABEL: 'vreduce_fmax_nxv1f32_nonans_noinfs'
 587 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan ninf float @llvm.vector.reduce.fmax.nxv1f32(<vscale x 1 x float> %v)
 588 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 589 ;
 590   %red = call nnan ninf float @llvm.vector.reduce.fmax.nxv1f32(<vscale x 1 x float> %v)
 591   ret float %red
 592 }
 593
 594 declare float @llvm.vector.reduce.fmax.nxv2f32(<vscale x 2 x float>)
 595
 596 define float @vreduce_fmax_nxv2f32(<vscale x 2 x float> %v) {
 597 ; CHECK-LABEL: 'vreduce_fmax_nxv2f32'
 598 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fmax.nxv2f32(<vscale x 2 x float> %v)
 599 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 600 ;
 601   %red = call float @llvm.vector.reduce.fmax.nxv2f32(<vscale x 2 x float> %v)
 602   ret float %red
 603 }
 604
 605 declare float @llvm.vector.reduce.fmax.nxv4f32(<vscale x 4 x float>)
 606
 607 define float @vreduce_fmax_nxv4f32(<vscale x 4 x float> %v) {
 608 ; CHECK-LABEL: 'vreduce_fmax_nxv4f32'
 609 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fmax.nxv4f32(<vscale x 4 x float> %v)
 610 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 611 ;
 612   %red = call float @llvm.vector.reduce.fmax.nxv4f32(<vscale x 4 x float> %v)
 613   ret float %red
 614 }
 615
 616 declare float @llvm.vector.reduce.fmax.nxv32f32(<vscale x 32 x float>)
 617
 618 define float @vreduce_fmax_nxv32f32(<vscale x 32 x float> %v) {
 619 ; CHECK-LABEL: 'vreduce_fmax_nxv32f32'
 620 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call float @llvm.vector.reduce.fmax.nxv32f32(<vscale x 32 x float> %v)
 621 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 622 ;
 623   %red = call float @llvm.vector.reduce.fmax.nxv32f32(<vscale x 32 x float> %v)
 624   ret float %red
 625 }
 626
 627 declare double @llvm.vector.reduce.fmax.nxv1f64(<vscale x 1 x double>)
 628
 629 define double @vreduce_fmax_nxv1f64(<vscale x 1 x double> %v) {
 630 ; CHECK-LABEL: 'vreduce_fmax_nxv1f64'
 631 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fmax.nxv1f64(<vscale x 1 x double> %v)
 632 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 633 ;
 634   %red = call double @llvm.vector.reduce.fmax.nxv1f64(<vscale x 1 x double> %v)
 635   ret double %red
 636 }
 637
 638 define double @vreduce_fmax_nxv1f64_nonans(<vscale x 1 x double> %v) {
 639 ; CHECK-LABEL: 'vreduce_fmax_nxv1f64_nonans'
 640 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan double @llvm.vector.reduce.fmax.nxv1f64(<vscale x 1 x double> %v)
 641 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 642 ;
 643   %red = call nnan double @llvm.vector.reduce.fmax.nxv1f64(<vscale x 1 x double> %v)
 644   ret double %red
 645 }
 646
 647 define double @vreduce_fmax_nxv1f64_nonans_noinfs(<vscale x 1 x double> %v) {
 648 ; CHECK-LABEL: 'vreduce_fmax_nxv1f64_nonans_noinfs'
 649 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call nnan ninf double @llvm.vector.reduce.fmax.nxv1f64(<vscale x 1 x double> %v)
 650 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 651 ;
 652   %red = call nnan ninf double @llvm.vector.reduce.fmax.nxv1f64(<vscale x 1 x double> %v)
 653   ret double %red
 654 }
 655
 656 declare double @llvm.vector.reduce.fmax.nxv2f64(<vscale x 2 x double>)
 657
 658 define double @vreduce_fmax_nxv2f64(<vscale x 2 x double> %v) {
 659 ; CHECK-LABEL: 'vreduce_fmax_nxv2f64'
 660 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fmax.nxv2f64(<vscale x 2 x double> %v)
 661 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 662 ;
 663   %red = call double @llvm.vector.reduce.fmax.nxv2f64(<vscale x 2 x double> %v)
 664   ret double %red
 665 }
 666
 667 declare double @llvm.vector.reduce.fmax.nxv4f64(<vscale x 4 x double>)
 668
 669 define double @vreduce_fmax_nxv4f64(<vscale x 4 x double> %v) {
 670 ; CHECK-LABEL: 'vreduce_fmax_nxv4f64'
 671 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fmax.nxv4f64(<vscale x 4 x double> %v)
 672 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 673 ;
 674   %red = call double @llvm.vector.reduce.fmax.nxv4f64(<vscale x 4 x double> %v)
 675   ret double %red
 676 }
 677
 678 declare double @llvm.vector.reduce.fmax.nxv16f64(<vscale x 16 x double>)
 679
 680 define double @vreduce_fmax_nxv16f64(<vscale x 16 x double> %v) {
 681 ; CHECK-LABEL: 'vreduce_fmax_nxv16f64'
 682 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call double @llvm.vector.reduce.fmax.nxv16f64(<vscale x 16 x double> %v)
 683 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %red
 684 ;
 685   %red = call double @llvm.vector.reduce.fmax.nxv16f64(<vscale x 16 x double> %v)
 686   ret double %red
 687 }
 688
 689 define float @vreduce_nsz_fadd_nxv1f32(<vscale x 1 x float> %v, float %s) {
 690 ; CHECK-LABEL: 'vreduce_nsz_fadd_nxv1f32'
 691 ; CHECK-NEXT:  Cost Model: Invalid cost for instruction: %red = call reassoc nsz float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %v)
 692 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret float %red
 693 ;
 694   %red = call reassoc nsz float @llvm.vector.reduce.fadd.nxv1f32(float %s, <vscale x 1 x float> %v)
 695   ret float %red
 696 }