Реферат: Варианты алгоритма возведения в степень повышение точности и ускорение

(3) f(z)=2**z,

(4) g(x,y)=y*log2(x),

(5) xy =f(g(x,y)).

Так как вычислить f(z) в одно действие невозможно, приходится считать так:

(6) f(z)=2**z=2**(trunc(z)+(z-trunc(z)))=(2**trunc(z)) * (2**(z-trunc(z))).

Формулы (4)-(6) естественно выражаются таким ассемблерным кодом:

;Во-первых, вычисляем z=y*log2(x):

fld y ;Загружаем основание и показатель степени

fld x

fyl2x ;Стек FPU теперь содержит: ST(0)=z

;Теперь считаем 2**z:

fld st(0) ;Создаем еще одну копию z

frndint ;Округляем

fsubr st(0),st(1) ;ST(1)=z, ST(0)=z-trunc(z)

f2xm1 ;ST(1)=z, ST(0)=2**(z-trunc(z))-1

fld1

faddp ;ST(1)=z, ST(0)=2**(z-trunc(z))

fscale ;ST(1)=z, ST(0)=(2**trunc(z))*(2**(z-trunc(z)))=2**t

fxch st(1)

fstp st ;Результат остается на вершине стека ST(0)

ПРЕДУПРЕЖДЕНИЕ

Перед выполнением этого фрагмента кода нужно убедиться, что биты управления округлением в слове управления FPU установлены в режим округления к нулю. В Delphi это проще всего сделать при помощи функции SetRoundMode (модуль Math):

SetRoundMode(rmTruncate);

ПРИМЕЧАНИЕ

Так как на процессорах Intel Pentium IV последовательное многократное переключение между двумя (но не более) состояниями слова управления FPU выполняется гораздо быстрее, чем на ранних моделях, можно рассчитывать, что даже в тех ситуациях, когда придется перемежать вызов этого фрагмента кода с действиями, требующими иного режима округления, при работе на современной технике это не приведет к чрезмерным дополнительным временным затратам. Подробности см., например, в [3].

Полный код работоспособной функции на Object Pascal выглядит так:

function _Power(const x,y:FLOATTYPE):FLOATTYPE; //x>0!

asm

fld y

К-во Просмотров: 358
Бесплатно скачать Реферат: Варианты алгоритма возведения в степень повышение точности и ускорение