Context Navigation

source: src/Tests/Expect-r/Subrange.txt @ 19de7b70

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc

Last change on this file since 19de7b70 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago
fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
Property mode set to `100644`
File size: 22.6 KB

Line
1	nameExpr is ?=?
2	decl is ?=?: automatically generated function
3	with parameters
4	_dst: pointer to instance of type subrange (not function type)
5	_src: instance of type subrange (not function type)
6	returning
7	instance of type subrange (not function type)
8	with body
9	CompoundStmt
10	Return Statement, returning: Applying untyped:
11	Name: ?=?
12	...to:
13	Cast of:
14	Variable Expression: _dst: pointer to instance of type subrange (not function type)
15
16	to:
17	pointer to instance of type base_t (not function type)
18	Cast of:
19	Variable Expression: _src: instance of type subrange (not function type)
20
21	to:
22	instance of type base_t (not function type)
23
24
25
26	newExpr is Variable Expression: ?=?: function
27	with parameters
28	_dst: pointer to instance of type subrange (not function type)
29	_src: instance of type subrange (not function type)
30	returning
31	instance of type subrange (not function type)
32
33
34	alternatives before prune:
35	Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
36	with parameters
37	_dst: pointer to instance of type subrange (not function type)
38	_src: instance of type subrange (not function type)
39	returning
40	instance of type subrange (not function type)
41
42	(types:
43	pointer to function
44	with parameters
45	_dst: pointer to instance of type subrange (not function type)
46	_src: instance of type subrange (not function type)
47	returning
48	instance of type subrange (not function type)
49
50	)
51	Environment:
52
53	there are 1 alternatives before elimination
54	there are 1 alternatives after elimination
55	alternatives before prune:
56	Cost ( 0, 0, 0 ): Variable Expression: _dst: pointer to instance of type subrange (not function type)
57	(types:
58	lvalue pointer to instance of type subrange (not function type)
59	)
60	Environment:
61
62	there are 1 alternatives before elimination
63	there are 1 alternatives after elimination
64	nameExpr is low
65	nameExpr is high
66	nameExpr is lbound
67	decl is lbound: forall
68	T: type
69	with assertions
70	?=?: pointer to function
71	with parameters
72	pointer to instance of type T (not function type)
73	instance of type T (not function type)
74	returning
75	instance of type T (not function type)
76
77
78	function
79	with parameters
80	v: instance of type subrange (not function type)
81	with parameters
82	instance of type T (not function type)
83	Name: low
84
85	Name: high
86
87
88	returning
89	instance of type T (not function type)
90	with body
91	CompoundStmt
92	Return Statement, returning: Name: low
93
94
95
96	newExpr is Variable Expression: lbound: forall
97	T: type
98	with assertions
99	?=?: pointer to function
100	with parameters
101	pointer to instance of type T (not function type)
102	instance of type T (not function type)
103	returning
104	instance of type T (not function type)
105
106
107	function
108	with parameters
109	v: instance of type subrange (not function type)
110	with parameters
111	instance of type T (not function type)
112	Name: low
113
114	Name: high
115
116
117	returning
118	instance of type T (not function type)
119
120
121	alternatives before prune:
122	Cost ( 0, 0, 0 ): Variable Expression: lbound: forall
123	T: type
124	with assertions
125	?=?: pointer to function
126	with parameters
127	pointer to instance of type T (not function type)
128	instance of type T (not function type)
129	returning
130	instance of type T (not function type)
131
132
133	function
134	with parameters
135	v: instance of type subrange (not function type)
136	with parameters
137	instance of type T (not function type)
138	Name: low
139
140	Name: high
141
142
143	returning
144	instance of type T (not function type)
145
146	(types:
147	pointer to forall
148	_0_T: type
149	with assertions
150	?=?: pointer to function
151	with parameters
152	pointer to instance of type _0_T (not function type)
153	instance of type _0_T (not function type)
154	returning
155	instance of type _0_T (not function type)
156
157
158	function
159	with parameters
160	v: instance of type subrange (not function type)
161	with parameters
162	instance of type _0_T (not function type)
163	Name: low
164
165	Name: high
166
167
168	returning
169	instance of type _0_T (not function type)
170
171	)
172	Environment:
173
174	there are 1 alternatives before elimination
175	there are 1 alternatives after elimination
176	nameExpr is day_of_month
177	decl is day_of_month: instance of type subrange (not function type)
178	with parameters
179	unsigned int
180	Name: 1
181
182	constant expression 31 signed int
183
184	newExpr is Variable Expression: day_of_month: instance of type subrange (not function type)
185	with parameters
186	unsigned int
187	Name: 1
188
189	constant expression 31 signed int
190
191
192	alternatives before prune:
193	Cost ( 0, 0, 0 ): Variable Expression: day_of_month: instance of type subrange (not function type)
194	with parameters
195	unsigned int
196	Name: 1
197
198	constant expression 31 signed int
199
200	(types:
201	lvalue instance of type subrange (not function type)
202	with parameters
203	unsigned int
204	Name: 1
205
206	constant expression 31 signed int
207
208	)
209	Environment:
210
211	there are 1 alternatives before elimination
212	there are 1 alternatives after elimination
213	findSubExprs
214	Cost ( 0, 0, 0 ): Variable Expression: day_of_month: instance of type subrange (not function type)
215	with parameters
216	unsigned int
217	Name: 1
218
219	constant expression 31 signed int
220
221	(types:
222	lvalue instance of type subrange (not function type)
223	with parameters
224	unsigned int
225	Name: 1
226
227	constant expression 31 signed int
228
229	)
230	Environment:
231
232	working on alternative:
233	Cost ( 0, 0, 0 ): Variable Expression: lbound: forall
234	T: type
235	with assertions
236	?=?: pointer to function
237	with parameters
238	pointer to instance of type T (not function type)
239	instance of type T (not function type)
240	returning
241	instance of type T (not function type)
242
243
244	function
245	with parameters
246	v: instance of type subrange (not function type)
247	with parameters
248	instance of type T (not function type)
249	Name: low
250
251	Name: high
252
253
254	returning
255	instance of type T (not function type)
256
257	(types:
258	pointer to forall
259	_0_T: type
260	with assertions
261	?=?: pointer to function
262	with parameters
263	pointer to instance of type _0_T (not function type)
264	instance of type _0_T (not function type)
265	returning
266	instance of type _0_T (not function type)
267
268
269	function
270	with parameters
271	v: instance of type subrange (not function type)
272	with parameters
273	instance of type _0_T (not function type)
274	Name: low
275
276	Name: high
277
278
279	returning
280	instance of type _0_T (not function type)
281
282	)
283	Environment:
284	formal type is instance of type subrange (not function type)
285	with parameters
286	instance of type _0_T (not function type)
287	Name: low
288
289	Name: high
290
291
292	actual type is lvalue instance of type subrange (not function type)
293	with parameters
294	unsigned int
295	Name: 1
296
297	constant expression 31 signed int
298
299	need assertions:
300	?=?: pointer to function
301	with parameters
302	pointer to instance of type _0_T (not function type)
303	instance of type _0_T (not function type)
304	returning
305	instance of type _0_T (not function type)
306	(used)============= original indexer
307	===idTable===
308	===typeTable===
309	===structTable===
310	===enumTable===
311	===unionTable===
312	===contextTable===
313	============= new indexer
314	===idTable===
315	===typeTable===
316	===structTable===
317	===enumTable===
318	===unionTable===
319	===contextTable===
320	inferRecursive: assertion is ?=?: pointer to function
321	with parameters
322	pointer to instance of type _0_T (not function type)
323	instance of type _0_T (not function type)
324	returning
325	instance of type _0_T (not function type)
326
327	inferRecursive: candidate is ?=?: automatically generated function
328	with parameters
329	_dst: pointer to instance of type subrange (not function type)
330	_src: instance of type subrange (not function type)
331	returning
332	instance of type subrange (not function type)
333	with body
334	CompoundStmt
335	Return Statement, returning: Applying untyped:
336	Name: ?=?
337	...to:
338	Cast of:
339	Variable Expression: _dst: pointer to instance of type subrange (not function type)
340
341	to:
342	pointer to instance of type base_t (not function type)
343	Cast of:
344	Variable Expression: _src: instance of type subrange (not function type)
345
346	to:
347	instance of type base_t (not function type)
348
349
350
351	unifying pointer to function
352	with parameters
353	pointer to instance of type _0_T (not function type)
354	instance of type _0_T (not function type)
355	returning
356	instance of type _0_T (not function type)
357	with pointer to function
358	with parameters
359	_dst: pointer to instance of type subrange (not function type)
360	_src: instance of type subrange (not function type)
361	returning
362	instance of type subrange (not function type)
363
364	success!
365	satisfying assertion 28 ?=?: pointer to function
366	with parameters
367	pointer to instance of type _0_T (not function type)
368	instance of type _0_T (not function type)
369	returning
370	instance of type _0_T (not function type)
371	with declaration 21 ?=?: automatically generated function
372	with parameters
373	_dst: pointer to instance of type subrange (not function type)
374	_src: instance of type subrange (not function type)
375	returning
376	instance of type subrange (not function type)
377	with body
378	CompoundStmt
379	Return Statement, returning: Applying untyped:
380	Name: ?=?
381	...to:
382	Cast of:
383	Variable Expression: _dst: pointer to instance of type subrange (not function type)
384
385	to:
386	pointer to instance of type base_t (not function type)
387	Cast of:
388	Variable Expression: _src: instance of type subrange (not function type)
389
390	to:
391	instance of type base_t (not function type)
392
393
394
395	inferRecursive: candidate is ?=?: pointer to function
396	with parameters
397	pointer to instance of type T (not function type)
398	instance of type T (not function type)
399	returning
400	instance of type T (not function type)
401
402	unifying pointer to function
403	with parameters
404	pointer to instance of type _0_T (not function type)
405	instance of type _0_T (not function type)
406	returning
407	instance of type _0_T (not function type)
408	with pointer to function
409	with parameters
410	pointer to instance of type T (not function type)
411	instance of type T (not function type)
412	returning
413	instance of type T (not function type)
414
415	success!
416	satisfying assertion 28 ?=?: pointer to function
417	with parameters
418	pointer to instance of type _0_T (not function type)
419	instance of type _0_T (not function type)
420	returning
421	instance of type _0_T (not function type)
422	with declaration 35 ?=?: pointer to function
423	with parameters
424	pointer to instance of type T (not function type)
425	instance of type T (not function type)
426	returning
427	instance of type T (not function type)
428
429	actual expression:
430	Variable Expression: day_of_month: instance of type subrange (not function type)
431	with parameters
432	unsigned int
433	Name: 1
434
435	constant expression 31 signed int
436
437	--- results are
438	lvalue instance of type subrange (not function type)
439	with parameters
440	unsigned int
441	Name: 1
442
443	constant expression 31 signed int
444
445
446	converting lvalue instance of type subrange (not function type)
447	with parameters
448	unsigned int
449	Name: 1
450
451	constant expression 31 signed int
452
453	to instance of type subrange (not function type)
454	with parameters
455	instance of type _0_T (not function type)
456	Name: low
457
458	Name: high
459
460
461	cost is( -1, -1, 0 )
462
463	converting pointer to function
464	with parameters
465	_dst: pointer to instance of type subrange (not function type)
466	_src: instance of type subrange (not function type)
467	returning
468	instance of type subrange (not function type)
469
470	to pointer to function
471	with parameters
472	pointer to instance of type _0_T (not function type)
473	instance of type _0_T (not function type)
474	returning
475	instance of type _0_T (not function type)
476
477	cost of conversion is ( 0, 0, 0 )
478	Case +++++++++++++
479	formals are:
480	v: instance of type subrange (not function type)
481	with parameters
482	instance of type _0_T (not function type)
483	Name: low
484
485	Name: high
486
487
488	actuals are:
489	Cast of:
490	Variable Expression: day_of_month: instance of type subrange (not function type)
491	with parameters
492	unsigned int
493	Name: 1
494
495	constant expression 31 signed int
496
497
498	to:
499	instance of type subrange (not function type)
500	with parameters
501	instance of type _0_T (not function type)
502	Name: low
503
504	Name: high
505
506
507
508	bindings are:
509	( _0_T ) -> instance of type subrange (not function type) (no widening)
510	cost of conversion is:( -1, 2, 0 )
511	actual expression:
512	Variable Expression: day_of_month: instance of type subrange (not function type)
513	with parameters
514	unsigned int
515	Name: 1
516
517	constant expression 31 signed int
518
519	--- results are
520	lvalue instance of type subrange (not function type)
521	with parameters
522	unsigned int
523	Name: 1
524
525	constant expression 31 signed int
526
527
528	converting lvalue instance of type subrange (not function type)
529	with parameters
530	unsigned int
531	Name: 1
532
533	constant expression 31 signed int
534
535	to instance of type subrange (not function type)
536	with parameters
537	instance of type _0_T (not function type)
538	Name: low
539
540	Name: high
541
542
543	cost is( -1, -1, 0 )
544
545	converting pointer to function
546	with parameters
547	pointer to instance of type T (not function type)
548	instance of type T (not function type)
549	returning
550	instance of type T (not function type)
551
552	to pointer to function
553	with parameters
554	pointer to instance of type _0_T (not function type)
555	instance of type _0_T (not function type)
556	returning
557	instance of type _0_T (not function type)
558
559	cost of conversion is ( 0, 0, 0 )
560	Case +++++++++++++
561	formals are:
562	v: instance of type subrange (not function type)
563	with parameters
564	instance of type _0_T (not function type)
565	Name: low
566
567	Name: high
568
569
570	actuals are:
571	Cast of:
572	Variable Expression: day_of_month: instance of type subrange (not function type)
573	with parameters
574	unsigned int
575	Name: 1
576
577	constant expression 31 signed int
578
579
580	to:
581	instance of type subrange (not function type)
582	with parameters
583	instance of type _0_T (not function type)
584	Name: low
585
586	Name: high
587
588
589
590	bindings are:
591	( _0_T ) -> instance of type T (not function type) (no widening)
592	cost of conversion is:( -1, 2, 0 )
593	alternatives before prune:
594	Cost ( -1, 2, 0 ): Application of
595	Variable Expression: lbound: forall
596	T: type
597	with assertions
598	?=?: pointer to function
599	with parameters
600	pointer to instance of type T (not function type)
601	instance of type T (not function type)
602	returning
603	instance of type T (not function type)
604
605
606	function
607	with parameters
608	v: instance of type subrange (not function type)
609	with parameters
610	instance of type T (not function type)
611	Name: low
612
613	Name: high
614
615
616	returning
617	instance of type T (not function type)
618
619	to arguments
620	Cast of:
621	Variable Expression: day_of_month: instance of type subrange (not function type)
622	with parameters
623	unsigned int
624	Name: 1
625
626	constant expression 31 signed int
627
628
629	to:
630	instance of type subrange (not function type)
631	with parameters
632	instance of type _0_T (not function type)
633	Name: low
634
635	Name: high
636
637
638
639	with inferred parameters:
640	?=?: function
641	with parameters
642	_dst: pointer to instance of type subrange (not function type)
643	_src: instance of type subrange (not function type)
644	returning
645	instance of type subrange (not function type)
646
647	(types:
648	instance of type _0_T (not function type)
649	)
650	Environment: ( _0_T ) -> instance of type subrange (not function type) (no widening)
651
652
653	Cost ( -1, 2, 0 ): Application of
654	Variable Expression: lbound: forall
655	T: type
656	with assertions
657	?=?: pointer to function
658	with parameters
659	pointer to instance of type T (not function type)
660	instance of type T (not function type)
661	returning
662	instance of type T (not function type)
663
664
665	function
666	with parameters
667	v: instance of type subrange (not function type)
668	with parameters
669	instance of type T (not function type)
670	Name: low
671
672	Name: high
673
674
675	returning
676	instance of type T (not function type)
677
678	to arguments
679	Cast of:
680	Variable Expression: day_of_month: instance of type subrange (not function type)
681	with parameters
682	unsigned int
683	Name: 1
684
685	constant expression 31 signed int
686
687
688	to:
689	instance of type subrange (not function type)
690	with parameters
691	instance of type _0_T (not function type)
692	Name: low
693
694	Name: high
695
696
697
698	with inferred parameters:
699	?=?: pointer to function
700	with parameters
701	pointer to instance of type T (not function type)
702	instance of type T (not function type)
703	returning
704	instance of type T (not function type)
705
706	(types:
707	instance of type _0_T (not function type)
708	)
709	Environment: ( _0_T ) -> instance of type T (not function type) (no widening)
710
711
712	there are 2 alternatives before elimination
713	there are 2 alternatives after elimination
714	nameExpr is ?!=?
715	nameExpr is target
716	decl is target: pointer to instance of type subrange (not function type)
717	with parameters
718	instance of type T (not function type)
719	Name: low
720
721	Name: high
722
723
724	newExpr is Variable Expression: target: pointer to instance of type subrange (not function type)
725	with parameters
726	instance of type T (not function type)
727	Name: low
728
729	Name: high
730
731
732
733	alternatives before prune:
734	Cost ( 0, 0, 0 ): Variable Expression: target: pointer to instance of type subrange (not function type)
735	with parameters
736	instance of type T (not function type)
737	Name: low
738
739	Name: high
740
741
742	(types:
743	lvalue pointer to instance of type subrange (not function type)
744	with parameters
745	instance of type T (not function type)
746	Name: low
747
748	Name: high
749
750
751	)
752	Environment:
753
754	there are 1 alternatives before elimination
755	there are 1 alternatives after elimination
756	nameExpr is ?!=?
757	nameExpr is target
758	decl is target: pointer to instance of type subrange (not function type)
759	with parameters
760	instance of type T (not function type)
761	Name: t_low
762
763	Name: t_high
764
765
766	newExpr is Variable Expression: target: pointer to instance of type subrange (not function type)
767	with parameters
768	instance of type T (not function type)
769	Name: t_low
770
771	Name: t_high
772
773
774
775	alternatives before prune:
776	Cost ( 0, 0, 0 ): Variable Expression: target: pointer to instance of type subrange (not function type)
777	with parameters
778	instance of type T (not function type)
779	Name: t_low
780
781	Name: t_high
782
783
784	(types:
785	lvalue pointer to instance of type subrange (not function type)
786	with parameters
787	instance of type T (not function type)
788	Name: t_low
789
790	Name: t_high
791
792
793	)
794	Environment:
795
796	there are 1 alternatives before elimination
797	there are 1 alternatives after elimination
798	Error: No reasonable alternatives for expression Cast of:
799	Variable Expression: _dst: pointer to instance of type subrange (not function type)
800
801	to:
802	pointer to instance of type base_t (not function type)
803
804	Error: No reasonable alternatives for expression Name: low
805
806	Error: No reasonable alternatives for expression Name: high
807
808	Error: No reasonable alternatives for expression Cast of:
809	Applying untyped:
810	Name: lbound
811	...to:
812	Name: day_of_month
813
814	to:
815	unsigned int
816
817	Error: No reasonable alternatives for expression Name: ?!=?
818
819	Error: No reasonable alternatives for expression Cast of:
820	Name: target
821
822	to:
823	instance of type subrange (not function type)
824	with parameters
825	instance of type T (not function type)
826	Name: low
827
828	Name: high
829
830
831
832	Error: No reasonable alternatives for expression Name: ?!=?
833
834	Error: No reasonable alternatives for expression Cast of:
835	Name: target
836
837	to:
838	instance of type subrange (not function type)
839	with parameters
840	instance of type T (not function type)
841	Name: t_low
842
843	Name: t_high
844
845
846

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

Download in other formats: