instr « mppa « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	.gitignore	8	log stats plain
-rw-r--r--	Makefile	3286	log stats plain
-rw-r--r--	addw.c	64	log stats plain
-rw-r--r--	andd.c	70	log stats plain
-rw-r--r--	andw.c	64	log stats plain
-rw-r--r--	branch.c	118	log stats plain
-rw-r--r--	branchz.c	116	log stats plain
-rw-r--r--	branchzu.c	127	log stats plain
-rw-r--r--	call.c	185	log stats plain
-rw-r--r--	cast_S32_S64.c	80	log stats plain
-rw-r--r--	cast_S64_U32.c	87	log stats plain
-rw-r--r--	cast_U32_S64.c	87	log stats plain
-rw-r--r--	cb.deqz.c	126	log stats plain
-rw-r--r--	cb.dgez.c	125	log stats plain
-rw-r--r--	cb.dgtz.c	130	log stats plain
-rw-r--r--	cb.dlez.c	123	log stats plain
-rw-r--r--	cb.dltz.c	130	log stats plain
-rw-r--r--	cb.dnez.c	126	log stats plain
-rw-r--r--	cb.wgez.c	121	log stats plain
-rw-r--r--	cb.wgtz.c	118	log stats plain
-rw-r--r--	cb.wlez.c	117	log stats plain
-rw-r--r--	cb.wltz.c	122	log stats plain
-rw-r--r--	compd.eq.c	99	log stats plain
-rw-r--r--	compd.geu.c	88	log stats plain
-rw-r--r--	compd.gt.c	78	log stats plain
-rw-r--r--	compd.gtu.c	87	log stats plain
-rw-r--r--	compd.le.c	79	log stats plain
-rw-r--r--	compd.leu.c	88	log stats plain
-rw-r--r--	compd.lt.c	78	log stats plain
-rw-r--r--	compd.ltu.c	87	log stats plain
-rw-r--r--	compd.ne.c	110	log stats plain
-rw-r--r--	compw.eq.c	89	log stats plain
-rw-r--r--	compw.geu.c	82	log stats plain
-rw-r--r--	compw.gt.c	72	log stats plain
-rw-r--r--	compw.gtu.c	81	log stats plain
-rw-r--r--	compw.le.c	73	log stats plain
-rw-r--r--	compw.leu.c	82	log stats plain
-rw-r--r--	compw.lt.c	72	log stats plain
-rw-r--r--	compw.ltu.c	81	log stats plain
-rw-r--r--	compw.ne.c	100	log stats plain
-rw-r--r--	div2.c	76	log stats plain
-rw-r--r--	for.c	113	log stats plain
-rw-r--r--	forvar.c	122	log stats plain
-rw-r--r--	forvarl.c	133	log stats plain
-rw-r--r--	framework.h	1011	log stats plain
-rw-r--r--	indirect_call.c	462	log stats plain
-rw-r--r--	indirect_tailcall.c	482	log stats plain
-rw-r--r--	lbs.c	137	log stats plain
-rw-r--r--	lbz.c	143	log stats plain
-rw-r--r--	muld.c	74	log stats plain
-rw-r--r--	mulw.c	70	log stats plain
-rw-r--r--	negd.c	73	log stats plain
-rw-r--r--	ord.c	76	log stats plain
-rw-r--r--	sbfd.c	74	log stats plain
-rw-r--r--	sbfw.c	68	log stats plain
-rw-r--r--	simple.c	68	log stats plain
-rw-r--r--	sllw.c	79	log stats plain
-rw-r--r--	srad.c	87	log stats plain
-rw-r--r--	srld.c	97	log stats plain
-rw-r--r--	tailcall.c	177	log stats plain
-rw-r--r--	udivd.c	83	log stats plain
-rw-r--r--	umodd.c	83	log stats plain
-rw-r--r--	xord.c	74	log stats plain