mazucc's Introduction

MazuCC

MazuCC is a minimalist C compiler with x86_64 code generation. It is intended to support partial C99 language features while keeping the code as small and simple as possible.

Build

Run make to build:

$ make

MazuCC comes with unit tests. To run the tests, give "check" as an argument:

$ make check

MazuCC is known to work on both GNU/Linux and macOS.

Use MazuCC to compile C source:

$ ./mzcc  sample/nqueen.c

Alternatively, MazuCC accepts the stream from standard input. The equivalent form for the above command is:

$ cat sample/nqueen.c | ./mzcc -

You will get the generated x86_64 assembly in AT&T syntax. The output can be assembled and linked into a valid executable:

$ ./mzcc -o sample/nqueen.s sample/nqueen.c
$ gcc -no-pie -o sample/nqueen sample/nqueen.s

If MazuCC is compiled and executed on macOS, the above argument -no-pie should be eliminated.

Reference output of MazuCC-compiled sample/nqueen:

Q . . . . . . .
. . . . Q . . .
. . . . . . . Q
. . . . . Q . .
. . Q . . . . .
. . . . . . Q .
. Q . . . . . .
. . . Q . . . .

Alternatively, you can dump internal abstract syntax tree:

echo 'struct {int x; char y; struct { int t; } z; } a;' | ./mzcc --dump-ast -

The expected output in S-expression form:

(decl (struct (int)
              (char)
              ((struct (int)))) a)

Acknowledge

MazuCC is heavily inspired by 8cc.

License

MazuCC is freely redistributable under the BSD 2 clause license. Use of this source code is governed by a BSD-style license that can be found in the LICENSE file.

mazucc's Issues

continuous integration is not set

Travis-CI is the preferable continuous integration so far.

Does not parse the word void

The examples I tried:

$ ./mzcc --dump-ast
void main() {
parser.c:794: Type expected, but got void
$ ./mzcc --dump-ast
void main(void) {}
parser.c:794: Type expected, but got void
$ ./mzcc --dump-ast
int main(void) {
parser.c:794: Type expected, but got void

It does not have support for preprocessors, as it is #include

When wanting to do #include <stdio.h> an error appears:

mzcc --dump-ast ./main.c -o ./x
lexer.c:209: Unexpected character: '#'

Duplicate lines

static Ast *ast_for(Ast *init, Ast *cond, Ast *step, Ast *body)
{
    Ast *r = malloc(sizeof(Ast));
    r->type = AST_FOR;
    r->ctype = NULL;
    r->forinit = init;
    r->forcond = cond;
    r->forstep = step;
    r->forstep = step;
    r->forbody = body;
    return r;
}

Is there a duplicated line: "r->forstep = step;"?

strict-aliasing rules are violated when optimizer is enabled

When MazuCC is built with gcc + -O2 optimizations, the following errors happen:

codegen_x64.c: In function ‘emit_data_section’:
codegen_x64.c:728:9: error: dereferencing type-punned pointer will break strict-aliasing rules [-Werror=strict-aliasing]
         emit(".long %d", ((int *) &v->fval)[0]);
         ^~~~

Recommend Projects

jserv / mazucc Goto Github PK

mazucc's Introduction

MazuCC

Build

Acknowledge

License

mazucc's People

Contributors

Stargazers

Watchers

Forkers

mazucc's Issues

Recommend Projects

Recommend Topics

Recommend Org