Переменная в register, операция >>, во что компилится?

@Ultrator · Регистрация: 28.04.2009

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

Если объявлена переменная

C++

1	register unsigned int i=100;

и затем мне надо выполнять операцию >>1 (деление на 2), в цикле,
дак вот, если написать просто

C++

i=i>>1;

эта строка скомпилится именно в

Assembler

sar xX, 1

,
или какую-то более сложную последовательность, с присваиванием и т.д. ??
(Просто, i++ будет инкремент, а i>>1 - ничего не будет, значение i останется прежним. А как надо?)
Заранее благодарю.

@Monte-Cristo · 30.04.2009, 10:58

всмысле?

C++

1
2
3

register unsigned int i=100;
i = i>>1;
cout << i;

у нас i теперь будет равно 50.

Добавлено через 3 минуты 1 секунду
вообще-то, во что она будет компилится - зависит от компилятора, насколько я знаю... возможно, все компиляторы и компилят в одно и тоже, но это не факт... компилятор производит оптимизацию и минимазацию.. поэтому после компилирования, сложно угадать. Сделайте дизасм свое программы, и посмотите.

@Humanitis · 30.04.2009, 10:59

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

C++

i>>=1;

@Ultrator · 30.04.2009, 11:17 **[ТС]**

у нас i теперь будет равно 50

Ну с этим даже вопросов нет, это понятно.
Вопрос, это будет 1-на инструкция или несколько (эффективность кода, только, меня интересует).

i>>=1;

О, классно. Не знал что так можно. Наверно это и есть то что было надо.
Компилятор g++, без опций. (Переменная i ВСЕГДА в регистре, поскольку объявлена как register, и существует внутри блока.)
Кто нибудь знает конкретнее ?

@Humanitis · 30.04.2009, 11:32

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

Переменная i ВСЕГДА в регистре

С чего бы вдруг?

Это если будет свободный регистр в данном блоке,а если не будет то переменная разместится в ячейке памяти. И это логично. А вдруг я объявлю подобных перемнных больше ,чем регистров общего назначения

@Ultrator · 30.04.2009, 13:27 **[ТС]**

А если их в каждом блоке не > 4 ?
(Ну, AX всяко будет использоваться другими командами, BX м.б. тоже, ну, не знаю. Я почему то решил, не > 4-х, и ладно - может ли это гарантировать, что не выкинут?
Или может это всё ерунда (и стараться оптимизировать - вообще не нужно, т.к. всё равно)?)

@CheshireCat · 30.04.2009, 13:35

Тебе, как разработчику на Си/Си++, это без разницы. Ключевое слово register - это всего лишь нижайшая просьба к компилятору: "Ваше Святейшество, будьте любезны, попытайтесь разместить вот эту переменную в регистре, коли получится, ну а коли нет - мы, холопы Ваши, претензиев не имеем". И компилятор имеет полное право эту просьбу в любой момент проигнорировать.

Поверь, компиляторы пишут ну ооооочень неглупые люди, и оптимизировать сгенерированный компилятором код по времени исполнения (типа -O3) они умеют. Не факт, что тебе (или вообще среднему прикладному программисту) удастся это лучше, - тем более, что код, сгенерированный современными компиляторами, очень и очень неплох. Скорее всего, получится намного хуже.

@Ultrator · 30.04.2009, 14:33 **[ТС]**

Понятно. (а зачем тогда вообще это слово ?)
Вот, счётчики циклов после компиляции "-O3" - будут все в регистрах (если вложенность циклов не >3), или сложно сказать?

Вообще, где можно посмотреть примеры кода C++, который с буковкой O3 выдаёт максимально быстрый (или считающийся таковым) код ?
Пусть это будут хотя бы сортировки или т.п. (под любой 32-битный стандарт, кстати, сравнить под g++ и VC++ было бы интересно).

(Ведь учебников ПО ОПТИМИЗАЦИИ - НЕТ в принципе, а то что есть, там - тривиальные истины, то что все и так понимают).

Сайт Пита И..си - вот пожалуй и всё, что удалось найти мне (там, ессно, на английском). Оптимизация для MFC. Зашибись...

@CheshireCat · 30.04.2009, 14:38

Слово это осталось как рудимент ранних (ДОС-)компиляторов, когда оптимизировать приходилось вручную.
Посмотреть примеры кода? Да лехко. Напиши любой пример, и откомпилируй его в Release с оптимизацией. И VC++, и GCC умеют выдавать ассемблерные листинги кода (посмотри в документации) с привязкой листинга к исходного строкам кода. Другие компиляторы, видимо, тоже; просто именно с этими работаю постоянно и точно знаю. Наслаждайся!

@Ultrator · 30.04.2009, 17:51 **[ТС]**

Как в Линуксе посмотреть асм-код (и данные) elf-файла? (Есть ли такая прога ?).

@CheshireCat · 30.04.2009, 18:25

IDA, например.
А если это твой код - то все проще, используй ключик -S компилятора. Подробности в мануале по GCC или по ключику --help.

@Ultrator · 30.04.2009, 20:29 **[ТС]**

Кто говорит - не знает,
Кто знает - не говорит (а делает).

Лао Цзы.

@Ultrator 14 / 10 / 1 Регистрация: 28.04.2009 Сообщений: 219
	30.04.2009, 20:29 [ТС]	12
	Кто говорит - не знает, Кто знает - не говорит (а делает). Лао Цзы. 0

@Ultrator 14 / 10 / 1 Регистрация: 28.04.2009 Сообщений: 219
	30.04.2009, 11:17 [ТС]	4
	у нас i теперь будет равно 50 Ну с этим даже вопросов нет, это понятно. Вопрос, это будет 1-на инструкция или несколько (эффективность кода, только, меня интересует). i>>=1; О, классно. Не знал что так можно. Наверно это и есть то что было надо. Компилятор g++, без опций. (Переменная i ВСЕГДА в регистре, поскольку объявлена как register, и существует внутри блока.) Кто нибудь знает конкретнее ? 0

@Humanitis 176 / 168 / 27 Регистрация: 12.01.2009 Сообщений: 430
	30.04.2009, 11:32	5
	Сообщение от Ultrator Переменная i ВСЕГДА в регистре С чего бы вдруг? Это если будет свободный регистр в данном блоке,а если не будет то переменная разместится в ячейке памяти. И это логично. А вдруг я объявлю подобных перемнных больше ,чем регистров общего назначения 0

@Ultrator 14 / 10 / 1 Регистрация: 28.04.2009 Сообщений: 219
	30.04.2009, 13:27 [ТС]	6
	А если их в каждом блоке не > 4 ? (Ну, AX всяко будет использоваться другими командами, BX м.б. тоже, ну, не знаю. Я почему то решил, не > 4-х, и ладно - может ли это гарантировать, что не выкинут? Или может это всё ерунда (и стараться оптимизировать - вообще не нужно, т.к. всё равно)?) 0

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	30.04.2009, 13:35	7
	Тебе, как разработчику на Си/Си++, это без разницы. Ключевое слово register - это всего лишь нижайшая просьба к компилятору: "Ваше Святейшество, будьте любезны, попытайтесь разместить вот эту переменную в регистре, коли получится, ну а коли нет - мы, холопы Ваши, претензиев не имеем". И компилятор имеет полное право эту просьбу в любой момент проигнорировать. Поверь, компиляторы пишут ну ооооочень неглупые люди, и оптимизировать сгенерированный компилятором код по времени исполнения (типа -O3) они умеют. Не факт, что тебе (или вообще среднему прикладному программисту) удастся это лучше, - тем более, что код, сгенерированный современными компиляторами, очень и очень неплох. Скорее всего, получится намного хуже. 1

@Ultrator 14 / 10 / 1 Регистрация: 28.04.2009 Сообщений: 219
	30.04.2009, 14:33 [ТС]	8
	Понятно. (а зачем тогда вообще это слово ?) Вот, счётчики циклов после компиляции "-O3" - будут все в регистрах (если вложенность циклов не >3), или сложно сказать? Вообще, где можно посмотреть примеры кода C++, который с буковкой O3 выдаёт максимально быстрый (или считающийся таковым) код ? Пусть это будут хотя бы сортировки или т.п. (под любой 32-битный стандарт, кстати, сравнить под g++ и VC++ было бы интересно). (Ведь учебников ПО ОПТИМИЗАЦИИ - НЕТ в принципе, а то что есть, там - тривиальные истины, то что все и так понимают). Сайт Пита И..си - вот пожалуй и всё, что удалось найти мне (там, ессно, на английском). Оптимизация для MFC. Зашибись... 0

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	30.04.2009, 14:38	9
	Слово это осталось как рудимент ранних (ДОС-)компиляторов, когда оптимизировать приходилось вручную. Посмотреть примеры кода? Да лехко. Напиши любой пример, и откомпилируй его в Release с оптимизацией. И VC++, и GCC умеют выдавать ассемблерные листинги кода (посмотри в документации) с привязкой листинга к исходного строкам кода. Другие компиляторы, видимо, тоже; просто именно с этими работаю постоянно и точно знаю. Наслаждайся! 0

@Ultrator 14 / 10 / 1 Регистрация: 28.04.2009 Сообщений: 219
	30.04.2009, 17:51 [ТС]	10
	Как в Линуксе посмотреть асм-код (и данные) elf-файла? (Есть ли такая прога ?). 0

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	30.04.2009, 18:25	11
	IDA, например. А если это твой код - то все проще, используй ключик -S компилятора. Подробности в мануале по GCC или по ключику --help. 1

Опции темы