Context Navigation

dimexpr-match-cfa.txt @ ffac259

Last change on this file since ffac259 was f02f546, checked in by Michael Brooks <mlbrooks@…>, 17 months ago

Implement new rules for array dimension expression matching.

Core changes:
src/ResolvExpr/Unify.cc: add sense of "these two expressions unify"
src/InitTweak/GenInit.cc: make hoisting happen more often
tests/array-container/*: reconfigure the array-dimension test to use non-"classic" expectation rules

Misc contributors and noise:
libcfa/src/parseargs.cfa: ,ake a parameter, that's used as a length expression, constant (example of an array user following new rules)
src/ResolvExpr/ResolveTypeof.h: make fixArrayType public
src/Validate/GenericParameter.cpp: do the array-type desugaring in both AST corners that forall-variables can be found (not just in one of them)
tests/.expect/typedefRedef-ERR1.txt: old one was "expecting" a bug, that new array rules handle correctly

Property mode set to 100644

File size: 7.9 KB

Rev	Line
[0f4ac10]	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
[f02f546]	3	skip STA NE STA, L=7, R=42
[0f4ac10]	4	done STA EQ STA, L=7, R=enu7
[f02f546]	5	skip STA NE STA, L=7, R=enu42
[0f4ac10]	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
[f02f546]	9	skip STA NE STA, L=enu7, R=enu42
[0f4ac10]	10	done STA EQ STA, L=enu7, R=7
[f02f546]	11	skip STA NE STA, L=enu7, R=42
[0f4ac10]	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
[f02f546]	15	skip DYN NE DYN, L=cpr7, R=cpr42
[0f4ac10]	16	skip DYN NE STA, L=cpr7, R=42
	17	skip DYN NE STA, L=cpr7, R=enu42
[f02f546]	18	skip DYN NE UNS, L=cpr7, R=mut42
	19	skip UNS EQ UNS, L=mut7, R=mut7
	20	skip UNS NE UNS, L=mut7, R=mut42
[0f4ac10]	21	skip UNS NE STA, L=mut7, R=42
	22	skip UNS NE STA, L=mut7, R=enu42
[f02f546]	23	skip UNS NE DYN, L=mut7, R=cpr42
	24	skip STA NE DYN, L=7, R=dim42
	25	skip STA NE DYN, L=enu7, R=dim42
	26	skip DYN NE DYN, L=cpr7, R=dim42
	27	done DYN EQ DYN, L=dim7, R=dim7
	28	skip DYN NE DYN, L=dim7, R=dim42
	29	skip DYN NE STA, L=dim7, R=42
	30	skip DYN NE STA, L=dim7, R=enu42
	31	skip DYN NE DYN, L=dim7, R=cpr42
	32	skip DYN NE UNS, L=dim7, R=mut42
	33	skip UNS NE DYN, L=mut7, R=dim42
[0f4ac10]	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
[f02f546]	36	skip STA NE STA, L=7, R=42
[0f4ac10]	37	done STA EQ STA, L=7, R=enu7
[f02f546]	38	skip STA NE STA, L=7, R=enu42
[0f4ac10]	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
[f02f546]	42	skip STA NE STA, L=enu7, R=enu42
[0f4ac10]	43	done STA EQ STA, L=enu7, R=7
[f02f546]	44	skip STA NE STA, L=enu7, R=42
[0f4ac10]	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
[f02f546]	48	skip DYN NE DYN, L=cpr7, R=cpr42
[0f4ac10]	49	skip DYN NE STA, L=cpr7, R=42
	50	skip DYN NE STA, L=cpr7, R=enu42
[f02f546]	51	skip DYN NE UNS, L=cpr7, R=mut42
	52	skip UNS EQ UNS, L=mut7, R=mut7
	53	skip UNS NE UNS, L=mut7, R=mut42
[0f4ac10]	54	skip UNS NE STA, L=mut7, R=42
	55	skip UNS NE STA, L=mut7, R=enu42
[f02f546]	56	skip UNS NE DYN, L=mut7, R=cpr42
	57	skip STA NE DYN, L=7, R=dim42
	58	skip STA NE DYN, L=enu7, R=dim42
	59	skip DYN NE DYN, L=cpr7, R=dim42
	60	done DYN EQ DYN, L=dim7, R=dim7
	61	skip DYN NE DYN, L=dim7, R=dim42
	62	skip DYN NE STA, L=dim7, R=42
	63	skip DYN NE STA, L=dim7, R=enu42
	64	skip DYN NE DYN, L=dim7, R=cpr42
	65	skip DYN NE UNS, L=dim7, R=mut42
	66	skip UNS NE DYN, L=mut7, R=dim42
[0f4ac10]	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
[f02f546]	69	skip STA NE STA, L=7, R=42
[0f4ac10]	70	done STA EQ STA, L=7, R=enu7
[f02f546]	71	skip STA NE STA, L=7, R=enu42
[0f4ac10]	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
[f02f546]	75	skip STA NE STA, L=enu7, R=enu42
[0f4ac10]	76	done STA EQ STA, L=enu7, R=7
[f02f546]	77	skip STA NE STA, L=enu7, R=42
[0f4ac10]	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
[f02f546]	81	skip DYN NE DYN, L=cpr7, R=cpr42
[0f4ac10]	82	skip DYN NE STA, L=cpr7, R=42
	83	skip DYN NE STA, L=cpr7, R=enu42
[f02f546]	84	skip DYN NE UNS, L=cpr7, R=mut42
	85	skip UNS EQ UNS, L=mut7, R=mut7
	86	skip UNS NE UNS, L=mut7, R=mut42
[0f4ac10]	87	skip UNS NE STA, L=mut7, R=42
	88	skip UNS NE STA, L=mut7, R=enu42
[f02f546]	89	skip UNS NE DYN, L=mut7, R=cpr42
	90	skip STA NE DYN, L=7, R=dim42
	91	skip STA NE DYN, L=enu7, R=dim42
	92	skip DYN NE DYN, L=cpr7, R=dim42
	93	done DYN EQ DYN, L=dim7, R=dim7
	94	skip DYN NE DYN, L=dim7, R=dim42
	95	skip DYN NE STA, L=dim7, R=42
	96	skip DYN NE STA, L=dim7, R=enu42
	97	skip DYN NE DYN, L=dim7, R=cpr42
	98	skip DYN NE UNS, L=dim7, R=mut42
	99	skip UNS NE DYN, L=mut7, R=dim42
[0f4ac10]	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
[f02f546]	102	skip STA NE STA, L=7, R=42
[0f4ac10]	103	done STA EQ STA, L=7, R=enu7
[f02f546]	104	skip STA NE STA, L=7, R=enu42
[0f4ac10]	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
[f02f546]	108	skip STA NE STA, L=enu7, R=enu42
[0f4ac10]	109	done STA EQ STA, L=enu7, R=7
[f02f546]	110	skip STA NE STA, L=enu7, R=42
[0f4ac10]	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
[f02f546]	114	skip DYN NE DYN, L=cpr7, R=cpr42
[0f4ac10]	115	skip DYN NE STA, L=cpr7, R=42
	116	skip DYN NE STA, L=cpr7, R=enu42
[f02f546]	117	skip DYN NE UNS, L=cpr7, R=mut42
	118	skip UNS EQ UNS, L=mut7, R=mut7
	119	skip UNS NE UNS, L=mut7, R=mut42
[0f4ac10]	120	skip UNS NE STA, L=mut7, R=42
	121	skip UNS NE STA, L=mut7, R=enu42
[f02f546]	122	skip UNS NE DYN, L=mut7, R=cpr42
	123	skip STA NE DYN, L=7, R=dim42
	124	skip STA NE DYN, L=enu7, R=dim42
	125	skip DYN NE DYN, L=cpr7, R=dim42
	126	done DYN EQ DYN, L=dim7, R=dim7
	127	skip DYN NE DYN, L=dim7, R=dim42
	128	skip DYN NE STA, L=dim7, R=42
	129	skip DYN NE STA, L=dim7, R=enu42
	130	skip DYN NE DYN, L=dim7, R=cpr42
	131	skip DYN NE UNS, L=dim7, R=mut42
	132	skip UNS NE DYN, L=mut7, R=dim42
[0f4ac10]	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
[f02f546]	135	skip STA NE STA, L=7, R=42
[0f4ac10]	136	done STA EQ STA, L=7, R=enu7
[f02f546]	137	skip STA NE STA, L=7, R=enu42
[0f4ac10]	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
[f02f546]	141	skip STA NE STA, L=enu7, R=enu42
[0f4ac10]	142	done STA EQ STA, L=enu7, R=7
[f02f546]	143	skip STA NE STA, L=enu7, R=42
[0f4ac10]	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
[f02f546]	147	skip DYN NE DYN, L=cpr7, R=cpr42
[0f4ac10]	148	skip DYN NE STA, L=cpr7, R=42
	149	skip DYN NE STA, L=cpr7, R=enu42
[f02f546]	150	skip DYN NE UNS, L=cpr7, R=mut42
	151	skip UNS EQ UNS, L=mut7, R=mut7
	152	skip UNS NE UNS, L=mut7, R=mut42
[0f4ac10]	153	skip UNS NE STA, L=mut7, R=42
	154	skip UNS NE STA, L=mut7, R=enu42
[f02f546]	155	skip UNS NE DYN, L=mut7, R=cpr42
	156	skip STA NE DYN, L=7, R=dim42
	157	skip STA NE DYN, L=enu7, R=dim42
	158	skip DYN NE DYN, L=cpr7, R=dim42
	159	done DYN EQ DYN, L=dim7, R=dim7
	160	skip DYN NE DYN, L=dim7, R=dim42
	161	skip DYN NE STA, L=dim7, R=42
	162	skip DYN NE STA, L=dim7, R=enu42
	163	skip DYN NE DYN, L=dim7, R=cpr42
	164	skip DYN NE UNS, L=dim7, R=mut42
	165	skip UNS NE DYN, L=mut7, R=dim42
[0f4ac10]	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
[f02f546]	168	skip STA NE STA, L=7, R=42
[0f4ac10]	169	done STA EQ STA, L=7, R=enu7
[f02f546]	170	skip STA NE STA, L=7, R=enu42
[0f4ac10]	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
[f02f546]	174	skip STA NE STA, L=enu7, R=enu42
[0f4ac10]	175	done STA EQ STA, L=enu7, R=7
[f02f546]	176	skip STA NE STA, L=enu7, R=42
[0f4ac10]	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
[f02f546]	180	skip DYN NE DYN, L=cpr7, R=cpr42
[0f4ac10]	181	skip DYN NE STA, L=cpr7, R=42
	182	skip DYN NE STA, L=cpr7, R=enu42
[f02f546]	183	skip DYN NE UNS, L=cpr7, R=mut42
	184	skip UNS EQ UNS, L=mut7, R=mut7
	185	skip UNS NE UNS, L=mut7, R=mut42
[0f4ac10]	186	skip UNS NE STA, L=mut7, R=42
	187	skip UNS NE STA, L=mut7, R=enu42
[f02f546]	188	skip UNS NE DYN, L=mut7, R=cpr42
	189	skip STA NE DYN, L=7, R=dim42
	190	skip STA NE DYN, L=enu7, R=dim42
	191	skip DYN NE DYN, L=cpr7, R=dim42
	192	done DYN EQ DYN, L=dim7, R=dim7
	193	skip DYN NE DYN, L=dim7, R=dim42
	194	skip DYN NE STA, L=dim7, R=42
	195	skip DYN NE STA, L=dim7, R=enu42
	196	skip DYN NE DYN, L=dim7, R=cpr42
	197	skip DYN NE UNS, L=dim7, R=mut42
	198	skip UNS NE DYN, L=mut7, R=dim42
[0f4ac10]	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
[f02f546]	201	skip STA NE STA, L=7, R=42
[0f4ac10]	202	done STA EQ STA, L=7, R=enu7
[f02f546]	203	skip STA NE STA, L=7, R=enu42
[0f4ac10]	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
[f02f546]	207	skip STA NE STA, L=enu7, R=enu42
[0f4ac10]	208	done STA EQ STA, L=enu7, R=7
[f02f546]	209	skip STA NE STA, L=enu7, R=42
[0f4ac10]	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
[f02f546]	213	skip DYN NE DYN, L=cpr7, R=cpr42
[0f4ac10]	214	skip DYN NE STA, L=cpr7, R=42
	215	skip DYN NE STA, L=cpr7, R=enu42
[f02f546]	216	skip DYN NE UNS, L=cpr7, R=mut42
	217	skip UNS EQ UNS, L=mut7, R=mut7
	218	skip UNS NE UNS, L=mut7, R=mut42
[0f4ac10]	219	skip UNS NE STA, L=mut7, R=42
	220	skip UNS NE STA, L=mut7, R=enu42
[f02f546]	221	skip UNS NE DYN, L=mut7, R=cpr42
	222	skip STA NE DYN, L=7, R=dim42
	223	skip STA NE DYN, L=enu7, R=dim42
	224	skip DYN NE DYN, L=cpr7, R=dim42
	225	done DYN EQ DYN, L=dim7, R=dim7
	226	skip DYN NE DYN, L=dim7, R=dim42
	227	skip DYN NE STA, L=dim7, R=42
	228	skip DYN NE STA, L=dim7, R=enu42
	229	skip DYN NE DYN, L=dim7, R=cpr42
	230	skip DYN NE UNS, L=dim7, R=mut42
	231	skip UNS NE DYN, 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 @ ffac259

Download in other formats: