wrecc
is a small,lean x86-64 C99 compiler written from scratch. The name is a play on the word wreck which describes a rusting ship on the sea floor.
The compiler emits x86-64 assembly in AT&T syntax, it adheres to the System V ABI which I could only test for Ubuntu and Macos. There are no dependencies you only need your assembler and linker which the compiler then invokes to create the final binary.
If you don't have the rust toolchain installed on your system you can install the latest binary (MacOs, Linux) from the releases directly:
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/PhilippRados/wrecc/releases/download/v0.2.0/wrecc-installer.sh | sh
Using cargo binstall
cargo binstall wrecc
or building from source
cargo install wrecc
Since not all keywords are currently implemented wrecc uses custom standard-headers which are built directly into the binary
The preprocessor implements all C99 preprocessor directives, except #line
and #pragma
. Most prominently it currently also misses function-like macros which are on the agenda though.
Aggregate initialization with designated initializers
struct {
union {
int foo;
long baz;
} nested;
int array[16];
} bar = { .nested.foo = 3, .array[6] = 1};
Function pointers
#include <stdio.h>
typedef int (*BinaryOperation)(int, int);
typedef struct {
BinaryOperation add;
BinaryOperation subtract;
} Calculator;
int add(int a, int b) { return a + b; }
int subtract(int a, int b) { return a - b; }
int main() {
Calculator calc = {add, subtract};
printf("Result of addition: %d\n", calc.add(10, 5));
printf("Result of subtraction: %d\n", calc.subtract(10, 5));
}
Constant folding
char **string_offset = (char **)&"hello" + (int)(3 * 1);
int array[(long)3 * 2 - 1];
Aside from the missing keywords these are the main missing features:
- Arrays with unspecified size
- Compiling multiple files at once
- Raw structs/unions as function argument-/return-types
- Floating point types
Here is a list of all the stuff still missing: todo
Wrecc also has nice looking messages. Error reporting doesn't stop after the first error. Using the --no-color
option you can switch off color-highlighting in errors. Currently there are only errors and no warnings.
C code | Errors |
---|---|
int foo(void);
int main() {
int a = foo(1);
long *p = a;
return p * 2;
} |
When compiling using the --dump-ast
option it prints the parse-tree
C code | AST |
---|---|
#define SIZE 16
void foo(char);
int main() {
int arr[SIZE] = {1, 2};
char p = (char)(*arr + 3);
switch (p) {
case 'c':
foo(p);
}
} |
|
Run different types of tests with make <target>
. Available targets can be inspected using make help
as shown below.
$ make help
Usage:
make <target>
help Display this help
unit-tests Run rust unit-tests
snapshot-tests Run snapshot-tests located in tests/
c-testsuite Requires c-testsuite (https://github.com/c-testsuite/c-testsuite) and env-var C_TESTSUITE set to its path
fuzzer Launch afl.rs fuzzer
Reasons for wrecc
not working properly on your machine:
- Unsupported architecture/OS
- Cannot find libc in standard library search paths (can be fixed by passing custom search path using
-L <path>
option) - If it's not mentioned in the unimplemented features section then please raise an issue
If you want to help me with this compiler I would really welcome it. The easiest place to start is probably by implementing one of the missing keywords/types mentioned in the unimplemented features section. Make sure all tests still pass and implement your own if it's something new that is not already being tested.
Have a look at the documentation to get a high level overview of the compiler pipeline.
- Not relying on custom headers
- Passing all C99 tests in c-testsuite
- Compiling real-world C projects like Git
The following resources helped me in building this compiler:
- Crafting Interpreters
- Engineering a Compiler (Book)
- acwj
- saltwater
- chibicc