Re: [問題] clang pragma with template id

看板CompilerDev作者 (^o^)時間3年前 (2020/06/30 06:31), 編輯推噓1(100)
留言1則, 1人參與, 3年前最新討論串3/3 (看更多)
感謝回答,最近趕專案暫時還沒時間繼續這個部分,把我們想做的再講詳細一點好了 我們的功能主要是code transform,pragma是讓programmer有機會提供一些資訊 舉例來說如果要做loop unroll,可以透過pragma提示我們要unroll幾層 (當然實際上我們不是做unroll,因為unroll hint原本就有了XD) void Calulate() { for (// 16 iterations) { #pragma unroll=2 } } 實務上發現,有時候同一個for-loop code可能在不同使用場景需要有不同的unroll設定 因此可能的寫法是copy-paste這個for-loop,並且設定不同的unroll pragma 但這樣明顯不是很好,而我們試圖想做的是支援template的寫法 template<unsigned U> void Calculate() { for (// 16 iterations) { #pragma unroll=U } } 如此一來programmer可以透過template指定對應場景需要的unroll設定 對我們來說,就是要想辦法解出透過template設定的U的值 我們這個階段最終就是根據pragma對stmt加上一些attribute之後分析時可以拿來參考 附帶一提我也覺得parser很難搞,感覺完成度跟其他部分差很多 ※ 引述《mshockwave (夏克維夫)》之銘言: : 我不確定能不能回答你的問題 但小弟最近剛好也在玩 clang pragma handler : 就來獻醜一下:我嘗試過非常多的方法 但結論就是盡量不要去碰 parser : 原因不外乎 clang parser不像是 preprocessor 有 pragma, attribute, 甚至 : PPCallback(註),或是AST部分有 ASTConsumer 可以用 plugin 上下其手的地方 : parser的生態系非常封閉,如果不是從頭parse到尾的話很容易出錯 : 所以我在做我自己的pragma handler 的時候一律是直接注入自己生成,或者客製化的 : Token。 : 我有點看不懂你最終想要做什麼,但假設你的 pragma 是會生出一堆新的程式碼 : 也就是 class UserConfig,那我覺得你可以在解析完 value = 3*3之後,直接 : 生出一串構成 UserConfig class 的 Tokens,也就是 'class' 'UserConfig' '{' : 等等。 : 接下來就是要注入這些 Token,方法有好幾種。其中一種是利用 : Preprocessor::EnterTokenStream 來注入。但老實講我沒親身用過這函式所以不確定 : 到底好不好用,你可能要詳細閱讀一下他在 Preprocessor.cpp 裡面的註解 : 另外一個方法是把你剛剛那串 Tokens 定義成一個新的 Macro。動態插入一個 macro 蠻 : 簡單的,但缺點當然就是你在程式碼的某個地方事先就要呼叫那個 macro 他才會被 : 展開 : 希望這些對你有幫助 : 註:PPCallback不能用 plugin 的方式來插入,但你可以在 PragmaHandler 裡面呼叫 : Preprocessor::addPPCallback 來插入一個客製的PPCallback : ※ 引述《nevak (^o^)》之銘言: : : 慶祝CompilerDev開版,貢獻(?)一題發問 : : 最近工作上需要增加一些pragma支援 : : 原本我們的parser可以正確處理pragma中設定的參數 : : 例如以下片段,Current Support部分 : : https://gitlab.com/snippets/1985048 : : 目前我們是利用clang::Parser::ParseConstantExpression 去parse參數 : : http://tiny.cc/byukqz : : 因此只要是constant expression都可以解出來,例如3 * 3 : : 我們現在想要增加支援static const class member : : 理論上也可以透過template去做設定,例如以下片段Expected Support : : https://gitlab.com/snippets/1985048 : : 想請問一下關於這個實做有沒有什麼提示該從何處下手 : : 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.231.25.86 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/CompilerDev/M.1593469919.A.F0A.html

07/06 10:17, 3年前 , 1F
感謝大神分享好文
07/06 10:17, 1F
文章代碼(AID): #1U-clVyA (CompilerDev)
文章代碼(AID): #1U-clVyA (CompilerDev)