Циклический сдвиг влево на один разряд: Есть ли здесь UB?

ValeryS · Регистрация: 14.02.2011

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

Сначала написал, потом задумался

циклический сдвиг влево на один разряд

C

unsigned char ROL(unsigned char a)
{
 return (a>>7)|(a<<1);
}

@retmas · 13.05.2016, 11:42

в случае с unsigned можно. UB здесь нет

Evg · 13.05.2016, 13:40

У операций сдвига UB бывает в случаях, когда величина сдвига некорректная (меньше нуля или больше, чем размер типа) и в случае знакового типа у сдвигаемого аргумента. У тебя нет ни того, ни другого

ValeryS · 13.05.2016, 15:49 **[ТС]**

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

UB здесь нет

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

У тебя нет ни того, ни другого

да это то понятно
этот код должен компилироваться во что то типа

C

unsigned char tmp1=a>>7;
unsigned char tmp2=a<<1;
unsigned char tmp3=tmp1|tmp2;
return tmp3;

вот я и задумался, точнее в голову ударило

, а не может ли какой-нибудь шибко умный оптимизатор уменьшить сей код
что то типа

C

1 2	a<<=1; a>>=7;

уже нарывался на умные оптимизаторы, перестраховываюсь

@retmas · 13.05.2016, 15:54

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

а не может ли какой-нибудь шибко умный оптимизатор уменьшить сей код

не может(не должен). компиль не должен из корректного кода делать некорректный(с ub). ведь не придет же в голову, что

C

1	(x + 1) + (x + 1)

заменится на

C

x++ + x++

@retmas Жарю без масла 867 / 749 / 225 Регистрация: 13.01.2012 Сообщений: 1,702
	13.05.2016, 11:42	2
	в случае с unsigned можно. UB здесь нет 1

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	13.05.2016, 13:40	3
	У операций сдвига UB бывает в случаях, когда величина сдвига некорректная (меньше нуля или больше, чем размер типа) и в случае знакового типа у сдвигаемого аргумента. У тебя нет ни того, ни другого 1

	13.05.2016, 15:54