Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

[General]: FCOMI/FUCOMI preserves C1 for nonempty operands

オープン 初心者向け
  • 何か問題がありますか？
#73 コメント 3 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
2/5
見積もり時間
1〜3時間
初心者へのやさしさ
78/100
issue の種類
バグ
明瞭さ
明確に書かれている
活発さ
活発
技術スタック
xml
領域
tooling

調査の方向性

data/instruction/FCOMI-FCOMIP-FUCOMI-FUCOMIP.xml の 109 行目付近を読み、FCOMI ファミリーの動作を、引用されている SDM Flags Affected の項目と比較してください。通常のパスと空のスタックのパスを、pop する形式も含めて確認してください。両方のパスで指定どおり C1 がクリアされれば完了です。

索引モデルが issue の本文から書いたものです。

説明

SDM PDF issue

Problem

The PDF specifies C1=0 for the FCOMI family. The executable operation clears C1 only in its empty-stack branch; ordinary finite comparisons leave the incoming C1 unchanged.

Concrete case

Set C1=1, use two nonempty stack entries each holding 1, mask exceptions and execute FCOMI ST(0),ST(1). The source updates the comparison flags but retains C1=1. The PDF's FPU Flags Affected entry implies C1=0. The same shared operation is used by FUCOMI and the popping forms.

Expected behavior and references

References use Intel SDM 325462-093, checked on 2026-10-01. PDF page numbers below refer to the combined manual.

Source

Source checked at Intel SDM repository commit b5218b0f1cf512304d4b3cb364433a08fcee47cb.

Suggested correction

Follow the SDM's C1 rule by moving the C1=0 assignment before the empty-stack check, so both the empty-stack and ordinary comparison paths clear it.

Evidence

On AMD EPYC-Milan under KVM, finite comparisons with incoming C1=1 leave C1=1.

AI disclosure

Assisted by Codex

主要言語
HTML
スター
57
フォーク
4
30日以内にマージされた PR はありません

環境構築

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

intel/SDM のほかの issue

intel/SDM の issue をすべて見る

似ている issue

DevTools の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。