llvm/test/CodeGen/AArch64/replace-intrinsics-with-veclib-armpl.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals --version 2
   2 ; RUN: opt -S -vector-library=ArmPL -replace-with-veclib < %s | FileCheck %s
   3
   4 target triple = "aarch64-unknown-linux-gnu"
   5
   6 ;
   7 ; The replace-with-veclib pass does not work with scalable types, thus
   8 ; the mappings aren't utilised. Tests will need to be regenerated when the
   9 ; pass is improved.
  10 ;
  11
  12 declare <2 x double> @llvm.cos.v2f64(<2 x double>)
  13 declare <4 x float> @llvm.cos.v4f32(<4 x float>)
  14 declare <vscale x 2 x double> @llvm.cos.nxv2f64(<vscale x 2 x double>)
  15 declare <vscale x 4 x float> @llvm.cos.nxv4f32(<vscale x 4 x float>)
  16
  17 ;.
  18 ; CHECK: @[[LLVM_COMPILER_USED:[a-zA-Z0-9_$"\\.-]+]] = appending global [14 x ptr] [ptr @armpl_vcosq_f64, ptr @armpl_vcosq_f32, ptr @armpl_vsinq_f64, ptr @armpl_vsinq_f32, ptr @armpl_vexpq_f64, ptr @armpl_vexpq_f32, ptr @armpl_vexp2q_f64, ptr @armpl_vexp2q_f32, ptr @armpl_vlogq_f64, ptr @armpl_vlogq_f32, ptr @armpl_vlog2q_f64, ptr @armpl_vlog2q_f32, ptr @armpl_vlog10q_f64, ptr @armpl_vlog10q_f32], section "llvm.metadata"
  19 ;.
  20 define <2 x double> @llvm_cos_f64(<2 x double> %in) {
  21 ; CHECK-LABEL: define <2 x double> @llvm_cos_f64
  22 ; CHECK-SAME: (<2 x double> [[IN:%.*]]) {
  23 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <2 x double> @armpl_vcosq_f64(<2 x double> [[IN]])
  24 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
  25 ;
  26   %1 = call fast <2 x double> @llvm.cos.v2f64(<2 x double> %in)
  27   ret <2 x double> %1
  28 }
  29
  30 define <4 x float> @llvm_cos_f32(<4 x float> %in) {
  31 ; CHECK-LABEL: define <4 x float> @llvm_cos_f32
  32 ; CHECK-SAME: (<4 x float> [[IN:%.*]]) {
  33 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <4 x float> @armpl_vcosq_f32(<4 x float> [[IN]])
  34 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
  35 ;
  36   %1 = call fast <4 x float> @llvm.cos.v4f32(<4 x float> %in)
  37   ret <4 x float> %1
  38 }
  39
  40 define <vscale x 2 x double> @llvm_cos_vscale_f64(<vscale x 2 x double> %in) #0 {
  41 ; CHECK-LABEL: define <vscale x 2 x double> @llvm_cos_vscale_f64
  42 ; CHECK-SAME: (<vscale x 2 x double> [[IN:%.*]]) #[[ATTR1:[0-9]+]] {
  43 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 2 x double> @llvm.cos.nxv2f64(<vscale x 2 x double> [[IN]])
  44 ; CHECK-NEXT:    ret <vscale x 2 x double> [[TMP1]]
  45 ;
  46   %1 = call fast <vscale x 2 x double> @llvm.cos.nxv2f64(<vscale x 2 x double> %in)
  47   ret <vscale x 2 x double> %1
  48 }
  49
  50 define <vscale x 4 x float> @llvm_cos_vscale_f32(<vscale x 4 x float> %in) #0 {
  51 ; CHECK-LABEL: define <vscale x 4 x float> @llvm_cos_vscale_f32
  52 ; CHECK-SAME: (<vscale x 4 x float> [[IN:%.*]]) #[[ATTR1]] {
  53 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 4 x float> @llvm.cos.nxv4f32(<vscale x 4 x float> [[IN]])
  54 ; CHECK-NEXT:    ret <vscale x 4 x float> [[TMP1]]
  55 ;
  56   %1 = call fast <vscale x 4 x float> @llvm.cos.nxv4f32(<vscale x 4 x float> %in)
  57   ret <vscale x 4 x float> %1
  58 }
  59
  60 declare <2 x double> @llvm.sin.v2f64(<2 x double>)
  61 declare <4 x float> @llvm.sin.v4f32(<4 x float>)
  62 declare <vscale x 2 x double> @llvm.sin.nxv2f64(<vscale x 2 x double>)
  63 declare <vscale x 4 x float> @llvm.sin.nxv4f32(<vscale x 4 x float>)
  64
  65 define <2 x double> @llvm_sin_f64(<2 x double> %in) {
  66 ; CHECK-LABEL: define <2 x double> @llvm_sin_f64
  67 ; CHECK-SAME: (<2 x double> [[IN:%.*]]) {
  68 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <2 x double> @armpl_vsinq_f64(<2 x double> [[IN]])
  69 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
  70 ;
  71   %1 = call fast <2 x double> @llvm.sin.v2f64(<2 x double> %in)
  72   ret <2 x double> %1
  73 }
  74
  75 define <4 x float> @llvm_sin_f32(<4 x float> %in) {
  76 ; CHECK-LABEL: define <4 x float> @llvm_sin_f32
  77 ; CHECK-SAME: (<4 x float> [[IN:%.*]]) {
  78 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <4 x float> @armpl_vsinq_f32(<4 x float> [[IN]])
  79 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
  80 ;
  81   %1 = call fast <4 x float> @llvm.sin.v4f32(<4 x float> %in)
  82   ret <4 x float> %1
  83 }
  84
  85 define <vscale x 2 x double> @llvm_sin_vscale_f64(<vscale x 2 x double> %in) #0 {
  86 ; CHECK-LABEL: define <vscale x 2 x double> @llvm_sin_vscale_f64
  87 ; CHECK-SAME: (<vscale x 2 x double> [[IN:%.*]]) #[[ATTR1]] {
  88 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 2 x double> @llvm.sin.nxv2f64(<vscale x 2 x double> [[IN]])
  89 ; CHECK-NEXT:    ret <vscale x 2 x double> [[TMP1]]
  90 ;
  91   %1 = call fast <vscale x 2 x double> @llvm.sin.nxv2f64(<vscale x 2 x double> %in)
  92   ret <vscale x 2 x double> %1
  93 }
  94
  95 define <vscale x 4 x float> @llvm_sin_vscale_f32(<vscale x 4 x float> %in) #0 {
  96 ; CHECK-LABEL: define <vscale x 4 x float> @llvm_sin_vscale_f32
  97 ; CHECK-SAME: (<vscale x 4 x float> [[IN:%.*]]) #[[ATTR1]] {
  98 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 4 x float> @llvm.sin.nxv4f32(<vscale x 4 x float> [[IN]])
  99 ; CHECK-NEXT:    ret <vscale x 4 x float> [[TMP1]]
 100 ;
 101   %1 = call fast <vscale x 4 x float> @llvm.sin.nxv4f32(<vscale x 4 x float> %in)
 102   ret <vscale x 4 x float> %1
 103 }
 104
 105 declare <2 x double> @llvm.exp.v2f64(<2 x double>)
 106 declare <4 x float> @llvm.exp.v4f32(<4 x float>)
 107 declare <vscale x 2 x double> @llvm.exp.nxv2f64(<vscale x 2 x double>)
 108 declare <vscale x 4 x float> @llvm.exp.nxv4f32(<vscale x 4 x float>)
 109
 110 define <2 x double> @llvm_exp_f64(<2 x double> %in) {
 111 ; CHECK-LABEL: define <2 x double> @llvm_exp_f64
 112 ; CHECK-SAME: (<2 x double> [[IN:%.*]]) {
 113 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <2 x double> @armpl_vexpq_f64(<2 x double> [[IN]])
 114 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 115 ;
 116   %1 = call fast <2 x double> @llvm.exp.v2f64(<2 x double> %in)
 117   ret <2 x double> %1
 118 }
 119
 120 define <4 x float> @llvm_exp_f32(<4 x float> %in) {
 121 ; CHECK-LABEL: define <4 x float> @llvm_exp_f32
 122 ; CHECK-SAME: (<4 x float> [[IN:%.*]]) {
 123 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <4 x float> @armpl_vexpq_f32(<4 x float> [[IN]])
 124 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
 125 ;
 126   %1 = call fast <4 x float> @llvm.exp.v4f32(<4 x float> %in)
 127   ret <4 x float> %1
 128 }
 129
 130 define <vscale x 2 x double> @llvm_exp_vscale_f64(<vscale x 2 x double> %in) #0 {
 131 ; CHECK-LABEL: define <vscale x 2 x double> @llvm_exp_vscale_f64
 132 ; CHECK-SAME: (<vscale x 2 x double> [[IN:%.*]]) #[[ATTR1]] {
 133 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 2 x double> @llvm.exp.nxv2f64(<vscale x 2 x double> [[IN]])
 134 ; CHECK-NEXT:    ret <vscale x 2 x double> [[TMP1]]
 135 ;
 136   %1 = call fast <vscale x 2 x double> @llvm.exp.nxv2f64(<vscale x 2 x double> %in)
 137   ret <vscale x 2 x double> %1
 138 }
 139
 140 define <vscale x 4 x float> @llvm_exp_vscale_f32(<vscale x 4 x float> %in) #0 {
 141 ; CHECK-LABEL: define <vscale x 4 x float> @llvm_exp_vscale_f32
 142 ; CHECK-SAME: (<vscale x 4 x float> [[IN:%.*]]) #[[ATTR1]] {
 143 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 4 x float> @llvm.exp.nxv4f32(<vscale x 4 x float> [[IN]])
 144 ; CHECK-NEXT:    ret <vscale x 4 x float> [[TMP1]]
 145 ;
 146   %1 = call fast <vscale x 4 x float> @llvm.exp.nxv4f32(<vscale x 4 x float> %in)
 147   ret <vscale x 4 x float> %1
 148 }
 149
 150 declare <2 x double> @llvm.exp2.v2f64(<2 x double>)
 151 declare <4 x float> @llvm.exp2.v4f32(<4 x float>)
 152 declare <vscale x 2 x double> @llvm.exp2.nxv2f64(<vscale x 2 x double>)
 153 declare <vscale x 4 x float> @llvm.exp2.nxv4f32(<vscale x 4 x float>)
 154
 155 define <2 x double> @llvm_exp2_f64(<2 x double> %in) {
 156 ; CHECK-LABEL: define <2 x double> @llvm_exp2_f64
 157 ; CHECK-SAME: (<2 x double> [[IN:%.*]]) {
 158 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <2 x double> @armpl_vexp2q_f64(<2 x double> [[IN]])
 159 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 160 ;
 161   %1 = call fast <2 x double> @llvm.exp2.v2f64(<2 x double> %in)
 162   ret <2 x double> %1
 163 }
 164
 165 define <4 x float> @llvm_exp2_f32(<4 x float> %in) {
 166 ; CHECK-LABEL: define <4 x float> @llvm_exp2_f32
 167 ; CHECK-SAME: (<4 x float> [[IN:%.*]]) {
 168 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <4 x float> @armpl_vexp2q_f32(<4 x float> [[IN]])
 169 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
 170 ;
 171   %1 = call fast <4 x float> @llvm.exp2.v4f32(<4 x float> %in)
 172   ret <4 x float> %1
 173 }
 174
 175 define <vscale x 2 x double> @llvm_exp2_vscale_f64(<vscale x 2 x double> %in) #0 {
 176 ; CHECK-LABEL: define <vscale x 2 x double> @llvm_exp2_vscale_f64
 177 ; CHECK-SAME: (<vscale x 2 x double> [[IN:%.*]]) #[[ATTR1]] {
 178 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 2 x double> @llvm.exp2.nxv2f64(<vscale x 2 x double> [[IN]])
 179 ; CHECK-NEXT:    ret <vscale x 2 x double> [[TMP1]]
 180 ;
 181   %1 = call fast <vscale x 2 x double> @llvm.exp2.nxv2f64(<vscale x 2 x double> %in)
 182   ret <vscale x 2 x double> %1
 183 }
 184
 185 define <vscale x 4 x float> @llvm_exp2_vscale_f32(<vscale x 4 x float> %in) #0 {
 186 ; CHECK-LABEL: define <vscale x 4 x float> @llvm_exp2_vscale_f32
 187 ; CHECK-SAME: (<vscale x 4 x float> [[IN:%.*]]) #[[ATTR1]] {
 188 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 4 x float> @llvm.exp2.nxv4f32(<vscale x 4 x float> [[IN]])
 189 ; CHECK-NEXT:    ret <vscale x 4 x float> [[TMP1]]
 190 ;
 191   %1 = call fast <vscale x 4 x float> @llvm.exp2.nxv4f32(<vscale x 4 x float> %in)
 192   ret <vscale x 4 x float> %1
 193 }
 194
 195
 196 declare <2 x double> @llvm.log.v2f64(<2 x double>)
 197 declare <4 x float> @llvm.log.v4f32(<4 x float>)
 198 declare <vscale x 2 x double> @llvm.log.nxv2f64(<vscale x 2 x double>)
 199 declare <vscale x 4 x float> @llvm.log.nxv4f32(<vscale x 4 x float>)
 200
 201 define <2 x double> @llvm_log_f64(<2 x double> %in) {
 202 ; CHECK-LABEL: define <2 x double> @llvm_log_f64
 203 ; CHECK-SAME: (<2 x double> [[IN:%.*]]) {
 204 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <2 x double> @armpl_vlogq_f64(<2 x double> [[IN]])
 205 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 206 ;
 207   %1 = call fast <2 x double> @llvm.log.v2f64(<2 x double> %in)
 208   ret <2 x double> %1
 209 }
 210
 211 define <4 x float> @llvm_log_f32(<4 x float> %in) {
 212 ; CHECK-LABEL: define <4 x float> @llvm_log_f32
 213 ; CHECK-SAME: (<4 x float> [[IN:%.*]]) {
 214 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <4 x float> @armpl_vlogq_f32(<4 x float> [[IN]])
 215 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
 216 ;
 217   %1 = call fast <4 x float> @llvm.log.v4f32(<4 x float> %in)
 218   ret <4 x float> %1
 219 }
 220
 221 define <vscale x 2 x double> @llvm_log_vscale_f64(<vscale x 2 x double> %in) #0 {
 222 ; CHECK-LABEL: define <vscale x 2 x double> @llvm_log_vscale_f64
 223 ; CHECK-SAME: (<vscale x 2 x double> [[IN:%.*]]) #[[ATTR1]] {
 224 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 2 x double> @llvm.log.nxv2f64(<vscale x 2 x double> [[IN]])
 225 ; CHECK-NEXT:    ret <vscale x 2 x double> [[TMP1]]
 226 ;
 227   %1 = call fast <vscale x 2 x double> @llvm.log.nxv2f64(<vscale x 2 x double> %in)
 228   ret <vscale x 2 x double> %1
 229 }
 230
 231 define <vscale x 4 x float> @llvm_log_vscale_f32(<vscale x 4 x float> %in) #0 {
 232 ; CHECK-LABEL: define <vscale x 4 x float> @llvm_log_vscale_f32
 233 ; CHECK-SAME: (<vscale x 4 x float> [[IN:%.*]]) #[[ATTR1]] {
 234 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 4 x float> @llvm.log.nxv4f32(<vscale x 4 x float> [[IN]])
 235 ; CHECK-NEXT:    ret <vscale x 4 x float> [[TMP1]]
 236 ;
 237   %1 = call fast <vscale x 4 x float> @llvm.log.nxv4f32(<vscale x 4 x float> %in)
 238   ret <vscale x 4 x float> %1
 239 }
 240
 241 declare <2 x double> @llvm.log2.v2f64(<2 x double>)
 242 declare <4 x float> @llvm.log2.v4f32(<4 x float>)
 243 declare <vscale x 2 x double> @llvm.log2.nxv2f64(<vscale x 2 x double>)
 244 declare <vscale x 4 x float> @llvm.log2.nxv4f32(<vscale x 4 x float>)
 245
 246 define <2 x double> @llvm_log2_f64(<2 x double> %in) {
 247 ; CHECK-LABEL: define <2 x double> @llvm_log2_f64
 248 ; CHECK-SAME: (<2 x double> [[IN:%.*]]) {
 249 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <2 x double> @armpl_vlog2q_f64(<2 x double> [[IN]])
 250 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 251 ;
 252   %1 = call fast <2 x double> @llvm.log2.v2f64(<2 x double> %in)
 253   ret <2 x double> %1
 254 }
 255
 256 define <4 x float> @llvm_log2_f32(<4 x float> %in) {
 257 ; CHECK-LABEL: define <4 x float> @llvm_log2_f32
 258 ; CHECK-SAME: (<4 x float> [[IN:%.*]]) {
 259 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <4 x float> @armpl_vlog2q_f32(<4 x float> [[IN]])
 260 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
 261 ;
 262   %1 = call fast <4 x float> @llvm.log2.v4f32(<4 x float> %in)
 263   ret <4 x float> %1
 264 }
 265
 266 define <vscale x 2 x double> @llvm_log2_vscale_f64(<vscale x 2 x double> %in) #0 {
 267 ; CHECK-LABEL: define <vscale x 2 x double> @llvm_log2_vscale_f64
 268 ; CHECK-SAME: (<vscale x 2 x double> [[IN:%.*]]) #[[ATTR1]] {
 269 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 2 x double> @llvm.log2.nxv2f64(<vscale x 2 x double> [[IN]])
 270 ; CHECK-NEXT:    ret <vscale x 2 x double> [[TMP1]]
 271 ;
 272   %1 = call fast <vscale x 2 x double> @llvm.log2.nxv2f64(<vscale x 2 x double> %in)
 273   ret <vscale x 2 x double> %1
 274 }
 275
 276 define <vscale x 4 x float> @llvm_log2_vscale_f32(<vscale x 4 x float> %in) #0 {
 277 ; CHECK-LABEL: define <vscale x 4 x float> @llvm_log2_vscale_f32
 278 ; CHECK-SAME: (<vscale x 4 x float> [[IN:%.*]]) #[[ATTR1]] {
 279 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 4 x float> @llvm.log2.nxv4f32(<vscale x 4 x float> [[IN]])
 280 ; CHECK-NEXT:    ret <vscale x 4 x float> [[TMP1]]
 281 ;
 282   %1 = call fast <vscale x 4 x float> @llvm.log2.nxv4f32(<vscale x 4 x float> %in)
 283   ret <vscale x 4 x float> %1
 284 }
 285
 286 declare <2 x double> @llvm.log10.v2f64(<2 x double>)
 287 declare <4 x float> @llvm.log10.v4f32(<4 x float>)
 288 declare <vscale x 2 x double> @llvm.log10.nxv2f64(<vscale x 2 x double>)
 289 declare <vscale x 4 x float> @llvm.log10.nxv4f32(<vscale x 4 x float>)
 290
 291 define <2 x double> @llvm_log10_f64(<2 x double> %in) {
 292 ; CHECK-LABEL: define <2 x double> @llvm_log10_f64
 293 ; CHECK-SAME: (<2 x double> [[IN:%.*]]) {
 294 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <2 x double> @armpl_vlog10q_f64(<2 x double> [[IN]])
 295 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 296 ;
 297   %1 = call fast <2 x double> @llvm.log10.v2f64(<2 x double> %in)
 298   ret <2 x double> %1
 299 }
 300
 301 define <4 x float> @llvm_log10_f32(<4 x float> %in) {
 302 ; CHECK-LABEL: define <4 x float> @llvm_log10_f32
 303 ; CHECK-SAME: (<4 x float> [[IN:%.*]]) {
 304 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <4 x float> @armpl_vlog10q_f32(<4 x float> [[IN]])
 305 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
 306 ;
 307   %1 = call fast <4 x float> @llvm.log10.v4f32(<4 x float> %in)
 308   ret <4 x float> %1
 309 }
 310
 311 define <vscale x 2 x double> @llvm_log10_vscale_f64(<vscale x 2 x double> %in) #0 {
 312 ; CHECK-LABEL: define <vscale x 2 x double> @llvm_log10_vscale_f64
 313 ; CHECK-SAME: (<vscale x 2 x double> [[IN:%.*]]) #[[ATTR1]] {
 314 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 2 x double> @llvm.log10.nxv2f64(<vscale x 2 x double> [[IN]])
 315 ; CHECK-NEXT:    ret <vscale x 2 x double> [[TMP1]]
 316 ;
 317   %1 = call fast <vscale x 2 x double> @llvm.log10.nxv2f64(<vscale x 2 x double> %in)
 318   ret <vscale x 2 x double> %1
 319 }
 320
 321 define <vscale x 4 x float> @llvm_log10_vscale_f32(<vscale x 4 x float> %in) #0 {
 322 ; CHECK-LABEL: define <vscale x 4 x float> @llvm_log10_vscale_f32
 323 ; CHECK-SAME: (<vscale x 4 x float> [[IN:%.*]]) #[[ATTR1]] {
 324 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 4 x float> @llvm.log10.nxv4f32(<vscale x 4 x float> [[IN]])
 325 ; CHECK-NEXT:    ret <vscale x 4 x float> [[TMP1]]
 326 ;
 327   %1 = call fast <vscale x 4 x float> @llvm.log10.nxv4f32(<vscale x 4 x float> %in)
 328   ret <vscale x 4 x float> %1
 329 }
 330
 331 declare <2 x double> @llvm.pow.v2f64(<2 x double>, <2 x double>)
 332 declare <4 x float> @llvm.pow.v4f32(<4 x float>, <4 x float>)
 333 declare <vscale x 2 x double> @llvm.pow.nxv2f64(<vscale x 2 x double>, <vscale x 2 x double>)
 334 declare <vscale x 4 x float> @llvm.pow.nxv4f32(<vscale x 4 x float>, <vscale x 4 x float>)
 335
 336 ;
 337 ; There is a bug in the replace-with-veclib pass, and for intrinsics which take
 338 ; more than one arguments, but has just one overloaded type, it incorrectly
 339 ; reconstructs the scalar name, for pow specificlly it is searching for:
 340 ; llvm.pow.f64.f64 and llvm.pow.f32.f32
 341 ;
 342
 343 define <2 x double> @llvm_pow_f64(<2 x double> %in, <2 x double> %power) {
 344 ; CHECK-LABEL: define <2 x double> @llvm_pow_f64
 345 ; CHECK-SAME: (<2 x double> [[IN:%.*]], <2 x double> [[POWER:%.*]]) {
 346 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <2 x double> @llvm.pow.v2f64(<2 x double> [[IN]], <2 x double> [[POWER]])
 347 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
 348 ;
 349   %1 = call fast <2 x double> @llvm.pow.v2f64(<2 x double> %in, <2 x double> %power)
 350   ret <2 x double> %1
 351 }
 352
 353 define <4 x float> @llvm_pow_f32(<4 x float> %in, <4 x float> %power) {
 354 ; CHECK-LABEL: define <4 x float> @llvm_pow_f32
 355 ; CHECK-SAME: (<4 x float> [[IN:%.*]], <4 x float> [[POWER:%.*]]) {
 356 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <4 x float> @llvm.pow.v4f32(<4 x float> [[IN]], <4 x float> [[POWER]])
 357 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
 358 ;
 359   %1 = call fast <4 x float> @llvm.pow.v4f32(<4 x float> %in, <4 x float> %power)
 360   ret <4 x float> %1
 361 }
 362
 363 define <vscale x 2 x double> @llvm_pow_vscale_f64(<vscale x 2 x double> %in, <vscale x 2 x double> %power) #0 {
 364 ; CHECK-LABEL: define <vscale x 2 x double> @llvm_pow_vscale_f64
 365 ; CHECK-SAME: (<vscale x 2 x double> [[IN:%.*]], <vscale x 2 x double> [[POWER:%.*]]) #[[ATTR1]] {
 366 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 2 x double> @llvm.pow.nxv2f64(<vscale x 2 x double> [[IN]], <vscale x 2 x double> [[POWER]])
 367 ; CHECK-NEXT:    ret <vscale x 2 x double> [[TMP1]]
 368 ;
 369   %1 = call fast <vscale x 2 x double> @llvm.pow.nxv2f64(<vscale x 2 x double> %in, <vscale x 2 x double> %power)
 370   ret <vscale x 2 x double> %1
 371 }
 372
 373 define <vscale x 4 x float> @llvm_pow_vscale_f32(<vscale x 4 x float> %in, <vscale x 4 x float> %power) #0 {
 374 ; CHECK-LABEL: define <vscale x 4 x float> @llvm_pow_vscale_f32
 375 ; CHECK-SAME: (<vscale x 4 x float> [[IN:%.*]], <vscale x 4 x float> [[POWER:%.*]]) #[[ATTR1]] {
 376 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast <vscale x 4 x float> @llvm.pow.nxv4f32(<vscale x 4 x float> [[IN]], <vscale x 4 x float> [[POWER]])
 377 ; CHECK-NEXT:    ret <vscale x 4 x float> [[TMP1]]
 378 ;
 379   %1 = call fast <vscale x 4 x float> @llvm.pow.nxv4f32(<vscale x 4 x float> %in, <vscale x 4 x float> %power)
 380   ret <vscale x 4 x float> %1
 381 }
 382
 383 attributes #0 = { "target-features"="+sve" }
 384 ;.
 385 ; CHECK: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
 386 ; CHECK: attributes #[[ATTR1]] = { "target-features"="+sve" }
 387 ;.