華為方舟編譯器正式支持C語(yǔ)言：完全開(kāi)源

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

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

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

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

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

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

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

代碼鏈接地址：

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

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

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

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

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

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

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

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

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

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