11393
3132
簡介:RISC-V用戶級ISA的權威參考或參考實現是什麼?
上下文:RISC-V網站上有“ RISC-V指令集手冊”,該手冊很好地解釋了用戶級指令,但沒有給出確切的規範。我現在正在嘗試構建用戶級ISA模擬器,並打算在以後編寫FPGA實現,因此確切的行為對我很重要。
參考實現就足夠了,但是最好應該盡可能地簡單-也就是說,我將盡力理解流水線的實現。重要的是要了解指定的ISA,而不是單個CPU實現或編譯器實現。
一個顯示我的問題的例子是AUIPC指令:散文解釋說:“ AUIPC與20位U即時數形成32位偏移,用零填充最低的12位,然後將該偏移添加到pc中,然後將結果放入寄存器rd。”我想知道這是指舊PC還是新PC,即AUIPC指令或下一條指令的位置。我看了看“ RISCV Angel”的實現,但這似乎掩蓋了(舊)PC的低位部分-不僅僅是立即的-我在規範中找不到任何原因,甚至在規範中也找不到。更改規格的歷史記錄(因為Angel年齡較大)。現在,我有兩個關於AUIPC的問題,而不是答案。許多其他說明對我構成了類似的問題。 
引用的《 RISC-V指令集手冊》是與權威參考最接近的內容。如果其中存在不清楚或不正確的地方,則可以在維護該文檔的Github網站上打開問題:https://github.com/riscv/riscv-isa-manual
就AIUPC而言,本手冊第9頁底部的這句話暗含但未明確說明答案:
還有一個用戶可見的附加寄存器:程序計數器pc保存當前指令的地址。
基於該陳述,我希望AIUPC指令看到並操縱的pc值是AIUPC指令本身的地址。
JALR指令的討論支持這種解釋:
間接跳轉指令JALR(跳轉和鏈接寄存器)使用I型編碼。通過將12位帶符號的I-immediate加到寄存器rs1,然後將結果的最低有效位設置為零,可以獲得目標地址。跳轉後的指令地址(pc + 4)被寫入寄存器rd。
給定以下指令的地址表示為pc + 4,顯然在執行JALR期間可見的pc值就是JALR指令本身的地址。
手冊的最新草案(位於https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf)使情況更加清晰。在當前手冊中代替此:
AUIPC將12個低階零位添加到20位U緊隨其後,將結果符號擴展為64位,然後將其添加到pc中,並將結果放入寄存器rd中。
最新草案說:
AUIPC與20位U立即數形成32位偏移量,用零填充最低的12位,將該偏移量添加到AUIPC指令的pc中,然後將結果放入寄存器rd中。
|
你的答案
StackExchange.ifUsing(“ editor”,function(){
StackExchange.using(“ externalEditor”,function(){
StackExchange.using(“ snippets”,function(){
StackExchange.snippets.init();
});
});
},“代碼段”);
StackExchange.ready(function(){
var channelOptions = {
標籤:“” .split(“”),
id:“ 1”
};
initTagRenderer(“”。split(“”),“” .split(“”),channelOptions);
StackExchange.using(“ externalEditor”,function(){
//如果啟用了摘要,則必須在摘要後觸發編輯器
如果(StackExchange.settings.snippets.snippetsEnabled){
StackExchange.using(“ snippets”,function(){
createEditor();
});
}
其他{
createEditor();
}
});
函數createEditor(){
StackExchange.prepareEditor({
useStacksEditor:否,
heartbeatType:“答案”,
autoActivateHeartbeat:否,
convertImagesToLinks:是,
noModals:是的,
showLowRepImageUploadWarning:是的,
聲望:ToPostImages:10,
bindNavPrevention:是的,
後綴:“”,
imageUploader:{
brandingHtml:“由\ u003ca href = \“ https://imgur.com/ \” \ u003e \ u003csvg class = \“ svg-icon \” width = \“ 50 \” height = \“ 18 \” viewBox = \“ 0 0 50 18 \” fill = \“ none \” xmlns = \“ http://www.w3.org/2000/svg \” \ u003e \ u003cpath d = \“ M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.7256 4.91628 46.0943 5.50789C45.74.3 4.313.6662 4.313.6662 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \“ / \ u003e \ u003cpath d = \” M32.492 10.1419C32.492 12.6954 34.1182 14.048437.0451 14.0484 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.5455C35.8209 11.5455 35.4954 10.8 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \“ / \ u003e \ u003cpath fill-rule = \” evenodd \“ clip-rule = \” evenodd \“ d = \“ M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.66231 28.4555 4.94978 28.1109 5.50789C6.723 4.5608.787 .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.1256 12.8854 28.1301 12.9342 28.1301 12.983C28.14.3349 14.732 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \“ / \ u003e \ u003cpath d = \” M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.802879 13.2566 19.808。 。16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.05154 5.88013C12.653 11.6581 4.62866 10.3573 4.62866C9。 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7。 9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z / \ u003e \ u003cpath d = M3.31675 6.59049C3.31675 5.28821 2.83866 4.66232 1.82471 4.66232C0 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \“ / u003e \ u003.82012001 0,09M1。 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7234 1.1159 2.90056 0.400291 1.87209 0.400291Z填充=#1BB76E / \ u003e \ u003c / s ,
contentPolicyHtml:“根據\ u003ca href =獲得許可的用戶貢獻” https://stackoverflow.com/help/licensing“ \ u003ecc by-sa \ u003c / a \ u003e \ u003ca href =” https://stackoverflow.com /法律/內容政策\“ \ u003e(內容政策)\ u003c / a \ u003e”,
allowUrls:是
},
onDemand:是的,
throwSelector:“。discard-answer”
,立即ShowMarkdownHelp:true,enableTables:true,enableSnippets:true
});
}
});
感謝您為Stack Overflow提供答案!
請務必回答問題。提供詳細信息並分享您的研究!
但是要避免...
尋求幫助,澄清或回答其他答案。
根據意見發表聲明;用參考或個人經驗來備份它們。
要了解更多信息,請參閱有關編寫出色答案的提示。
草稿已保存
草稿丟棄
註冊或登錄
StackExchange.ready(function(){
StackExchange.helpers.onClickDraftSave('#login-link');
});
使用Google註冊
使用Facebook註冊
使用電子郵件和密碼註冊
提交
以訪客身份發布
名稱
電子郵件
必需,但從未顯示
StackExchange.ready(
函數(){
StackExchange.openid.initPostLogin('.New-post-login','https%3a%2f%2fstackoverflow.com%2fquestions%2f55314747%2frisc-v-user-level-reference-or-reference-implementation%23new-answer' ,“ question_page”);
}
);
以訪客身份發布
名稱
電子郵件
必需,但從未顯示
發表您的答案
丟棄
點擊“發布答案”,即表示您同意我們的服務條款,隱私政策和Cookie政策
不是您要找的答案?瀏覽標記為riscv的其他問題或提出您自己的問題。