This repository containes control-flow graphs of
various C functions. The control-flow graphs were obtained
from the iCode at register allocation in the Small Device
C Compiler [1] by compiling, the SDCC standard C library
from the SDCC 3.7.0 release, a C version of the floating-
point benchmark Whetstone [2], an ISO C version of
version 2 of the integer benchmark Dhrystone [3], the
integer benchmark Coremark [4], version 0.5 of stdcbench [5],
version 2.5 of the operating system Contiki [5] and the
operating systems FUZIX, NuttX, Atomthreads
(from the repositories as of 2017-10-19).

The directory extractgraphs-pre contains infrastructure
for extracting control-flow graphs on which no global redundancy-
elimination has been performed (the graphs are taken from SDCC
with GCSE disabled, before lospre).

[1] http://sdcc.sourceforge.net/

[2] H. J. Curnow and B. A. Wichmann. A Synthetic
Benchmark. Computer Journal, 19:43–49, 1976.

[3] R. P. Weicker. Dhrystone Benchmark: Rationale for
Version 2 and Measurement Rules. SIGPLAN Notices,
23:49–62, 1988.

[4] S. Gal-On. Coremark. http://www.coremark.org.

[5] P. K. Krause. stdcbench: A Benchmark for Small
Systems Proceedings of the 21st International Workshop
on Software and Compilers for Embedded Systems, 43–46,
2018.

[6] A. Dunkels, B. Grönvall, and T. Voigt. Contiki - a
Lightweight and Flexible Operating System for Tiny
Networked Sensors. Emnets-I, 2004.