llvm/test/Assembler/invalid-vecreduce.ll

   1 ; RUN: not opt -S < %s 2>&1 | FileCheck %s
   2
   3 ; CHECK: Intrinsic has incorrect return type!
   4 ; CHECK-NEXT: ptr @llvm.vector.reduce.fadd.f32.f64.v2f64
   5 define float @fadd_invalid_scalar_res(double %acc, <2 x double> %in) {
   6   %res = call float @llvm.vector.reduce.fadd.f32.f64.v2f64(double %acc, <2 x double> %in)
   7   ret float %res
   8 }
   9
  10 ; CHECK: Intrinsic has incorrect argument type!
  11 ; CHECK-NEXT: ptr @llvm.vector.reduce.fadd.f64.f32.v2f64
  12 define double @fadd_invalid_scalar_start(float %acc, <2 x double> %in) {
  13   %res = call double @llvm.vector.reduce.fadd.f64.f32.v2f64(float %acc, <2 x double> %in)
  14   ret double %res
  15 }
  16
  17 ; CHECK: Intrinsic has incorrect return type!
  18 ; CHECK-NEXT: ptr @llvm.vector.reduce.fadd.v2f64.f64.v2f64
  19 define <2 x double> @fadd_invalid_vector_res(double %acc, <2 x double> %in) {
  20   %res = call <2 x double> @llvm.vector.reduce.fadd.v2f64.f64.v2f64(double %acc, <2 x double> %in)
  21   ret <2 x double> %res
  22 }
  23
  24 ; CHECK: Intrinsic has incorrect argument type!
  25 ; CHECK-NEXT: ptr @llvm.vector.reduce.fadd.f64.v2f64.v2f64
  26 define double @fadd_invalid_vector_start(<2 x double> %in, <2 x double> %acc) {
  27   %res = call double @llvm.vector.reduce.fadd.f64.v2f64.v2f64(<2 x double> %acc, <2 x double> %in)
  28   ret double %res
  29 }
  30
  31 declare float @llvm.vector.reduce.fadd.f32.f64.v2f64(double %acc, <2 x double> %in)
  32 declare double @llvm.vector.reduce.fadd.f64.f32.v2f64(float %acc, <2 x double> %in)
  33 declare double @llvm.vector.reduce.fadd.f64.v2f64.v2f64(<2 x double> %acc, <2 x double> %in)
  34 declare <2 x double> @llvm.vector.reduce.fadd.v2f64.f64.v2f64(double %acc, <2 x double> %in)