Results « regression « test - compcert - CompCert fork with minor modifications for Vericert.

Mode	Name	Size
-rw-r--r--	alias	80	log stats plain
-rw-r--r--	alignas	333	log stats plain
-rw-r--r--	aligned	424	log stats plain
-rw-r--r--	attribs1	148	log stats plain
-rw-r--r--	binops	3821	log stats plain
-rw-r--r--	bitfields1	69	log stats plain
-rw-r--r--	bitfields10	384	log stats plain
-rw-r--r--	bitfields2	77	log stats plain
-rw-r--r--	bitfields3	38	log stats plain
-rw-r--r--	bitfields4	188	log stats plain
-rw-r--r--	bitfields5	74	log stats plain
-rw-r--r--	bitfields6	12	log stats plain
-rw-r--r--	bitfields7	12	log stats plain
-rw-r--r--	bitfields8	70	log stats plain
-rw-r--r--	bitfields9	212	log stats plain
-rw-r--r--	bitfields_uint_t	35	log stats plain
-rw-r--r--	bool	60	log stats plain
-rw-r--r--	builtins-aarch64	264	log stats plain
-rw-r--r--	builtins-arm	144	log stats plain
-rw-r--r--	builtins-common	10030	log stats plain
-rw-r--r--	builtins-powerpc	566	log stats plain
-rw-r--r--	builtins-riscV	264	log stats plain
-rw-r--r--	builtins-x86	189	log stats plain
-rw-r--r--	casts1	6	log stats plain
-rw-r--r--	casts2	12	log stats plain
-rw-r--r--	casts3	1001	log stats plain
-rw-r--r--	char1	520	log stats plain
-rw-r--r--	charlit	218	log stats plain
-rw-r--r--	compar	86	log stats plain
-rw-r--r--	compound	553	log stats plain
-rw-r--r--	decl1	12	log stats plain
-rw-r--r--	expr1	10	log stats plain
-rw-r--r--	expr5	2	log stats plain
-rw-r--r--	expr6	181	log stats plain
-rw-r--r--	floats	21	log stats plain
-rw-r--r--	floats-basics	21	log stats plain
-rw-r--r--	floats-lit	52	log stats plain
-rw-r--r--	for1	150	log stats plain
-rw-r--r--	for2	40	log stats plain
-rw-r--r--	funct3	9	log stats plain
-rw-r--r--	funptr2	40	log stats plain
-rw-r--r--	generic	30	log stats plain
-rw-r--r--	ifconv	589	log stats plain
-rw-r--r--	initializers-32	711	log stats plain
-rw-r--r--	initializers-64	712	log stats plain
-rw-r--r--	initializers2	301	log stats plain
-rw-r--r--	initializers3	399	log stats plain
-rw-r--r--	instrsel	545	log stats plain
-rw-r--r--	int32	73491	log stats plain
-rw-r--r--	int64	157815	log stats plain
-rw-r--r--	krfun	111	log stats plain
-rw-r--r--	packedstruct1-32	1274	log stats plain
-rw-r--r--	packedstruct1-64	1274	log stats plain
-rw-r--r--	packedstruct2	185	log stats plain
-rw-r--r--	parsing	60	log stats plain
-rw-r--r--	ptrs3	21	log stats plain
-rw-r--r--	sections	1232	log stats plain
-rw-r--r--	sizeof1-32	122	log stats plain
-rw-r--r--	sizeof1-64	122	log stats plain
-rw-r--r--	sizeof2	4	log stats plain
-rw-r--r--	stringlit	630	log stats plain
-rw-r--r--	struct11	2	log stats plain
-rw-r--r--	struct12	0	log stats plain
-rw-r--r--	struct7	229	log stats plain
-rw-r--r--	struct8	188	log stats plain
-rw-r--r--	switch	240	log stats plain
-rw-r--r--	switch2	546	log stats plain
-rw-r--r--	switch3	203	log stats plain
-rw-r--r--	varargs1	10	log stats plain
-rw-r--r--	varargs2	555	log stats plain
-rw-r--r--	volatile1	38	log stats plain
-rw-r--r--	volatile2	628	log stats plain
-rw-r--r--	volatile3	297	log stats plain
-rw-r--r--	volatile4	64	log stats plain