Context Navigation

dimexpr-match-cfa.txt @ 2fd4cea

Last change on this file since 2fd4cea was 0f4ac10, checked in by Michael Brooks <mlbrooks@…>, 14 months ago

Add tests demonstrating CFA's treatment of C arrays, compared with GCC's.

These tests recognize two levels of CFA functionality: Classic and Preview. This commit shows that CFA Master implements Classic. Preview refers to Mike's forthcoming changes.

Only the CFA part runs in the nightly build. Under CFA Classic, a limitation is that only some rejection cases are exercised in the nightly build. A hand-driven testing script can access all the cases and CFA Preview will exercise all the cases in the nightly build.

test dimexpr-match-c: how CFA's treatment of C arrays compares with GCC's

test dimexpr-match-cfa: how CFA's treamtment of <containers/array.hfa>-arrays aligns with the above

Property mode set to 100644

File size: 7.9 KB

Line
1	---- PTRPARM_CALL: { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( & a ); }
2	done STA EQ STA, L=7, R=7
3	done STA NE STA, L=7, R=42
4	done STA EQ STA, L=7, R=enu7
5	done STA NE STA, L=7, R=enu42
6	skip STA NE DYN, L=7, R=cpr42
7	skip STA NE UNS, L=7, R=mut42
8	done STA EQ STA, L=enu7, R=enu7
9	done STA NE STA, L=enu7, R=enu42
10	done STA EQ STA, L=enu7, R=7
11	done STA NE STA, L=enu7, R=42
12	skip STA NE DYN, L=enu7, R=cpr42
13	skip STA NE UNS, L=enu7, R=mut42
14	done DYN EQ DYN, L=cpr7, R=cpr7
15	done DYN NE DYN, L=cpr7, R=cpr42
16	skip DYN NE STA, L=cpr7, R=42
17	skip DYN NE STA, L=cpr7, R=enu42
18	done DYN NE UNS, L=cpr7, R=mut42
19	done UNS EQ UNS, L=mut7, R=mut7
20	done UNS NE UNS, L=mut7, R=mut42
21	skip UNS NE STA, L=mut7, R=42
22	skip UNS NE STA, L=mut7, R=enu42
23	done UNS NE DYN, L=mut7, R=cpr42
24	skip STA NE XXX, L=7, R=dim42
25	skip STA NE XXX, L=enu7, R=dim42
26	skip DYN NE XXX, L=cpr7, R=dim42
27	done XXX EQ XXX, L=dim7, R=dim7
28	skip XXX NE XXX, L=dim7, R=dim42
29	skip XXX NE STA, L=dim7, R=42
30	skip XXX NE STA, L=dim7, R=enu42
31	skip XXX NE DYN, L=dim7, R=cpr42
32	skip XXX NE UNS, L=dim7, R=mut42
33	skip UNS NE XXX, L=mut7, R=dim42
34	---- PTRVAR_INIT: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = & a; }
35	done STA EQ STA, L=7, R=7
36	done STA NE STA, L=7, R=42
37	done STA EQ STA, L=7, R=enu7
38	done STA NE STA, L=7, R=enu42
39	skip STA NE DYN, L=7, R=cpr42
40	skip STA NE UNS, L=7, R=mut42
41	done STA EQ STA, L=enu7, R=enu7
42	done STA NE STA, L=enu7, R=enu42
43	done STA EQ STA, L=enu7, R=7
44	done STA NE STA, L=enu7, R=42
45	skip STA NE DYN, L=enu7, R=cpr42
46	skip STA NE UNS, L=enu7, R=mut42
47	done DYN EQ DYN, L=cpr7, R=cpr7
48	done DYN NE DYN, L=cpr7, R=cpr42
49	skip DYN NE STA, L=cpr7, R=42
50	skip DYN NE STA, L=cpr7, R=enu42
51	done DYN NE UNS, L=cpr7, R=mut42
52	done UNS EQ UNS, L=mut7, R=mut7
53	done UNS NE UNS, L=mut7, R=mut42
54	skip UNS NE STA, L=mut7, R=42
55	skip UNS NE STA, L=mut7, R=enu42
56	done UNS NE DYN, L=mut7, R=cpr42
57	skip STA NE XXX, L=7, R=dim42
58	skip STA NE XXX, L=enu7, R=dim42
59	skip DYN NE XXX, L=cpr7, R=dim42
60	done XXX EQ XXX, L=dim7, R=dim7
61	skip XXX NE XXX, L=dim7, R=dim42
62	skip XXX NE STA, L=dim7, R=42
63	skip XXX NE STA, L=dim7, R=enu42
64	skip XXX NE DYN, L=dim7, R=cpr42
65	skip XXX NE UNS, L=dim7, R=mut42
66	skip UNS NE XXX, L=mut7, R=dim42
67	---- PTRVAR_ASGN: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = 0p; b = & a; }
68	done STA EQ STA, L=7, R=7
69	done STA NE STA, L=7, R=42
70	done STA EQ STA, L=7, R=enu7
71	done STA NE STA, L=7, R=enu42
72	skip STA NE DYN, L=7, R=cpr42
73	skip STA NE UNS, L=7, R=mut42
74	done STA EQ STA, L=enu7, R=enu7
75	done STA NE STA, L=enu7, R=enu42
76	done STA EQ STA, L=enu7, R=7
77	done STA NE STA, L=enu7, R=42
78	skip STA NE DYN, L=enu7, R=cpr42
79	skip STA NE UNS, L=enu7, R=mut42
80	done DYN EQ DYN, L=cpr7, R=cpr7
81	done DYN NE DYN, L=cpr7, R=cpr42
82	skip DYN NE STA, L=cpr7, R=42
83	skip DYN NE STA, L=cpr7, R=enu42
84	done DYN NE UNS, L=cpr7, R=mut42
85	done UNS EQ UNS, L=mut7, R=mut7
86	done UNS NE UNS, L=mut7, R=mut42
87	skip UNS NE STA, L=mut7, R=42
88	skip UNS NE STA, L=mut7, R=enu42
89	done UNS NE DYN, L=mut7, R=cpr42
90	skip STA NE XXX, L=7, R=dim42
91	skip STA NE XXX, L=enu7, R=dim42
92	skip DYN NE XXX, L=cpr7, R=dim42
93	done XXX EQ XXX, L=dim7, R=dim7
94	skip XXX NE XXX, L=dim7, R=dim42
95	skip XXX NE STA, L=dim7, R=42
96	skip XXX NE STA, L=dim7, R=enu42
97	skip XXX NE DYN, L=dim7, R=cpr42
98	skip XXX NE UNS, L=dim7, R=mut42
99	skip UNS NE XXX, L=mut7, R=dim42
100	---- REFPARM_CALL: { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( a ); }
101	done STA EQ STA, L=7, R=7
102	done STA NE STA, L=7, R=42
103	done STA EQ STA, L=7, R=enu7
104	done STA NE STA, L=7, R=enu42
105	skip STA NE DYN, L=7, R=cpr42
106	skip STA NE UNS, L=7, R=mut42
107	done STA EQ STA, L=enu7, R=enu7
108	done STA NE STA, L=enu7, R=enu42
109	done STA EQ STA, L=enu7, R=7
110	done STA NE STA, L=enu7, R=42
111	skip STA NE DYN, L=enu7, R=cpr42
112	skip STA NE UNS, L=enu7, R=mut42
113	done DYN EQ DYN, L=cpr7, R=cpr7
114	done DYN NE DYN, L=cpr7, R=cpr42
115	skip DYN NE STA, L=cpr7, R=42
116	skip DYN NE STA, L=cpr7, R=enu42
117	done DYN NE UNS, L=cpr7, R=mut42
118	done UNS EQ UNS, L=mut7, R=mut7
119	done UNS NE UNS, L=mut7, R=mut42
120	skip UNS NE STA, L=mut7, R=42
121	skip UNS NE STA, L=mut7, R=enu42
122	done UNS NE DYN, L=mut7, R=cpr42
123	skip STA NE XXX, L=7, R=dim42
124	skip STA NE XXX, L=enu7, R=dim42
125	skip DYN NE XXX, L=cpr7, R=dim42
126	done XXX EQ XXX, L=dim7, R=dim7
127	skip XXX NE XXX, L=dim7, R=dim42
128	skip XXX NE STA, L=dim7, R=42
129	skip XXX NE STA, L=dim7, R=enu42
130	skip XXX NE DYN, L=dim7, R=cpr42
131	skip XXX NE UNS, L=dim7, R=mut42
132	skip UNS NE XXX, L=mut7, R=dim42
133	---- REFVAR_INIT: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = a; }
134	done STA EQ STA, L=7, R=7
135	done STA NE STA, L=7, R=42
136	done STA EQ STA, L=7, R=enu7
137	done STA NE STA, L=7, R=enu42
138	skip STA NE DYN, L=7, R=cpr42
139	skip STA NE UNS, L=7, R=mut42
140	done STA EQ STA, L=enu7, R=enu7
141	done STA NE STA, L=enu7, R=enu42
142	done STA EQ STA, L=enu7, R=7
143	done STA NE STA, L=enu7, R=42
144	skip STA NE DYN, L=enu7, R=cpr42
145	skip STA NE UNS, L=enu7, R=mut42
146	done DYN EQ DYN, L=cpr7, R=cpr7
147	done DYN NE DYN, L=cpr7, R=cpr42
148	skip DYN NE STA, L=cpr7, R=42
149	skip DYN NE STA, L=cpr7, R=enu42
150	done DYN NE UNS, L=cpr7, R=mut42
151	done UNS EQ UNS, L=mut7, R=mut7
152	done UNS NE UNS, L=mut7, R=mut42
153	skip UNS NE STA, L=mut7, R=42
154	skip UNS NE STA, L=mut7, R=enu42
155	done UNS NE DYN, L=mut7, R=cpr42
156	skip STA NE XXX, L=7, R=dim42
157	skip STA NE XXX, L=enu7, R=dim42
158	skip DYN NE XXX, L=cpr7, R=dim42
159	done XXX EQ XXX, L=dim7, R=dim7
160	skip XXX NE XXX, L=dim7, R=dim42
161	skip XXX NE STA, L=dim7, R=42
162	skip XXX NE STA, L=dim7, R=enu42
163	skip XXX NE DYN, L=dim7, R=cpr42
164	skip XXX NE UNS, L=dim7, R=mut42
165	skip UNS NE XXX, L=mut7, R=dim42
166	---- REFVAR_ASGN: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = *0p; & b = & a; }
167	done STA EQ STA, L=7, R=7
168	done STA NE STA, L=7, R=42
169	done STA EQ STA, L=7, R=enu7
170	done STA NE STA, L=7, R=enu42
171	skip STA NE DYN, L=7, R=cpr42
172	skip STA NE UNS, L=7, R=mut42
173	done STA EQ STA, L=enu7, R=enu7
174	done STA NE STA, L=enu7, R=enu42
175	done STA EQ STA, L=enu7, R=7
176	done STA NE STA, L=enu7, R=42
177	skip STA NE DYN, L=enu7, R=cpr42
178	skip STA NE UNS, L=enu7, R=mut42
179	done DYN EQ DYN, L=cpr7, R=cpr7
180	done DYN NE DYN, L=cpr7, R=cpr42
181	skip DYN NE STA, L=cpr7, R=42
182	skip DYN NE STA, L=cpr7, R=enu42
183	done DYN NE UNS, L=cpr7, R=mut42
184	done UNS EQ UNS, L=mut7, R=mut7
185	done UNS NE UNS, L=mut7, R=mut42
186	skip UNS NE STA, L=mut7, R=42
187	skip UNS NE STA, L=mut7, R=enu42
188	done UNS NE DYN, L=mut7, R=cpr42
189	skip STA NE XXX, L=7, R=dim42
190	skip STA NE XXX, L=enu7, R=dim42
191	skip DYN NE XXX, L=cpr7, R=dim42
192	done XXX EQ XXX, L=dim7, R=dim7
193	skip XXX NE XXX, L=dim7, R=dim42
194	skip XXX NE STA, L=dim7, R=42
195	skip XXX NE STA, L=dim7, R=enu42
196	skip XXX NE DYN, L=dim7, R=cpr42
197	skip XXX NE UNS, L=dim7, R=mut42
198	skip UNS NE XXX, L=mut7, R=dim42
199	---- CALLZIP: { typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) b; zip( a, b ); }
200	done STA EQ STA, L=7, R=7
201	done STA NE STA, L=7, R=42
202	done STA EQ STA, L=7, R=enu7
203	done STA NE STA, L=7, R=enu42
204	skip STA NE DYN, L=7, R=cpr42
205	skip STA NE UNS, L=7, R=mut42
206	done STA EQ STA, L=enu7, R=enu7
207	done STA NE STA, L=enu7, R=enu42
208	done STA EQ STA, L=enu7, R=7
209	done STA NE STA, L=enu7, R=42
210	skip STA NE DYN, L=enu7, R=cpr42
211	skip STA NE UNS, L=enu7, R=mut42
212	done DYN EQ DYN, L=cpr7, R=cpr7
213	done DYN NE DYN, L=cpr7, R=cpr42
214	skip DYN NE STA, L=cpr7, R=42
215	skip DYN NE STA, L=cpr7, R=enu42
216	done DYN NE UNS, L=cpr7, R=mut42
217	done UNS EQ UNS, L=mut7, R=mut7
218	done UNS NE UNS, L=mut7, R=mut42
219	skip UNS NE STA, L=mut7, R=42
220	skip UNS NE STA, L=mut7, R=enu42
221	done UNS NE DYN, L=mut7, R=cpr42
222	skip STA NE XXX, L=7, R=dim42
223	skip STA NE XXX, L=enu7, R=dim42
224	skip DYN NE XXX, L=cpr7, R=dim42
225	done XXX EQ XXX, L=dim7, R=dim7
226	skip XXX NE XXX, L=dim7, R=dim42
227	skip XXX NE STA, L=dim7, R=42
228	skip XXX NE STA, L=dim7, R=enu42
229	skip XXX NE DYN, L=dim7, R=cpr42
230	skip XXX NE UNS, L=dim7, R=mut42
231	skip UNS NE XXX, L=mut7, R=dim42

Note: See TracBrowser for help on using the repository browser.

Context Navigation

source: tests/array-container/.expect/dimexpr-match-cfa.txt @ 2fd4cea

Download in other formats: