| |
|
  |
 Последовательность действий - побитовая инверсия и сдвиг, (~PIND) >> 4 == ~(PIND >> 4) ??? |
|
|
|
|
 Sep 28 2010, 22:31
|
Гуру
Группа: Модераторы
Сообщений: 8 455
Регистрация: 15-05-06
Из: Рига, Латвия
Пользователь №: 17 095
|
Цитата(_Pasha @ Sep 28 2010, 23:14)  Люди! Радуйтесь, что сдвиг вправо знакового числа арифметический. Результат сдвига вправо отрицательного числа по стандарту отдан на откуп компилятору. Почему они так решили - загадка. Цитата 5 The result of E1 >> E2 is E1 right-shifted E2 bit positions. If E1 has an unsigned type or if E1 has a signed type and a nonnegative value, the value of the result is the integral part of the quotient of E1 /2^E2. If E1 has a signed type and a negative value, the resulting value is implementation-defined.
--------------------
На любой вопрос даю любой ответ"Write code that is guaranteed to work, not code that doesn’t seem to break" ( C++ FAQ)
|
|
|
|
|
|
|
|
Sep 29 2010, 04:50
|
Профессионал
Группа: Свой
Сообщений: 1 453
Регистрация: 23-08-05
Пользователь №: 7 886
|
Цитата(Сергей Борщ @ Sep 29 2010, 02:31) Результат сдвига вправо отрицательного числа по стандарту отдан на откуп компилятору. Почему они так решили - загадка. могу только дополнить кусочком из книги K&R: "...Сдвиг вправо числа со знаком в некоторых системах приводит к заполнению этих битов (прим: освободившихся) значением знакового бита ("арифметический сдвиг") , а в других - нулями ("логический сдвиг")..." P.S. Однако, в случае топикстартера всё равно логический или арифметический сдвиг был применён. результат будет одинаковым.
|
|
|
|
|
|
|
|
Sep 30 2010, 09:05
|
Частый гость
Группа: Участник
Сообщений: 108
Регистрация: 6-02-09
Из: Новочеркасск
Пользователь №: 44 469
|
Как заключение - остановился на варианте somevar = (uint8_t)(~PIND) >> 4;ибо Код ----------------------------------------------------
PORTB = (~PIND) >> 4;
80: 89 b1 in r24, 0x09; 9
82: 90 e0 ldi r25, 0x00; 0
84: 80 95 com r24
86: 90 95 com r25
88: 95 95 asr r25
8a: 87 95 ror r24
8c: 95 95 asr r25
8e: 87 95 ror r24
90: 95 95 asr r25
92: 87 95 ror r24
94: 95 95 asr r25
96: 87 95 ror r24
98: 85 b9 out 0x05, r24; 5
----------------------------------------------------
PORTB = ((~PIND) >> 4)&0xf;
80: 89 b1 in r24, 0x09; 9
82: 90 e0 ldi r25, 0x00; 0
84: 80 95 com r24
86: 90 95 com r25
88: 95 95 asr r25
8a: 87 95 ror r24
8c: 95 95 asr r25
8e: 87 95 ror r24
90: 95 95 asr r25
92: 87 95 ror r24
94: 95 95 asr r25
96: 87 95 ror r24
98: 8f 70 andi r24, 0x0F; 15
9a: 85 b9 out 0x05, r24; 5
----------------------------------------------------
PORTB = ((~PIND)&0xff) >> 4;
80: 89 b1 in r24, 0x09; 9
82: 80 95 com r24
84: 90 e0 ldi r25, 0x00; 0
86: 95 95 asr r25
88: 87 95 ror r24
8a: 95 95 asr r25
8c: 87 95 ror r24
8e: 95 95 asr r25
90: 87 95 ror r24
92: 95 95 asr r25
94: 87 95 ror r24
96: 85 b9 out 0x05, r24; 5
----------------------------------------------------
PORTB = ((uint8_t)(~PIND)) >> 4;
80: 89 b1 in r24, 0x09; 9
82: 80 95 com r24
84: 82 95 swap r24
86: 8f 70 andi r24, 0x0F; 15
88: 85 b9 out 0x05, r24; 5
----------------------------------------------------
PORTB = (uint8_t)(~PIND) >> 4;
80: 89 b1 in r24, 0x09; 9
82: 80 95 com r24
84: 82 95 swap r24
86: 8f 70 andi r24, 0x0F; 15
88: 85 b9 out 0x05, r24; 5
----------------------------------------------------
uint8_t tmpD;
tmpD = PIND;
80: 89 b1 in r24, 0x09; 9
tmpD = ~tmpD;
PORTB = tmpD >> 4;
82: 80 95 com r24
84: 82 95 swap r24
86: 8f 70 andi r24, 0x0F; 15
88: 85 b9 out 0x05, r24; 5
---------------------------------------------------- Даже swap а не тупо сдвиг. Компиленно с -O2.
Сообщение отредактировал Dx! - Sep 30 2010, 09:12
|
|
|
|
|
|
|
|
Sep 30 2010, 11:02
|
Частый гость
Группа: Участник
Сообщений: 108
Регистрация: 6-02-09
Из: Новочеркасск
Пользователь №: 44 469
|
Код PORTB = (PIND^0xFF) >> 4;
80: 89 b1 in r24, 0x09; 9
82: 80 95 com r24
84: 82 95 swap r24
86: 8f 70 andi r24, 0x0F; 15
88: 85 b9 out 0x05, r24; 5 Оптимизация 8)
|
|
|
|
|
|
|
|
Sep 30 2010, 12:24
|
Профессионал
Группа: Свой
Сообщений: 1 453
Регистрация: 23-08-05
Пользователь №: 7 886
|
Цитата(777777 @ Sep 30 2010, 16:00) Да, кейл тоже творчески подходит к стандарту и знает где можно от него отойти ради более эффективного кода. А гцц слишком тупо ему следует. Не бывает тупого следования стандарту. Бывает либо соответствие стандарту, либо несоответствие стандарту. Если компилятор не соответствует стандарту, то одинаковый код на разных платформах будет давать разный результат.
|
|
|
|
|
|
|
|
Sep 30 2010, 15:51
|
Профессионал
Группа: Участник
Сообщений: 1 091
Регистрация: 25-07-07
Из: Саратов
Пользователь №: 29 357
|
Цитата(Petka @ Sep 30 2010, 16:24) Не бывает тупого следования стандарту.
Бывает либо соответствие стандарту, либо несоответствие стандарту.
Если компилятор не соответствует стандарту, то одинаковый код на разных платформах будет давать разный результат. Все верно. Но бывают случаи, когда несоответствие стандарту дает лучшие результаты, чем соответствие. В частности, стандарт требует при выполнении операций приводить операнды к типу int. Может это и хорошо когда размер int соответствует естественному размеру переменной на данной платформе. Но в 8-разрядных процессорах это не так - int не может быть 8-битным, а выполнение операций в 16-разрядных переменных приводит к неэффективности кода. Другой пример - различные адресные пространства. Стандарт предназначен для машин фон-неймановской архитертуры и ничего не хочет знать о том, что указатель может указывать как на пространство кода, так и на пространство данных. А в кейле можно объявить указатель на нужное нам пространство и просто разыменовывать его *p безо всяких уродских pgm_read_byte и компилятор генерирует нужный код в зависимости от типа указателя.
|
|
|
|
|
|
|
|
Sep 30 2010, 16:00
|
Профессионал
Группа: Свой
Сообщений: 1 453
Регистрация: 23-08-05
Пользователь №: 7 886
|
Цитата(777777 @ Sep 30 2010, 19:51) Но в 8-разрядных процессорах это не так - int не может быть 8-битным, а выполнение операций в 16-разрядных переменных приводит к неэффективности кода. int может быть 8ми битным, для этого надо указать gcc правильный ключик. Цитата Другой пример - различные адресные пространства. Стандарт предназначен для машин фон-неймановской архитертуры и ничего не хочет знать о том, что указатель может указывать как на пространство кода, так и на пространство данных. А в кейле можно объявить указатель на нужное нам пространство и просто разыменовывать его *p безо всяких уродских pgm_read_byte и компилятор генерирует нужный код в зависимости от типа указателя. Это ещё одна причина использовать архитектуры где флэш и оперативная память адресуются одинаково без ущерба для производительности (ARM, например).
|
|
|
|
|
|
|
|
Sep 30 2010, 16:58
|
Профессионал
Группа: Участник
Сообщений: 1 091
Регистрация: 25-07-07
Из: Саратов
Пользователь №: 29 357
|
Цитата(Petka @ Sep 30 2010, 20:00) int может быть 8ми битным, для этого надо указать gcc правильный ключик. И что, от этого компиоятор будет генерировать вычисление выражений по-другому? Будет приводить к 8-битному int? Цитата(Petka @ Sep 30 2010, 20:00) Это ещё одна причина использовать архитектуры где флэш и оперативная память адресуются одинаково без ущерба для производительности (ARM, например). Такое впечатление, что стандарт C для вас бог, а все остальное для него подстраиваться. Вообще-то первичным является железо, а все остальное делается для него (причем сначала появляются компиляторы, а потом стандарты для них). Поэтому и существуют до сих пор гарвардские процессоры, поскольку они удобнее в качестве микроконтроллеров, поэтому придумывают новые архитектуры - сигнальные процессоры, многопроцессорные системы. И если для кого-то из них не хватает возможностей языка - значит его надо расширять или менять.
Сообщение отредактировал 777777 - Sep 30 2010, 17:00
|
|
|
|
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
|
|
