Re: [問題] clang pragma with template id
感謝回答,最近趕專案暫時還沒時間繼續這個部分,把我們想做的再講詳細一點好了
我們的功能主要是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
討論串 (同標題文章)
本文引述了以下文章的的內容:
完整討論串 (本文為第 3 之 3 篇):