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

Mode	Name	Size
-rw-r--r--	andw.c	66	log stats plain
-rw-r--r--	branch.c	120	log stats plain
-rw-r--r--	branchz.c	118	log stats plain
-rw-r--r--	branchzu.c	129	log stats plain
-rw-r--r--	call.c	187	log stats plain
-rw-r--r--	cast_S32_S64.c	80	log stats plain
-rw-r--r--	cast_S64_U32.c	89	log stats plain
-rw-r--r--	cb.deqz.c	128	log stats plain
-rw-r--r--	cb.dgez.c	127	log stats plain
-rw-r--r--	cb.dgtz.c	132	log stats plain
-rw-r--r--	cb.dlez.c	125	log stats plain
-rw-r--r--	cb.dltz.c	132	log stats plain
-rw-r--r--	cb.dnez.c	128	log stats plain
-rw-r--r--	cb.wgez.c	123	log stats plain
-rw-r--r--	cb.wgtz.c	120	log stats plain
-rw-r--r--	cb.wlez.c	119	log stats plain
-rw-r--r--	cb.wltz.c	124	log stats plain
-rw-r--r--	compd.eq.c	101	log stats plain
-rw-r--r--	compd.geu.c	90	log stats plain
-rw-r--r--	compd.gt.c	80	log stats plain
-rw-r--r--	compd.le.c	81	log stats plain
-rw-r--r--	compd.leu.c	90	log stats plain
-rw-r--r--	compd.lt.c	80	log stats plain
-rw-r--r--	compd.ltu.c	89	log stats plain
-rw-r--r--	compd.ne.c	112	log stats plain
-rw-r--r--	compw.eq.c	91	log stats plain
-rw-r--r--	compw.geu.c	84	log stats plain
-rw-r--r--	compw.gt.c	74	log stats plain
-rw-r--r--	compw.gtu.c	83	log stats plain
-rw-r--r--	compw.le.c	75	log stats plain
-rw-r--r--	compw.leu.c	84	log stats plain
-rw-r--r--	compw.lt.c	74	log stats plain
-rw-r--r--	compw.ltu.c	83	log stats plain
-rw-r--r--	compw.ne.c	102	log stats plain
-rw-r--r--	div2.c	78	log stats plain
-rw-r--r--	doubleconv.c	179	log stats plain
-rw-r--r--	floatconv.c	165	log stats plain
-rw-r--r--	fmuld.c	94	log stats plain
-rw-r--r--	fmulw.c	91	log stats plain
-rw-r--r--	fnegd.c	83	log stats plain
-rw-r--r--	fnegw.c	81	log stats plain
-rw-r--r--	for.c	115	log stats plain
-rw-r--r--	forvar.c	122	log stats plain
-rw-r--r--	forvarl.c	135	log stats plain
-rw-r--r--	fsbfd.c	94	log stats plain
-rw-r--r--	fsbfw.c	91	log stats plain
-rw-r--r--	indirect_call.c	464	log stats plain
-rw-r--r--	indirect_tailcall.c	484	log stats plain
-rw-r--r--	lbs.c	139	log stats plain
-rw-r--r--	lbz.c	145	log stats plain
-rw-r--r--	muld.c	76	log stats plain
-rw-r--r--	mulw.c	72	log stats plain
-rw-r--r--	negd.c	75	log stats plain
-rw-r--r--	ord.c	78	log stats plain
-rw-r--r--	sbfd.c	76	log stats plain
-rw-r--r--	sbfw.c	70	log stats plain
-rw-r--r--	simple.c	70	log stats plain
-rw-r--r--	sllw.c	81	log stats plain
-rw-r--r--	srad.c	89	log stats plain
-rw-r--r--	srld.c	99	log stats plain
-rw-r--r--	tailcall.c	179	log stats plain
-rw-r--r--	udivd.c	85	log stats plain
-rw-r--r--	umodd.c	85	log stats plain
-rw-r--r--	xord.c	76	log stats plain