概要:RISC-VユーザーレベルISAの最も信頼のおけるリファレンスまたはリファレンス実装は何ですか? コンテキスト:RISC-V Webサイトには、ユーザーレベルの命令を非常によく説明している「RISC-V命令セットマニュアル」がありますが、正確な仕様は示されていません。現在、ユーザーレベルのISAシミュレーターを構築しようとしていますが、後でFPGA実装を作成する予定なので、正確な動作が重要です。 リファレンス実装で十分ですが、できるだけ単純にすることが望ましいです。つまり、パイプライン実装は最後の手段としてのみ理解しようとします。重要なのは、単一のCPU実装やコンパイラ実装ではなく、指定されたISAを理解することです。 私の問題を示す1つの例は、AUIPC命令です。散文の説明によると、「AUIPCは20ビットのU-immediateから32ビットのオフセットを形成し、下位12ビットをゼロで埋め、このオフセットをPCに追加します。結果をレジスタrdに配置します。」これが古いPCを指しているのか、新しいPCを指しているのか、つまりAUIPC命令または次の命令の位置を示しているのか知りたいと思いました。 「RISCVAngel」の実装を見ましたが、それは(古い)PCの下位ビットを覆い隠しているようです-即時だけでなく-仕様でも理由も見つかりませんでした仕様の履歴を変更します(Angelは少し古いため)。答えの代わりに、AUIPCについて2つの質問があります。他の多くの指示は私に同様の問題を引き起こします。
2021-01-16 08:15:29
あなたが引用するRISC-V命令セットマニュアルは、決定的なリファレンスに最も近いものです。そこに不明確または不正確なものがある場合は、そのドキュメントが維持されているGithubサイトで問題を開くことができます:https://github.com/riscv/riscv-isa-manual AIUPCに関する限り、現在のマニュアルの9ページの下部にあるこの文によって、答えが暗示されていますが、明示的には述べられていません。 ユーザーに表示される追加のレジスタが1つあります。プログラムカウンタ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個の下位0ビットを20ビットのU-immediateに追加し、結果を64ビットに符号拡張してから、PCに追加し、結果をレジスタrdに配置します。 最新のドラフトによると: AUIPCは、20ビットのU-immediateから32ビットのオフセットを形成し、下位12ビットをゼロで埋め、このオフセットをAUIPC命令のpcに追加して、結果をレジスタrdに配置します。 | あなたの答え StackExchange.ifUsing( "editor"、function(){ StackExchange.using( "externalEditor"、function(){ StackExchange.using( "スニペット"、function(){ StackExchange.snippets.init(); }); }); }、 "コードスニペット"); StackExchange.ready(function(){ var channelOptions = { タグ: "" .split( "")、 id: "1" }; initTagRenderer( ""。split( "")、 "" .split( "")、channelOptions); StackExchange.using( "externalEditor"、function(){ //スニペットが有効になっている場合は、スニペットの後にエディターを起動する必要があります if(StackExchange.settings.snippets.snippetsEnabled){ StackExchange.using( "スニペット"、function(){ createEditor(); }); } そうしないと { createEditor(); } }); function createEditor(){ StackExchange.prepareEditor({ useStacksEditor:false、 heartbeatType: '回答'、 autoActivateHeartbeat:false、 convertImagesToLinks:true、 noModals:true、 showLowRepImageUploadWarning:true、 レピュテーションToPostImages:10、 bindNavPrevention:true、 後置: ""、 imageUploader:{ brandingHtml: "Powered by \ 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.7 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.0484 37.0451 14.0484C39.9723 14.0 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.50789C27。 .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.983C 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 261024 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.256619.808。 .16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.34336 4.62866 8.57809 4.89931 7.9466 5.5079C7.58314.2578.59328 7.10506 4.66232 6.51203.95732325 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.02327。 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。 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 \ "fill = \"#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:true }、 オンデマンド:true、 DiscardSelector: ".discard-answer" 、immediatelyShowMarkdownHelp:true、enableTables:true、enableSnippets:true }); } }); スタックオーバーフローへの回答を提供していただきありがとうございます。 必ず質問に答えてください。詳細を提供し、あなたの研究を共有してください! しかし避けてください… 助けを求める、説明する、または他の答えに答える。 意見に基づいて文を作ります。参照または個人的な経験でそれらをバックアップします。 詳細については、優れた回答を書くためのヒントをご覧ください。 ドラフトを保存しました ドラフトは破棄されました サインアップまたはログイン StackExchange.ready(function(){ StackExchange.helpers.onClickDraftSave( '#login-link'); }); Googleを使用してサインアップ Facebookを使用してサインアップ 電子メールとパスワードを使用してサインアップ 参加する ゲストとして投稿 名前 Eメール 必須ですが、表示されません 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'); } ); ゲストとして投稿 名前 Eメール 必須ですが、表示されません あなたの答えを投稿してください 破棄 [回答を投稿]をクリックすると、利用規約、プライバシーポリシー、Cookieポリシーに同意したことになります あなたが探している答えではありませんか? riscvとタグ付けされた他の質問を参照するか、独自の質問をしてください。