変数の内部保存形式
公式アーカイブのリンク:http://wiki.hosiken.jp/petc/html/Mame/CA-D1-BF-F4-A4-CE-C6-E2-C9-F4-CA-DD-C2-B8-B7-C1-BC-B0-.html
-0 (整数値)
プチコンのSmileBASICでは、興味深い数値を得ることができます。それはどうやって変数を保存しているかという点ですが、バグを晒しています。
たとえば、
- Ｚ＝ＦＬＯＯＲ（－５２４２８７．１）
として、変数Zにこの値を代入します。
ここで、？Ｚとすると－０と表示されます。
しかし、？Ｚ＊１や？Ｚ＋０、？Ｚ－０ではＯｖｅｒｆｌｏｗエラーが出てしまいます。
プチコンの小数保存の形式
プチコンではすべての数を、32ビット固定小数点という独特な形式で保持しています。 おそらくビット演算子(ANDやXORなど)を使用した時の、予期せぬエラー防止でしょう。
では今回は -250.125 という値を例に取ってみましょう。
符号ビットは 0でプラス、1でマイナスとなります。
この図では符号ビットが 1なので -になり、整数部分は &B11111010 で 250 となります。
小数部分はビットを逆から読み 1/&B100 で 1/8＝0.125 となります。
これをすべてまとめると-250.125となります。
切り捨てられる小数
プチコンは、小数部に12ビット割り当てています。2の12乗が4096であることから、小数は最小保存単位は1/4096となります。 それは、この2行のプログラムからも分かります。
- ＩＦ （１／４０９６） ＝＝ ０ ＴＨＥＮ ＰＲＩＮＴ ”１／４０９６ ト ０ ハオナシ゛”
- ＩＦ （１／４０９７） ＝＝ ０ ＴＨＥＮ ＰＲＩＮＴ ”１／４０９７ ト ０ ハオナシ゛”
このプログラムでは２行目の１／４０９７ ト ０ ハオナシ゛のみ表示されます。 つまり 1/4097より小さい小数は切り捨てられます。
-0のビットの保存
符号ビット以外が0であるため、インタプリタはこの数字を「負のゼロ」と認識します。
Z=-0の時の、他の演算結果は次のようになります。
| 式 | 戻り |
|---|---|
| Ｚ＝＝０ | ０（偽、False） |
| Ｚ＜０ | １（真、True） |
| ＮＯＴ Ｚ | ５２４２８７ |
| Ｚ％３ | －２ |
| Ｚ ＯＲ １ | －５２４２８７ |
| ＨＥＸ＄（Ｚ） | ”８００００” |
| ＡＢＳ（Ｚ） | －０ |
| ＳＧＮ（Ｚ） | －１ |
| ＥＸＰ（Ｚ） | ０ |
| ＤＥＧ（Ｚ） | ３６９２１４．３５０５８５９ |
| ＡＴＡＮ（Ｚ） | －１．５７０８０７８（これは－ＰＩ（）／２と同じ） |
| ＡＴＡＮ（０，Ｚ） | ３．１４１６０１５６ |
| ＡＴＡＮ（Ｚ，０） | －１．５７０８００７８ |
| ＡＴＡＮ（Ｚ，Ｚ） | －２．３５６２０１１７（これは－ＰＩ（）＊３／４と同じ） |
| ＳＩＮ（Ｚ） | 警告なしにフリーズ |
| ＣＯＳ（Ｚ） | 警告なしにフリーズ |
| ＴＡＮ（Ｚ） | 警告なしにフリーズ |
参考
CHECKER FLAG (ひとことコメント)
コメントがあれば一言どうぞ。(作品に直接関係ない質問や雑談は掲示板へ)