[PowerPC][Altivec] Emit correct builtin for single precision vec_all_ne

[nemanjai]

Summary

We currently emit a double precision comparison instruction for this, whereas we need to emit the single precision version.

[jsji]

LGTM.
BTW, looks like we are missing test cases all vector float vec_all* and vec_any* and also non-vsx path?

[nemanjai]

In D64024#1565190, @jsji wrote:

LGTM.
BTW, looks like we are missing test cases all vector float vec_all* and vec_any* and also non-vsx path?

The non-VSX path is tested in test/CodeGen/builtins-ppc-altivec.c
I will add the VSX tests in this commit.

lib/Headers/altivec.h

static __inline__ int __ATTRS_o_ai vec_all_ne(vector bool long long __a,
   return __builtin_altivec_vcmpequd_p(__CR6_EQ, (vector signed long long)__a,
                                       (vector signed long long)__b);
 }
 #endif
 
 static __inline__ int __ATTRS_o_ai vec_all_ne(vector float __a,
                                               vector float __b) {
 #ifdef __VSX__
-  return __builtin_vsx_xvcmpeqdp_p(__CR6_EQ, __a, __b);
+  return __builtin_vsx_xvcmpeqsp_p(__CR6_EQ, __a, __b);
 #else
   return __builtin_altivec_vcmpeqfp_p(__CR6_EQ, __a, __b);
 #endif
 }
 
 #ifdef __VSX__
 static __inline__ int __ATTRS_o_ai vec_all_ne(vector double __a,
                                               vector double __b) {

test/CodeGen/builtins-ppc-p8vector.c

// CHECK: @dummy
 
   res_i = vec_all_ne(vda, vda);
 // CHECK: @llvm.ppc.vsx.xvcmpeqdp.p
 // CHECK-LE: @llvm.ppc.vsx.xvcmpeqdp.p
 
   dummy();
 // CHECK: @dummy
 
+  res_i = vec_all_ne(vfa, vfa);
+// CHECK: @llvm.ppc.vsx.xvcmpeqsp.p
+// CHECK-LE: @llvm.ppc.vsx.xvcmpeqsp.p
+
+  dummy();
+// CHECK: @dummy
+
   res_i = vec_all_nge(vda, vda);
 // CHECK: @llvm.ppc.vsx.xvcmpgedp.p
 // CHECK-LE: @llvm.ppc.vsx.xvcmpgedp.p
 
   res_i = vec_all_ngt(vda, vda);
 // CHECK: @llvm.ppc.vsx.xvcmpgtdp.p
 // CHECK-LE: @llvm.ppc.vsx.xvcmpgtdp.p