Оптимизирует ли компилятор деление/умножение double?

@GoldenId · Регистрация: 11.11.2010

Студворк — интернет-сервис помощи студентам

Если я пишу

C++
1
2
3
double d = ...;
for( ...; ...; d *= 2 )
    ...

или

C++
1
2
for( ...; ...; d /= 2 )
    ...

будет ли компилятор оптимизировать деление и умножение d, или для наилучшего результата нужно засучивать рукава и браться за мантиссу и экспоненту?

@nmcf · 25.04.2017, 09:40

Что за наилучший результат?

@h3mbr0 · 25.04.2017, 10:28

Вопрос некорректный без указания компилятора и настроек оптимизации

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

@GoldenId · 25.04.2017, 10:57 **[ТС]**

nmcf, если в качестве альтернативы я выделяю экспоненту, прибавляю к ней (вычитаю из неё) единицу и записываю обратно.

MrGluck · 25.04.2017, 11:13

Для счётчиков цикла лучше использовать целые числа.

@GoldenId · 25.04.2017, 11:22 **[ТС]**

Увы мне нужен именно double. Его потом прибавлять к double-у же. Такое задание.

MrGluck · 25.04.2017, 11:50

Сообщение от GoldenId

Его потом прибавлять к double-у же. Такое задание.

double + int вполне хорошо работает.

@GoldenId · 25.04.2017, 12:02 **[ТС]**

Сообщение от MrGluck

double + int вполне хорошо работает.

нужно складывать дробные части. Я даже разобрася, как хранится double в памяти:

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
signed long long int make_ll( double d )
{
    signed long long int& ll = *( signed long long int* )&d;
 
    signed long long int mantis =
        ( ll & 0xFFFFFFFFFFFFF ) | ( ( ll & 0x7FFFFFFFFFFFFFFF ) ? 0x10000000000000 : 0 );
    if( ll & 0x8000000000000000 )
        mantis = -mantis;
    signed long long int exp =
        ( ( ll & 0x7FF0000000000000 ) >> 52 ) - 0x3FF - 52;
//  int shf_exp = exp - 52;
    signed long long int intpart = ( exp >= 0 ) ? mantis << exp : mantis >> -exp;
 
    if( /*shf_*/exp >= 0 )
        return mantis << /*shf_*/exp;
    else
        return mantis >> -exp;
//  return
//      ( ( ull & 0xFFFFFFFFFFFFF ) | ( ( ull & 0x8FFFFFFFFFFFFFFF ) ? 0x10000000000000 : 0 ) )
//      << ( ( ( ull & 0x7FF0000000000000 ) >> 52 ) - 0x3FF - 52 );
}

@Dani · 25.04.2017, 12:07

Сообщение от GoldenId

оптимизировать деление и умножение d

Что именно ты имеешь ввиду?

Сообщение от GoldenId

for( ...; ...; d *= 2 )

GCC может заменить умножение на 2 через сложение

@GoldenId · 25.04.2017, 12:33 **[ТС]**

Dani, ну да, если умножение на 2 заменяется прибавлением 1 к экспоненте.

@Dani · 25.04.2017, 13:12

Как я уже упомянул,

Сообщение от Dani

GCC может заменить умножение на 2 через сложение

Но добавление 1 к экспоненте не будет быстрее, поэтому такая оптимизация не производится:
1) чтобы добавить 1 к экспоненте, нужно как-то получить доступ к ней напрямую (как это сделать быстро?)
2) для 0, INFINITY, NAN это не выполняется, что потребует дополнительных проверок. Итог - потеря времени
3) Денормализованные числа

@GoldenId · 25.04.2017, 16:11 **[ТС]**

Сообщение от Dani

1) чтобы добавить 1 к экспоненте, нужно как-то получить доступ к ней напрямую (как это сделать быстро?)

C++
1
2
3
double d = ...;
long long& ll = *( long long* ) &d;
long long exp = ( ( ll & 0x7FF0000000000000 ) >> 52 ) - 0x3FF;

Сообщение от Dani

2) для 0, INFINITY, NAN это не выполняется, что потребует дополнительных проверок. Итог - потеря времени

Мгм...

Сообщение от Dani

3) Денормализованные числа

У меня задание, использовать свой самописный класс в качестве целой части, а double в качестве дробной. Вы предлагаете мне реализовывать денормализованные числа на double? Тогда придётся самому писать сложение, вычитание, сравнения, которые уж точно будут не быстрее, чем встроенные...

@Dani · 25.04.2017, 16:48

Сообщение от GoldenId

( ( ll & 0x7FF0000000000000 ) >> 52 ) - 0x3FF

и это по-твоему быстрее, чем одна операция сложения?

Добавлено через 5 минут
Был вопрос

Сообщение от GoldenId

Оптимизирует ли компилятор деление/умножение double?

Есть денормализованные числа с которыми возникает проблема, если делать +1 на дабл. О них я упомянул.

Денормализованные числа (англ. denormalized numbers, subnormal numbers) — вид чисел с плавающей запятой, определенный в стандарте IEEE 754.

Сообщение от GoldenId

Вы предлагаете мне реализовывать денормализованные числа на double? Тогда придётся самому писать сложение, вычитание, сравнения, которые уж точно будут не быстрее, чем встроенные...

Я ничего не предлагаю, я отвечал на вопрос который выше.

Новые блоги и статьи Все статьи Все блоги /
Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .	Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .
Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .	Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при создании или изменении элементов справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи электронной. . .

@nmcf 7804 / 6568 / 2988 Регистрация: 14.04.2014 Сообщений: 28,705
	25.04.2017, 09:40
	Что за наилучший результат? 0

@h3mbr0 298 / 107 / 31 Регистрация: 12.03.2012 Сообщений: 449
	25.04.2017, 10:28
	Вопрос некорректный без указания компилятора и настроек оптимизации Сравните скорости выполнения Вполне вероятно, что для двойки оптимизация будет, а для степени двойки - уже нет 0

@GoldenId 142 / 143 / 64 Регистрация: 11.11.2010 Сообщений: 877 Записей в блоге: 10
	25.04.2017, 10:57 [ТС]
	nmcf, если в качестве альтернативы я выделяю экспоненту, прибавляю к ней (вычитаю из неё) единицу и записываю обратно. 0

MrGluck Форумчанин 8216 / 5047 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	25.04.2017, 11:13
	Для счётчиков цикла лучше использовать целые числа. 0

@GoldenId 142 / 143 / 64 Регистрация: 11.11.2010 Сообщений: 877 Записей в блоге: 10
	25.04.2017, 11:22 [ТС]
	Увы мне нужен именно `double`. Его потом прибавлять к `double`-у же. Такое задание. 0

@GoldenId 142 / 143 / 64 Регистрация: 11.11.2010 Сообщений: 877 Записей в блоге: 10
	25.04.2017, 12:33 [ТС]
	Dani, ну да, если умножение на 2 заменяется прибавлением 1 к экспоненте. 0