ดาวน์โหลด wrecc - ดาวน์โหลดซอร์สโค้ด wrecc

wrecc

ซอร์สโค้ด C#

v0.2.0

ดาวน์โหลด

wrecc เป็นคอมไพเลอร์ x86-64 C99 ขนาดเล็กที่เขียนตั้งแต่เริ่มต้น ชื่อนี้เป็นการเล่นคำว่า ซากเรือ ซึ่งหมายถึงเรือที่เกิดสนิมบนพื้นทะเล คอมไพเลอร์ส่งเสียงแอสเซมบลี x86-64 ในรูปแบบไวยากรณ์ของ AT&T โดยเป็นไปตาม System V ABI ซึ่งฉันสามารถทดสอบได้เฉพาะกับ Ubuntu และ Macos เท่านั้น ไม่มีการขึ้นต่อกันที่คุณต้องการเพียงแอสเซมเบลอร์และตัวเชื่อมโยงซึ่งคอมไพเลอร์เรียกใช้เพื่อสร้างไบนารีสุดท้าย

สารบัญ

การติดตั้ง
- ไบนารีที่สร้างไว้ล่วงหน้า
- สินค้า
คุณสมบัติ
- พรีโปรเซสเซอร์
- คอมไพเลอร์
  - คำหลักที่รองรับ
  - คุณสมบัติที่ไม่ได้ใช้งาน
- ข้อความแสดงข้อผิดพลาด
- Ast พริตตี้เครื่องพิมพ์
การทดสอบ
- การทดสอบหน่วย
- การทดสอบภาพรวม
- ฟัซเซอร์
การแก้ไขปัญหา
ผลงาน
เป้าหมายโครงการ
ทรัพยากร

การติดตั้ง

ไบนารีที่สร้างไว้ล่วงหน้า

หากคุณไม่ได้ติดตั้ง toolchain สนิมบนระบบของคุณ คุณสามารถติดตั้งไบนารีล่าสุด (MacOs, Linux) จากรุ่นได้โดยตรง:

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

สินค้า

การใช้ cargo binstall

 cargo binstall wrecc

หรือสร้างจากแหล่งที่มา

 cargo install wrecc

คุณสมบัติ

เนื่องจากปัจจุบันมีการใช้งานคำหลักบางคำ wrecc จึงใช้ส่วนหัวมาตรฐานที่กำหนดเองซึ่งสร้างไว้ในไบนารีโดยตรง

พรีโปรเซสเซอร์

พรีโปรเซสเซอร์ใช้คำสั่งพรีโปรเซสเซอร์ C99 ทั้งหมด ยกเว้น #line , #error และ #pragma ที่โดดเด่นที่สุดคือขณะนี้ยังขาดมาโครที่มีลักษณะคล้ายฟังก์ชันซึ่งอยู่ในวาระการประชุม

คอมไพเลอร์

คำหลักที่รองรับ

นอกจากนั้นยังรองรับ:

การเริ่มต้นโดยรวมด้วยตัวเริ่มต้นที่กำหนด

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

พอยน์เตอร์ฟังก์ชัน

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

พับอย่างต่อเนื่อง

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

คุณสมบัติที่ไม่ได้ใช้งาน

นอกเหนือจากคีย์เวิร์ดที่หายไปแล้ว ยังมีคุณสมบัติหลักที่ขาดหายไปอีกด้วย:

อาร์เรย์ที่มีขนาดไม่ระบุ
การรวบรวมหลายไฟล์พร้อมกัน
โครงสร้างดิบ/สหภาพเป็นฟังก์ชันอาร์กิวเมนต์-/ชนิดส่งคืน
ประเภทจุดลอยตัว

นี่คือรายการของทุกสิ่งที่ยังขาดหายไป: สิ่งที่ต้องทำ

ข้อความแสดงข้อผิดพลาด

Wrecc ยังมีข้อความที่ดูดีอีกด้วย การรายงานข้อผิดพลาดจะไม่หยุดหลังจากข้อผิดพลาดครั้งแรก การใช้ตัวเลือก --no-color คุณสามารถปิดการเน้นสีเมื่อมีข้อผิดพลาดได้ ขณะนี้มีเพียงข้อผิดพลาดและไม่มีคำเตือน

รหัสซี	ข้อผิดพลาด
int foo ( void ); int main () { int a = foo ( 1 ); long * p = a ; return p * 2 ; }

Ast พริตตี้เครื่องพิมพ์

เมื่อคอมไพล์โดยใช้ตัวเลือก --dump-ast มันจะพิมพ์ parse-tree

รหัสซี อสท

รหัสซี	อสท
#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'

ตรวจสอบตัวเลือกทั้งหมดโดยการรัน `wrecc --help`

การทดสอบ

การทดสอบหน่วย

 cargo test --workspace

การทดสอบภาพรวม

การดำเนินการนี้จะรันโปรแกรมการแข่งขันทั้งหมดและเปรียบเทียบกับสแน็ปช็อตที่คาดหวัง

 bash tests/snapshot_tests.sh

ฟัซเซอร์

รัน fuzzer โดยใช้ afl.rs

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

การแก้ไขปัญหา

สาเหตุที่ wrecc ทำงานไม่ถูกต้องบนเครื่องของคุณ:

สถาปัตยกรรม/ระบบปฏิบัติการที่ไม่รองรับ
ไม่พบ libc ในเส้นทางการค้นหาไลบรารีมาตรฐาน (สามารถแก้ไขได้โดยผ่านเส้นทางการค้นหาที่กำหนดเองโดยใช้ตัวเลือก -L )
หากไม่ได้กล่าวถึงในส่วนคุณลักษณะที่ยังไม่ได้ใช้งาน โปรดแจ้งปัญหา

ผลงาน

หากคุณต้องการช่วยฉันเกี่ยวกับคอมไพเลอร์นี้ ฉันยินดีเป็นอย่างยิ่ง จุดเริ่มต้นที่ง่ายที่สุดน่าจะเป็นโดยการใช้คำหลัก/ประเภทที่ขาดหายไปซึ่งกล่าวถึงในส่วนคุณสมบัติที่ยังไม่ได้ใช้งาน ตรวจสอบให้แน่ใจว่าการทดสอบทั้งหมดยังคงผ่านและดำเนินการด้วยตนเองหากเป็นสิ่งใหม่ที่ยังไม่ได้ทดสอบ
ดูเอกสารประกอบเพื่อดูภาพรวมระดับสูงของไปป์ไลน์คอมไพเลอร์