在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫(xiě)文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

芯來(lái)科技與華東師范大學(xué)SOLE實(shí)驗(yàn)室合作推動(dòng)LLVM/CLANG編譯器優(yōu)化

芯來(lái)科技 ? 來(lái)源:芯來(lái)科技 ? 2024-06-12 09:09 ? 次閱讀

隨著RISC-V這一革命性的開(kāi)源指令集架構(gòu)在全球范圍內(nèi)的迅速普及,它為半導(dǎo)體行業(yè)帶來(lái)了前所未有的機(jī)遇與挑戰(zhàn)。在此大背景下,芯來(lái)科技和華東師范大學(xué)SOLE實(shí)驗(yàn)室攜手合作,致力于在RISC-V處理器上進(jìn)行深入的LLVM/CLANG編譯器優(yōu)化以及程序性能優(yōu)化和調(diào)優(yōu)。

我們不僅優(yōu)化了LLVM編譯器的多個(gè)關(guān)鍵環(huán)節(jié),提升了代碼生成效率和執(zhí)行性能,還針對(duì)視頻編解碼、性能測(cè)試等應(yīng)用場(chǎng)景進(jìn)行了深入分析和優(yōu)化,提高了相關(guān)軟件的執(zhí)行效率。

此次合作在RISC-V處理器上實(shí)現(xiàn)了一定程度的性能提升,同時(shí),我們也希望能夠?yàn)镽ISC-V性能優(yōu)化領(lǐng)域的同仁們提供一些有益的借鑒和參考。我們相信,通過(guò)持續(xù)的技術(shù)創(chuàng)新和開(kāi)放的合作精神,我們可以共同推動(dòng)這一領(lǐng)域的發(fā)展和進(jìn)步。下面是我們本次合作的主要成果。

一、MCPPass冗余指令的刪除優(yōu)化

在LLVM-17.x版本當(dāng)中,生成的RISC-V端代碼會(huì)出現(xiàn)冗余數(shù)據(jù)搬運(yùn)指令無(wú)法刪除的問(wèn)題,詳情如下圖所示。在兩個(gè)紅框顯示的vmv指令當(dāng)中,v0以及v8寄存器的值都沒(méi)有得到改變,但LLVM最終生成的RISC-V代碼依然會(huì)對(duì)這兩個(gè)值進(jìn)行重復(fù)搬運(yùn)。

0e843102-2858-11ef-91d2-92fbcf53809c.png

冗余vmv指令無(wú)法在LLVM/Clang中消除的示例

經(jīng)過(guò)核查,出現(xiàn)該問(wèn)題的根因是LLVM的Machine Copy Propagation Pass對(duì)寄存器使用的Def-Use記錄不當(dāng)所導(dǎo)致。經(jīng)過(guò)對(duì)該問(wèn)題進(jìn)行修復(fù)后,該工作已經(jīng)提交到了LLVM的上游倉(cāng)庫(kù)。該優(yōu)化亦應(yīng)用到了LLVM多個(gè)后端的代碼生成當(dāng)中,如RISC-V、X86以及AMDGPU的后端代碼生成當(dāng)中。

二、RVV的低精度數(shù)據(jù)向量化取余以及右移代碼生成優(yōu)化

C語(yǔ)言會(huì)采用Promotion Rule來(lái)保證混合精度或者是低精度數(shù)據(jù)運(yùn)算結(jié)果的準(zhǔn)確性,當(dāng)遇到低精度數(shù)據(jù)如int8或者int16類(lèi)型的數(shù)據(jù)進(jìn)行逐元素(Element-Wise)取余或者是算術(shù)右移操作時(shí),會(huì)先將相應(yīng)的數(shù)據(jù)提升至32位,再將結(jié)果進(jìn)行截?cái)嘀猎瓉?lái)的精度以保證運(yùn)算結(jié)果的正確性。然而,取決于RVV 1.0指令集動(dòng)態(tài)調(diào)整元素大小的特性,該過(guò)程需要一系列的vsetvli類(lèi)指令進(jìn)行操作。

考慮到相關(guān)的計(jì)算溢出結(jié)果以及指令的行為在RVV 1.0指令集中已經(jīng)得到明確定義,在LLVM編譯器生成相關(guān)代碼時(shí)可以進(jìn)行下圖所示的優(yōu)化:

0e9fdf74-2858-11ef-91d2-92fbcf53809c.png

Element-wise vrem.vv優(yōu)化前

0eb0ea3a-2858-11ef-91d2-92fbcf53809c.png

Element-wise vrem.vv優(yōu)化后

0ec36a7a-2858-11ef-91d2-92fbcf53809c.png

Element-wise vsra.vv優(yōu)化前

0ede5da8-2858-11ef-91d2-92fbcf53809c.png

Element-wise vsra.vv優(yōu)化后 這些優(yōu)化不僅可以從指令的語(yǔ)義上保證計(jì)算結(jié)果的正確性,而且能有效地避免頻繁復(fù)雜的數(shù)據(jù)精度提升與下降操作,這些優(yōu)化工作亦被提交到了LLVM的上游倉(cāng)庫(kù)當(dāng)中。

三、FFMPEGX264編解碼熱點(diǎn)采集分析

RISC-V Vector 1.0向量化指令集可以被用于視頻編解碼應(yīng)用的加速處理當(dāng)中,而FFMPEG作為最常見(jiàn)的音視頻處理軟件之一,在其關(guān)鍵核心且可向量化函數(shù)當(dāng)中,大部分亦都利用RVV 1.0匯編或者Intrinsic進(jìn)行了重寫(xiě)。盡管如此,如何針對(duì)其常用的x264編解碼功能進(jìn)行編譯優(yōu)化機(jī)會(huì)的探索,依然是提高其執(zhí)行效率的一個(gè)重要手段。

我們采集對(duì)比了GCC 14.1與LLVM/Clang 17.2編譯出來(lái)的FFMPEG,在進(jìn)行x264視頻編解碼時(shí)的熱點(diǎn)函數(shù),詳情下圖所示。根據(jù)結(jié)果可以看到,熱點(diǎn)函數(shù)都聚集在了libx264的x264_piexel_sad類(lèi)函數(shù)之上。

0ef63bb2-2858-11ef-91d2-92fbcf53809c.png

FFMPEG X264編碼熱點(diǎn)分析(GCC)

0f1eda68-2858-11ef-91d2-92fbcf53809c.png

FFMPEG X264編碼熱點(diǎn)分析(LLVM/Clang)

0f390b7c-2858-11ef-91d2-92fbcf53809c.png

x264_pixel_sad類(lèi)函數(shù)聲明

而這類(lèi)x264_piexel_sad函數(shù)本質(zhì)上就是一系列的abs函數(shù)的處理,這類(lèi)函數(shù)的定義可以如上圖所示。

以16x16的迭代大小為例子,下面的圖分別對(duì)比了LLVM/Clang以及GCC在該函數(shù)上生成代碼的細(xì)致區(qū)別(開(kāi)啟-O3)。

0f59d7f8-2858-11ef-91d2-92fbcf53809c.png

x264_piexel_sad_16x16函數(shù) GCC生成代碼

0f735b56-2858-11ef-91d2-92fbcf53809c.png

x264_piexel_sad_16x16函數(shù) LLVM/Clang生成代碼

可以看到,在默認(rèn)O3的選項(xiàng)下,GCC生成的代碼對(duì)于這類(lèi)核心函數(shù)的處理效率遠(yuǎn)不如LLVM/Clang。這是因?yàn)镚CC默認(rèn)采用LMUL=1(向量化分組大小為1)的大小進(jìn)行代碼生成,即其生成的RVV代碼采用的LMUL大小不能高于1。在探索到這些根因后,可以采用GCC最新14.1版本中所提供的-mrvv-max-lmul=dynamic選項(xiàng)對(duì)這類(lèi)生成的代碼進(jìn)行改進(jìn),采用該選項(xiàng)優(yōu)化后的代碼如下圖所示:

0f92dbca-2858-11ef-91d2-92fbcf53809c.png

LMUL設(shè)置為dyanamic時(shí)GCC生成的代碼

此時(shí),GCC在此處生成的代碼執(zhí)行效率已經(jīng)能夠和LLVM/Clang相匹配。因此,我們?cè)诓捎肎CC編譯的FFMPEG進(jìn)行x264視頻編解碼時(shí),為了更高的核心代碼執(zhí)行效率,建議將GCC動(dòng)態(tài)調(diào)整LMUL大小的編譯選項(xiàng)進(jìn)行開(kāi)啟。

四、CoreMark的JumpThreading優(yōu)化

Coremark是評(píng)估CPU性能常見(jiàn)的一個(gè)測(cè)試程序,但是采用LLVM/Clang編譯器編譯優(yōu)化coremark程序跑分效果遠(yuǎn)遠(yuǎn)比不上GCC,因此我們分析了Coremark程序的熱點(diǎn)函數(shù),發(fā)現(xiàn)可以通過(guò)Jump Threading技術(shù)來(lái)進(jìn)行優(yōu)化,Jump Threading是一種專(zhuān)門(mén)用于控制流程圖(CFG)優(yōu)化的一種編譯優(yōu)化技術(shù),它會(huì)在執(zhí)行分支前遇到確定變量的值時(shí),直接執(zhí)行確認(rèn)值在分支以后的路徑,即采用無(wú)條件的跳轉(zhuǎn)替代條件跳轉(zhuǎn),詳情如下圖所示:

0fab5df8-2858-11ef-91d2-92fbcf53809c.png

優(yōu)化前的CFG

0fc2d398-2858-11ef-91d2-92fbcf53809c.png

優(yōu)化后的CFG

該優(yōu)化會(huì)對(duì)CFG路徑中變量的值進(jìn)行掃描遍歷,并尋找到可以利用無(wú)條件跳轉(zhuǎn)替換條件判斷的路徑,并進(jìn)行基本塊的克隆與路徑的替換。考慮到該掃描過(guò)程較為耗時(shí),LLVM中默認(rèn)的Jump Threading優(yōu)化采取較為輕量級(jí)的掃描方式。通過(guò)在芯來(lái)編譯工具鏈的LLVM/Clang中引入一系列更為激烈的Jump Threading掃描優(yōu)化手段后,將采用Clang編譯的CoreMark并運(yùn)行在芯來(lái)N300模擬器上的跑分提升約18%。

0feb7ef6-2858-11ef-91d2-92fbcf53809c.png

LLVM/Clang調(diào)優(yōu)前CoreMark跑分

1000579a-2858-11ef-91d2-92fbcf53809c.png

引入額外Jump Threading優(yōu)化后的CoreMark跑分

五、SPECCPU2006的編譯選項(xiàng)調(diào)優(yōu)

SPEC CPU 2006 INT是業(yè)界常用的CPU性能基準(zhǔn)測(cè)試套件,為了提高SPEC CPU 2006 INT的測(cè)試跑分,常常需要找到更適合的編譯選項(xiàng)來(lái)對(duì)編譯器進(jìn)行調(diào)優(yōu),以獲得更好的SPEC分?jǐn)?shù)。然而,考慮到目前大部分的最佳跑分配置都是利用業(yè)界專(zhuān)用編譯器,如Intel的ICC編譯器以及AMD的AOCC編譯器等進(jìn)行跑分。對(duì)于RISC-V指令集架構(gòu)平臺(tái),這類(lèi)專(zhuān)用的編譯器并不能夠適用。同時(shí),假如采用Ref測(cè)試集來(lái)進(jìn)行編譯選項(xiàng)的調(diào)優(yōu),則需要消耗大量的測(cè)試時(shí)間。

為了加速調(diào)優(yōu),我們采用了一種更為靈活且快捷的基于Qemu仿真器的動(dòng)態(tài)指令計(jì)數(shù)對(duì)比的編譯選項(xiàng)調(diào)優(yōu)方法。下圖展示了采用GCC-13對(duì)SPEC CPU2006 INT的TEST測(cè)試集進(jìn)行選項(xiàng)調(diào)優(yōu)的結(jié)果。

10168d26-2858-11ef-91d2-92fbcf53809c.png

SPEC CPU 2006 INT動(dòng)態(tài)指令數(shù)目調(diào)優(yōu)結(jié)果

經(jīng)過(guò)精心調(diào)優(yōu)的編譯選項(xiàng)在SPEC CPU2006 INT的多項(xiàng)測(cè)試程序中顯著降低了動(dòng)態(tài)指令的數(shù)量。進(jìn)一步地,我們?cè)?a href="http://m.xsypw.cn/soft/data/30-91/" target="_blank">FPGA開(kāi)發(fā)板上進(jìn)行了實(shí)際的性能對(duì)比測(cè)試。結(jié)果表明,這種基于動(dòng)態(tài)指令計(jì)數(shù)的調(diào)優(yōu)方法不僅有效,而且在資源受限的開(kāi)發(fā)板或仿真CPU主頻受限的FPGA環(huán)境中,為編譯選項(xiàng)的優(yōu)化提供了一種切實(shí)可行的策略。這一發(fā)現(xiàn)為在類(lèi)似條件下的性能提升開(kāi)辟了新的探索路徑。

此次合作是雙方在技術(shù)研究和應(yīng)用開(kāi)發(fā)領(lǐng)域共同努力的成果,它體現(xiàn)了我們團(tuán)隊(duì)在探索和實(shí)踐過(guò)程中的專(zhuān)注與努力。同時(shí),我們對(duì)于能夠參與到產(chǎn)學(xué)研合作這一推動(dòng)技術(shù)革新的重要力量中來(lái)而深感榮幸。相信通過(guò)這樣的合作模式,我們能夠與業(yè)界同仁共同學(xué)習(xí)、相互啟發(fā),為整個(gè)技術(shù)社區(qū)的發(fā)展貢獻(xiàn)綿薄之力。

審核編輯:彭菁

聲明:本文內(nèi)容及配圖由入駐作者撰寫(xiě)或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • 代碼
    +關(guān)注

    關(guān)注

    30

    文章

    4891

    瀏覽量

    70298
  • 編譯器
    +關(guān)注

    關(guān)注

    1

    文章

    1657

    瀏覽量

    49916
  • 視頻編解碼
    +關(guān)注

    關(guān)注

    2

    文章

    54

    瀏覽量

    11938
  • 芯來(lái)科技
    +關(guān)注

    關(guān)注

    0

    文章

    71

    瀏覽量

    3387

原文標(biāo)題:芯來(lái)科技與華東師范大學(xué)SOLE實(shí)驗(yàn)室合作推動(dòng)RISC-V性能優(yōu)化

文章出處:【微信號(hào):nucleisys,微信公眾號(hào):芯來(lái)科技】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。

收藏 人收藏

    評(píng)論

    相關(guān)推薦
    熱點(diǎn)推薦

    紫光展銳“火”科普課堂走進(jìn)華東師范大學(xué)張江實(shí)驗(yàn)中學(xué)

    科技融合;另一方面致力于推動(dòng)科普教育,通過(guò)“火”課堂等創(chuàng)新公益活動(dòng),激發(fā)青少年對(duì)科學(xué)的興趣,為科技強(qiáng)國(guó)建設(shè)貢獻(xiàn)力量。
    的頭像 發(fā)表于 05-29 09:26 ?293次閱讀

    伊利師范大學(xué)選購(gòu)我司液氮制冷差示掃描量熱儀

    近日,伊利師范大學(xué)經(jīng)過(guò)全面考察與綜合評(píng)估,成功選購(gòu)我司液氮制冷差示掃描量熱儀,為學(xué)校材料科學(xué)研究再添利器。伊利師范大學(xué)我司液氮制冷差示掃描量熱儀優(yōu)勢(shì)顯著。其工作原理基于差示掃描量熱法,在程序控制溫度
    的頭像 發(fā)表于 04-09 09:27 ?314次閱讀
    伊利<b class='flag-5'>師范大學(xué)</b>選購(gòu)我司液氮制冷差示掃描量熱儀

    華師大鴻星未來(lái)實(shí)驗(yàn)室揭牌!迅龍軟件總經(jīng)理趙一帆受聘企業(yè)碩士導(dǎo)師

    2月23日,國(guó)內(nèi)首個(gè)聚焦“鴻蒙+星閃”的校企聯(lián)合實(shí)驗(yàn)室“鴻星未來(lái)技術(shù)實(shí)驗(yàn)室”揭牌儀式在華中師范大學(xué)舉行。武漢市副市長(zhǎng)孟暉、中國(guó)原子能科學(xué)研究院張煥喬院士、中國(guó)科學(xué)院精密測(cè)量研究院葉朝輝院士
    的頭像 發(fā)表于 02-25 16:23 ?459次閱讀
    華師大鴻星未來(lái)<b class='flag-5'>實(shí)驗(yàn)室</b>揭牌!迅龍軟件總經(jīng)理趙一帆受聘企業(yè)碩士導(dǎo)師

    是德科技和馬拉加大學(xué)成立6G研究與創(chuàng)新實(shí)驗(yàn)室

    近日,是德科技與馬拉加大學(xué)(UMA)聯(lián)合成立了一所 6G 研究與創(chuàng)新實(shí)驗(yàn)室。該實(shí)驗(yàn)室致力于通過(guò)提供全面的解決方案,應(yīng)對(duì)關(guān)鍵應(yīng)用場(chǎng)景與技術(shù)挑戰(zhàn),進(jìn)而推動(dòng) 6G 技術(shù)的發(fā)展。
    的頭像 發(fā)表于 02-13 14:18 ?424次閱讀

    龍芯“百計(jì)劃”聯(lián)合實(shí)驗(yàn)室首批高校名單揭曉

    的研發(fā)與應(yīng)用。經(jīng)過(guò)嚴(yán)格篩選與評(píng)估,百計(jì)劃首批聯(lián)合實(shí)驗(yàn)室合作高校名單正式確定,標(biāo)志著龍芯中科在推動(dòng)國(guó)產(chǎn)芯片技術(shù)自主創(chuàng)新與產(chǎn)業(yè)升級(jí)的道路上邁出堅(jiān)實(shí)一步。
    的頭像 發(fā)表于 01-24 11:47 ?744次閱讀

    Triton編譯器優(yōu)化技巧

    在現(xiàn)代計(jì)算環(huán)境中,編譯器的性能對(duì)于軟件的運(yùn)行效率至關(guān)重要。Triton 編譯器作為一個(gè)先進(jìn)的編譯器框架,提供了一系列的優(yōu)化技術(shù),以確保生成的代碼既高效又適應(yīng)不同的硬件架構(gòu)。 1. 指令
    的頭像 發(fā)表于 12-25 09:09 ?821次閱讀

    Triton編譯器與其他編譯器的比較

    的GPU編程框架,使開(kāi)發(fā)者能夠編寫(xiě)出接近手工優(yōu)化的高性能GPU內(nèi)核。 其他編譯器 (如GCC、Clang、MSVC等): 定位:通用編譯器,支持多種編程語(yǔ)言,廣泛應(yīng)用于各種軟件開(kāi)發(fā)場(chǎng)景
    的頭像 發(fā)表于 12-24 17:25 ?902次閱讀

    深開(kāi)鴻與華南師范大學(xué)簽署戰(zhàn)略合作框架協(xié)議,共探產(chǎn)學(xué)研協(xié)同創(chuàng)新

    12月19日上午,深開(kāi)鴻與華南師范大學(xué)(簡(jiǎn)稱(chēng)“華南師大”)的戰(zhàn)略合作框架協(xié)議簽約儀式在華南師范大學(xué)石牌校園舉行。深開(kāi)鴻C(jī)EO王成錄、高級(jí)顧問(wèn)祝宇清、高級(jí)副總裁兼市場(chǎng)體系總裁解偉俊,華南師范大學(xué)
    的頭像 發(fā)表于 12-23 21:29 ?480次閱讀
    深開(kāi)鴻與華南<b class='flag-5'>師范大學(xué)</b>簽署戰(zhàn)略<b class='flag-5'>合作</b>框架協(xié)議,共探產(chǎn)學(xué)研協(xié)同創(chuàng)新

    HighTec C/C++編譯器套件全面支持來(lái)RISC-V IP

    是基于LLVM開(kāi)源汽車(chē)級(jí)C/C++編譯器工具,已通過(guò)ISO 26262 ASIL D的安全認(rèn)證。從事RISC-V架構(gòu)開(kāi)發(fā)的汽車(chē)軟件開(kāi)發(fā)者受益于這些工具來(lái)無(wú)縫支持
    的頭像 發(fā)表于 12-23 09:04 ?1028次閱讀
    HighTec C/C++<b class='flag-5'>編譯器</b>套件全面支持<b class='flag-5'>芯</b><b class='flag-5'>來(lái)</b>RISC-V IP

    DFRobot與西北師范大學(xué)教育技術(shù)學(xué)院簽署院企協(xié)同育人暨戰(zhàn)略合作協(xié)議

    2024 年12 月9 日,上海智位機(jī)器人股份有限公司(DFRobot)與西北師范大學(xué)教育技術(shù)學(xué)院“院企協(xié)同育人交流暨戰(zhàn)略合作協(xié)議簽訂儀式”在甘肅省蘭州市西北師范大學(xué)云亭校區(qū)舉行。西北師范大學(xué)
    的頭像 發(fā)表于 12-11 15:12 ?530次閱讀

    分享關(guān)于編譯器的科普

    源代碼分析工具和IDE集成。GCC被構(gòu)建成一個(gè)單一的靜態(tài)編譯器,這使得它非常難以被作為API并集成到其他工具中。 GCC比Clang
    的頭像 發(fā)表于 12-09 09:49 ?480次閱讀

    Keil編譯器優(yōu)化方法

    我們都知道,代碼是可以通過(guò)編譯器優(yōu)化的,有的時(shí)候,為了提高運(yùn)行速度或者減少代碼尺寸,會(huì)開(kāi)啟優(yōu)化選項(xiàng)。
    的頭像 發(fā)表于 10-23 16:35 ?1831次閱讀
    Keil<b class='flag-5'>編譯器</b><b class='flag-5'>優(yōu)化</b>方法

    龍芯中科與南京師范大學(xué)達(dá)成產(chǎn)教合作

    近日,龍芯中科副總裁杜安利一行前往南京師范大學(xué)電氣與自動(dòng)化工程學(xué)院(以下簡(jiǎn)稱(chēng)“南師大電自學(xué)院”),雙方就科研合作實(shí)驗(yàn)室共建、3D打印裝備、人才培養(yǎng)、課程思政等展開(kāi)深入交流合作。南師大
    的頭像 發(fā)表于 07-17 14:51 ?879次閱讀

    華東師范大學(xué)的老師 上課已經(jīng)用上了大模型

    數(shù)據(jù)具有非獨(dú)占性、非排他性和非稀缺性。海量數(shù)據(jù)的產(chǎn)生和數(shù)據(jù)處理技術(shù)的飛速進(jìn)步,驅(qū)動(dòng)了人工智能等新興技術(shù)的崛起。 科學(xué)研究作為認(rèn)識(shí)世界的重要手段,其范式也受到數(shù)據(jù)和技術(shù)發(fā)展的影響。原有很多科學(xué)理論是建立在長(zhǎng)期觀察、抽象歸納的基礎(chǔ)上。但在大數(shù)據(jù)時(shí)代,研究者往往先有海量的數(shù)據(jù),再通過(guò)機(jī)器學(xué)習(xí)等技術(shù)從數(shù)據(jù)中發(fā)現(xiàn)規(guī)律和洞見(jiàn),用數(shù)據(jù)驅(qū)動(dòng)科學(xué)發(fā)現(xiàn)。
    的頭像 發(fā)表于 07-01 15:18 ?353次閱讀
    <b class='flag-5'>華東師范大學(xué)</b>的老師 上課已經(jīng)用上了大模型

    極海半導(dǎo)體-武漢大學(xué)MCU聯(lián)合實(shí)驗(yàn)室揭牌

    極海半導(dǎo)體-武漢大學(xué) MCU聯(lián)合實(shí)驗(yàn)室揭牌儀式在武漢大學(xué)信息學(xué)部教學(xué)實(shí)驗(yàn)大樓隆重舉行。此次儀式標(biāo)志著極海大學(xué)計(jì)劃正式落子武漢,雙方在微控制
    的頭像 發(fā)表于 06-28 11:36 ?1226次閱讀
    主站蜘蛛池模板: 主人扒开腿揉捏花蒂调教cfh | 1024国产你懂的日韩 | 免费一级毛片在级播放 | 免费网站黄成人影院 | 2345成人高清毛片 | 欧美草比| 日本精品视频四虎在线观看 | 窝窝视频成人影院午夜在线 | 国产1024一区二区你懂的 | 色批网站www | 婷婷色天使在线视频观看 | 国产在线观看福利 | 亚洲嫩草影院在线观看 | 亚洲午夜在线观看 | 男校霸把男校草玩出水男男 | 日日操夜夜骑 | 成人免费播放视频777777 | 免费人成在线观看网站 | 国产一区中文字幕 | 亚洲dv | 干干操| 日韩在线一区视频 | 欲色影视 | 一级毛片免费不卡直观看 | 日韩卡1卡2卡三卡四卡二卡免 | 69久久| 爽好舒服快给老师 | 欧美精品国产第一区二区 | 激情婷婷六月 | 男女激情做爰叫床声视频偷拍 | 欧美另类videos | 亚色国产 | 四虎影视入口 | 视频精品一区二区三区 | 在线免费观看毛片网站 | 啪啪网站免费观看 | 超级乱淫伦网站 | 操久久久 | 精品综合久久88色鬼首页 | 午夜免费福利影院 | 国产特黄 |