Сравнение вещественных чисел.

[_PROGRAMM_]

Недавно столкнулся с вещественными числами. Все было хорошо, до того как потребовалось их сравнить. Начну со статьи. http://forum.vingrad.ru/topic-237927.html Обратите внимание на второе сообщение. В нем рассказывается о командах сопроцессора.
Рассмотрим первые из них: FCOM (FCOMP, FCOMPP, FICOM, FICOMP)
После этих инструкций нужно использовать еще две FSTSW и SAHF(не могу понять: почему бы для этого не сделать одну инструкцию?) И здесь есть одно но. Здесь(кликабельно) говорится о том что не получится использовать команду jg, вместо нее лучше ja, которая сравнивает числа без знака. Главный вопрос: а если мне нужно учесть знак, то как поступить?
Ладно, теперь перейдем ко второй группе команд: FUCOM (FUCOMP, FUCOMPP) Они работают без инструкций FSTSW и SAHF. Есть ли недостатки в сравнении с FCOM и т.п? Если да, то какие? Что-то очень сильно я запутался.
Заранее благодарю.

[Mikl___]

_PROGRAMM_
И что там было непонятно? Я еще упоминал FTST и FXAM, если не хочешь париться с командой SAHF и переводить флаги сопроцессора в соответствующие биты EFLAGS используй команды FCOMI, FCOMIP, FUCOMI, FUCOMIP, после них можно использовать команды условного перехода типа jl, je и т.д., а чтобы понять отрицательное вещественное число или положительное достаточно получить значение ее старшего бита, если =1, то отрицательное, проверку на ноль тоже можно упростить, так как вещественный 0.0 и целочисленный 0 это одно и тоже!

[_PROGRAMM_]

Т.е. для того, чтобы сравнить числа, мне придется придумывать логику их сравнения? Что-то я не пойму. Если мне, например, нужно сравнить 0.5 с заведомо неизвестным(x) и узнать: это неизвестное больше 0,5 или меньше. Нужно будет сначала сравнить знак, если x отрицательное, то оно меньше, если x=0(получается еще одно сравнение и флаги сбросятся) и только после этого сравнивать инструкциями ja je? Вы упомянули о jl следовательно сравнение со знаком можно выполнять ею?
Или есть какой-то другой, более рациональный, способ? Вообще какие инструкции сравнения использовать можно, а какие - нет?

после них можно использовать команды условного перехода типа jl, je

А инструкции FCOM,FSTSW,SAHF этого не позволяют?

[Mikl___]

_PROGRAMM_, нет не то
если я хочу узнать, что вещественное число Y меньше нуля, то не прибегая к FCOM я могу написать

test Y,800000000h
jz число_положительное

, если я хочу проверить на равенство с нулем

cmp Y,0
jz Y_равно_нулю

все эти приседания со сравнениями возникли потому, что до 486 процессора сопроцессор был отдельным устройством, а вообще если мои разяснения непонятны почитай Юрий Магда - "Ассемблер для процессоров Intel Pentium" Издательство: Питер 2006, или Калашникова или Ассемблер IA-32. Вещественная арифметика

[f.hump]

для сравнения можно использовать все, что душа пожелает.
хотя я бы рекомендовал использование FCOMI(FCOMIP/ FUCOMI/FUCOMIP), которая ставит EFLAGS, на мой взляд, это удобно, потому что можно использовать Jcc без проверки FPU статуса.

книжка учит, что единственая раница между FCOMI И FUCOMI это отношение к NaN и неправильному формату. FCOMI дает исключение всегда когда содержание одного из регистров в неправильном формате или NaN. FUCOMI дает ислючение только, когда оба регистра в неправильном формате или NaN, а также в том случае если один из регистров содержит SNaN.

2Mikl___
по мелочам:
в первом тесте лишний 0.
в 32-х битном режиме будет работать только с single precision.

второй смр даст неправильный результат для -0.0

что до 486 процессора сопроцессор был отдельным устройством

че-то не понял, а что собственно изменилось? они перешли на новый техпроцесс и запихнули CPU и FPU в одну коробку?

[_PROGRAMM_]

Спасибо за помощь. Для заключения скажу, что очень много знаний дала мне книга, прочитать которую предложил Mikl___(не разрешают + поставить), Юрий Магда - "Ассемблер для процессоров Intel Pentium". Тем кто попадет сюда через поиск, советую почитать. Хотя бы о сопроцессоре.

[Mikl___]

а что собственно изменилось? они перешли на новый техпроцесс и запихнули CPU и FPU в одну коробку?

Да, начиная с 486 CPU и FPU находятся на одном кристалле

[_PROGRAMM_]

Да, начиная с 486 CPU и FPU находятся на одном кристалле

Но ведь по прежнему это отдельное устройство, только в одном кристале

[f.hump]

ну, да. работают параллельно.

[_PROGRAMM_]

Еще небольшой вопрос. Не найду инструкцию, которая, осуществляет сравнение и выталкивает сразу два операнда? FCOMIP выталкивает только один, fcompp использовать не удобно. Или проще после FCOMIP сделать FINCSTP? Что будет быстрее работать?