Г-н Фаршеклоакин (spamsink) wrote,
Г-н Фаршеклоакин
spamsink

Выбор между телесным и душевным здоровьем

Сегодня я нарушил свой режим и не пошел, как обычно делаю по пятницам, в тренажерный зал, а сидел допоздна на работе.

Внезапно оказалось, что оптимизатор в некоторых случаях ничего хорошего не оптимизирует. После трехчасовых изысканий выяснилось, что операции целочисленного сравнения на больше-меньше, у которых с обеих сторон имеются полиномообразные выражения особого вида с аддитивными константами, иногда приводятся к виду (a <= 2*b), а иногда — к виду (a < 2*b+1), а финтифлюшки-то, которая бы понимала, что эти выражения эквивалентны, и нету, а это понимание в тех самых некоторых случаях дорогого стоит. Причём дело не в операции сложения — когда гарантированно нет переноса, оно у нас совершенно бесплатное — а в том, что распознавание эквивалентности двух условий открывает дорогу дальнейшим оптимизациям.
[Необходимое примечание]В условиях ограниченного диапазона представления чисел в общем случае a <= b и a < b+1 неэквивалентны, потому что прибавление единицы к самому большому представимому числу может вызвать переполнение. Самое большое представимое число - нечетное, поэтому в моем случае переполнение гарантированно избегается. (Конец необходимого примечания.)
Теперь буду все выходные нетренированный, но зато довольный собой. А распознавание эквивалентности этих выражений - дело техники, на следующей неделе сбацаю.
Tags: work
Subscribe

  • Это что за орфографические новости?

    В одном ютубовском ролике, который автор стесняется озвучивать голосом, в субтитрах замечены слова вида puttx, poppx, havx, gettx, eatx, gox. Судя…

  • Юникод для новояза

    В списке кодов, предложенных к включению в юникод версии 14: 1AC9..1ACA 2 COMBINING DOUBLE PLUS SIGN ABOVE COMBINING DOUBLE PLUS SIGN BELOW Также…

  • Ни на что не намекаю, просто песенку пою

    Подсадил меня Ютуб в последние дни на песенный конкурс для детей, оставшихся без попечения родителей "Ты супер!" (по-моему, весьма полезное,…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment