general « 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--	addw.c	65	log stats plain
-rw-r--r--	andd.c	77	log stats plain
-rw-r--r--	andw.c	65	log stats plain
-rw-r--r--	branch.c	144	log stats plain
-rw-r--r--	branchz.c	147	log stats plain
-rw-r--r--	branchzu.c	145	log stats plain
-rw-r--r--	call.c	234	log stats plain
-rw-r--r--	cb.deqz.c	122	log stats plain
-rw-r--r--	cb.dgez.c	121	log stats plain
-rw-r--r--	cb.dgtz.c	122	log stats plain
-rw-r--r--	cb.dlez.c	121	log stats plain
-rw-r--r--	cb.dltz.c	122	log stats plain
-rw-r--r--	cb.dnez.c	122	log stats plain
-rw-r--r--	cb.wgez.c	115	log stats plain
-rw-r--r--	cb.wgtz.c	116	log stats plain
-rw-r--r--	cb.wlez.c	115	log stats plain
-rw-r--r--	cb.wltz.c	116	log stats plain
-rw-r--r--	compd.eq.c	68	log stats plain
-rw-r--r--	compd.geu.c	77	log stats plain
-rw-r--r--	compd.gt.c	67	log stats plain
-rw-r--r--	compd.gtu.c	76	log stats plain
-rw-r--r--	compd.le.c	68	log stats plain
-rw-r--r--	compd.leu.c	77	log stats plain
-rw-r--r--	compd.lt.c	67	log stats plain
-rw-r--r--	compd.ltu.c	76	log stats plain
-rw-r--r--	compd.ne.c	77	log stats plain
-rw-r--r--	compw.eq.c	62	log stats plain
-rw-r--r--	compw.geu.c	71	log stats plain
-rw-r--r--	compw.gt.c	61	log stats plain
-rw-r--r--	compw.gtu.c	70	log stats plain
-rw-r--r--	compw.le.c	62	log stats plain
-rw-r--r--	compw.leu.c	71	log stats plain
-rw-r--r--	compw.lt.c	61	log stats plain
-rw-r--r--	compw.ltu.c	70	log stats plain
-rw-r--r--	compw.ne.c	71	log stats plain
-rw-r--r--	div2.c	382	log stats plain
-rw-r--r--	for.c	128	log stats plain
-rw-r--r--	forvar.c	143	log stats plain
-rw-r--r--	forvarl.c	174	log stats plain
-rw-r--r--	lbs.c	98	log stats plain
-rw-r--r--	lbz.c	107	log stats plain
-rw-r--r--	muld.c	84	log stats plain
-rw-r--r--	mulw.c	72	log stats plain
-rw-r--r--	negd.c	97	log stats plain
-rw-r--r--	ord.c	84	log stats plain
-rw-r--r--	sbfd.c	84	log stats plain
-rw-r--r--	sbfw.c	72	log stats plain
-rw-r--r--	simple.c	90	log stats plain
-rw-r--r--	sllw.c	75	log stats plain
-rw-r--r--	srad.c	87	log stats plain
-rw-r--r--	srld.c	105	log stats plain
-rw-r--r--	udivd.c	105	log stats plain
-rw-r--r--	umodd.c	105	log stats plain
-rw-r--r--	xord.c	84	log stats plain