Context Navigation

source: src/Tests/Expect-r/Quad.txt @ a3e7d34

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 a3e7d34 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: 53.6 KB

Line
1	nameExpr is ?*?
2	decl is ?*?: function
3	with parameters
4	signed int
5	signed int
6	returning
7	signed int
8
9	newExpr is Variable Expression: ?*?: function
10	with parameters
11	signed int
12	signed int
13	returning
14	signed int
15
16
17	decl is ?*?: pointer to function
18	with parameters
19	instance of type T (not function type)
20	instance of type T (not function type)
21	returning
22	instance of type T (not function type)
23
24	newExpr is Variable Expression: ?*?: pointer to function
25	with parameters
26	instance of type T (not function type)
27	instance of type T (not function type)
28	returning
29	instance of type T (not function type)
30
31
32	alternatives before prune:
33	Cost ( 0, 0, 0 ): Variable Expression: ?*?: function
34	with parameters
35	signed int
36	signed int
37	returning
38	signed int
39
40	(types:
41	pointer to function
42	with parameters
43	signed int
44	signed int
45	returning
46	signed int
47
48	)
49	Environment:
50
51	Cost ( 0, 0, 0 ): Variable Expression: ?*?: pointer to function
52	with parameters
53	instance of type T (not function type)
54	instance of type T (not function type)
55	returning
56	instance of type T (not function type)
57
58	(types:
59	lvalue pointer to function
60	with parameters
61	instance of type T (not function type)
62	instance of type T (not function type)
63	returning
64	instance of type T (not function type)
65
66	)
67	Environment:
68
69	there are 2 alternatives before elimination
70	there are 2 alternatives after elimination
71	nameExpr is t
72	decl is t: instance of type T (not function type)
73	newExpr is Variable Expression: t: instance of type T (not function type)
74
75	alternatives before prune:
76	Cost ( 0, 0, 0 ): Variable Expression: t: instance of type T (not function type)
77	(types:
78	lvalue instance of type T (not function type)
79	)
80	Environment:
81
82	there are 1 alternatives before elimination
83	there are 1 alternatives after elimination
84	findSubExprs
85	Cost ( 0, 0, 0 ): Variable Expression: t: instance of type T (not function type)
86	(types:
87	lvalue instance of type T (not function type)
88	)
89	Environment:
90
91	nameExpr is t
92	decl is t: instance of type T (not function type)
93	newExpr is Variable Expression: t: instance of type T (not function type)
94
95	alternatives before prune:
96	Cost ( 0, 0, 0 ): Variable Expression: t: instance of type T (not function type)
97	(types:
98	lvalue instance of type T (not function type)
99	)
100	Environment:
101
102	there are 1 alternatives before elimination
103	there are 1 alternatives after elimination
104	findSubExprs
105	Cost ( 0, 0, 0 ): Variable Expression: t: instance of type T (not function type)
106	(types:
107	lvalue instance of type T (not function type)
108	)
109	Environment:
110
111	working on alternative:
112	Cost ( 0, 0, 0 ): Variable Expression: ?*?: function
113	with parameters
114	signed int
115	signed int
116	returning
117	signed int
118
119	(types:
120	pointer to function
121	with parameters
122	signed int
123	signed int
124	returning
125	signed int
126
127	)
128	Environment:
129	formal type is signed int
130	actual type is lvalue instance of type T (not function type)
131	working on alternative:
132	Cost ( 0, 0, 0 ): Variable Expression: ?*?: pointer to function
133	with parameters
134	instance of type T (not function type)
135	instance of type T (not function type)
136	returning
137	instance of type T (not function type)
138
139	(types:
140	lvalue pointer to function
141	with parameters
142	instance of type T (not function type)
143	instance of type T (not function type)
144	returning
145	instance of type T (not function type)
146
147	)
148	Environment:
149	formal type is instance of type T (not function type)
150	actual type is lvalue instance of type T (not function type)
151	formal type is instance of type T (not function type)
152	actual type is lvalue instance of type T (not function type)
153	need assertions:
154	============= original indexer
155	===idTable===
156	===typeTable===
157	===structTable===
158	===enumTable===
159	===unionTable===
160	===contextTable===
161	============= new indexer
162	===idTable===
163	===typeTable===
164	===structTable===
165	===enumTable===
166	===unionTable===
167	===contextTable===
168	actual expression:
169	Variable Expression: t: instance of type T (not function type)
170	--- results are
171	lvalue instance of type T (not function type)
172
173	converting lvalue instance of type T (not function type)
174	to instance of type T (not function type)
175	cost is( 0, 0, 0 )
176	actual expression:
177	Variable Expression: t: instance of type T (not function type)
178	--- results are
179	lvalue instance of type T (not function type)
180
181	converting lvalue instance of type T (not function type)
182	to instance of type T (not function type)
183	cost is( 0, 0, 0 )
184	Case +++++++++++++
185	formals are:
186	instance of type T (not function type)
187	instance of type T (not function type)
188	actuals are:
189	Variable Expression: t: instance of type T (not function type)
190
191	Variable Expression: t: instance of type T (not function type)
192
193	bindings are:
194	cost of conversion is:( 0, 0, 0 )
195	alternatives before prune:
196	Cost ( 0, 0, 0 ): Application of
197	Variable Expression: ?*?: pointer to function
198	with parameters
199	instance of type T (not function type)
200	instance of type T (not function type)
201	returning
202	instance of type T (not function type)
203
204	to arguments
205	Variable Expression: t: instance of type T (not function type)
206
207	Variable Expression: t: instance of type T (not function type)
208
209	(types:
210	instance of type T (not function type)
211	)
212	Environment:
213
214	there are 1 alternatives before elimination
215	there are 1 alternatives after elimination
216	alternatives before prune:
217	Cost ( 0, 0, 0 ): Cast of:
218	Application of
219	Variable Expression: ?*?: pointer to function
220	with parameters
221	instance of type T (not function type)
222	instance of type T (not function type)
223	returning
224	instance of type T (not function type)
225
226	to arguments
227	Variable Expression: t: instance of type T (not function type)
228
229	Variable Expression: t: instance of type T (not function type)
230
231
232	to:
233	instance of type T (not function type)
234	(types:
235	instance of type T (not function type)
236	)
237	Environment:
238
239	there are 1 alternatives before elimination
240	there are 1 alternatives after elimination
241	nameExpr is square
242	decl is square: forall
243	T: type
244	with assertions
245	?=?: pointer to function
246	with parameters
247	pointer to instance of type T (not function type)
248	instance of type T (not function type)
249	returning
250	instance of type T (not function type)
251
252	?*?: pointer to function
253	with parameters
254	instance of type T (not function type)
255	instance of type T (not function type)
256	returning
257	instance of type T (not function type)
258
259
260	function
261	with parameters
262	t: instance of type T (not function type)
263	returning
264	instance of type T (not function type)
265	with body
266	CompoundStmt
267	Return Statement, returning: Cast of:
268	Application of
269	Variable Expression: ?*?: pointer to function
270	with parameters
271	instance of type T (not function type)
272	instance of type T (not function type)
273	returning
274	instance of type T (not function type)
275
276	to arguments
277	Variable Expression: t: instance of type T (not function type)
278
279	Variable Expression: t: instance of type T (not function type)
280
281
282	to:
283	instance of type T (not function type)
284	with environment:
285	Types:
286	Non-types:
287
288
289
290	newExpr is Variable Expression: square: forall
291	T: type
292	with assertions
293	?=?: pointer to function
294	with parameters
295	pointer to instance of type T (not function type)
296	instance of type T (not function type)
297	returning
298	instance of type T (not function type)
299
300	?*?: pointer to function
301	with parameters
302	instance of type T (not function type)
303	instance of type T (not function type)
304	returning
305	instance of type T (not function type)
306
307
308	function
309	with parameters
310	t: instance of type T (not function type)
311	returning
312	instance of type T (not function type)
313
314
315	decl is square: pointer to function
316	with parameters
317	instance of type U (not function type)
318	returning
319	instance of type U (not function type)
320
321	newExpr is Variable Expression: square: pointer to function
322	with parameters
323	instance of type U (not function type)
324	returning
325	instance of type U (not function type)
326
327
328	alternatives before prune:
329	Cost ( 0, 0, 0 ): Variable Expression: square: forall
330	T: type
331	with assertions
332	?=?: pointer to function
333	with parameters
334	pointer to instance of type T (not function type)
335	instance of type T (not function type)
336	returning
337	instance of type T (not function type)
338
339	?*?: pointer to function
340	with parameters
341	instance of type T (not function type)
342	instance of type T (not function type)
343	returning
344	instance of type T (not function type)
345
346
347	function
348	with parameters
349	t: instance of type T (not function type)
350	returning
351	instance of type T (not function type)
352
353	(types:
354	pointer to forall
355	_0_T: type
356	with assertions
357	?=?: pointer to function
358	with parameters
359	pointer to instance of type _0_T (not function type)
360	instance of type _0_T (not function type)
361	returning
362	instance of type _0_T (not function type)
363
364	?*?: pointer to function
365	with parameters
366	instance of type _0_T (not function type)
367	instance of type _0_T (not function type)
368	returning
369	instance of type _0_T (not function type)
370
371
372	function
373	with parameters
374	t: instance of type _0_T (not function type)
375	returning
376	instance of type _0_T (not function type)
377
378	)
379	Environment:
380
381	Cost ( 0, 0, 0 ): Variable Expression: square: pointer to function
382	with parameters
383	instance of type U (not function type)
384	returning
385	instance of type U (not function type)
386
387	(types:
388	lvalue pointer to function
389	with parameters
390	instance of type U (not function type)
391	returning
392	instance of type U (not function type)
393
394	)
395	Environment:
396
397	there are 2 alternatives before elimination
398	there are 2 alternatives after elimination
399	nameExpr is square
400	decl is square: forall
401	T: type
402	with assertions
403	?=?: pointer to function
404	with parameters
405	pointer to instance of type T (not function type)
406	instance of type T (not function type)
407	returning
408	instance of type T (not function type)
409
410	?*?: pointer to function
411	with parameters
412	instance of type T (not function type)
413	instance of type T (not function type)
414	returning
415	instance of type T (not function type)
416
417
418	function
419	with parameters
420	t: instance of type T (not function type)
421	returning
422	instance of type T (not function type)
423	with body
424	CompoundStmt
425	Return Statement, returning: Cast of:
426	Application of
427	Variable Expression: ?*?: pointer to function
428	with parameters
429	instance of type T (not function type)
430	instance of type T (not function type)
431	returning
432	instance of type T (not function type)
433
434	to arguments
435	Variable Expression: t: instance of type T (not function type)
436
437	Variable Expression: t: instance of type T (not function type)
438
439
440	to:
441	instance of type T (not function type)
442	with environment:
443	Types:
444	Non-types:
445
446
447
448	newExpr is Variable Expression: square: forall
449	T: type
450	with assertions
451	?=?: pointer to function
452	with parameters
453	pointer to instance of type T (not function type)
454	instance of type T (not function type)
455	returning
456	instance of type T (not function type)
457
458	?*?: pointer to function
459	with parameters
460	instance of type T (not function type)
461	instance of type T (not function type)
462	returning
463	instance of type T (not function type)
464
465
466	function
467	with parameters
468	t: instance of type T (not function type)
469	returning
470	instance of type T (not function type)
471
472
473	decl is square: pointer to function
474	with parameters
475	instance of type U (not function type)
476	returning
477	instance of type U (not function type)
478
479	newExpr is Variable Expression: square: pointer to function
480	with parameters
481	instance of type U (not function type)
482	returning
483	instance of type U (not function type)
484
485
486	alternatives before prune:
487	Cost ( 0, 0, 0 ): Variable Expression: square: forall
488	T: type
489	with assertions
490	?=?: pointer to function
491	with parameters
492	pointer to instance of type T (not function type)
493	instance of type T (not function type)
494	returning
495	instance of type T (not function type)
496
497	?*?: pointer to function
498	with parameters
499	instance of type T (not function type)
500	instance of type T (not function type)
501	returning
502	instance of type T (not function type)
503
504
505	function
506	with parameters
507	t: instance of type T (not function type)
508	returning
509	instance of type T (not function type)
510
511	(types:
512	pointer to forall
513	_1_T: type
514	with assertions
515	?=?: pointer to function
516	with parameters
517	pointer to instance of type _1_T (not function type)
518	instance of type _1_T (not function type)
519	returning
520	instance of type _1_T (not function type)
521
522	?*?: pointer to function
523	with parameters
524	instance of type _1_T (not function type)
525	instance of type _1_T (not function type)
526	returning
527	instance of type _1_T (not function type)
528
529
530	function
531	with parameters
532	t: instance of type _1_T (not function type)
533	returning
534	instance of type _1_T (not function type)
535
536	)
537	Environment:
538
539	Cost ( 0, 0, 0 ): Variable Expression: square: pointer to function
540	with parameters
541	instance of type U (not function type)
542	returning
543	instance of type U (not function type)
544
545	(types:
546	lvalue pointer to function
547	with parameters
548	instance of type U (not function type)
549	returning
550	instance of type U (not function type)
551
552	)
553	Environment:
554
555	there are 2 alternatives before elimination
556	there are 2 alternatives after elimination
557	nameExpr is u
558	decl is u: instance of type U (not function type)
559	newExpr is Variable Expression: u: instance of type U (not function type)
560
561	alternatives before prune:
562	Cost ( 0, 0, 0 ): Variable Expression: u: instance of type U (not function type)
563	(types:
564	lvalue instance of type U (not function type)
565	)
566	Environment:
567
568	there are 1 alternatives before elimination
569	there are 1 alternatives after elimination
570	findSubExprs
571	Cost ( 0, 0, 0 ): Variable Expression: u: instance of type U (not function type)
572	(types:
573	lvalue instance of type U (not function type)
574	)
575	Environment:
576
577	working on alternative:
578	Cost ( 0, 0, 0 ): Variable Expression: square: forall
579	T: type
580	with assertions
581	?=?: pointer to function
582	with parameters
583	pointer to instance of type T (not function type)
584	instance of type T (not function type)
585	returning
586	instance of type T (not function type)
587
588	?*?: pointer to function
589	with parameters
590	instance of type T (not function type)
591	instance of type T (not function type)
592	returning
593	instance of type T (not function type)
594
595
596	function
597	with parameters
598	t: instance of type T (not function type)
599	returning
600	instance of type T (not function type)
601
602	(types:
603	pointer to forall
604	_1_T: type
605	with assertions
606	?=?: pointer to function
607	with parameters
608	pointer to instance of type _1_T (not function type)
609	instance of type _1_T (not function type)
610	returning
611	instance of type _1_T (not function type)
612
613	?*?: pointer to function
614	with parameters
615	instance of type _1_T (not function type)
616	instance of type _1_T (not function type)
617	returning
618	instance of type _1_T (not function type)
619
620
621	function
622	with parameters
623	t: instance of type _1_T (not function type)
624	returning
625	instance of type _1_T (not function type)
626
627	)
628	Environment:
629	formal type is instance of type _1_T (not function type)
630	actual type is lvalue instance of type U (not function type)
631	need assertions:
632	?*?: pointer to function
633	with parameters
634	instance of type _1_T (not function type)
635	instance of type _1_T (not function type)
636	returning
637	instance of type _1_T (not function type)
638	(used)?=?: pointer to function
639	with parameters
640	pointer to instance of type _1_T (not function type)
641	instance of type _1_T (not function type)
642	returning
643	instance of type _1_T (not function type)
644	(used)============= original indexer
645	===idTable===
646	===typeTable===
647	===structTable===
648	===enumTable===
649	===unionTable===
650	===contextTable===
651	============= new indexer
652	===idTable===
653	===typeTable===
654	===structTable===
655	===enumTable===
656	===unionTable===
657	===contextTable===
658	inferRecursive: assertion is ?*?: pointer to function
659	with parameters
660	instance of type _1_T (not function type)
661	instance of type _1_T (not function type)
662	returning
663	instance of type _1_T (not function type)
664
665	inferRecursive: candidate is ?*?: function
666	with parameters
667	signed int
668	signed int
669	returning
670	signed int
671
672	unifying pointer to function
673	with parameters
674	instance of type _1_T (not function type)
675	instance of type _1_T (not function type)
676	returning
677	instance of type _1_T (not function type)
678	with pointer to function
679	with parameters
680	signed int
681	signed int
682	returning
683	signed int
684
685	working on alternative:
686	Cost ( 0, 0, 0 ): Variable Expression: square: pointer to function
687	with parameters
688	instance of type U (not function type)
689	returning
690	instance of type U (not function type)
691
692	(types:
693	lvalue pointer to function
694	with parameters
695	instance of type U (not function type)
696	returning
697	instance of type U (not function type)
698
699	)
700	Environment:
701	formal type is instance of type U (not function type)
702	actual type is lvalue instance of type U (not function type)
703	need assertions:
704	============= original indexer
705	===idTable===
706	===typeTable===
707	===structTable===
708	===enumTable===
709	===unionTable===
710	===contextTable===
711	============= new indexer
712	===idTable===
713	===typeTable===
714	===structTable===
715	===enumTable===
716	===unionTable===
717	===contextTable===
718	actual expression:
719	Variable Expression: u: instance of type U (not function type)
720	--- results are
721	lvalue instance of type U (not function type)
722
723	converting lvalue instance of type U (not function type)
724	to instance of type U (not function type)
725	cost is( 0, 0, 0 )
726	Case +++++++++++++
727	formals are:
728	instance of type U (not function type)
729	actuals are:
730	Variable Expression: u: instance of type U (not function type)
731
732	bindings are:
733	cost of conversion is:( 0, 0, 0 )
734	alternatives before prune:
735	Cost ( 0, 0, 0 ): Application of
736	Variable Expression: square: pointer to function
737	with parameters
738	instance of type U (not function type)
739	returning
740	instance of type U (not function type)
741
742	to arguments
743	Variable Expression: u: instance of type U (not function type)
744
745	(types:
746	instance of type U (not function type)
747	)
748	Environment:
749
750	there are 1 alternatives before elimination
751	there are 1 alternatives after elimination
752	findSubExprs
753	Cost ( 0, 0, 0 ): Application of
754	Variable Expression: square: pointer to function
755	with parameters
756	instance of type U (not function type)
757	returning
758	instance of type U (not function type)
759
760	to arguments
761	Variable Expression: u: instance of type U (not function type)
762
763	(types:
764	instance of type U (not function type)
765	)
766	Environment:
767
768	working on alternative:
769	Cost ( 0, 0, 0 ): Variable Expression: square: forall
770	T: type
771	with assertions
772	?=?: pointer to function
773	with parameters
774	pointer to instance of type T (not function type)
775	instance of type T (not function type)
776	returning
777	instance of type T (not function type)
778
779	?*?: pointer to function
780	with parameters
781	instance of type T (not function type)
782	instance of type T (not function type)
783	returning
784	instance of type T (not function type)
785
786
787	function
788	with parameters
789	t: instance of type T (not function type)
790	returning
791	instance of type T (not function type)
792
793	(types:
794	pointer to forall
795	_0_T: type
796	with assertions
797	?=?: pointer to function
798	with parameters
799	pointer to instance of type _0_T (not function type)
800	instance of type _0_T (not function type)
801	returning
802	instance of type _0_T (not function type)
803
804	?*?: pointer to function
805	with parameters
806	instance of type _0_T (not function type)
807	instance of type _0_T (not function type)
808	returning
809	instance of type _0_T (not function type)
810
811
812	function
813	with parameters
814	t: instance of type _0_T (not function type)
815	returning
816	instance of type _0_T (not function type)
817
818	)
819	Environment:
820	formal type is instance of type _0_T (not function type)
821	actual type is instance of type U (not function type)
822	need assertions:
823	?=?: pointer to function
824	with parameters
825	pointer to instance of type _0_T (not function type)
826	instance of type _0_T (not function type)
827	returning
828	instance of type _0_T (not function type)
829	(used)?*?: pointer to function
830	with parameters
831	instance of type _0_T (not function type)
832	instance of type _0_T (not function type)
833	returning
834	instance of type _0_T (not function type)
835	(used)============= original indexer
836	===idTable===
837	===typeTable===
838	===structTable===
839	===enumTable===
840	===unionTable===
841	===contextTable===
842	============= new indexer
843	===idTable===
844	===typeTable===
845	===structTable===
846	===enumTable===
847	===unionTable===
848	===contextTable===
849	inferRecursive: assertion is ?=?: pointer to function
850	with parameters
851	pointer to instance of type _0_T (not function type)
852	instance of type _0_T (not function type)
853	returning
854	instance of type _0_T (not function type)
855
856	inferRecursive: candidate is ?=?: function
857	with parameters
858	pointer to signed int
859	signed int
860	returning
861	signed int
862
863	unifying pointer to function
864	with parameters
865	pointer to instance of type _0_T (not function type)
866	instance of type _0_T (not function type)
867	returning
868	instance of type _0_T (not function type)
869	with pointer to function
870	with parameters
871	pointer to signed int
872	signed int
873	returning
874	signed int
875
876	inferRecursive: candidate is ?=?: pointer to function
877	with parameters
878	pointer to instance of type U (not function type)
879	instance of type U (not function type)
880	returning
881	instance of type U (not function type)
882
883	unifying pointer to function
884	with parameters
885	pointer to instance of type _0_T (not function type)
886	instance of type _0_T (not function type)
887	returning
888	instance of type _0_T (not function type)
889	with pointer to function
890	with parameters
891	pointer to instance of type U (not function type)
892	instance of type U (not function type)
893	returning
894	instance of type U (not function type)
895
896	success!
897	satisfying assertion 12 ?=?: pointer to function
898	with parameters
899	pointer to instance of type _0_T (not function type)
900	instance of type _0_T (not function type)
901	returning
902	instance of type _0_T (not function type)
903	with declaration 23 ?=?: pointer to function
904	with parameters
905	pointer to instance of type U (not function type)
906	instance of type U (not function type)
907	returning
908	instance of type U (not function type)
909
910	inferRecursive: assertion is ?*?: pointer to function
911	with parameters
912	instance of type _0_T (not function type)
913	instance of type _0_T (not function type)
914	returning
915	instance of type _0_T (not function type)
916
917	inferRecursive: candidate is ?*?: function
918	with parameters
919	signed int
920	signed int
921	returning
922	signed int
923
924	unifying pointer to function
925	with parameters
926	instance of type _0_T (not function type)
927	instance of type _0_T (not function type)
928	returning
929	instance of type _0_T (not function type)
930	with pointer to function
931	with parameters
932	signed int
933	signed int
934	returning
935	signed int
936
937	working on alternative:
938	Cost ( 0, 0, 0 ): Variable Expression: square: pointer to function
939	with parameters
940	instance of type U (not function type)
941	returning
942	instance of type U (not function type)
943
944	(types:
945	lvalue pointer to function
946	with parameters
947	instance of type U (not function type)
948	returning
949	instance of type U (not function type)
950
951	)
952	Environment:
953	formal type is instance of type U (not function type)
954	actual type is instance of type U (not function type)
955	need assertions:
956	============= original indexer
957	===idTable===
958	===typeTable===
959	===structTable===
960	===enumTable===
961	===unionTable===
962	===contextTable===
963	============= new indexer
964	===idTable===
965	===typeTable===
966	===structTable===
967	===enumTable===
968	===unionTable===
969	===contextTable===
970	actual expression:
971	Application of
972	Variable Expression: square: pointer to function
973	with parameters
974	instance of type U (not function type)
975	returning
976	instance of type U (not function type)
977
978	to arguments
979	Variable Expression: u: instance of type U (not function type)
980
981	--- results are
982	instance of type U (not function type)
983
984	converting instance of type U (not function type)
985	to instance of type U (not function type)
986	cost is( 0, 0, 0 )
987	Case +++++++++++++
988	formals are:
989	instance of type U (not function type)
990	actuals are:
991	Application of
992	Variable Expression: square: pointer to function
993	with parameters
994	instance of type U (not function type)
995	returning
996	instance of type U (not function type)
997
998	to arguments
999	Variable Expression: u: instance of type U (not function type)
1000
1001
1002	bindings are:
1003	cost of conversion is:( 0, 0, 0 )
1004	alternatives before prune:
1005	Cost ( 0, 0, 0 ): Application of
1006	Variable Expression: square: pointer to function
1007	with parameters
1008	instance of type U (not function type)
1009	returning
1010	instance of type U (not function type)
1011
1012	to arguments
1013	Application of
1014	Variable Expression: square: pointer to function
1015	with parameters
1016	instance of type U (not function type)
1017	returning
1018	instance of type U (not function type)
1019
1020	to arguments
1021	Variable Expression: u: instance of type U (not function type)
1022
1023
1024	(types:
1025	instance of type U (not function type)
1026	)
1027	Environment:
1028
1029	there are 1 alternatives before elimination
1030	there are 1 alternatives after elimination
1031	alternatives before prune:
1032	Cost ( 0, 0, 0 ): Cast of:
1033	Application of
1034	Variable Expression: square: pointer to function
1035	with parameters
1036	instance of type U (not function type)
1037	returning
1038	instance of type U (not function type)
1039
1040	to arguments
1041	Application of
1042	Variable Expression: square: pointer to function
1043	with parameters
1044	instance of type U (not function type)
1045	returning
1046	instance of type U (not function type)
1047
1048	to arguments
1049	Variable Expression: u: instance of type U (not function type)
1050
1051
1052
1053	to:
1054	instance of type U (not function type)
1055	(types:
1056	instance of type U (not function type)
1057	)
1058	Environment:
1059
1060	there are 1 alternatives before elimination
1061	there are 1 alternatives after elimination
1062	nameExpr is quad
1063	decl is quad: forall
1064	U: type
1065	with assertions
1066	?=?: pointer to function
1067	with parameters
1068	pointer to instance of type U (not function type)
1069	instance of type U (not function type)
1070	returning
1071	instance of type U (not function type)
1072
1073	square: pointer to function
1074	with parameters
1075	instance of type U (not function type)
1076	returning
1077	instance of type U (not function type)
1078
1079
1080	function
1081	with parameters
1082	u: instance of type U (not function type)
1083	returning
1084	instance of type U (not function type)
1085	with body
1086	CompoundStmt
1087	Return Statement, returning: Cast of:
1088	Application of
1089	Variable Expression: square: pointer to function
1090	with parameters
1091	instance of type U (not function type)
1092	returning
1093	instance of type U (not function type)
1094
1095	to arguments
1096	Application of
1097	Variable Expression: square: pointer to function
1098	with parameters
1099	instance of type U (not function type)
1100	returning
1101	instance of type U (not function type)
1102
1103	to arguments
1104	Variable Expression: u: instance of type U (not function type)
1105
1106
1107
1108	to:
1109	instance of type U (not function type)
1110	with environment:
1111	Types:
1112	Non-types:
1113
1114
1115
1116	newExpr is Variable Expression: quad: forall
1117	U: type
1118	with assertions
1119	?=?: pointer to function
1120	with parameters
1121	pointer to instance of type U (not function type)
1122	instance of type U (not function type)
1123	returning
1124	instance of type U (not function type)
1125
1126	square: pointer to function
1127	with parameters
1128	instance of type U (not function type)
1129	returning
1130	instance of type U (not function type)
1131
1132
1133	function
1134	with parameters
1135	u: instance of type U (not function type)
1136	returning
1137	instance of type U (not function type)
1138
1139
1140	alternatives before prune:
1141	Cost ( 0, 0, 0 ): Variable Expression: quad: forall
1142	U: type
1143	with assertions
1144	?=?: pointer to function
1145	with parameters
1146	pointer to instance of type U (not function type)
1147	instance of type U (not function type)
1148	returning
1149	instance of type U (not function type)
1150
1151	square: pointer to function
1152	with parameters
1153	instance of type U (not function type)
1154	returning
1155	instance of type U (not function type)
1156
1157
1158	function
1159	with parameters
1160	u: instance of type U (not function type)
1161	returning
1162	instance of type U (not function type)
1163
1164	(types:
1165	pointer to forall
1166	_0_U: type
1167	with assertions
1168	?=?: pointer to function
1169	with parameters
1170	pointer to instance of type _0_U (not function type)
1171	instance of type _0_U (not function type)
1172	returning
1173	instance of type _0_U (not function type)
1174
1175	square: pointer to function
1176	with parameters
1177	instance of type _0_U (not function type)
1178	returning
1179	instance of type _0_U (not function type)
1180
1181
1182	function
1183	with parameters
1184	u: instance of type _0_U (not function type)
1185	returning
1186	instance of type _0_U (not function type)
1187
1188	)
1189	Environment:
1190
1191	there are 1 alternatives before elimination
1192	there are 1 alternatives after elimination
1193	alternatives before prune:
1194	Cost ( 0, 0, 0 ): constant expression 7 signed int (types:
1195	signed int
1196	)
1197	Environment:
1198
1199	there are 1 alternatives before elimination
1200	there are 1 alternatives after elimination
1201	findSubExprs
1202	Cost ( 0, 0, 0 ): constant expression 7 signed int (types:
1203	signed int
1204	)
1205	Environment:
1206
1207	working on alternative:
1208	Cost ( 0, 0, 0 ): Variable Expression: quad: forall
1209	U: type
1210	with assertions
1211	?=?: pointer to function
1212	with parameters
1213	pointer to instance of type U (not function type)
1214	instance of type U (not function type)
1215	returning
1216	instance of type U (not function type)
1217
1218	square: pointer to function
1219	with parameters
1220	instance of type U (not function type)
1221	returning
1222	instance of type U (not function type)
1223
1224
1225	function
1226	with parameters
1227	u: instance of type U (not function type)
1228	returning
1229	instance of type U (not function type)
1230
1231	(types:
1232	pointer to forall
1233	_0_U: type
1234	with assertions
1235	?=?: pointer to function
1236	with parameters
1237	pointer to instance of type _0_U (not function type)
1238	instance of type _0_U (not function type)
1239	returning
1240	instance of type _0_U (not function type)
1241
1242	square: pointer to function
1243	with parameters
1244	instance of type _0_U (not function type)
1245	returning
1246	instance of type _0_U (not function type)
1247
1248
1249	function
1250	with parameters
1251	u: instance of type _0_U (not function type)
1252	returning
1253	instance of type _0_U (not function type)
1254
1255	)
1256	Environment:
1257	formal type is instance of type _0_U (not function type)
1258	actual type is signed int
1259	need assertions:
1260	square: pointer to function
1261	with parameters
1262	instance of type _0_U (not function type)
1263	returning
1264	instance of type _0_U (not function type)
1265	(used)?=?: pointer to function
1266	with parameters
1267	pointer to instance of type _0_U (not function type)
1268	instance of type _0_U (not function type)
1269	returning
1270	instance of type _0_U (not function type)
1271	(used)============= original indexer
1272	===idTable===
1273	===typeTable===
1274	===structTable===
1275	===enumTable===
1276	===unionTable===
1277	===contextTable===
1278	============= new indexer
1279	===idTable===
1280	===typeTable===
1281	===structTable===
1282	===enumTable===
1283	===unionTable===
1284	===contextTable===
1285	inferRecursive: assertion is square: pointer to function
1286	with parameters
1287	instance of type _0_U (not function type)
1288	returning
1289	instance of type _0_U (not function type)
1290
1291	inferRecursive: candidate is square: forall
1292	T: type
1293	with assertions
1294	?=?: pointer to function
1295	with parameters
1296	pointer to instance of type T (not function type)
1297	instance of type T (not function type)
1298	returning
1299	instance of type T (not function type)
1300
1301	?*?: pointer to function
1302	with parameters
1303	instance of type T (not function type)
1304	instance of type T (not function type)
1305	returning
1306	instance of type T (not function type)
1307
1308
1309	function
1310	with parameters
1311	t: instance of type T (not function type)
1312	returning
1313	instance of type T (not function type)
1314	with body
1315	CompoundStmt
1316	Return Statement, returning: Cast of:
1317	Application of
1318	Variable Expression: ?*?: pointer to function
1319	with parameters
1320	instance of type T (not function type)
1321	instance of type T (not function type)
1322	returning
1323	instance of type T (not function type)
1324
1325	to arguments
1326	Variable Expression: t: instance of type T (not function type)
1327
1328	Variable Expression: t: instance of type T (not function type)
1329
1330
1331	to:
1332	instance of type T (not function type)
1333	with environment:
1334	Types:
1335	Non-types:
1336
1337
1338
1339	unifying pointer to function
1340	with parameters
1341	instance of type _0_U (not function type)
1342	returning
1343	instance of type _0_U (not function type)
1344	with pointer to forall
1345	_1_T: type
1346	with assertions
1347	?=?: pointer to function
1348	with parameters
1349	pointer to instance of type _1_T (not function type)
1350	instance of type _1_T (not function type)
1351	returning
1352	instance of type _1_T (not function type)
1353
1354	?*?: pointer to function
1355	with parameters
1356	instance of type _1_T (not function type)
1357	instance of type _1_T (not function type)
1358	returning
1359	instance of type _1_T (not function type)
1360
1361
1362	function
1363	with parameters
1364	t: instance of type _1_T (not function type)
1365	returning
1366	instance of type _1_T (not function type)
1367
1368	success!
1369	satisfying assertion 26 square: pointer to function
1370	with parameters
1371	instance of type _0_U (not function type)
1372	returning
1373	instance of type _0_U (not function type)
1374	with declaration 19 square: forall
1375	T: type
1376	with assertions
1377	?=?: pointer to function
1378	with parameters
1379	pointer to instance of type T (not function type)
1380	instance of type T (not function type)
1381	returning
1382	instance of type T (not function type)
1383
1384	?*?: pointer to function
1385	with parameters
1386	instance of type T (not function type)
1387	instance of type T (not function type)
1388	returning
1389	instance of type T (not function type)
1390
1391
1392	function
1393	with parameters
1394	t: instance of type T (not function type)
1395	returning
1396	instance of type T (not function type)
1397	with body
1398	CompoundStmt
1399	Return Statement, returning: Cast of:
1400	Application of
1401	Variable Expression: ?*?: pointer to function
1402	with parameters
1403	instance of type T (not function type)
1404	instance of type T (not function type)
1405	returning
1406	instance of type T (not function type)
1407
1408	to arguments
1409	Variable Expression: t: instance of type T (not function type)
1410
1411	Variable Expression: t: instance of type T (not function type)
1412
1413
1414	to:
1415	instance of type T (not function type)
1416	with environment:
1417	Types:
1418	Non-types:
1419
1420
1421
1422	inferRecursive: assertion is ?=?: pointer to function
1423	with parameters
1424	pointer to instance of type _0_U (not function type)
1425	instance of type _0_U (not function type)
1426	returning
1427	instance of type _0_U (not function type)
1428
1429	inferRecursive: candidate is ?=?: function
1430	with parameters
1431	pointer to signed int
1432	signed int
1433	returning
1434	signed int
1435
1436	unifying pointer to function
1437	with parameters
1438	pointer to instance of type _0_U (not function type)
1439	instance of type _0_U (not function type)
1440	returning
1441	instance of type _0_U (not function type)
1442	with pointer to function
1443	with parameters
1444	pointer to signed int
1445	signed int
1446	returning
1447	signed int
1448
1449	success!
1450	satisfying assertion 23 ?=?: pointer to function
1451	with parameters
1452	pointer to instance of type _0_U (not function type)
1453	instance of type _0_U (not function type)
1454	returning
1455	instance of type _0_U (not function type)
1456	with declaration 4 ?=?: function
1457	with parameters
1458	pointer to signed int
1459	signed int
1460	returning
1461	signed int
1462
1463	recursing with new set:
1464	?*?: pointer to function
1465	with parameters
1466	instance of type _1_T (not function type)
1467	instance of type _1_T (not function type)
1468	returning
1469	instance of type _1_T (not function type)
1470	(used)?=?: pointer to function
1471	with parameters
1472	pointer to instance of type _1_T (not function type)
1473	instance of type _1_T (not function type)
1474	returning
1475	instance of type _1_T (not function type)
1476	(used)inferRecursive: assertion is ?*?: pointer to function
1477	with parameters
1478	instance of type _1_T (not function type)
1479	instance of type _1_T (not function type)
1480	returning
1481	instance of type _1_T (not function type)
1482
1483	inferRecursive: candidate is ?*?: function
1484	with parameters
1485	signed int
1486	signed int
1487	returning
1488	signed int
1489
1490	unifying pointer to function
1491	with parameters
1492	instance of type _1_T (not function type)
1493	instance of type _1_T (not function type)
1494	returning
1495	instance of type _1_T (not function type)
1496	with pointer to function
1497	with parameters
1498	signed int
1499	signed int
1500	returning
1501	signed int
1502
1503	success!
1504	satisfying assertion 16 ?*?: pointer to function
1505	with parameters
1506	instance of type _1_T (not function type)
1507	instance of type _1_T (not function type)
1508	returning
1509	instance of type _1_T (not function type)
1510	with declaration 8 ?*?: function
1511	with parameters
1512	signed int
1513	signed int
1514	returning
1515	signed int
1516
1517	inferRecursive: assertion is ?=?: pointer to function
1518	with parameters
1519	pointer to instance of type _1_T (not function type)
1520	instance of type _1_T (not function type)
1521	returning
1522	instance of type _1_T (not function type)
1523
1524	inferRecursive: candidate is ?=?: function
1525	with parameters
1526	pointer to signed int
1527	signed int
1528	returning
1529	signed int
1530
1531	unifying pointer to function
1532	with parameters
1533	pointer to instance of type _1_T (not function type)
1534	instance of type _1_T (not function type)
1535	returning
1536	instance of type _1_T (not function type)
1537	with pointer to function
1538	with parameters
1539	pointer to signed int
1540	signed int
1541	returning
1542	signed int
1543
1544	success!
1545	satisfying assertion 12 ?=?: pointer to function
1546	with parameters
1547	pointer to instance of type _1_T (not function type)
1548	instance of type _1_T (not function type)
1549	returning
1550	instance of type _1_T (not function type)
1551	with declaration 4 ?=?: function
1552	with parameters
1553	pointer to signed int
1554	signed int
1555	returning
1556	signed int
1557
1558	actual expression:
1559	constant expression 7 signed int --- results are
1560	signed int
1561
1562	converting signed int
1563	to instance of type _0_U (not function type)
1564	cost is( 0, 0, 0 )
1565
1566	converting pointer to function
1567	with parameters
1568	pointer to signed int
1569	signed int
1570	returning
1571	signed int
1572
1573	to pointer to function
1574	with parameters
1575	pointer to instance of type _1_T (not function type)
1576	instance of type _1_T (not function type)
1577	returning
1578	instance of type _1_T (not function type)
1579
1580	cost of conversion is ( 0, 0, 0 )
1581
1582	converting pointer to function
1583	with parameters
1584	signed int
1585	signed int
1586	returning
1587	signed int
1588
1589	to pointer to function
1590	with parameters
1591	instance of type _1_T (not function type)
1592	instance of type _1_T (not function type)
1593	returning
1594	instance of type _1_T (not function type)
1595
1596	cost of conversion is ( 0, 0, 0 )
1597
1598	converting pointer to function
1599	with parameters
1600	pointer to signed int
1601	signed int
1602	returning
1603	signed int
1604
1605	to pointer to function
1606	with parameters
1607	pointer to instance of type _0_U (not function type)
1608	instance of type _0_U (not function type)
1609	returning
1610	instance of type _0_U (not function type)
1611
1612	cost of conversion is ( 0, 0, 0 )
1613
1614	converting pointer to forall
1615	_1_T: type
1616	with assertions
1617	?=?: pointer to function
1618	with parameters
1619	pointer to instance of type _1_T (not function type)
1620	instance of type _1_T (not function type)
1621	returning
1622	instance of type _1_T (not function type)
1623
1624	?*?: pointer to function
1625	with parameters
1626	instance of type _1_T (not function type)
1627	instance of type _1_T (not function type)
1628	returning
1629	instance of type _1_T (not function type)
1630
1631
1632	function
1633	with parameters
1634	t: instance of type _1_T (not function type)
1635	returning
1636	instance of type _1_T (not function type)
1637
1638	to pointer to function
1639	with parameters
1640	instance of type _0_U (not function type)
1641	returning
1642	instance of type _0_U (not function type)
1643
1644	cost of conversion is ( 0, 0, 0 )
1645	Case +++++++++++++
1646	formals are:
1647	u: instance of type _0_U (not function type)
1648	actuals are:
1649	constant expression 7 signed int
1650	bindings are:
1651	( _0_U _1_T ) -> signed int (no widening)
1652	cost of conversion is:( 0, 20, 0 )
1653	alternatives before prune:
1654	Cost ( 0, 20, 0 ): Application of
1655	Variable Expression: quad: forall
1656	U: type
1657	with assertions
1658	?=?: pointer to function
1659	with parameters
1660	pointer to instance of type U (not function type)
1661	instance of type U (not function type)
1662	returning
1663	instance of type U (not function type)
1664
1665	square: pointer to function
1666	with parameters
1667	instance of type U (not function type)
1668	returning
1669	instance of type U (not function type)
1670
1671
1672	function
1673	with parameters
1674	u: instance of type U (not function type)
1675	returning
1676	instance of type U (not function type)
1677
1678	to arguments
1679	constant expression 7 signed int
1680	with inferred parameters:
1681	?=?: function
1682	with parameters
1683	pointer to signed int
1684	signed int
1685	returning
1686	signed int
1687
1688	?*?: function
1689	with parameters
1690	signed int
1691	signed int
1692	returning
1693	signed int
1694
1695	?=?: function
1696	with parameters
1697	pointer to signed int
1698	signed int
1699	returning
1700	signed int
1701
1702	square: forall
1703	T: type
1704	with assertions
1705	?=?: pointer to function
1706	with parameters
1707	pointer to instance of type T (not function type)
1708	instance of type T (not function type)
1709	returning
1710	instance of type T (not function type)
1711
1712	?*?: pointer to function
1713	with parameters
1714	instance of type T (not function type)
1715	instance of type T (not function type)
1716	returning
1717	instance of type T (not function type)
1718
1719
1720	function
1721	with parameters
1722	t: instance of type T (not function type)
1723	returning
1724	instance of type T (not function type)
1725
1726	(types:
1727	instance of type _0_U (not function type)
1728	)
1729	Environment: ( _0_U _1_T ) -> signed int (no widening)
1730
1731
1732	there are 1 alternatives before elimination
1733	there are 1 alternatives after elimination
1734	alternatives before prune:
1735	Cost ( 0, 0, 1 ): Cast of:
1736	Application of
1737	Variable Expression: quad: forall
1738	U: type
1739	with assertions
1740	?=?: pointer to function
1741	with parameters
1742	pointer to instance of type U (not function type)
1743	instance of type U (not function type)
1744	returning
1745	instance of type U (not function type)
1746
1747	square: pointer to function
1748	with parameters
1749	instance of type U (not function type)
1750	returning
1751	instance of type U (not function type)
1752
1753
1754	function
1755	with parameters
1756	u: instance of type U (not function type)
1757	returning
1758	instance of type U (not function type)
1759
1760	to arguments
1761	constant expression 7 signed int
1762	with inferred parameters:
1763	?=?: function
1764	with parameters
1765	pointer to signed int
1766	signed int
1767	returning
1768	signed int
1769
1770	?*?: function
1771	with parameters
1772	signed int
1773	signed int
1774	returning
1775	signed int
1776
1777	?=?: function
1778	with parameters
1779	pointer to signed int
1780	signed int
1781	returning
1782	signed int
1783
1784	square: forall
1785	T: type
1786	with assertions
1787	?=?: pointer to function
1788	with parameters
1789	pointer to instance of type T (not function type)
1790	instance of type T (not function type)
1791	returning
1792	instance of type T (not function type)
1793
1794	?*?: pointer to function
1795	with parameters
1796	instance of type T (not function type)
1797	instance of type T (not function type)
1798	returning
1799	instance of type T (not function type)
1800
1801
1802	function
1803	with parameters
1804	t: instance of type T (not function type)
1805	returning
1806	instance of type T (not function type)
1807
1808
1809	to:
1810	nothing
1811	(types:
1812	)
1813	Environment: ( _0_U _1_T ) -> signed int (no widening)
1814
1815
1816	there are 1 alternatives before elimination
1817	there are 1 alternatives after elimination
1818	int ___operator_assign__Fi_Pii_(int *, int );
1819	int ___operator_multiply__Fi_ii_(int , int );
1820	void __square__A1_0_0____operator_assign__PFt0_Pt0t0____operator_multiply__PFt0_t0t0__Ft0_t0_(void (_adapterF2tT_2tT2tT_)(void ()(), void , void , void ), void (_adapterF2tT_P2tT2tT_)(void ()(), void , void , void ), long unsigned int T, void (___operator_assign__PF2tT_P2tT2tT_)(), void (___operator_multiply__PF2tT_2tT2tT_)(), void _retparm, void __t__2tT){
1821	_adapterF2tT_2tT2tT_(___operator_multiply__PF2tT_2tT2tT_, _retparm, __t__2tT, __t__2tT);
1822	return ;
1823	}
1824	void __quad__A1_0_0____operator_assign__PFt0_Pt0t0___square__PFt0_t0__Ft0_t0_(void (_adapterF2tU_2tU_)(void ()(), void , void ), void (_adapterF2tU_P2tU2tU_)(void ()(), void , void , void ), long unsigned int U, void (___operator_assign__PF2tU_P2tU2tU_)(), void (__square__PF2tU_2tU_)(), void _retparm, void *__u__2tU){
1825	void *_temp0;
1826	(_temp0=__builtin_alloca(U));
1827	_adapterF2tU_2tU_(__square__PF2tU_2tU_, _retparm, (_adapterF2tU_2tU_(__square__PF2tU_2tU_, _temp0, __u__2tU) , _temp0));
1828	return ;
1829	}
1830	void __f__F__(){
1831	int _thunk0(int _p0){
1832	int _temp1;
1833	void _adapterFi_Pii_(void (_adaptee)(), void _ret, void _p0, void _p1){
1834	((((int )_ret))=((int ()(int , int ))_adaptee)(_p0, (((int )_p1))));
1835	}
1836	void _adapterFi_ii_(void (_adaptee)(), void _ret, void _p0, void _p1){
1837	((((int )_ret))=((int ()(int , int ))_adaptee)((((int )_p0)), (((int *)_p1))));
1838	}
1839	return (__square__A1_0_0____operator_assign__PFt0_Pt0t0____operator_multiply__PFt0_t0t0__Ft0_t0_(_adapterFi_ii_, _adapterFi_Pii_, sizeof(int ), ((void ()())___operator_assign__Fi_Pii_), ((void ()())___operator_multiply__Fi_ii_), (&_temp1), (&_p0)) , _temp1);
1840	}
1841	int _temp2;
1842	int _temp3;
1843	(_temp3=7);
1844	void _adapterFi_Pii_(void (_adaptee)(), void _ret, void _p0, void _p1){
1845	((((int )_ret))=((int ()(int , int ))_adaptee)(_p0, (((int )_p1))));
1846	}
1847	void _adapterFi_i_(void (_adaptee)(), void _ret, void *_p0){
1848	((((int )_ret))=((int ()(int ))_adaptee)((((int *)_p0))));
1849	}
1850	(__quad__A1_0_0____operator_assign__PFt0_Pt0t0___square__PFt0_t0__Ft0_t0_(_adapterFi_i_, _adapterFi_Pii_, sizeof(int ), ((void ()())___operator_assign__Fi_Pii_), ((void ()())(&_thunk0)), (&_temp2), (&_temp3)) , _temp2);
1851	}

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

Download in other formats: