Unduhan wrecc - pengunduhan kode sumber wrecc

wrecc

kode sumber C#

v0.2.0

Unduh

wrecc adalah kompiler C99 x86-64 kecil dan ramping yang ditulis dari awal. Nama tersebut merupakan plesetan dari kata bangkai kapal yang menggambarkan sebuah kapal berkarat di dasar laut. Kompiler mengeluarkan perakitan x86-64 dalam sintaks AT&T, ia mematuhi System V ABI yang hanya dapat saya uji untuk Ubuntu dan Macos. Tidak ada ketergantungan, Anda hanya memerlukan assembler dan linker yang kemudian dipanggil oleh kompiler untuk membuat biner akhir.

Daftar isi

Instalasi
- Biner yang sudah dibuat sebelumnya
- Muatan
Fitur
- Praprosesor
- Penyusun
  - Kata kunci yang didukung
  - Fitur yang belum diimplementasikan
- Pesan kesalahan
- Printer cantik
Pengujian
- Tes unit
- Tes potret
- bulu halus
Pemecahan masalah
Kontribusi
Tujuan proyek
Sumber daya

Instalasi

Biner yang sudah dibuat sebelumnya

Jika Anda belum memasang rantai alat karat di sistem, Anda dapat memasang biner terbaru (MacOs, Linux) langsung dari rilisnya:

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

Muatan

Menggunakan cargo binstall

 cargo binstall wrecc

atau membangun dari sumber

 cargo install wrecc

Fitur

Karena tidak semua kata kunci saat ini diimplementasikan, wrecc menggunakan header standar khusus yang dibuat langsung ke dalam biner

Praprosesor

Praprosesor mengimplementasikan semua arahan praprosesor C99, kecuali #line , #error dan #pragma . Yang paling menonjol saat ini adalah makro tersebut juga tidak memiliki fungsi seperti makro yang ada dalam agenda.

Penyusun

Kata Kunci yang Didukung

Selain itu bahkan mendukung:

Inisialisasi agregat dengan inisialisasi yang ditunjuk

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

Penunjuk fungsi

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

Lipatan konstan

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

Fitur yang Belum Diimplementasikan

Selain kata kunci yang hilang, berikut adalah fitur utama yang hilang:

Array dengan ukuran tidak ditentukan
Kompilasi banyak file sekaligus
Struct/union mentah sebagai tipe argumen/pengembalian fungsi
Jenis titik mengambang

Berikut adalah daftar semua hal yang masih hilang: tugas

Pesan kesalahan

Wrecc juga memiliki pesan yang terlihat bagus. Pelaporan kesalahan tidak berhenti setelah kesalahan pertama. Dengan menggunakan opsi --no-color Anda dapat menonaktifkan penyorotan warna jika terjadi kesalahan. Saat ini hanya ada kesalahan dan tidak ada peringatan.

kode C	Kesalahan
int foo ( void ); int main () { int a = foo ( 1 ); long * p = a ; return p * 2 ; }

Printer cantik

Saat mengkompilasi menggunakan opsi --dump-ast ia akan mencetak pohon parse

kode C AST

kode 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'`

 #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'

Periksa semua opsi dengan menjalankan `wrecc --help`

Pengujian

Tes satuan

 cargo test --workspace

Pengujian cuplikan

Ini menjalankan semua perlengkapan dan membandingkannya dengan snapshot yang diharapkan

 bash tests/snapshot_tests.sh

bulu halus

Jalankan fuzzer menggunakan afl.rs

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

Pemecahan masalah

Alasan wrecc tidak berfungsi dengan baik di mesin Anda:

Arsitektur/OS tidak didukung
Tidak dapat menemukan libc di jalur pencarian perpustakaan standar (dapat diperbaiki dengan meneruskan jalur pencarian khusus menggunakan opsi -L )
Jika tidak disebutkan di bagian fitur yang belum diterapkan, silakan ajukan masalah

Kontribusi

Jika Anda ingin membantu saya dengan kompiler ini, saya akan sangat menyambutnya. Tempat termudah untuk memulai mungkin dengan menerapkan salah satu kata kunci/jenis yang hilang yang disebutkan di bagian fitur yang belum diterapkan. Pastikan semua pengujian masih lulus dan terapkan pengujian Anda sendiri jika itu adalah sesuatu yang baru yang belum diuji.
Lihat dokumentasi untuk mendapatkan gambaran umum tingkat tinggi tentang pipeline kompiler.