1 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu %s -emit-llvm -o - | FileCheck %s
2 
3 template <class T>
CheckIntScalarTypes()4 void CheckIntScalarTypes() {
5   // T will be substituted with 'int' and 'enum' types.
6 
7   typedef T __attribute__((mode(QI))) T1;
8   typedef T __attribute__((mode(HI))) T2;
9   typedef T __attribute__((mode(SI))) T3;
10   typedef T __attribute__((mode(DI))) T4;
11 
12   T1 a1;
13   T2 a2;
14   T3 a3;
15   T4 a4;
16 }
17 
18 template <class T>
CheckIntVectorTypes()19 void CheckIntVectorTypes() {
20   // T will be substituted with 'int'.
21 
22   typedef int __attribute__((mode(QI))) __attribute__((vector_size(8)))  VT_11;
23   typedef T   __attribute__((mode(V8QI)))                                VT_12;
24   typedef int __attribute__((mode(SI))) __attribute__((vector_size(16))) VT_21;
25   typedef T   __attribute__((mode(V4SI)))                                VT_22;
26   typedef int __attribute__((mode(DI))) __attribute__((vector_size(64))) VT_31;
27   typedef T   __attribute__((mode(V8DI)))                                VT_32;
28 
29   VT_11 v11;
30   VT_12 v12;
31 
32   VT_21 v21;
33   VT_22 v22;
34 
35   VT_31 v31;
36   VT_32 v32;
37 }
38 
39 template <class T>
CheckFloatVectorTypes()40 void CheckFloatVectorTypes() {
41   // T will be substituted with 'float'.
42 
43   typedef float __attribute__((mode(SF))) __attribute__((vector_size(128))) VT_41;
44   typedef T     __attribute__((mode(V32SF)))                                VT_42;
45   typedef float __attribute__((mode(DF))) __attribute__((vector_size(256))) VT_51;
46   typedef T     __attribute__((mode(V32DF)))                                VT_52;
47 
48   VT_41 v41;
49   VT_42 v42;
50 
51   VT_51 v51;
52   VT_52 v52;
53 }
54 
55 template <class T>
CheckInstantiationWithModedType()56 void CheckInstantiationWithModedType() {
57   T x1;
58 }
59 
60 typedef enum { A1, B1 }                       EnumTy;
61 typedef int __attribute__((mode(DI)))         Int64Ty1;
62 typedef enum __attribute__((mode(DI))) { A2 } Int64Ty2;
63 typedef int __attribute__((mode(V8HI)))       IntVecTy1;
64 
test()65 void test() {
66 
67   // CHECK: define {{.*}} void @_Z19CheckIntScalarTypesIiEvv()
68   // CHECK: %{{.+}} = alloca i8
69   // CHECK: %{{.+}} = alloca i16
70   // CHECK: %{{.+}} = alloca i32
71   // CHECK: %{{.+}} = alloca i64
72   CheckIntScalarTypes<int>();
73 
74   // CHECK: define {{.*}} void @_Z19CheckIntScalarTypesI6EnumTyEvv()
75   // CHECK: %{{.+}} = alloca i8
76   // CHECK: %{{.+}} = alloca i16
77   // CHECK: %{{.+}} = alloca i32
78   // CHECK: %{{.+}} = alloca i64
79   CheckIntScalarTypes<EnumTy>();
80 
81   // CHECK: define {{.*}} void @_Z19CheckIntVectorTypesIiEvv()
82   // CHECK: %{{.+}} = alloca <8 x i8>
83   // CHECK: %{{.+}} = alloca <8 x i8>
84   // CHECK: %{{.+}} = alloca <4 x i32>
85   // CHECK: %{{.+}} = alloca <4 x i32>
86   // CHECK: %{{.+}} = alloca <8 x i64>
87   // CHECK: %{{.+}} = alloca <8 x i64>
88   CheckIntVectorTypes<int>();
89 
90   // CHECK: define {{.*}} void @_Z21CheckFloatVectorTypesIfEvv()
91   // CHECK: %{{.+}} = alloca <32 x float>
92   // CHECK: %{{.+}} = alloca <32 x float>
93   // CHECK: %{{.+}} = alloca <32 x double>
94   // CHECK: %{{.+}} = alloca <32 x double>
95   CheckFloatVectorTypes<float>();
96 
97   // CHECK: define {{.*}} void @_Z31CheckInstantiationWithModedTypeIlEvv()
98   // CHECK: [[X1:%.+]] = alloca i64
99   CheckInstantiationWithModedType<Int64Ty1>();
100 
101   // CHECK: define {{.*}} void @_Z31CheckInstantiationWithModedTypeI8Int64Ty2Evv()
102   // CHECK: [[X1]] = alloca i64
103   CheckInstantiationWithModedType<Int64Ty2>();
104 
105   // CHECK: define {{.*}} void @_Z31CheckInstantiationWithModedTypeIDv8_sEvv()
106   // CHECK: [[X1]] = alloca <8 x i16>
107   CheckInstantiationWithModedType<IntVecTy1>();
108 }
109