[khlenar 5]

Здравствуйте все. 

Не могу понять, почему такое выражение как if(~(ind | 0xFE))... не работает. А так temp = ~(ind | 0xFE);   if(temp)...  работает???  IDE Atollic. 

[haker_fox 60]

4 minutes ago, khlenar said:

if((~(ind | 0xFE)))...

А так будет работать?

[khlenar 5]

Не, не работает

[khlenar 5]

Тупизм какой то.. 

[HardEgor 62]

6 минут назад, khlenar сказал:

Тупизм какой то.. 

А в asm заглянуть не получается?

[Палыч 6]

Огласите, пожалуйста, типы переменных temp и ind.

Подозреваю, что - char. Почитайте про приведение типов в языке С.

[khlenar 5]

uint8_t  temp , ind;

4 минуты назад, Палыч сказал:

 

Подозреваю, что - char. Почитайте про приведение типов в языке С.

Много раз читал...

Интересно, то, что это находится в задаче FreeRtos как то может влиять.?

[Палыч 6]

Растолковываю:

ind - uint8_t (unsigned char )

0xFE - int

Перед вычислением (ind | 0xFE) приводится значение переменной ind к типу int; результат - типа int, где старшие 8 бит имеют нулевое значение.

Результат вычисления ~(ind | 0xFE) тоже будет иметь тип int, но восемь старших бит будут иметь значение 1.

Оператор под if(~(ind | 0xFE)) будет всегда выполнятся, т.к. значение выражения - не ноль. При  temp = ~(ind | 0xFE); старшие 8 бит потеряются.

[khlenar 5]

Судя по асму, в первом случае компилятор не создает условие if(), во втором создает. Но от этого как то не легче

4 минуты назад, Палыч сказал:

Растолковываю:

ind - uint8_t (unsigned char )

0xFE - int

Перед вычислением (ind | 0xFE) приводится значение переменной ind к типу int; результат - типа int, где старшие 8 бит имеют нулевое значение.

Результат вычисления ~(ind | 0xFE) тоже будет иметь тип int, но восемь старших бит будут иметь значение 1.

Оператор под if(~(ind | 0xFE)) будет всегда выполнятся, т.к. значение выражения - не ноль. При  temp = ~(ind | 0xFE); старшие 8 бит потеряются.

И что же делать ?

[Палыч 6]

Только что, khlenar сказал:

И что же делать ?

Например: if((~ind) & 0x01)

[khlenar 5]

Только что, Палыч сказал:

Например: if((~ind) & 0x01)

в операторе if(uint8_t) ~(ind | 0xFE))  привел, заработало. Но у меня (uint8_t)(ind | 0xFE) в макросе. Почему же так не работает? 

[Палыч 6]

1 минуту назад, khlenar сказал:

Почему же так не работает? 

 При вычислении  ~((uint8_t)(ind|0xFE)) перед выполнением оператора ~ значение (uint8_t)(ind|0xFE) снова будет преобразовано к типу int.

[khlenar 5]

1 минуту назад, Палыч сказал:

 При вычислении  ~((uint8_t)(ind|0xFE)) перед выполнением оператора ~ значение (uint8_t)(ind|0xFE) снова будет преобразовано к типу int.

Ясно. Спасибо!

[haker_fox 60]

Действительно, приведите, пожалуйста, ассемблерный листинг.

[khlenar 5]

1 минуту назад, haker_fox сказал:

Действительно, приведите, пожалуйста, ассемблерный листинг.

Да, в общем то дело в типах. Компилятор оптимизирует. Если всегда истинно, просто выкидывает if()