華為方舟編譯器正式支持C語(yǔ)言:完全開(kāi)源
2019年8月底,華為方舟編譯器(OpenArkCompiler)正式開(kāi)源,邁出了跨越性的一步。
本文引用地址:http://cafeforensic.com/article/202010/419211.htm一年多來(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í)編寫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類型、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)用,以及眾多依賴于編譯分析的軟件分析和優(yōu)化工具。
評(píng)論