華為方舟編譯器正式支持C語言：完全開源

2019年8月底，華為方舟編譯器(OpenArkCompiler)正式開源，邁出了跨越性的一步。

一年多來，方舟編程體系陸續(xù)實(shí)現(xiàn)了編譯器、引擎、調(diào)試器的開源，其中編譯器的重點(diǎn)功能主要集中在Java應(yīng)用程序靜態(tài)編譯上。

華為強(qiáng)調(diào)，方舟項(xiàng)目的目標(biāo)是構(gòu)建一個(gè)基于MapleIR的跨語言編程環(huán)境，實(shí)現(xiàn)跨語言的全局分析及優(yōu)化。

比如在現(xiàn)有Java編程環(huán)境下面，開發(fā)者經(jīng)常需要同時(shí)編寫Java、C語言程序，通過JNI相互調(diào)用，而這兩種語言之間目前是不直接互通的。

方舟編程體系的終極愿景之一，就是要通過一致的IR來表述不同語言，并跨越語言進(jìn)行全局優(yōu)化。

現(xiàn)在，方舟編譯器加入了對(duì)C語言程序的支持，當(dāng)然繼續(xù)開源，也是實(shí)現(xiàn)Java和C混合編譯的基礎(chǔ)。

未來，方舟引擎不僅要對(duì)來自Java語言的IR代碼進(jìn)行JIT編譯，也會(huì)支持對(duì)C、C++語言的IR代碼進(jìn)行JIT編譯。 

代碼鏈接地址：

1、https://gitee.com/openarkcompiler-incubator/mapleall

2、https://gitee.com/openarkcompiler-incubator/maple_engine

本次開源內(nèi)容主要限于O0的能力范圍，針對(duì)C的O2以上的優(yōu)化留待未來進(jìn)一步開源。

目前，方舟編譯器已經(jīng)支持C語言的絕大部分常用特性，暫不支持的特性有complex類型、packedstruct、long double、alloca out-of-scope free。

當(dāng)前支持aarch64后端，并支持絕大部分gcc_torture用例，比如配合一款第三方合作的C前端(開源時(shí)間待定)，可以正確運(yùn)行spec2017的所有C語言整型用例。

下一步，方舟社區(qū)計(jì)劃在Maple編譯器上做更多的拓寬和深耕工作。

廣度上，一方面會(huì)嘗試支持新的語言，進(jìn)一步驗(yàn)證Maple基礎(chǔ)平臺(tái)的語言無關(guān)性，另一方面會(huì)增加對(duì)新后端如RISC-V的支持。

深度上，社區(qū)會(huì)盡快開源O2分析與優(yōu)化phase，性能對(duì)標(biāo)LLVM/GCC，同時(shí)利用統(tǒng)一的Maple表示，布局跨語言全局優(yōu)化。

正式開源以來，方舟社區(qū)開源代碼從50K增長到170K，累計(jì)6.9K Star，并孵化5個(gè)相關(guān)子項(xiàng)目。

方舟編譯器作為方舟編程體系的重要一環(huán)，目前展現(xiàn)的還只是是靜態(tài)編譯，未來隨著方舟引擎的完備，可以看到方舟編譯器在各種AOT或者JIT編譯時(shí)的運(yùn)用，以及眾多依賴于編譯分析的軟件分析和優(yōu)化工具。