mtaciano/cmc

Um compilador para a linguagem C- derivada de C.

Compilador para C-

Sobre

Nesse repositório está o compilador para um subset da linguagem C, conhecido como C-.

Todas as etapas foram implementadas, sendo elas:

• Lexer
• Parser
• Analyser
• Gerador de código intermediário
• Gerador de código assembly
• Gerador de código binário

Pode-se melhorar diversas partes do código. No entanto, para o propósito desejado, a implementação atual é o suficiente.

Instalação

Após clonar o repositório, entre nele e crie a pasta para onde os arquivos de compilação serão armazenados:

cd cmc
mkdir build

Para realizar o desenvolvimento do compilador cmc é recomendado usar seguinte comando:

make debug # Gera código ideal para o desenvolvimento

Para utilizar o compilador cmc como um produto final é recomendado usar o seguinte comando:

make release # Gera código otimizado em tanto tamanho e velocidade

Dependências

• Rust
• Clang
• Bison
• Flex

Contribuição

Caso ache erros, use a aba de issues para relatá-los.

Licença

A licença usada para o compilador é a licença permissiva MIT.

cmc's Issues

Suporte para geração de código intermediário da estrutura `WhileK`

Ainda não há suporte para o padrão while, logo é necessário adicionar suporte através das seguintes partes:
Entrada do nó:
https://github.com/mtaciano/compilador/blob/a32f83a59b0efe94ba92808f738e893beeec97d0/code.c#L143-L145

Parte não implementada do WhileK:
https://github.com/mtaciano/compilador/blob/a32f83a59b0efe94ba92808f738e893beeec97d0/code.c#L379

Cuidados ao implementar:

• Caso haja um IfK dentro, os labels serão bagunçados, então trocar para um stack se necessário
• Implementação é um IFF, mas que volta para o label logo depois dele, só saindo do loop quando falso

Suporte para geração de código intermediário das variáveis do tipo `ArrIdK`

No momento, variáveis que sejam arrays, como a[10] não tem suporte na geração do código intermediário, portanto é necessário adicionar suporte para as mesmas.

Linhas de interesse:

Entrada no nó:
https://github.com/mtaciano/compilador/blob/a32f83a59b0efe94ba92808f738e893beeec97d0/code.c#L220-L222

Para a saída do nó ainda não há switch para ela.

Pontos importantes:

• Possívelmente tratar arrays como várias variáveis, no entanto isso pode causar problemas com valores grandes
• Para dar um assign em uma variável do tipo array talvez seja necessário dar um LOAD com um offset do valor dentro dos []