Add test coverage for palingr semantics

Author: RiverDave

clang/test/CIR/CodeGen/X86/palignr.c

@@ -0,0 +1,24 @@
+// RUN: %clang_cc1 %s -triple=x86_64-unknown-linux -target-feature +ssse3 -fclangir -emit-cir -o %t.cir
+// RUN: FileCheck --input-file=%t.cir %s
+
+
+#define _mm_alignr_epi8(a, b, n) (__builtin_ia32_palignr128((a), (b), (n)))
+typedef __attribute__((vector_size(16))) int int4;
+
+// CHECK-LABEL: align1
+// CHECK: cir.vec.shuffle({{.*}}) [#cir.int<15> : !s32i, #cir.int<16> : !s32i
+int4 align1(int4 a, int4 b) { return _mm_alignr_epi8(a, b, 15); }
+
+// CHECK-LABEL: align2
+// CHECK: cir.vec.shuffle({{.*}}) [#cir.int<16> : !s32i, #cir.int<17> : !s32i
+int4 align2(int4 a, int4 b) { return _mm_alignr_epi8(a, b, 16); }
+
+// CHECK-LABEL: align3
+// CHECK: cir.const #cir.zero : !cir.vector<!s8i x 16>
+// CHECK: cir.vec.shuffle({{.*}}) [#cir.int<1> : !s32i, #cir.int<2> : !s32i
+int4 align3(int4 a, int4 b) { return _mm_alignr_epi8(a, b, 17); }
+
+// CHECK-LABEL: align4
+// CHECK: cir.const #cir.zero : !cir.vector<!s8i x 16>
+// CHECK-NOT: cir.vec.shuffle
+int4 align4(int4 a, int4 b) { return _mm_alignr_epi8(a, b, 32); }