Udon C Compiler: C compiler for our original architecture, GAIA
Switch branches/tags
Nothing to show
Clone or download
Latest commit aa3c131 Nov 18, 2016
Type Name Latest commit message Commit time
Failed to load latest commit information.
bin fix include directory order of ucc script Mar 13, 2015
extlib update submodule Mar 15, 2015
include add some function in string.h Mar 12, 2015
lib use finv and fsqrt Mar 15, 2015
src rename type.ml to typed_syntax.ml Mar 19, 2015
test don't emit fcmpeq and fcmpne Mar 12, 2015
.gitignore separate libc from libucc Feb 19, 2015
.gitmodules update .gitmodules for travis-ci Feb 3, 2015
.proverc add malloc Feb 2, 2015
.travis.yml fix travis config Dec 10, 2014
Makefile separate libc from libucc Feb 19, 2015
README.md Update README.md Nov 18, 2016
travis-ci.sh add test-benz target Feb 3, 2015


UCC - Udon C Compiler Build Status

C compiler for GAIA CPU written in OCaml.


  • OCaml >= 4.0.1
  • ocamlbuild >= 4.0.1
  • Clang (for preprocessing and syntax check)



To run the tests, use the following command.

make test


You can compile C file by the following command.

./bin/ucc ./test/printf.c

Then, a.out will be created. It runs on the simulator.

./bin/sim -simple a.out

You can check generated assembly by -S option.

./bin/ucc -S ./test/printf.c

If you want to see other options, please use -h option.

In addition, UCC can compile xv6 ported to GAIA, a simple Unix-like OS. Please use this Makefile to try it.