doubleの精度が-O0だと80ビットで-O3だと64ビットになるケース - sumiiのブログ
誰か同じ罠に嵌る and/or 気づくかと思い「秘密のエントリ」「あとで公開する」としていましたが、だれもハマってくれないようなので公開します。 例のPHPのround問題の関係でgccの-ffloat-storeを試していたのですが、 static double f(double x) { return x * 100.0; } int main() { return f(1.075) >= 107.5; }というプログラムをコンパイルして動かすと下のようになります。 > uname -mrs Linux 2.6.9-42.0.10.ELsmp i686 > gcc --version gcc (GCC) 3.4.6 20060404 (Red Hat 3.4.6-8) Copyright (C) 2006 Free Software Foundation, Inc. This is f
The pitfalls of verifying floating-point computations
LIENS - Laboratoire d'informatique de l'école normale supérieure (45 Rue d'Ulm 75230 PARIS CEDEX 05 - France) 1315DI-ENS - Département d'informatique - ENS Paris (École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France) 25027ENS-PSL - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France) 59704PSL - Université Paris Sciences et Lettres (60 rue Mazarine 75006
Island Life - 拡張浮動小数点数の扱い
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GNU Linux and the Extended Precision on x86 Processors
http://www.shudo.net/java-grandprix99/strictfp/
