llvm/test/CodeGen/AArch64/sve-intrinsics-fp-arith-imm.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s | FileCheck %s
   3
   4 target triple = "aarch64-unknown-linux-gnu"
   5
   6 define <vscale x 8 x half> @fadd_h_immhalf(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
   7 ; CHECK-LABEL: fadd_h_immhalf:
   8 ; CHECK:       // %bb.0:
   9 ; CHECK-NEXT:    fadd z0.h, p0/m, z0.h, #0.5
  10 ; CHECK-NEXT:    ret
  11   %elt   = insertelement <vscale x 8 x half> undef, half 0.500000e+00, i32 0
  12   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
  13   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fadd.nxv8f16(<vscale x 8 x i1> %pg,
  14                                                             <vscale x 8 x half> %a,
  15                                                             <vscale x 8 x half> %splat)
  16   ret <vscale x 8 x half> %out
  17 }
  18
  19
  20 define <vscale x 8 x half> @fadd_h_immhalf_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
  21 ; CHECK-LABEL: fadd_h_immhalf_zero:
  22 ; CHECK:       // %bb.0:
  23 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
  24 ; CHECK-NEXT:    fadd z0.h, p0/m, z0.h, #0.5
  25 ; CHECK-NEXT:    ret
  26   %elt   = insertelement <vscale x 8 x half> undef, half 0.500000e+00, i32 0
  27   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
  28   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
  29   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fadd.nxv8f16(<vscale x 8 x i1> %pg,
  30                                                             <vscale x 8 x half> %a_z,
  31                                                             <vscale x 8 x half> %splat)
  32   ret <vscale x 8 x half> %out
  33 }
  34
  35 define <vscale x 8 x half> @fadd_h_immone(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
  36 ; CHECK-LABEL: fadd_h_immone:
  37 ; CHECK:       // %bb.0:
  38 ; CHECK-NEXT:    fadd z0.h, p0/m, z0.h, #1.0
  39 ; CHECK-NEXT:    ret
  40   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
  41   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
  42   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fadd.nxv8f16(<vscale x 8 x i1> %pg,
  43                                                             <vscale x 8 x half> %a,
  44                                                             <vscale x 8 x half> %splat)
  45   ret <vscale x 8 x half> %out
  46 }
  47
  48 define <vscale x 8 x half> @fadd_h_immone_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
  49 ; CHECK-LABEL: fadd_h_immone_zero:
  50 ; CHECK:       // %bb.0:
  51 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
  52 ; CHECK-NEXT:    fadd z0.h, p0/m, z0.h, #1.0
  53 ; CHECK-NEXT:    ret
  54   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
  55   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
  56   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
  57   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fadd.nxv8f16(<vscale x 8 x i1> %pg,
  58                                                             <vscale x 8 x half> %a_z,
  59                                                             <vscale x 8 x half> %splat)
  60   ret <vscale x 8 x half> %out
  61 }
  62
  63 define <vscale x 4 x float> @fadd_s_immhalf(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
  64 ; CHECK-LABEL: fadd_s_immhalf:
  65 ; CHECK:       // %bb.0:
  66 ; CHECK-NEXT:    fadd z0.s, p0/m, z0.s, #0.5
  67 ; CHECK-NEXT:    ret
  68   %elt   = insertelement <vscale x 4 x float> undef, float 0.500000e+00, i32 0
  69   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
  70   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fadd.nxv4f32(<vscale x 4 x i1> %pg,
  71                                                              <vscale x 4 x float> %a,
  72                                                              <vscale x 4 x float> %splat)
  73   ret <vscale x 4 x float> %out
  74 }
  75
  76 define <vscale x 4 x float> @fadd_s_immhalf_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
  77 ; CHECK-LABEL: fadd_s_immhalf_zero:
  78 ; CHECK:       // %bb.0:
  79 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
  80 ; CHECK-NEXT:    fadd z0.s, p0/m, z0.s, #0.5
  81 ; CHECK-NEXT:    ret
  82   %elt   = insertelement <vscale x 4 x float> undef, float 0.500000e+00, i32 0
  83   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
  84   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
  85   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fadd.nxv4f32(<vscale x 4 x i1> %pg,
  86                                                              <vscale x 4 x float> %a_z,
  87                                                              <vscale x 4 x float> %splat)
  88   ret <vscale x 4 x float> %out
  89 }
  90
  91 define <vscale x 4 x float> @fadd_s_immone(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
  92 ; CHECK-LABEL: fadd_s_immone:
  93 ; CHECK:       // %bb.0:
  94 ; CHECK-NEXT:    fadd z0.s, p0/m, z0.s, #1.0
  95 ; CHECK-NEXT:    ret
  96   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
  97   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
  98   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fadd.nxv4f32(<vscale x 4 x i1> %pg,
  99                                                              <vscale x 4 x float> %a,
 100                                                              <vscale x 4 x float> %splat)
 101   ret <vscale x 4 x float> %out
 102 }
 103
 104 define <vscale x 4 x float> @fadd_s_immone_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 105 ; CHECK-LABEL: fadd_s_immone_zero:
 106 ; CHECK:       // %bb.0:
 107 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 108 ; CHECK-NEXT:    fadd z0.s, p0/m, z0.s, #1.0
 109 ; CHECK-NEXT:    ret
 110   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 111   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 112   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 113   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fadd.nxv4f32(<vscale x 4 x i1> %pg,
 114                                                              <vscale x 4 x float> %a_z,
 115                                                              <vscale x 4 x float> %splat)
 116   ret <vscale x 4 x float> %out
 117 }
 118
 119 define <vscale x 2 x double> @fadd_d_immhalf(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 120 ; CHECK-LABEL: fadd_d_immhalf:
 121 ; CHECK:       // %bb.0:
 122 ; CHECK-NEXT:    fadd z0.d, p0/m, z0.d, #0.5
 123 ; CHECK-NEXT:    ret
 124   %elt   = insertelement <vscale x 2 x double> undef, double 0.500000e+00, i32 0
 125   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 126   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fadd.nxv2f64(<vscale x 2 x i1> %pg,
 127                                                               <vscale x 2 x double> %a,
 128                                                               <vscale x 2 x double> %splat)
 129   ret <vscale x 2 x double> %out
 130 }
 131
 132 define <vscale x 2 x double> @fadd_d_immhalf_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 133 ; CHECK-LABEL: fadd_d_immhalf_zero:
 134 ; CHECK:       // %bb.0:
 135 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 136 ; CHECK-NEXT:    fadd z0.d, p0/m, z0.d, #0.5
 137 ; CHECK-NEXT:    ret
 138   %elt   = insertelement <vscale x 2 x double> undef, double 0.500000e+00, i32 0
 139   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 140   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 141   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fadd.nxv2f64(<vscale x 2 x i1> %pg,
 142                                                               <vscale x 2 x double> %a_z,
 143                                                               <vscale x 2 x double> %splat)
 144   ret <vscale x 2 x double> %out
 145 }
 146
 147 define <vscale x 2 x double> @fadd_d_immone(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 148 ; CHECK-LABEL: fadd_d_immone:
 149 ; CHECK:       // %bb.0:
 150 ; CHECK-NEXT:    fadd z0.d, p0/m, z0.d, #1.0
 151 ; CHECK-NEXT:    ret
 152   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 153   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 154   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fadd.nxv2f64(<vscale x 2 x i1> %pg,
 155                                                               <vscale x 2 x double> %a,
 156                                                               <vscale x 2 x double> %splat)
 157   ret <vscale x 2 x double> %out
 158 }
 159
 160 define <vscale x 2 x double> @fadd_d_immone_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 161 ; CHECK-LABEL: fadd_d_immone_zero:
 162 ; CHECK:       // %bb.0:
 163 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 164 ; CHECK-NEXT:    fadd z0.d, p0/m, z0.d, #1.0
 165 ; CHECK-NEXT:    ret
 166   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 167   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 168   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 169   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fadd.nxv2f64(<vscale x 2 x i1> %pg,
 170                                                               <vscale x 2 x double> %a_z,
 171                                                               <vscale x 2 x double> %splat)
 172   ret <vscale x 2 x double> %out
 173 }
 174
 175 define <vscale x 8 x half> @fmax_h_immzero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 176 ; CHECK-LABEL: fmax_h_immzero:
 177 ; CHECK:       // %bb.0:
 178 ; CHECK-NEXT:    fmax z0.h, p0/m, z0.h, #0.0
 179 ; CHECK-NEXT:    ret
 180   %elt   = insertelement <vscale x 8 x half> undef, half 0.000000e+00, i32 0
 181   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 182   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmax.nxv8f16(<vscale x 8 x i1> %pg,
 183                                                             <vscale x 8 x half> %a,
 184                                                             <vscale x 8 x half> %splat)
 185   ret <vscale x 8 x half> %out
 186 }
 187
 188 define <vscale x 8 x half> @fmax_h_immzero_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 189 ; CHECK-LABEL: fmax_h_immzero_zero:
 190 ; CHECK:       // %bb.0:
 191 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 192 ; CHECK-NEXT:    fmax z0.h, p0/m, z0.h, #0.0
 193 ; CHECK-NEXT:    ret
 194   %elt   = insertelement <vscale x 8 x half> undef, half 0.000000e+00, i32 0
 195   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 196   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 197   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmax.nxv8f16(<vscale x 8 x i1> %pg,
 198                                                             <vscale x 8 x half> %a_z,
 199                                                             <vscale x 8 x half> %splat)
 200   ret <vscale x 8 x half> %out
 201 }
 202
 203 define <vscale x 8 x half> @fmax_h_immone(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 204 ; CHECK-LABEL: fmax_h_immone:
 205 ; CHECK:       // %bb.0:
 206 ; CHECK-NEXT:    fmax z0.h, p0/m, z0.h, #1.0
 207 ; CHECK-NEXT:    ret
 208   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
 209   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 210   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmax.nxv8f16(<vscale x 8 x i1> %pg,
 211                                                             <vscale x 8 x half> %a,
 212                                                             <vscale x 8 x half> %splat)
 213   ret <vscale x 8 x half> %out
 214 }
 215
 216 define <vscale x 8 x half> @fmax_h_immone_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 217 ; CHECK-LABEL: fmax_h_immone_zero:
 218 ; CHECK:       // %bb.0:
 219 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 220 ; CHECK-NEXT:    fmax z0.h, p0/m, z0.h, #1.0
 221 ; CHECK-NEXT:    ret
 222   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
 223   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 224   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 225   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmax.nxv8f16(<vscale x 8 x i1> %pg,
 226                                                             <vscale x 8 x half> %a_z,
 227                                                             <vscale x 8 x half> %splat)
 228   ret <vscale x 8 x half> %out
 229 }
 230
 231 define <vscale x 4 x float> @fmax_s_immzero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 232 ; CHECK-LABEL: fmax_s_immzero:
 233 ; CHECK:       // %bb.0:
 234 ; CHECK-NEXT:    fmax z0.s, p0/m, z0.s, #0.0
 235 ; CHECK-NEXT:    ret
 236   %elt   = insertelement <vscale x 4 x float> undef, float 0.000000e+00, i32 0
 237   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 238   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmax.nxv4f32(<vscale x 4 x i1> %pg,
 239                                                              <vscale x 4 x float> %a,
 240                                                              <vscale x 4 x float> %splat)
 241   ret <vscale x 4 x float> %out
 242 }
 243
 244 define <vscale x 4 x float> @fmax_s_immzero_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 245 ; CHECK-LABEL: fmax_s_immzero_zero:
 246 ; CHECK:       // %bb.0:
 247 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 248 ; CHECK-NEXT:    fmax z0.s, p0/m, z0.s, #0.0
 249 ; CHECK-NEXT:    ret
 250   %elt   = insertelement <vscale x 4 x float> undef, float 0.000000e+00, i32 0
 251   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 252   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 253   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmax.nxv4f32(<vscale x 4 x i1> %pg,
 254                                                              <vscale x 4 x float> %a_z,
 255                                                              <vscale x 4 x float> %splat)
 256   ret <vscale x 4 x float> %out
 257 }
 258
 259 define <vscale x 4 x float> @fmax_s_immone(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 260 ; CHECK-LABEL: fmax_s_immone:
 261 ; CHECK:       // %bb.0:
 262 ; CHECK-NEXT:    fmax z0.s, p0/m, z0.s, #1.0
 263 ; CHECK-NEXT:    ret
 264   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 265   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 266   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmax.nxv4f32(<vscale x 4 x i1> %pg,
 267                                                              <vscale x 4 x float> %a,
 268                                                              <vscale x 4 x float> %splat)
 269   ret <vscale x 4 x float> %out
 270 }
 271
 272 define <vscale x 4 x float> @fmax_s_immone_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 273 ; CHECK-LABEL: fmax_s_immone_zero:
 274 ; CHECK:       // %bb.0:
 275 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 276 ; CHECK-NEXT:    fmax z0.s, p0/m, z0.s, #1.0
 277 ; CHECK-NEXT:    ret
 278   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 279   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 280   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 281   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmax.nxv4f32(<vscale x 4 x i1> %pg,
 282                                                              <vscale x 4 x float> %a_z,
 283                                                              <vscale x 4 x float> %splat)
 284   ret <vscale x 4 x float> %out
 285 }
 286
 287 define <vscale x 2 x double> @fmax_d_immzero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 288 ; CHECK-LABEL: fmax_d_immzero:
 289 ; CHECK:       // %bb.0:
 290 ; CHECK-NEXT:    fmax z0.d, p0/m, z0.d, #0.0
 291 ; CHECK-NEXT:    ret
 292   %elt   = insertelement <vscale x 2 x double> undef, double 0.000000e+00, i32 0
 293   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 294   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmax.nxv2f64(<vscale x 2 x i1> %pg,
 295                                                               <vscale x 2 x double> %a,
 296                                                               <vscale x 2 x double> %splat)
 297   ret <vscale x 2 x double> %out
 298 }
 299
 300 define <vscale x 2 x double> @fmax_d_immzero_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 301 ; CHECK-LABEL: fmax_d_immzero_zero:
 302 ; CHECK:       // %bb.0:
 303 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 304 ; CHECK-NEXT:    fmax z0.d, p0/m, z0.d, #0.0
 305 ; CHECK-NEXT:    ret
 306   %elt   = insertelement <vscale x 2 x double> undef, double 0.000000e+00, i32 0
 307   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 308   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 309   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmax.nxv2f64(<vscale x 2 x i1> %pg,
 310                                                               <vscale x 2 x double> %a_z,
 311                                                               <vscale x 2 x double> %splat)
 312   ret <vscale x 2 x double> %out
 313 }
 314
 315 define <vscale x 2 x double> @fmax_d_immone(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 316 ; CHECK-LABEL: fmax_d_immone:
 317 ; CHECK:       // %bb.0:
 318 ; CHECK-NEXT:    fmax z0.d, p0/m, z0.d, #1.0
 319 ; CHECK-NEXT:    ret
 320   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 321   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 322   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmax.nxv2f64(<vscale x 2 x i1> %pg,
 323                                                               <vscale x 2 x double> %a,
 324                                                               <vscale x 2 x double> %splat)
 325   ret <vscale x 2 x double> %out
 326 }
 327
 328 define <vscale x 2 x double> @fmax_d_immone_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 329 ; CHECK-LABEL: fmax_d_immone_zero:
 330 ; CHECK:       // %bb.0:
 331 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 332 ; CHECK-NEXT:    fmax z0.d, p0/m, z0.d, #1.0
 333 ; CHECK-NEXT:    ret
 334   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 335   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 336   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 337   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmax.nxv2f64(<vscale x 2 x i1> %pg,
 338                                                               <vscale x 2 x double> %a_z,
 339                                                               <vscale x 2 x double> %splat)
 340   ret <vscale x 2 x double> %out
 341 }
 342
 343 define <vscale x 8 x half> @fmaxnm_h_immzero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 344 ; CHECK-LABEL: fmaxnm_h_immzero:
 345 ; CHECK:       // %bb.0:
 346 ; CHECK-NEXT:    fmaxnm z0.h, p0/m, z0.h, #0.0
 347 ; CHECK-NEXT:    ret
 348   %elt   = insertelement <vscale x 8 x half> undef, half 0.000000e+00, i32 0
 349   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 350   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmaxnm.nxv8f16(<vscale x 8 x i1> %pg,
 351                                                               <vscale x 8 x half> %a,
 352                                                               <vscale x 8 x half> %splat)
 353   ret <vscale x 8 x half> %out
 354 }
 355
 356 define <vscale x 8 x half> @fmaxnm_h_immzero_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 357 ; CHECK-LABEL: fmaxnm_h_immzero_zero:
 358 ; CHECK:       // %bb.0:
 359 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 360 ; CHECK-NEXT:    fmaxnm z0.h, p0/m, z0.h, #0.0
 361 ; CHECK-NEXT:    ret
 362   %elt   = insertelement <vscale x 8 x half> undef, half 0.000000e+00, i32 0
 363   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 364   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 365   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmaxnm.nxv8f16(<vscale x 8 x i1> %pg,
 366                                                               <vscale x 8 x half> %a_z,
 367                                                               <vscale x 8 x half> %splat)
 368   ret <vscale x 8 x half> %out
 369 }
 370
 371 define <vscale x 8 x half> @fmaxnm_h_immone(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 372 ; CHECK-LABEL: fmaxnm_h_immone:
 373 ; CHECK:       // %bb.0:
 374 ; CHECK-NEXT:    fmaxnm z0.h, p0/m, z0.h, #1.0
 375 ; CHECK-NEXT:    ret
 376   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
 377   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 378   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmaxnm.nxv8f16(<vscale x 8 x i1> %pg,
 379                                                               <vscale x 8 x half> %a,
 380                                                               <vscale x 8 x half> %splat)
 381   ret <vscale x 8 x half> %out
 382 }
 383
 384 define <vscale x 8 x half> @fmaxnm_h_immone_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 385 ; CHECK-LABEL: fmaxnm_h_immone_zero:
 386 ; CHECK:       // %bb.0:
 387 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 388 ; CHECK-NEXT:    fmaxnm z0.h, p0/m, z0.h, #1.0
 389 ; CHECK-NEXT:    ret
 390   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
 391   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 392   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 393   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmaxnm.nxv8f16(<vscale x 8 x i1> %pg,
 394                                                               <vscale x 8 x half> %a_z,
 395                                                               <vscale x 8 x half> %splat)
 396   ret <vscale x 8 x half> %out
 397 }
 398
 399 define <vscale x 4 x float> @fmaxnm_s_immzero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 400 ; CHECK-LABEL: fmaxnm_s_immzero:
 401 ; CHECK:       // %bb.0:
 402 ; CHECK-NEXT:    fmaxnm z0.s, p0/m, z0.s, #0.0
 403 ; CHECK-NEXT:    ret
 404   %elt   = insertelement <vscale x 4 x float> undef, float 0.000000e+00, i32 0
 405   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 406   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmaxnm.nxv4f32(<vscale x 4 x i1> %pg,
 407                                                                <vscale x 4 x float> %a,
 408                                                                <vscale x 4 x float> %splat)
 409   ret <vscale x 4 x float> %out
 410 }
 411
 412 define <vscale x 4 x float> @fmaxnm_s_immzero_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 413 ; CHECK-LABEL: fmaxnm_s_immzero_zero:
 414 ; CHECK:       // %bb.0:
 415 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 416 ; CHECK-NEXT:    fmaxnm z0.s, p0/m, z0.s, #0.0
 417 ; CHECK-NEXT:    ret
 418   %elt   = insertelement <vscale x 4 x float> undef, float 0.000000e+00, i32 0
 419   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 420   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 421   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmaxnm.nxv4f32(<vscale x 4 x i1> %pg,
 422                                                                <vscale x 4 x float> %a_z,
 423                                                                <vscale x 4 x float> %splat)
 424   ret <vscale x 4 x float> %out
 425 }
 426
 427 define <vscale x 4 x float> @fmaxnm_s_immone(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 428 ; CHECK-LABEL: fmaxnm_s_immone:
 429 ; CHECK:       // %bb.0:
 430 ; CHECK-NEXT:    fmaxnm z0.s, p0/m, z0.s, #1.0
 431 ; CHECK-NEXT:    ret
 432   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 433   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 434   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmaxnm.nxv4f32(<vscale x 4 x i1> %pg,
 435                                                                <vscale x 4 x float> %a,
 436                                                                <vscale x 4 x float> %splat)
 437   ret <vscale x 4 x float> %out
 438 }
 439
 440 define <vscale x 4 x float> @fmaxnm_s_immone_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 441 ; CHECK-LABEL: fmaxnm_s_immone_zero:
 442 ; CHECK:       // %bb.0:
 443 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 444 ; CHECK-NEXT:    fmaxnm z0.s, p0/m, z0.s, #1.0
 445 ; CHECK-NEXT:    ret
 446   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 447   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 448   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 449   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmaxnm.nxv4f32(<vscale x 4 x i1> %pg,
 450                                                                <vscale x 4 x float> %a_z,
 451                                                                <vscale x 4 x float> %splat)
 452   ret <vscale x 4 x float> %out
 453 }
 454
 455 define <vscale x 2 x double> @fmaxnm_d_immzero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 456 ; CHECK-LABEL: fmaxnm_d_immzero:
 457 ; CHECK:       // %bb.0:
 458 ; CHECK-NEXT:    fmaxnm z0.d, p0/m, z0.d, #0.0
 459 ; CHECK-NEXT:    ret
 460   %elt   = insertelement <vscale x 2 x double> undef, double 0.000000e+00, i32 0
 461   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 462   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmaxnm.nxv2f64(<vscale x 2 x i1> %pg,
 463                                                                 <vscale x 2 x double> %a,
 464                                                                 <vscale x 2 x double> %splat)
 465   ret <vscale x 2 x double> %out
 466 }
 467
 468 define <vscale x 2 x double> @fmaxnm_d_immzero_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 469 ; CHECK-LABEL: fmaxnm_d_immzero_zero:
 470 ; CHECK:       // %bb.0:
 471 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 472 ; CHECK-NEXT:    fmaxnm z0.d, p0/m, z0.d, #0.0
 473 ; CHECK-NEXT:    ret
 474   %elt   = insertelement <vscale x 2 x double> undef, double 0.000000e+00, i32 0
 475   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 476   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 477   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmaxnm.nxv2f64(<vscale x 2 x i1> %pg,
 478                                                                 <vscale x 2 x double> %a_z,
 479                                                                 <vscale x 2 x double> %splat)
 480   ret <vscale x 2 x double> %out
 481 }
 482
 483 define <vscale x 2 x double> @fmaxnm_d_immone(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 484 ; CHECK-LABEL: fmaxnm_d_immone:
 485 ; CHECK:       // %bb.0:
 486 ; CHECK-NEXT:    fmaxnm z0.d, p0/m, z0.d, #1.0
 487 ; CHECK-NEXT:    ret
 488   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 489   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 490   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmaxnm.nxv2f64(<vscale x 2 x i1> %pg,
 491                                                                 <vscale x 2 x double> %a,
 492                                                                 <vscale x 2 x double> %splat)
 493   ret <vscale x 2 x double> %out
 494 }
 495
 496 define <vscale x 2 x double> @fmaxnm_d_immone_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 497 ; CHECK-LABEL: fmaxnm_d_immone_zero:
 498 ; CHECK:       // %bb.0:
 499 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 500 ; CHECK-NEXT:    fmaxnm z0.d, p0/m, z0.d, #1.0
 501 ; CHECK-NEXT:    ret
 502   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 503   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 504   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 505   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmaxnm.nxv2f64(<vscale x 2 x i1> %pg,
 506                                                                 <vscale x 2 x double> %a_z,
 507                                                                 <vscale x 2 x double> %splat)
 508   ret <vscale x 2 x double> %out
 509 }
 510
 511 define <vscale x 8 x half> @fmin_h_immzero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 512 ; CHECK-LABEL: fmin_h_immzero:
 513 ; CHECK:       // %bb.0:
 514 ; CHECK-NEXT:    fmin z0.h, p0/m, z0.h, #0.0
 515 ; CHECK-NEXT:    ret
 516   %elt   = insertelement <vscale x 8 x half> undef, half 0.000000e+00, i32 0
 517   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 518   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmin.nxv8f16(<vscale x 8 x i1> %pg,
 519                                                             <vscale x 8 x half> %a,
 520                                                             <vscale x 8 x half> %splat)
 521   ret <vscale x 8 x half> %out
 522 }
 523
 524 define <vscale x 8 x half> @fmin_h_immzero_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 525 ; CHECK-LABEL: fmin_h_immzero_zero:
 526 ; CHECK:       // %bb.0:
 527 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 528 ; CHECK-NEXT:    fmin z0.h, p0/m, z0.h, #0.0
 529 ; CHECK-NEXT:    ret
 530   %elt   = insertelement <vscale x 8 x half> undef, half 0.000000e+00, i32 0
 531   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 532   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 533   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmin.nxv8f16(<vscale x 8 x i1> %pg,
 534                                                             <vscale x 8 x half> %a_z,
 535                                                             <vscale x 8 x half> %splat)
 536   ret <vscale x 8 x half> %out
 537 }
 538
 539 define <vscale x 8 x half> @fmin_h_immone(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 540 ; CHECK-LABEL: fmin_h_immone:
 541 ; CHECK:       // %bb.0:
 542 ; CHECK-NEXT:    fmin z0.h, p0/m, z0.h, #1.0
 543 ; CHECK-NEXT:    ret
 544   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
 545   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 546   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmin.nxv8f16(<vscale x 8 x i1> %pg,
 547                                                             <vscale x 8 x half> %a,
 548                                                             <vscale x 8 x half> %splat)
 549   ret <vscale x 8 x half> %out
 550 }
 551
 552 define <vscale x 8 x half> @fmin_h_immone_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 553 ; CHECK-LABEL: fmin_h_immone_zero:
 554 ; CHECK:       // %bb.0:
 555 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 556 ; CHECK-NEXT:    fmin z0.h, p0/m, z0.h, #1.0
 557 ; CHECK-NEXT:    ret
 558   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
 559   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 560   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 561   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmin.nxv8f16(<vscale x 8 x i1> %pg,
 562                                                             <vscale x 8 x half> %a_z,
 563                                                             <vscale x 8 x half> %splat)
 564   ret <vscale x 8 x half> %out
 565 }
 566
 567 define <vscale x 4 x float> @fmin_s_immzero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 568 ; CHECK-LABEL: fmin_s_immzero:
 569 ; CHECK:       // %bb.0:
 570 ; CHECK-NEXT:    fmin z0.s, p0/m, z0.s, #0.0
 571 ; CHECK-NEXT:    ret
 572   %elt   = insertelement <vscale x 4 x float> undef, float 0.000000e+00, i32 0
 573   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 574   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmin.nxv4f32(<vscale x 4 x i1> %pg,
 575                                                              <vscale x 4 x float> %a,
 576                                                              <vscale x 4 x float> %splat)
 577   ret <vscale x 4 x float> %out
 578 }
 579
 580 define <vscale x 4 x float> @fmin_s_immzero_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 581 ; CHECK-LABEL: fmin_s_immzero_zero:
 582 ; CHECK:       // %bb.0:
 583 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 584 ; CHECK-NEXT:    fmin z0.s, p0/m, z0.s, #0.0
 585 ; CHECK-NEXT:    ret
 586   %elt   = insertelement <vscale x 4 x float> undef, float 0.000000e+00, i32 0
 587   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 588   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 589   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmin.nxv4f32(<vscale x 4 x i1> %pg,
 590                                                              <vscale x 4 x float> %a_z,
 591                                                              <vscale x 4 x float> %splat)
 592   ret <vscale x 4 x float> %out
 593 }
 594
 595 define <vscale x 4 x float> @fmin_s_immone(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 596 ; CHECK-LABEL: fmin_s_immone:
 597 ; CHECK:       // %bb.0:
 598 ; CHECK-NEXT:    fmin z0.s, p0/m, z0.s, #1.0
 599 ; CHECK-NEXT:    ret
 600   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 601   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 602   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmin.nxv4f32(<vscale x 4 x i1> %pg,
 603                                                              <vscale x 4 x float> %a,
 604                                                              <vscale x 4 x float> %splat)
 605   ret <vscale x 4 x float> %out
 606 }
 607
 608 define <vscale x 4 x float> @fmin_s_immone_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 609 ; CHECK-LABEL: fmin_s_immone_zero:
 610 ; CHECK:       // %bb.0:
 611 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 612 ; CHECK-NEXT:    fmin z0.s, p0/m, z0.s, #1.0
 613 ; CHECK-NEXT:    ret
 614   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 615   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 616   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 617   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmin.nxv4f32(<vscale x 4 x i1> %pg,
 618                                                              <vscale x 4 x float> %a_z,
 619                                                              <vscale x 4 x float> %splat)
 620   ret <vscale x 4 x float> %out
 621 }
 622
 623 define <vscale x 2 x double> @fmin_d_immzero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 624 ; CHECK-LABEL: fmin_d_immzero:
 625 ; CHECK:       // %bb.0:
 626 ; CHECK-NEXT:    fmin z0.d, p0/m, z0.d, #0.0
 627 ; CHECK-NEXT:    ret
 628   %elt   = insertelement <vscale x 2 x double> undef, double 0.000000e+00, i32 0
 629   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 630   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmin.nxv2f64(<vscale x 2 x i1> %pg,
 631                                                               <vscale x 2 x double> %a,
 632                                                               <vscale x 2 x double> %splat)
 633   ret <vscale x 2 x double> %out
 634 }
 635
 636 define <vscale x 2 x double> @fmin_d_immzero_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 637 ; CHECK-LABEL: fmin_d_immzero_zero:
 638 ; CHECK:       // %bb.0:
 639 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 640 ; CHECK-NEXT:    fmin z0.d, p0/m, z0.d, #0.0
 641 ; CHECK-NEXT:    ret
 642   %elt   = insertelement <vscale x 2 x double> undef, double 0.000000e+00, i32 0
 643   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 644   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 645   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmin.nxv2f64(<vscale x 2 x i1> %pg,
 646                                                               <vscale x 2 x double> %a_z,
 647                                                               <vscale x 2 x double> %splat)
 648   ret <vscale x 2 x double> %out
 649 }
 650
 651 define <vscale x 2 x double> @fmin_d_immone(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 652 ; CHECK-LABEL: fmin_d_immone:
 653 ; CHECK:       // %bb.0:
 654 ; CHECK-NEXT:    fmin z0.d, p0/m, z0.d, #1.0
 655 ; CHECK-NEXT:    ret
 656   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 657   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 658   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmin.nxv2f64(<vscale x 2 x i1> %pg,
 659                                                               <vscale x 2 x double> %a,
 660                                                               <vscale x 2 x double> %splat)
 661   ret <vscale x 2 x double> %out
 662 }
 663
 664 define <vscale x 2 x double> @fmin_d_immone_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 665 ; CHECK-LABEL: fmin_d_immone_zero:
 666 ; CHECK:       // %bb.0:
 667 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 668 ; CHECK-NEXT:    fmin z0.d, p0/m, z0.d, #1.0
 669 ; CHECK-NEXT:    ret
 670   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 671   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 672   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 673   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmin.nxv2f64(<vscale x 2 x i1> %pg,
 674                                                               <vscale x 2 x double> %a_z,
 675                                                               <vscale x 2 x double> %splat)
 676   ret <vscale x 2 x double> %out
 677 }
 678
 679 define <vscale x 8 x half> @fminnm_h_immzero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 680 ; CHECK-LABEL: fminnm_h_immzero:
 681 ; CHECK:       // %bb.0:
 682 ; CHECK-NEXT:    fminnm z0.h, p0/m, z0.h, #0.0
 683 ; CHECK-NEXT:    ret
 684   %elt   = insertelement <vscale x 8 x half> undef, half 0.000000e+00, i32 0
 685   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 686   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fminnm.nxv8f16(<vscale x 8 x i1> %pg,
 687                                                               <vscale x 8 x half> %a,
 688                                                               <vscale x 8 x half> %splat)
 689   ret <vscale x 8 x half> %out
 690 }
 691
 692 define <vscale x 8 x half> @fminnm_h_immzero_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 693 ; CHECK-LABEL: fminnm_h_immzero_zero:
 694 ; CHECK:       // %bb.0:
 695 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 696 ; CHECK-NEXT:    fminnm z0.h, p0/m, z0.h, #0.0
 697 ; CHECK-NEXT:    ret
 698   %elt   = insertelement <vscale x 8 x half> undef, half 0.000000e+00, i32 0
 699   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 700   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 701   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fminnm.nxv8f16(<vscale x 8 x i1> %pg,
 702                                                               <vscale x 8 x half> %a_z,
 703                                                               <vscale x 8 x half> %splat)
 704   ret <vscale x 8 x half> %out
 705 }
 706
 707 define <vscale x 8 x half> @fminnm_h_immone(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 708 ; CHECK-LABEL: fminnm_h_immone:
 709 ; CHECK:       // %bb.0:
 710 ; CHECK-NEXT:    fminnm z0.h, p0/m, z0.h, #1.0
 711 ; CHECK-NEXT:    ret
 712   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
 713   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 714   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fminnm.nxv8f16(<vscale x 8 x i1> %pg,
 715                                                               <vscale x 8 x half> %a,
 716                                                               <vscale x 8 x half> %splat)
 717   ret <vscale x 8 x half> %out
 718 }
 719
 720 define <vscale x 8 x half> @fminnm_h_immone_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 721 ; CHECK-LABEL: fminnm_h_immone_zero:
 722 ; CHECK:       // %bb.0:
 723 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 724 ; CHECK-NEXT:    fminnm z0.h, p0/m, z0.h, #1.0
 725 ; CHECK-NEXT:    ret
 726   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
 727   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 728   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 729   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fminnm.nxv8f16(<vscale x 8 x i1> %pg,
 730                                                               <vscale x 8 x half> %a_z,
 731                                                               <vscale x 8 x half> %splat)
 732   ret <vscale x 8 x half> %out
 733 }
 734
 735 define <vscale x 4 x float> @fminnm_s_immzero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 736 ; CHECK-LABEL: fminnm_s_immzero:
 737 ; CHECK:       // %bb.0:
 738 ; CHECK-NEXT:    fminnm z0.s, p0/m, z0.s, #0.0
 739 ; CHECK-NEXT:    ret
 740   %elt   = insertelement <vscale x 4 x float> undef, float 0.000000e+00, i32 0
 741   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 742   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fminnm.nxv4f32(<vscale x 4 x i1> %pg,
 743                                                                <vscale x 4 x float> %a,
 744                                                                <vscale x 4 x float> %splat)
 745   ret <vscale x 4 x float> %out
 746 }
 747
 748 define <vscale x 4 x float> @fminnm_s_immzero_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 749 ; CHECK-LABEL: fminnm_s_immzero_zero:
 750 ; CHECK:       // %bb.0:
 751 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 752 ; CHECK-NEXT:    fminnm z0.s, p0/m, z0.s, #0.0
 753 ; CHECK-NEXT:    ret
 754   %elt   = insertelement <vscale x 4 x float> undef, float 0.000000e+00, i32 0
 755   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 756   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 757   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fminnm.nxv4f32(<vscale x 4 x i1> %pg,
 758                                                                <vscale x 4 x float> %a_z,
 759                                                                <vscale x 4 x float> %splat)
 760   ret <vscale x 4 x float> %out
 761 }
 762
 763 define <vscale x 4 x float> @fminnm_s_immone(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 764 ; CHECK-LABEL: fminnm_s_immone:
 765 ; CHECK:       // %bb.0:
 766 ; CHECK-NEXT:    fminnm z0.s, p0/m, z0.s, #1.0
 767 ; CHECK-NEXT:    ret
 768   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 769   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 770   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fminnm.nxv4f32(<vscale x 4 x i1> %pg,
 771                                                                <vscale x 4 x float> %a,
 772                                                                <vscale x 4 x float> %splat)
 773   ret <vscale x 4 x float> %out
 774 }
 775
 776 define <vscale x 4 x float> @fminnm_s_immone_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 777 ; CHECK-LABEL: fminnm_s_immone_zero:
 778 ; CHECK:       // %bb.0:
 779 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 780 ; CHECK-NEXT:    fminnm z0.s, p0/m, z0.s, #1.0
 781 ; CHECK-NEXT:    ret
 782   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
 783   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 784   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 785   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fminnm.nxv4f32(<vscale x 4 x i1> %pg,
 786                                                                <vscale x 4 x float> %a_z,
 787                                                                <vscale x 4 x float> %splat)
 788   ret <vscale x 4 x float> %out
 789 }
 790
 791 define <vscale x 2 x double> @fminnm_d_immzero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 792 ; CHECK-LABEL: fminnm_d_immzero:
 793 ; CHECK:       // %bb.0:
 794 ; CHECK-NEXT:    fminnm z0.d, p0/m, z0.d, #0.0
 795 ; CHECK-NEXT:    ret
 796   %elt   = insertelement <vscale x 2 x double> undef, double 0.000000e+00, i32 0
 797   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 798   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fminnm.nxv2f64(<vscale x 2 x i1> %pg,
 799                                                                 <vscale x 2 x double> %a,
 800                                                                 <vscale x 2 x double> %splat)
 801   ret <vscale x 2 x double> %out
 802 }
 803
 804 define <vscale x 2 x double> @fminnm_d_immzero_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 805 ; CHECK-LABEL: fminnm_d_immzero_zero:
 806 ; CHECK:       // %bb.0:
 807 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 808 ; CHECK-NEXT:    fminnm z0.d, p0/m, z0.d, #0.0
 809 ; CHECK-NEXT:    ret
 810   %elt   = insertelement <vscale x 2 x double> undef, double 0.000000e+00, i32 0
 811   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 812   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 813   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fminnm.nxv2f64(<vscale x 2 x i1> %pg,
 814                                                                 <vscale x 2 x double> %a_z,
 815                                                                 <vscale x 2 x double> %splat)
 816   ret <vscale x 2 x double> %out
 817 }
 818
 819 define <vscale x 2 x double> @fminnm_d_immone(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 820 ; CHECK-LABEL: fminnm_d_immone:
 821 ; CHECK:       // %bb.0:
 822 ; CHECK-NEXT:    fminnm z0.d, p0/m, z0.d, #1.0
 823 ; CHECK-NEXT:    ret
 824   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 825   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 826   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fminnm.nxv2f64(<vscale x 2 x i1> %pg,
 827                                                                 <vscale x 2 x double> %a,
 828                                                                 <vscale x 2 x double> %splat)
 829   ret <vscale x 2 x double> %out
 830 }
 831
 832 define <vscale x 2 x double> @fminnm_d_immone_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 833 ; CHECK-LABEL: fminnm_d_immone_zero:
 834 ; CHECK:       // %bb.0:
 835 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 836 ; CHECK-NEXT:    fminnm z0.d, p0/m, z0.d, #1.0
 837 ; CHECK-NEXT:    ret
 838   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
 839   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 840   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 841   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fminnm.nxv2f64(<vscale x 2 x i1> %pg,
 842                                                                 <vscale x 2 x double> %a_z,
 843                                                                 <vscale x 2 x double> %splat)
 844   ret <vscale x 2 x double> %out
 845 }
 846
 847 define <vscale x 8 x half> @fmul_h_immhalf(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 848 ; CHECK-LABEL: fmul_h_immhalf:
 849 ; CHECK:       // %bb.0:
 850 ; CHECK-NEXT:    fmul z0.h, p0/m, z0.h, #0.5
 851 ; CHECK-NEXT:    ret
 852   %elt   = insertelement <vscale x 8 x half> undef, half 0.500000e+00, i32 0
 853   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 854   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmul.nxv8f16(<vscale x 8 x i1> %pg,
 855                                                             <vscale x 8 x half> %a,
 856                                                             <vscale x 8 x half> %splat)
 857   ret <vscale x 8 x half> %out
 858 }
 859
 860 define <vscale x 8 x half> @fmul_h_immhalf_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 861 ; CHECK-LABEL: fmul_h_immhalf_zero:
 862 ; CHECK:       // %bb.0:
 863 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 864 ; CHECK-NEXT:    fmul z0.h, p0/m, z0.h, #0.5
 865 ; CHECK-NEXT:    ret
 866   %elt   = insertelement <vscale x 8 x half> undef, half 0.500000e+00, i32 0
 867   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 868   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 869   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmul.nxv8f16(<vscale x 8 x i1> %pg,
 870                                                             <vscale x 8 x half> %a_z,
 871                                                             <vscale x 8 x half> %splat)
 872   ret <vscale x 8 x half> %out
 873 }
 874
 875 define <vscale x 8 x half> @fmul_h_immtwo(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
 876 ; CHECK-LABEL: fmul_h_immtwo:
 877 ; CHECK:       // %bb.0:
 878 ; CHECK-NEXT:    fmul z0.h, p0/m, z0.h, #2.0
 879 ; CHECK-NEXT:    ret
 880   %elt   = insertelement <vscale x 8 x half> undef, half 2.000000e+00, i32 0
 881   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 882   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmul.nxv8f16(<vscale x 8 x i1> %pg,
 883                                                             <vscale x 8 x half> %a,
 884                                                             <vscale x 8 x half> %splat)
 885   ret <vscale x 8 x half> %out
 886 }
 887
 888 define <vscale x 8 x half> @fmul_h_immtwo_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
 889 ; CHECK-LABEL: fmul_h_immtwo_zero:
 890 ; CHECK:       // %bb.0:
 891 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
 892 ; CHECK-NEXT:    fmul z0.h, p0/m, z0.h, #2.0
 893 ; CHECK-NEXT:    ret
 894   %elt   = insertelement <vscale x 8 x half> undef, half 2.000000e+00, i32 0
 895   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
 896   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
 897   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fmul.nxv8f16(<vscale x 8 x i1> %pg,
 898                                                             <vscale x 8 x half> %a_z,
 899                                                             <vscale x 8 x half> %splat)
 900   ret <vscale x 8 x half> %out
 901 }
 902
 903 define <vscale x 4 x float> @fmul_s_immhalf(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 904 ; CHECK-LABEL: fmul_s_immhalf:
 905 ; CHECK:       // %bb.0:
 906 ; CHECK-NEXT:    fmul z0.s, p0/m, z0.s, #0.5
 907 ; CHECK-NEXT:    ret
 908   %elt   = insertelement <vscale x 4 x float> undef, float 0.500000e+00, i32 0
 909   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 910   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmul.nxv4f32(<vscale x 4 x i1> %pg,
 911                                                              <vscale x 4 x float> %a,
 912                                                              <vscale x 4 x float> %splat)
 913   ret <vscale x 4 x float> %out
 914 }
 915
 916 define <vscale x 4 x float> @fmul_s_immhalf_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 917 ; CHECK-LABEL: fmul_s_immhalf_zero:
 918 ; CHECK:       // %bb.0:
 919 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 920 ; CHECK-NEXT:    fmul z0.s, p0/m, z0.s, #0.5
 921 ; CHECK-NEXT:    ret
 922   %elt   = insertelement <vscale x 4 x float> undef, float 0.500000e+00, i32 0
 923   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 924   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 925   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmul.nxv4f32(<vscale x 4 x i1> %pg,
 926                                                              <vscale x 4 x float> %a_z,
 927                                                              <vscale x 4 x float> %splat)
 928   ret <vscale x 4 x float> %out
 929 }
 930
 931 define <vscale x 4 x float> @fmul_s_immtwo(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
 932 ; CHECK-LABEL: fmul_s_immtwo:
 933 ; CHECK:       // %bb.0:
 934 ; CHECK-NEXT:    fmul z0.s, p0/m, z0.s, #2.0
 935 ; CHECK-NEXT:    ret
 936   %elt   = insertelement <vscale x 4 x float> undef, float 2.000000e+00, i32 0
 937   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 938   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmul.nxv4f32(<vscale x 4 x i1> %pg,
 939                                                              <vscale x 4 x float> %a,
 940                                                              <vscale x 4 x float> %splat)
 941   ret <vscale x 4 x float> %out
 942 }
 943
 944 define <vscale x 4 x float> @fmul_s_immtwo_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
 945 ; CHECK-LABEL: fmul_s_immtwo_zero:
 946 ; CHECK:       // %bb.0:
 947 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
 948 ; CHECK-NEXT:    fmul z0.s, p0/m, z0.s, #2.0
 949 ; CHECK-NEXT:    ret
 950   %elt   = insertelement <vscale x 4 x float> undef, float 2.000000e+00, i32 0
 951   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
 952   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
 953   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fmul.nxv4f32(<vscale x 4 x i1> %pg,
 954                                                              <vscale x 4 x float> %a_z,
 955                                                              <vscale x 4 x float> %splat)
 956   ret <vscale x 4 x float> %out
 957 }
 958
 959 define <vscale x 2 x double> @fmul_d_immhalf(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 960 ; CHECK-LABEL: fmul_d_immhalf:
 961 ; CHECK:       // %bb.0:
 962 ; CHECK-NEXT:    fmul z0.d, p0/m, z0.d, #0.5
 963 ; CHECK-NEXT:    ret
 964   %elt   = insertelement <vscale x 2 x double> undef, double 0.500000e+00, i32 0
 965   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 966   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmul.nxv2f64(<vscale x 2 x i1> %pg,
 967                                                               <vscale x 2 x double> %a,
 968                                                               <vscale x 2 x double> %splat)
 969   ret <vscale x 2 x double> %out
 970 }
 971
 972 define <vscale x 2 x double> @fmul_d_immhalf_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
 973 ; CHECK-LABEL: fmul_d_immhalf_zero:
 974 ; CHECK:       // %bb.0:
 975 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
 976 ; CHECK-NEXT:    fmul z0.d, p0/m, z0.d, #0.5
 977 ; CHECK-NEXT:    ret
 978   %elt   = insertelement <vscale x 2 x double> undef, double 0.500000e+00, i32 0
 979   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 980   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
 981   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmul.nxv2f64(<vscale x 2 x i1> %pg,
 982                                                               <vscale x 2 x double> %a_z,
 983                                                               <vscale x 2 x double> %splat)
 984   ret <vscale x 2 x double> %out
 985 }
 986
 987 define <vscale x 2 x double> @fmul_d_immtwo(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
 988 ; CHECK-LABEL: fmul_d_immtwo:
 989 ; CHECK:       // %bb.0:
 990 ; CHECK-NEXT:    fmul z0.d, p0/m, z0.d, #2.0
 991 ; CHECK-NEXT:    ret
 992   %elt   = insertelement <vscale x 2 x double> undef, double 2.000000e+00, i32 0
 993   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
 994   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmul.nxv2f64(<vscale x 2 x i1> %pg,
 995                                                               <vscale x 2 x double> %a,
 996                                                               <vscale x 2 x double> %splat)
 997   ret <vscale x 2 x double> %out
 998 }
 999
1000 define <vscale x 2 x double> @fmul_d_immtwo_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
1001 ; CHECK-LABEL: fmul_d_immtwo_zero:
1002 ; CHECK:       // %bb.0:
1003 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
1004 ; CHECK-NEXT:    fmul z0.d, p0/m, z0.d, #2.0
1005 ; CHECK-NEXT:    ret
1006   %elt   = insertelement <vscale x 2 x double> undef, double 2.000000e+00, i32 0
1007   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
1008   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
1009   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fmul.nxv2f64(<vscale x 2 x i1> %pg,
1010                                                               <vscale x 2 x double> %a_z,
1011                                                               <vscale x 2 x double> %splat)
1012   ret <vscale x 2 x double> %out
1013 }
1014
1015 define <vscale x 8 x half> @fsub_h_immhalf(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
1016 ; CHECK-LABEL: fsub_h_immhalf:
1017 ; CHECK:       // %bb.0:
1018 ; CHECK-NEXT:    fsub z0.h, p0/m, z0.h, #0.5
1019 ; CHECK-NEXT:    ret
1020   %elt   = insertelement <vscale x 8 x half> undef, half 0.500000e+00, i32 0
1021   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
1022   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fsub.nxv8f16(<vscale x 8 x i1> %pg,
1023                                                             <vscale x 8 x half> %a,
1024                                                             <vscale x 8 x half> %splat)
1025   ret <vscale x 8 x half> %out
1026 }
1027
1028 define <vscale x 8 x half> @fsub_h_immhalf_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
1029 ; CHECK-LABEL: fsub_h_immhalf_zero:
1030 ; CHECK:       // %bb.0:
1031 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
1032 ; CHECK-NEXT:    fsub z0.h, p0/m, z0.h, #0.5
1033 ; CHECK-NEXT:    ret
1034   %elt   = insertelement <vscale x 8 x half> undef, half 0.500000e+00, i32 0
1035   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
1036   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
1037   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fsub.nxv8f16(<vscale x 8 x i1> %pg,
1038                                                             <vscale x 8 x half> %a_z,
1039                                                             <vscale x 8 x half> %splat)
1040   ret <vscale x 8 x half> %out
1041 }
1042
1043 define <vscale x 8 x half> @fsub_h_immone(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #0 {
1044 ; CHECK-LABEL: fsub_h_immone:
1045 ; CHECK:       // %bb.0:
1046 ; CHECK-NEXT:    fsub z0.h, p0/m, z0.h, #1.0
1047 ; CHECK-NEXT:    ret
1048   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
1049   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
1050   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fsub.nxv8f16(<vscale x 8 x i1> %pg,
1051                                                             <vscale x 8 x half> %a,
1052                                                             <vscale x 8 x half> %splat)
1053   ret <vscale x 8 x half> %out
1054 }
1055
1056 define <vscale x 8 x half> @fsub_h_immone_zero(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
1057 ; CHECK-LABEL: fsub_h_immone_zero:
1058 ; CHECK:       // %bb.0:
1059 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
1060 ; CHECK-NEXT:    fsub z0.h, p0/m, z0.h, #1.0
1061 ; CHECK-NEXT:    ret
1062   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
1063   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
1064   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
1065   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fsub.nxv8f16(<vscale x 8 x i1> %pg,
1066                                                             <vscale x 8 x half> %a_z,
1067                                                             <vscale x 8 x half> %splat)
1068   ret <vscale x 8 x half> %out
1069 }
1070
1071 define <vscale x 4 x float> @fsub_s_immhalf(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
1072 ; CHECK-LABEL: fsub_s_immhalf:
1073 ; CHECK:       // %bb.0:
1074 ; CHECK-NEXT:    fsub z0.s, p0/m, z0.s, #0.5
1075 ; CHECK-NEXT:    ret
1076   %elt   = insertelement <vscale x 4 x float> undef, float 0.500000e+00, i32 0
1077   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
1078   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fsub.nxv4f32(<vscale x 4 x i1> %pg,
1079                                                              <vscale x 4 x float> %a,
1080                                                              <vscale x 4 x float> %splat)
1081   ret <vscale x 4 x float> %out
1082 }
1083
1084 define <vscale x 4 x float> @fsub_s_immhalf_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
1085 ; CHECK-LABEL: fsub_s_immhalf_zero:
1086 ; CHECK:       // %bb.0:
1087 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
1088 ; CHECK-NEXT:    fsub z0.s, p0/m, z0.s, #0.5
1089 ; CHECK-NEXT:    ret
1090   %elt   = insertelement <vscale x 4 x float> undef, float 0.500000e+00, i32 0
1091   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
1092   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
1093   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fsub.nxv4f32(<vscale x 4 x i1> %pg,
1094                                                              <vscale x 4 x float> %a_z,
1095                                                              <vscale x 4 x float> %splat)
1096   ret <vscale x 4 x float> %out
1097 }
1098
1099 define <vscale x 4 x float> @fsub_s_immone(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #0 {
1100 ; CHECK-LABEL: fsub_s_immone:
1101 ; CHECK:       // %bb.0:
1102 ; CHECK-NEXT:    fsub z0.s, p0/m, z0.s, #1.0
1103 ; CHECK-NEXT:    ret
1104   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
1105   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
1106   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fsub.nxv4f32(<vscale x 4 x i1> %pg,
1107                                                              <vscale x 4 x float> %a,
1108                                                              <vscale x 4 x float> %splat)
1109   ret <vscale x 4 x float> %out
1110 }
1111
1112 define <vscale x 4 x float> @fsub_s_immone_zero(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
1113 ; CHECK-LABEL: fsub_s_immone_zero:
1114 ; CHECK:       // %bb.0:
1115 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
1116 ; CHECK-NEXT:    fsub z0.s, p0/m, z0.s, #1.0
1117 ; CHECK-NEXT:    ret
1118   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
1119   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
1120   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
1121   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fsub.nxv4f32(<vscale x 4 x i1> %pg,
1122                                                              <vscale x 4 x float> %a_z,
1123                                                              <vscale x 4 x float> %splat)
1124   ret <vscale x 4 x float> %out
1125 }
1126
1127 define <vscale x 2 x double> @fsub_d_immhalf(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
1128 ; CHECK-LABEL: fsub_d_immhalf:
1129 ; CHECK:       // %bb.0:
1130 ; CHECK-NEXT:    fsub z0.d, p0/m, z0.d, #0.5
1131 ; CHECK-NEXT:    ret
1132   %elt   = insertelement <vscale x 2 x double> undef, double 0.500000e+00, i32 0
1133   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
1134   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fsub.nxv2f64(<vscale x 2 x i1> %pg,
1135                                                               <vscale x 2 x double> %a,
1136                                                               <vscale x 2 x double> %splat)
1137   ret <vscale x 2 x double> %out
1138 }
1139
1140 define <vscale x 2 x double> @fsub_d_immhalf_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
1141 ; CHECK-LABEL: fsub_d_immhalf_zero:
1142 ; CHECK:       // %bb.0:
1143 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
1144 ; CHECK-NEXT:    fsub z0.d, p0/m, z0.d, #0.5
1145 ; CHECK-NEXT:    ret
1146   %elt   = insertelement <vscale x 2 x double> undef, double 0.500000e+00, i32 0
1147   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
1148   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
1149   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fsub.nxv2f64(<vscale x 2 x i1> %pg,
1150                                                               <vscale x 2 x double> %a_z,
1151                                                               <vscale x 2 x double> %splat)
1152   ret <vscale x 2 x double> %out
1153 }
1154
1155 define <vscale x 2 x double> @fsub_d_immone(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #0 {
1156 ; CHECK-LABEL: fsub_d_immone:
1157 ; CHECK:       // %bb.0:
1158 ; CHECK-NEXT:    fsub z0.d, p0/m, z0.d, #1.0
1159 ; CHECK-NEXT:    ret
1160   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
1161   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
1162   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fsub.nxv2f64(<vscale x 2 x i1> %pg,
1163                                                               <vscale x 2 x double> %a,
1164                                                               <vscale x 2 x double> %splat)
1165   ret <vscale x 2 x double> %out
1166 }
1167
1168 define <vscale x 2 x double> @fsub_d_immone_zero(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
1169 ; CHECK-LABEL: fsub_d_immone_zero:
1170 ; CHECK:       // %bb.0:
1171 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
1172 ; CHECK-NEXT:    fsub z0.d, p0/m, z0.d, #1.0
1173 ; CHECK-NEXT:    ret
1174   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
1175   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
1176   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
1177   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fsub.nxv2f64(<vscale x 2 x i1> %pg,
1178                                                               <vscale x 2 x double> %a_z,
1179                                                               <vscale x 2 x double> %splat)
1180   ret <vscale x 2 x double> %out
1181 }
1182
1183 define <vscale x 8 x half> @fsubr_h_immhalf(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
1184 ; CHECK-LABEL: fsubr_h_immhalf:
1185 ; CHECK:       // %bb.0:
1186 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
1187 ; CHECK-NEXT:    fsubr z0.h, p0/m, z0.h, #0.5
1188 ; CHECK-NEXT:    ret
1189   %elt   = insertelement <vscale x 8 x half> undef, half 0.500000e+00, i32 0
1190   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
1191   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
1192   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fsubr.nxv8f16(<vscale x 8 x i1> %pg,
1193                                                              <vscale x 8 x half> %a_z,
1194                                                              <vscale x 8 x half> %splat)
1195   ret <vscale x 8 x half> %out
1196 }
1197
1198 define <vscale x 8 x half> @fsubr_h_immone(<vscale x 8 x i1> %pg, <vscale x 8 x half> %a) #1 {
1199 ; CHECK-LABEL: fsubr_h_immone:
1200 ; CHECK:       // %bb.0:
1201 ; CHECK-NEXT:    movprfx z0.h, p0/z, z0.h
1202 ; CHECK-NEXT:    fsubr z0.h, p0/m, z0.h, #1.0
1203 ; CHECK-NEXT:    ret
1204   %elt   = insertelement <vscale x 8 x half> undef, half 1.000000e+00, i32 0
1205   %splat = shufflevector <vscale x 8 x half> %elt, <vscale x 8 x half> undef, <vscale x 8 x i32> zeroinitializer
1206   %a_z = select <vscale x 8 x i1> %pg, <vscale x 8 x half> %a, <vscale x 8 x half> zeroinitializer
1207   %out = call <vscale x 8 x half> @llvm.aarch64.sve.fsubr.nxv8f16(<vscale x 8 x i1> %pg,
1208                                                              <vscale x 8 x half> %a_z,
1209                                                              <vscale x 8 x half> %splat)
1210   ret <vscale x 8 x half> %out
1211 }
1212
1213 define <vscale x 4 x float> @fsubr_s_immhalf(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
1214 ; CHECK-LABEL: fsubr_s_immhalf:
1215 ; CHECK:       // %bb.0:
1216 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
1217 ; CHECK-NEXT:    fsubr z0.s, p0/m, z0.s, #0.5
1218 ; CHECK-NEXT:    ret
1219   %elt   = insertelement <vscale x 4 x float> undef, float 0.500000e+00, i32 0
1220   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
1221   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
1222   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fsubr.nxv4f32(<vscale x 4 x i1> %pg,
1223                                                               <vscale x 4 x float> %a_z,
1224                                                               <vscale x 4 x float> %splat)
1225   ret <vscale x 4 x float> %out
1226 }
1227
1228 define <vscale x 4 x float> @fsubr_s_immone(<vscale x 4 x i1> %pg, <vscale x 4 x float> %a) #1 {
1229 ; CHECK-LABEL: fsubr_s_immone:
1230 ; CHECK:       // %bb.0:
1231 ; CHECK-NEXT:    movprfx z0.s, p0/z, z0.s
1232 ; CHECK-NEXT:    fsubr z0.s, p0/m, z0.s, #1.0
1233 ; CHECK-NEXT:    ret
1234   %elt   = insertelement <vscale x 4 x float> undef, float 1.000000e+00, i32 0
1235   %splat = shufflevector <vscale x 4 x float> %elt, <vscale x 4 x float> undef, <vscale x 4 x i32> zeroinitializer
1236   %a_z = select <vscale x 4 x i1> %pg, <vscale x 4 x float> %a, <vscale x 4 x float> zeroinitializer
1237   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fsubr.nxv4f32(<vscale x 4 x i1> %pg,
1238                                                               <vscale x 4 x float> %a_z,
1239                                                               <vscale x 4 x float> %splat)
1240   ret <vscale x 4 x float> %out
1241 }
1242
1243 define <vscale x 2 x double> @fsubr_d_immhalf(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
1244 ; CHECK-LABEL: fsubr_d_immhalf:
1245 ; CHECK:       // %bb.0:
1246 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
1247 ; CHECK-NEXT:    fsubr z0.d, p0/m, z0.d, #0.5
1248 ; CHECK-NEXT:    ret
1249   %elt   = insertelement <vscale x 2 x double> undef, double 0.500000e+00, i32 0
1250   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
1251   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
1252   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fsubr.nxv2f64(<vscale x 2 x i1> %pg,
1253                                                                <vscale x 2 x double> %a_z,
1254                                                                <vscale x 2 x double> %splat)
1255   ret <vscale x 2 x double> %out
1256 }
1257
1258 define <vscale x 2 x double> @fsubr_d_immone(<vscale x 2 x i1> %pg, <vscale x 2 x double> %a) #1 {
1259 ; CHECK-LABEL: fsubr_d_immone:
1260 ; CHECK:       // %bb.0:
1261 ; CHECK-NEXT:    movprfx z0.d, p0/z, z0.d
1262 ; CHECK-NEXT:    fsubr z0.d, p0/m, z0.d, #1.0
1263 ; CHECK-NEXT:    ret
1264   %elt   = insertelement <vscale x 2 x double> undef, double 1.000000e+00, i32 0
1265   %splat = shufflevector <vscale x 2 x double> %elt, <vscale x 2 x double> undef, <vscale x 2 x i32> zeroinitializer
1266   %a_z = select <vscale x 2 x i1> %pg, <vscale x 2 x double> %a, <vscale x 2 x double> zeroinitializer
1267   %out = call <vscale x 2 x double> @llvm.aarch64.sve.fsubr.nxv2f64(<vscale x 2 x i1> %pg,
1268                                                                <vscale x 2 x double> %a_z,
1269                                                                <vscale x 2 x double> %splat)
1270   ret <vscale x 2 x double> %out
1271 }
1272
1273
1274 ;; Arithmetic intrinsic declarations
1275
1276 declare <vscale x 8 x half> @llvm.aarch64.sve.fadd.nxv8f16(<vscale x 8 x i1>, <vscale x 8 x half>, <vscale x 8 x half>)
1277 declare <vscale x 4 x float> @llvm.aarch64.sve.fadd.nxv4f32(<vscale x 4 x i1>, <vscale x 4 x float>, <vscale x 4 x float>)
1278 declare <vscale x 2 x double> @llvm.aarch64.sve.fadd.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)
1279
1280 declare <vscale x 8 x half> @llvm.aarch64.sve.fmax.nxv8f16(<vscale x 8 x i1>, <vscale x 8 x half>, <vscale x 8 x half>)
1281 declare <vscale x 4 x float> @llvm.aarch64.sve.fmax.nxv4f32(<vscale x 4 x i1>, <vscale x 4 x float>, <vscale x 4 x float>)
1282 declare <vscale x 2 x double> @llvm.aarch64.sve.fmax.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)
1283
1284 declare <vscale x 8 x half> @llvm.aarch64.sve.fmaxnm.nxv8f16(<vscale x 8 x i1>, <vscale x 8 x half>, <vscale x 8 x half>)
1285 declare <vscale x 4 x float> @llvm.aarch64.sve.fmaxnm.nxv4f32(<vscale x 4 x i1>, <vscale x 4 x float>, <vscale x 4 x float>)
1286 declare <vscale x 2 x double> @llvm.aarch64.sve.fmaxnm.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)
1287
1288 declare <vscale x 8 x half> @llvm.aarch64.sve.fmin.nxv8f16(<vscale x 8 x i1>, <vscale x 8 x half>, <vscale x 8 x half>)
1289 declare <vscale x 4 x float> @llvm.aarch64.sve.fmin.nxv4f32(<vscale x 4 x i1>, <vscale x 4 x float>, <vscale x 4 x float>)
1290 declare <vscale x 2 x double> @llvm.aarch64.sve.fmin.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)
1291
1292 declare <vscale x 8 x half> @llvm.aarch64.sve.fminnm.nxv8f16(<vscale x 8 x i1>, <vscale x 8 x half>, <vscale x 8 x half>)
1293 declare <vscale x 4 x float> @llvm.aarch64.sve.fminnm.nxv4f32(<vscale x 4 x i1>, <vscale x 4 x float>, <vscale x 4 x float>)
1294 declare <vscale x 2 x double> @llvm.aarch64.sve.fminnm.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)
1295
1296 declare <vscale x 8 x half> @llvm.aarch64.sve.fmul.nxv8f16(<vscale x 8 x i1>, <vscale x 8 x half>, <vscale x 8 x half>)
1297 declare <vscale x 4 x float> @llvm.aarch64.sve.fmul.nxv4f32(<vscale x 4 x i1>, <vscale x 4 x float>, <vscale x 4 x float>)
1298 declare <vscale x 2 x double> @llvm.aarch64.sve.fmul.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)
1299
1300 declare <vscale x 8 x half> @llvm.aarch64.sve.fsub.nxv8f16(<vscale x 8 x i1>, <vscale x 8 x half>, <vscale x 8 x half>)
1301 declare <vscale x 4 x float> @llvm.aarch64.sve.fsub.nxv4f32(<vscale x 4 x i1>, <vscale x 4 x float>, <vscale x 4 x float>)
1302 declare <vscale x 2 x double> @llvm.aarch64.sve.fsub.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)
1303
1304 declare <vscale x 8 x half> @llvm.aarch64.sve.fsubr.nxv8f16(<vscale x 8 x i1>, <vscale x 8 x half>, <vscale x 8 x half>)
1305 declare <vscale x 4 x float> @llvm.aarch64.sve.fsubr.nxv4f32(<vscale x 4 x i1>, <vscale x 4 x float>, <vscale x 4 x float>)
1306 declare <vscale x 2 x double> @llvm.aarch64.sve.fsubr.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>, <vscale x 2 x double>)
1307
1308 attributes #0 = { "target-features"="+sve" }
1309 attributes #1 = { "target-features"="+sve,+use-experimental-zeroing-pseudos" }