wrecc

wrecc é um compilador C99 x86-64 pequeno e enxuto escrito do zero. O nome é uma brincadeira com a palavra naufrágio , que descreve um navio enferrujado no fundo do mar. O compilador emite assembly x86-64 na sintaxe AT&T, ele segue o System V ABI que só pude testar para Ubuntu e Macos. Não há dependências, você só precisa do montador e do vinculador que o compilador invoca para criar o binário final.

Índice

• Instalação
  • Binários pré-construídos
  • Carga
• Características
  • Pré-processador
  • Compilador
    • Palavras-chave suportadas
    • Recursos não implementados
  • Mensagens de erro
  • Ast impressora bonita
• Teste
  • Testes unitários
  • Testes instantâneos
  • Fuzzer
• Solução de problemas
• Contribuição
• Metas do projeto
• Recursos

Instalação

Binários pré-construídos

Se você não possui o conjunto de ferramentas Rust instalado em seu sistema, você pode instalar o binário mais recente (MacOs, Linux) diretamente das versões:

 curl --proto '=https' --tlsv1.2 -LsSf https://github.com/PhilippRados/wrecc/releases/download/v0.2.0/wrecc-installer.sh | sh

Carga

Usando cargo binstall

 cargo binstall wrecc

ou construindo a partir da fonte

 cargo install wrecc

Características

Como nem todas as palavras-chave estão implementadas atualmente, o wrecc usa cabeçalhos padrão personalizados que são incorporados diretamente no binário

Pré-processador

O pré-processador implementa todas as diretivas do pré-processador C99, exceto #line , #error e #pragma . Mais importante ainda, atualmente também faltam macros funcionais que estão na agenda.

Compilador

Palavras-chave suportadas

Fora isso, ele ainda suporta:

Inicialização agregada com inicializadores designados

 struct {
  union {
    int foo ;
    long baz ;
  } nested ;
  int array [ 16 ];
} bar = { . nested . foo = 3 , . array [ 6 ] = 1 };

Ponteiros de função

 #include 

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: %dn" , calc . add ( 10 , 5 ));
  printf ( "Result of subtraction: %dn" , calc . subtract ( 10 , 5 ));
}

Dobragem constante

 char * * string_offset = ( char * * ) & "hello" + ( int )( 3 * 1 );
int array [( long ) 3 * 2 - 1 ];

Recursos não implementados

Além das palavras-chave ausentes, estes são os principais recursos ausentes:

• Matrizes com tamanho não especificado
• Compilando vários arquivos de uma vez
• Estruturas/uniões brutas como tipos de argumento/retorno de função
• Tipos de ponto flutuante
  

Aqui está uma lista de todas as coisas que ainda faltam: todo

Mensagens de erro

Wrecc também tem mensagens bonitas. O relatório de erros não para após o primeiro erro. Usando a opção --no-color você pode desativar o realce de cores em caso de erros. Atualmente existem apenas erros e nenhum aviso.

Código C	Erros
int foo ( void ); int main () { int a = foo ( 1 ); long * p = a ; return p * 2 ; }

Ast impressora bonita

Ao compilar usando a opção --dump-ast ele imprime a árvore de análise

Código C

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 ); } }

Declaration: -Decl: 'foo' FuncDef: 'main' -Declaration: --Init: 'arr' ---Aggregate: ----Scalar: -----Literal: 1 ----Scalar: -----Literal: 2 -Declaration: --Init: 'p' ---Scalar: ----Cast: 'char' -----Grouping: ------Binary: '+' -------Unary: '*' --------Ident: 'arr' -------Literal: 3 -Switch: --Ident: 'p' --Block: ---Case: ----Literal: 99 ----Expr: -----FuncCall: ------Ident: 'foo' ------Ident: 'p'

Inspecione todas as opções executando wrecc --help

Teste

Testes unitários

 cargo test --workspace

Teste de instantâneo

Isso executa todos os fixtures e os compara com o snapshot esperado

 bash tests/snapshot_tests.sh

Fuzzer

Executa o fuzzer usando afl.rs

 // in fuzzer directory
cargo afl build
cargo afl fuzz -i inputs -o outputs target/debug/fuzz_target

Solução de problemas

Razões para wrecc não funcionar corretamente em sua máquina:

• Arquitetura/SO sem suporte
• Não é possível encontrar libc nos caminhos de pesquisa da biblioteca padrão (pode ser corrigido passando o caminho de pesquisa personalizado usando a opção -L )
• Se não for mencionado na seção de recursos não implementados, levante um problema

Contribuição

Se você quiser me ajudar com este compilador, eu realmente agradeceria. O lugar mais fácil para começar é provavelmente implementando uma das palavras-chave/tipos ausentes mencionadas na seção de recursos não implementados. Certifique-se de que todos os testes ainda sejam aprovados e implemente o seu próprio, se for algo novo que ainda não esteja sendo testado.
Dê uma olhada na documentação para obter uma visão geral de alto nível do pipeline do compilador.

Metas do projeto

• Não depender de cabeçalhos personalizados
• Passando em todos os testes C99 no c-testsuite
• Compilando projetos C do mundo real como Git

Recursos

Os seguintes recursos me ajudaram na construção deste compilador:

• Elaboração de intérpretes
• Engenharia de um compilador (livro)
• acwj
• água salgada
• chibicc