Page MenuHomePhabricator
Differential D46911 Diff 149533 test/Frontend/fixed_point.c

Changeset View

Standalone View

View Options

test/Frontend/fixed_point.c

1// RUN: %clang_cc1 -x c -ffixed-point -ast-dump %s | FileCheck %s --strict-whitespace 1​// RUN: %clang_cc1 -x c -ffixed-point -ast-dump %s | FileCheck %s --strict-whitespace
2 2​
3/* Various contexts where type _Accum can appear. */ 3​/* Various contexts where type _Accum can appear. */
4 4​
5// Primary fixed point types 5​// Primary fixed point types
6signed short _Accum s_short_accum; 6​signed short _Accum s_short_accum;
7signed _Accum s_accum; 7​signed _Accum s_accum;
8signed long _Accum s_long_accum; 8​signed long _Accum s_long_accum;
9unsigned short _Accum u_short_accum; 9​unsigned short _Accum u_short_accum;
10unsigned _Accum u_accum; 10​unsigned _Accum u_accum;
11unsigned long _Accum u_long_accum; 11​unsigned long _Accum u_long_accum;
12​signed short _Fract s_short_fract;
13​signed _Fract s_fract;
14​signed long _Fract s_long_fract;
15​unsigned short _Fract u_short_fract;
16​unsigned _Fract u_fract;
17​unsigned long _Fract u_long_fract;
12 18​
13// Aliased fixed point types 19​// Aliased fixed point types
14short _Accum short_accum; 20​short _Accum short_accum;
15_Accum accum; 21​_Accum accum;
16long _Accum long_accum; 22​long _Accum long_accum;
23​short _Fract short_fract;
24​_Fract fract;
25​long _Fract long_fract;
26​
27​// Saturated fixed point types
28​_Sat signed short _Accum sat_s_short_accum;
29​_Sat signed _Accum sat_s_accum;
30​_Sat signed long _Accum sat_s_long_accum;
31​_Sat unsigned short _Accum sat_u_short_accum;
32​_Sat unsigned _Accum sat_u_accum;
33​_Sat unsigned long _Accum sat_u_long_accum;
34​_Sat signed short _Fract sat_s_short_fract;
35​_Sat signed _Fract sat_s_fract;
36​_Sat signed long _Fract sat_s_long_fract;
37​_Sat unsigned short _Fract sat_u_short_fract;
38​_Sat unsigned _Fract sat_u_fract;
39​_Sat unsigned long _Fract sat_u_long_fract;
40​
41​// Aliased saturated fixed point types
42​_Sat short _Accum sat_short_accum;
43​_Sat _Accum sat_accum;
44​_Sat long _Accum sat_long_accum;
45​_Sat short _Fract sat_short_fract;
ebevhanUnsubmitted
Done
Reply

What about typedefs with the _Sat specifier on them?

ebevhan: What about typedefs with the _Sat specifier on them?
46​_Sat _Fract sat_fract;
47​_Sat long _Fract sat_long_fract;
17 48​
18// CHECK: |-VarDecl {{.*}} s_short_accum 'short _Accum' 49​//CHECK: |-VarDecl {{.*}} s_short_accum 'short _Accum'
19// CHECK-NEXT: |-VarDecl {{.*}} s_accum '_Accum' 50​//CHECK-NEXT: |-VarDecl {{.*}} s_accum '_Accum'
20// CHECK-NEXT: |-VarDecl {{.*}} s_long_accum 'long _Accum' 51​//CHECK-NEXT: |-VarDecl {{.*}} s_long_accum 'long _Accum'
21// CHECK-NEXT: |-VarDecl {{.*}} u_short_accum 'unsigned short _Accum' 52​//CHECK-NEXT: |-VarDecl {{.*}} u_short_accum 'unsigned short _Accum'
22// CHECK-NEXT: |-VarDecl {{.*}} u_accum 'unsigned _Accum' 53​//CHECK-NEXT: |-VarDecl {{.*}} u_accum 'unsigned _Accum'
23// CHECK-NEXT: |-VarDecl {{.*}} u_long_accum 'unsigned long _Accum' 54​//CHECK-NEXT: |-VarDecl {{.*}} u_long_accum 'unsigned long _Accum'
55​//CHECK-NEXT: |-VarDecl {{.*}} s_short_fract 'short _Fract'
56​//CHECK-NEXT: |-VarDecl {{.*}} s_fract '_Fract'
57​//CHECK-NEXT: |-VarDecl {{.*}} s_long_fract 'long _Fract'
58​//CHECK-NEXT: |-VarDecl {{.*}} u_short_fract 'unsigned short _Fract'
59​//CHECK-NEXT: |-VarDecl {{.*}} u_fract 'unsigned _Fract'
60​//CHECK-NEXT: |-VarDecl {{.*}} u_long_fract 'unsigned long _Fract'
24// CHECK-NEXT: |-VarDecl {{.*}} short_accum 'short _Accum' 61​//CHECK-NEXT: |-VarDecl {{.*}} short_accum 'short _Accum'
25// CHECK-NEXT: |-VarDecl {{.*}} accum '_Accum' 62​//CHECK-NEXT: |-VarDecl {{.*}} accum '_Accum'
26// CHECK-NEXT: |-VarDecl {{.*}} long_accum 'long _Accum' 63​//CHECK-NEXT: |-VarDecl {{.*}} long_accum 'long _Accum'
64​//CHECK-NEXT: |-VarDecl {{.*}} short_fract 'short _Fract'
65​//CHECK-NEXT: |-VarDecl {{.*}} fract '_Fract'
66​//CHECK-NEXT: |-VarDecl {{.*}} long_fract 'long _Fract'
67​//CHECK-NEXT: |-VarDecl {{.*}} sat_s_short_accum '_Sat short _Accum'
68​//CHECK-NEXT: |-VarDecl {{.*}} sat_s_accum '_Sat _Accum'
69​//CHECK-NEXT: |-VarDecl {{.*}} sat_s_long_accum '_Sat long _Accum'
70​//CHECK-NEXT: |-VarDecl {{.*}} sat_u_short_accum '_Sat unsigned short _Accum'
71​//CHECK-NEXT: |-VarDecl {{.*}} sat_u_accum '_Sat unsigned _Accum'
72​//CHECK-NEXT: |-VarDecl {{.*}} sat_u_long_accum '_Sat unsigned long _Accum'
73​//CHECK-NEXT: |-VarDecl {{.*}} sat_s_short_fract '_Sat short _Fract'
74​//CHECK-NEXT: |-VarDecl {{.*}} sat_s_fract '_Sat _Fract'
75​//CHECK-NEXT: |-VarDecl {{.*}} sat_s_long_fract '_Sat long _Fract'
76​//CHECK-NEXT: |-VarDecl {{.*}} sat_u_short_fract '_Sat unsigned short _Fract'
77​//CHECK-NEXT: |-VarDecl {{.*}} sat_u_fract '_Sat unsigned _Fract'
78​//CHECK-NEXT: |-VarDecl {{.*}} sat_u_long_fract '_Sat unsigned long _Fract'
79​//CHECK-NEXT: |-VarDecl {{.*}} sat_short_accum '_Sat short _Accum'
80​//CHECK-NEXT: |-VarDecl {{.*}} sat_accum '_Sat _Accum'
81​//CHECK-NEXT: |-VarDecl {{.*}} sat_long_accum '_Sat long _Accum'
82​//CHECK-NEXT: |-VarDecl {{.*}} sat_short_fract '_Sat short _Fract'
83​//CHECK-NEXT: |-VarDecl {{.*}} sat_fract '_Sat _Fract'
84​//CHECK-NEXT: |-VarDecl {{.*}} sat_long_fract '_Sat long _Fract'
27 85​
28#define MIX_TYPE_SPEC(SPEC, SIGN, SIZE, ID) \ 86​#define MIX_TYPE_SPEC(SPEC, SIGN, SIZE, ID) \
29 SPEC SIGN SIZE _Accum ID; \ 87​ SPEC SIGN SIZE _Accum ID; \
30 SIGN SPEC SIZE _Accum ID ## 2; \ 88​ SIGN SPEC SIZE _Accum ID ## 2; \
31 SIGN SIZE SPEC _Accum ID ## 3; \ 89​ SIGN SIZE SPEC _Accum ID ## 3; \
32 SIGN SIZE _Accum SPEC ID ## 4; 90​ SIGN SIZE _Accum SPEC ID ## 4;
33 91​
34/* Mixing fixed point types with other type specifiers */ 92​/* Mixing fixed point types with other type specifiers */
Show All 14 Lines
49// CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum '_Atomic(short _Accum)' 107​// CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum '_Atomic(short _Accum)'
50// CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum2 '_Atomic(short _Accum)' 108​// CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum2 '_Atomic(short _Accum)'
51// CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum3 '_Atomic(short _Accum)' 109​// CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum3 '_Atomic(short _Accum)'
52// CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum4 '_Atomic(short _Accum)' 110​// CHECK-NEXT: |-VarDecl {{.*}} atm_s_short_accum4 '_Atomic(short _Accum)'
53 111​
54// CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum 'const short _Accum' 112​// CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum 'const short _Accum'
55// CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum2 'const short _Accum' 113​// CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum2 'const short _Accum'
56// CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum3 'const short _Accum' 114​// CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum3 'const short _Accum'
57// CHECK-NEXT: `-VarDecl {{.*}} const_s_short_accum4 'const short _Accum' 115​// CHECK-NEXT: |-VarDecl {{.*}} const_s_short_accum4 'const short _Accum'
116​
117​/* Typedefs */
118​
119​// Primary fixed point types
120​typedef signed short _Accum SsA_t;
121​typedef signed _Accum SA_t;
122​typedef signed long _Accum SlA_t;
123​typedef unsigned short _Accum UsA_t;
124​typedef unsigned _Accum UA_t;
125​typedef unsigned long _Accum UlA_t;
126​typedef signed short _Fract SsF_t;
127​typedef signed _Fract SF_t;
128​typedef signed long _Fract SlF_t;
129​typedef unsigned short _Fract UsF_t;
130​typedef unsigned _Fract UF_t;
131​typedef unsigned long _Fract UlF_t;
132​
133​// Aliased fixed point types
134​typedef short _Accum sA_t;
135​typedef _Accum A_t;
136​typedef long _Accum lA_t;
137​typedef short _Fract sF_t;
138​typedef _Fract F_t;
139​typedef long _Fract lF_t;
140​
141​// Saturated fixed point types
142​typedef _Sat signed short _Accum SatSsA_t;
143​typedef _Sat signed _Accum SatSA_t;
144​typedef _Sat signed long _Accum SatSlA_t;
145​typedef _Sat unsigned short _Accum SatUsA_t;
146​typedef _Sat unsigned _Accum SatUA_t;
147​typedef _Sat unsigned long _Accum SatUlA_t;
148​typedef _Sat signed short _Fract SatSsF_t;
149​typedef _Sat signed _Fract SatSF_t;
150​typedef _Sat signed long _Fract SatSlF_t;
151​typedef _Sat unsigned short _Fract SatUsF_t;
152​typedef _Sat unsigned _Fract SatUF_t;
153​typedef _Sat unsigned long _Fract SatUlF_t;
154​
155​// Aliased saturated fixed point types
156​typedef _Sat short _Accum SatsA_t;
157​typedef _Sat _Accum SatA_t;
158​typedef _Sat long _Accum SatlA_t;
159​typedef _Sat short _Fract SatsF_t;
160​typedef _Sat _Fract SatF_t;
161​typedef _Sat long _Fract SatlF_t;
162​
163​SsA_t SsA_type;
164​SA_t SA_type;
165​SlA_t SlA_type;
166​UsA_t UsA_type;
167​UA_t UA_type;
168​UlA_t UlA_type;
169​SsF_t SsF_type;
170​SF_t SF_type;
171​SlF_t SlF_type;
172​UsF_t UsF_type;
173​UF_t UF_type;
174​UlF_t UlF_type;
175​
176​sA_t sA_type;
177​A_t A_type;
178​lA_t lA_type;
179​sF_t sF_type;
180​F_t F_type;
181​lF_t lF_type;
182​
183​SatSsA_t SatSsA_type;
184​SatSA_t SatSA_type;
185​SatSlA_t SatSlA_type;
186​SatUsA_t SatUsA_type;
187​SatUA_t SatUA_type;
188​SatUlA_t SatUlA_type;
189​SatSsF_t SatSsF_type;
190​SatSF_t SatSF_type;
191​SatSlF_t SatSlF_type;
192​SatUsF_t SatUsF_type;
193​SatUF_t SatUF_type;
194​SatUlF_t SatUlF_type;
195​
196​SatsA_t SatsA_type;
197​SatA_t SatA_type;
198​SatlA_t SatlA_type;
199​SatsF_t SatsF_type;
200​SatF_t SatF_type;
201​SatlF_t SatlF_type;
202​
203​//CHECK: |-VarDecl {{.*}} SsA_type 'SsA_t':'short _Accum'
204​//CHECK-NEXT: |-VarDecl {{.*}} SA_type 'SA_t':'_Accum'
205​//CHECK-NEXT: |-VarDecl {{.*}} SlA_type 'SlA_t':'long _Accum'
206​//CHECK-NEXT: |-VarDecl {{.*}} UsA_type 'UsA_t':'unsigned short _Accum'
207​//CHECK-NEXT: |-VarDecl {{.*}} UA_type 'UA_t':'unsigned _Accum'
208​//CHECK-NEXT: |-VarDecl {{.*}} UlA_type 'UlA_t':'unsigned long _Accum'
209​//CHECK-NEXT: |-VarDecl {{.*}} SsF_type 'SsF_t':'short _Fract'
210​//CHECK-NEXT: |-VarDecl {{.*}} SF_type 'SF_t':'_Fract'
211​//CHECK-NEXT: |-VarDecl {{.*}} SlF_type 'SlF_t':'long _Fract'
212​//CHECK-NEXT: |-VarDecl {{.*}} UsF_type 'UsF_t':'unsigned short _Fract'
213​//CHECK-NEXT: |-VarDecl {{.*}} UF_type 'UF_t':'unsigned _Fract'
214​//CHECK-NEXT: |-VarDecl {{.*}} UlF_type 'UlF_t':'unsigned long _Fract'
215​//CHECK-NEXT: |-VarDecl {{.*}} sA_type 'sA_t':'short _Accum'
216​//CHECK-NEXT: |-VarDecl {{.*}} A_type 'A_t':'_Accum'
217​//CHECK-NEXT: |-VarDecl {{.*}} lA_type 'lA_t':'long _Accum'
218​//CHECK-NEXT: |-VarDecl {{.*}} sF_type 'sF_t':'short _Fract'
219​//CHECK-NEXT: |-VarDecl {{.*}} F_type 'F_t':'_Fract'
220​//CHECK-NEXT: |-VarDecl {{.*}} lF_type 'lF_t':'long _Fract'
221​
222​//CHECK-NEXT: |-VarDecl {{.*}} SatSsA_type 'SatSsA_t':'_Sat short _Accum'
223​//CHECK-NEXT: |-VarDecl {{.*}} SatSA_type 'SatSA_t':'_Sat _Accum'
224​//CHECK-NEXT: |-VarDecl {{.*}} SatSlA_type 'SatSlA_t':'_Sat long _Accum'
225​//CHECK-NEXT: |-VarDecl {{.*}} SatUsA_type 'SatUsA_t':'_Sat unsigned short _Accum'
226​//CHECK-NEXT: |-VarDecl {{.*}} SatUA_type 'SatUA_t':'_Sat unsigned _Accum'
227​//CHECK-NEXT: |-VarDecl {{.*}} SatUlA_type 'SatUlA_t':'_Sat unsigned long _Accum'
228​//CHECK-NEXT: |-VarDecl {{.*}} SatSsF_type 'SatSsF_t':'_Sat short _Fract'
229​//CHECK-NEXT: |-VarDecl {{.*}} SatSF_type 'SatSF_t':'_Sat _Fract'
230​//CHECK-NEXT: |-VarDecl {{.*}} SatSlF_type 'SatSlF_t':'_Sat long _Fract'
231​//CHECK-NEXT: |-VarDecl {{.*}} SatUsF_type 'SatUsF_t':'_Sat unsigned short _Fract'
232​//CHECK-NEXT: |-VarDecl {{.*}} SatUF_type 'SatUF_t':'_Sat unsigned _Fract'
233​//CHECK-NEXT: |-VarDecl {{.*}} SatUlF_type 'SatUlF_t':'_Sat unsigned long _Fract'
234​//CHECK-NEXT: |-VarDecl {{.*}} SatsA_type 'SatsA_t':'_Sat short _Accum'
235​//CHECK-NEXT: |-VarDecl {{.*}} SatA_type 'SatA_t':'_Sat _Accum'
236​//CHECK-NEXT: |-VarDecl {{.*}} SatlA_type 'SatlA_t':'_Sat long _Accum'
237​//CHECK-NEXT: |-VarDecl {{.*}} SatsF_type 'SatsF_t':'_Sat short _Fract'
238​//CHECK-NEXT: |-VarDecl {{.*}} SatF_type 'SatF_t':'_Sat _Fract'
239​//CHECK-NEXT: `-VarDecl {{.*}} SatlF_type 'SatlF_t':'_Sat long _Fract'