- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
// We have to put a separate function with 'if constexpr' here as Visual Studio
// produces a false positive warning in a case of RegDstUInt == uint32
// (shifting uint32 left by 32 is an undefined behavior)
// See: https://developercommunity.visualstudio.com/content/problem/225040/c4293-false-positive-on-unreacheable-code.html
static RegDstUInt get_hi_part( RegDstUInt value)
{
// Clang-Tidy generates a false positive 'misc-suspicious-semicolon' warning
// on `if constexpr ()` with template
// LLVM bug 35824: https://bugs.llvm.org/show_bug.cgi?id=35824
if constexpr( (sizeof(RegDstUInt) > 4)
return value >> 32; // NOLINT
// GCC bug 81676 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81676
// Wrong warning with unused-but-set-parameter within 'if constexpr'
(void)(value);
return 0;
}
В попытке починить сборку в Visual Studio поломали GCC и Clang-Tidy.
Follow us!
Ну нихуя себе false positive. Сдвиг 32-битного числа на 32 -- самый настоящий UB.
З.Ы. Или всё-таки implementation defined (лень стандарт с мобилы листать). Впрочем, это ничего не меняет.
да, но тогда нужно будет делать разные функции для работы с 64-битными и 32-битными числами — тот же костыль. а здесь до начала педантичной борьбы с ворнингами был очень простой код: foo( HAS_32_BIT ? val >> 32 : 0);
> кастом перед разбиением
есть случай с RegDstUInt == uint128, так что без костыля тоже не получитcя
Но блин, оно же вернёт старшие 96 бит... Каким алгоритмам нужно такое странное разбиение?
у MIPS32 умножение пишет 64 бита в два 32-битных регистра. у RISCV128 команды пишут 128 бит в один 128-битный регистр (умножение пока опустим). эта разбивалка вызывается, только если класс регистрового файла инстанцирован под MIPS
З.Ы. Проект опенсурсный?
тогда надо понять, какая нужна, а какая нет)
при делении в lo пишется частное, в hi остаток — что нужно последующему коду, надо успеть понять.
> З.Ы. Проект опенсурсный?
да
Можно линк?
Зачем?
А UB тут нужен чтобы конпелятору не приходилось втыкать костыли и замедлять код если величина сдвига берётся из переменной.
Плюс те же восьмибитные числа обычно апкастятся до слова, и может выйти забавная ситуация - сдвиг на 9 даст 0, а сдвиг на 33 будет выглядеть как сдвиг на 1.
"shift count negative or too big, undefined behavior!" — раздался пронзительный голос со стороны параши.
Но пацаны, как всегда, не обратили внимания на это визгливое кукареканье. Пусть кукарекает, что с него взять?
Компилятор — не человек, и сегодня ему предстоит очень трудная ночь. У него уже в течение полутора лет каждая ночь была очень трудной, и теперь его лексер был разработан настолько, что он без труда мог распарсить даже boost.spirit.