Clang Project

clang_source_code/test/CodeGen/vector.c
1// RUN: %clang_cc1 -ffreestanding -triple i386-apple-darwin9 -O1 -target-cpu corei7 -debug-info-kind=limited -emit-llvm %s -o - | FileCheck %s
2typedef short __v4hi __attribute__ ((__vector_size__ (8)));
3
4void test1() {
5  __v4hi A = (__v4hi)0LL;
6}
7
8__v4hi x = {1,2,3};
9__v4hi y = {1,2,3,4};
10
11typedef int vty __attribute((vector_size(16)));
12int test2() { vty b; return b[2LL]; }
13
14// PR4339
15typedef float vec4 __attribute__((vector_size(16)));
16
17void test3 ( vec4* a, char b, float c ) {
18  (*a)[b] = c;
19}
20
21
22
23
24#include <mmintrin.h>
25
26int test4(int argc, char *argv[]) {
27  int array[16] = { 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 };
28  __m64 *p = (__m64 *)array;
29
30  __m64 accum = _mm_setzero_si64();
31
32  for (int i=0; i<8; ++i)
33     accum = _mm_add_pi32(p[i], accum);
34
35  __m64 accum2 = _mm_unpackhi_pi32(accum, accum);
36  accum = _mm_add_pi32(accum, accum2);
37
38  int result = _mm_cvtsi64_si32(accum);
39  _mm_empty();
40
41  return result;
42}
43
44#include <smmintrin.h>
45
46unsigned long test_epi8(__m128i x) { return _mm_extract_epi8(x, 4); }
47// CHECK: @test_epi8
48// CHECK: extractelement <16 x i8> {{.*}}, {{i32|i64}} 4
49// CHECK: zext i8 {{.*}} to i32
50
51unsigned long test_epi16(__m128i x) { return _mm_extract_epi16(x, 3); }
52
53// CHECK: @test_epi16
54// CHECK: extractelement <8 x i16> {{.*}}, {{i32|i64}} 3
55// CHECK: zext i16 {{.*}} to i32
56
57void extractinttypes() {
58  extern int check_extract_result_int;
59  extern __typeof(_mm_extract_epi8(_mm_setzero_si128(), 3)) check_result_int;
60  extern __typeof(_mm_extract_epi16(_mm_setzero_si128(), 3)) check_result_int;
61  extern __typeof(_mm_extract_epi32(_mm_setzero_si128(), 3)) check_result_int;
62}
63
64// Test some logic around our lax vector comparison rules with integers.
65
66typedef int vec_int1 __attribute__((vector_size(4)));
67vec_int1 lax_vector_compare1(int x, vec_int1 y) {
68  y = x == y;
69  return y;
70}
71
72// CHECK: define i32 @lax_vector_compare1(i32 {{.*}}, i32 {{.*}})
73// CHECK: icmp eq i32
74
75typedef int vec_int2 __attribute__((vector_size(8)));
76vec_int2 lax_vector_compare2(long long x, vec_int2 y) {
77  y = x == y;
78  return y;
79}
80
81// CHECK: define void @lax_vector_compare2(<2 x i32>* {{.*sret.*}}, i64 {{.*}}, i64 {{.*}})
82// CHECK: icmp eq <2 x i32>
83