Changes between Initial Version and Version 1 of Dev/assembly/x86

Timestamp:

Dec 1, 2010 8:15:58 PM (13 years ago)

Author:

mitty

Comment:

--

Dev/assembly/x86

@@ +1 @@
+[[PageOutline]]
+
+ = SIGFPE =
+ * Floating point exception
+ * [http://fukumori.org/diary/20060615.html#p01 Rogue Engineer's Diary / やさぐれ日記(2006-06-15)]
+ * http://web.archive.org/web/20050702155253/http://cclub.cc.tut.ac.jp/~pakuchan/hoge/2004/9/28
+   1. 浮動小数点で 10.0 / 0.0 を実行すると，値は無限大になるだけで，別に浮動小数点例外が発生するようなことはなかったように記憶しています．試しにやってみると，手元の環境では次のようになりました．
+{{{
+% cat test.cc
+#include <iostream>
+int main(void)
+{
+  std::cout << 10.0 / 0.0 << std::endl;
+  return 0;
+}
+% g++ test.cc
+test.cc: In function `int main()':
+test.cc:4: 警告: division by zero in `1.0e+1 / 0.'
+% ./a.out
+inf
+%
+}}}
+   1. 一方，整数で 10 / 0 を実行すると... 次の例のように floating point exception が発生します．
+{{{
+% cat test.cc
+#include <iostream>
+int main(void)
+{
+  std::cout << 10 / 0 << std::endl;
+  return 0;
+}
+% g++ test.cc
+test.cc: In function `int main()':
+test.cc:4: 警告: division by zero in `10 / 0'
+% ./a.out
+zsh: 28997 floating point exception  ./a.out
+%
+}}}
+   1. 当然これは signal(7) の SIGFPE のことです．前者の例から考えると，浮動小数点の 0 除算では「本当の」SIGFPE は発生しないでしょうから，私が推測する理由は次のようなものです．「UNIX がよく稼働する Sparc では，整数の 0 除算も浮動小数点例外として処理していて，Linux は i386 への実装の際，できるだけ近い実装となるようにした」
+