個人的な課題として、πの値を取得する最速の方法を探しています。より具体的には、などの#define
定数を使用しM_PI
たり、数値をハードコーディングしたりする必要のない方法を使用しています。
以下のプログラムは、私が知るさまざまな方法をテストします。インラインアセンブリバージョンは理論的には最速のオプションですが、移植性はありません。他のバージョンと比較するためのベースラインとして含めました。私のテストでは、組み込みで、4 * atan(1)
バージョンをGCC 4.2で最も高速にatan(1)
しています。これは、を定数に自動フォールディングするためです。で-fno-builtin
指定され、atan2(0, -1)
バージョンが最速です。
主なテストプログラムはpitimes.c
次のとおりです():
#include <math.h>
#include <stdio.h>
#include <time.h>
#define ITERS 10000000
#define TESTWITH(x) { \
diff = 0.0; \
time1 = clock(); \
for (i = 0; i < ITERS; ++i) \
diff += (x) - M_PI; \
time2 = clock(); \
printf("%s\t=> %e, time => %f\n", #x, diff, diffclock(time2, time1)); \
}
static inline double
diffclock(clock_t time1, clock_t time0)
{
return (double) (time1 - time0) / CLOCKS_PER_SEC;
}
int
main()
{
int i;
clock_t time1, time2;
double diff;
/* Warmup. The atan2 case catches GCC's atan folding (which would
* optimise the ``4 * atan(1) - M_PI'' to a no-op), if -fno-builtin
* is not used. */
TESTWITH(4 * atan(1))
TESTWITH(4 * atan2(1, 1))
#if defined(__GNUC__) && (defined(__i386__) || defined(__amd64__))
extern double fldpi();
TESTWITH(fldpi())
#endif
/* Actual tests start here. */
TESTWITH(atan2(0, -1))
TESTWITH(acos(-1))
TESTWITH(2 * asin(1))
TESTWITH(4 * atan2(1, 1))
TESTWITH(4 * atan(1))
return 0;
}
そして、インラインアセンブリスタッフ(fldpi.c
)は、x86およびx64システムでのみ機能します。
double
fldpi()
{
double pi;
asm("fldpi" : "=t" (pi));
return pi;
}
そして、私がテストしているすべての構成をビルドするビルドスクリプト(build.sh
):
#!/bin/sh
gcc -O3 -Wall -c -m32 -o fldpi-32.o fldpi.c
gcc -O3 -Wall -c -m64 -o fldpi-64.o fldpi.c
gcc -O3 -Wall -ffast-math -m32 -o pitimes1-32 pitimes.c fldpi-32.o
gcc -O3 -Wall -m32 -o pitimes2-32 pitimes.c fldpi-32.o -lm
gcc -O3 -Wall -fno-builtin -m32 -o pitimes3-32 pitimes.c fldpi-32.o -lm
gcc -O3 -Wall -ffast-math -m64 -o pitimes1-64 pitimes.c fldpi-64.o -lm
gcc -O3 -Wall -m64 -o pitimes2-64 pitimes.c fldpi-64.o -lm
gcc -O3 -Wall -fno-builtin -m64 -o pitimes3-64 pitimes.c fldpi-64.o -lm
さまざまなコンパイラフラグ間でのテスト(最適化が異なるため、32ビットと64ビットも比較しました)の他に、テストの順序を入れ替えてみました。しかし、それでも、atan2(0, -1)
バージョンは毎回トップになっています。