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

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

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

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

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

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

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

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

代碼鏈接地址：

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

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

本次開(kāi)源內容主要限于O0的能力范圍，針對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。

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

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

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

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

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

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