Телеграмм чат группы compilerdev страница 1415

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

849 membersпожаловаться на группу

2020 May 27

M

MaxGraey in Compiler Development

cmp edi, -1
setne al
movzx eax, al (если нужно)

против

mov eax, edi
xor eax, 0xffffffff

источник

14:42пожаловаться #1

AD

Artyom Drozdov in Compiler Development

MaxGraey

cmp edi, -1
setne al
movzx eax, al (если нужно)

против

mov eax, edi
xor eax, 0xffffffff

а может побенчмаркать и убедиться?)

источник

14:43пожаловаться #2

MM

Mikhail Maltsev in Compiler Development

Если говорить про IR, то про
cmp x, -1
для остальных оптимизаций понятнее, чем xor и truncate до 1 бита

источник

14:45пожаловаться #3

AT

Alexey Tkachenko in Compiler Development

а xor eax, -1 не лучше ли к not eax свести?

источник

14:45пожаловаться #4

M

MaxGraey in Compiler Development

not это все равно псевдоинствукция на сколько мне известно

источник

14:46пожаловаться #5

MM

Mikhail Maltsev in Compiler Development

Если говорить про сгенерированный ассемблер, то я думаю дело в ABI. Т.е. caller может ожидать, что false это 0, а true это 1 (но это неточно)

источник

14:46пожаловаться #6

M

MaxGraey in Compiler Development

Mikhail Maltsev

Если говорить про сгенерированный ассемблер, то я думаю дело в ABI. Т.е. caller может ожидать, что false это 0, а true это 1 (но это неточно)

Ну это же легко проверить переписав это так. Дело точно не в этом
https://godbolt.org/z/ffCgyw

Compiler Explorer - C++ (x86-64 clang (trunk))

int test(int x, int y) {
if (x != -1) return x;
return y;
}

int test2(int x, int y) {
if (x ^ -1) return x;
return y;
}

источник

14:48пожаловаться #7

MM

Mikhail Maltsev in Compiler Development

Да, в ABI написано с точностью до наоборот: "Booleans, [...] when stored in integer registers (except for passing as arguments), all 8 bytes of the register are significant; any nonzero value is considered true."

источник

14:49пожаловаться #8

MM

Mikhail Maltsev in Compiler Development

MaxGraey

Ну это же легко проверить переписав это так. Дело точно не в этом
https://godbolt.org/z/ffCgyw

Compiler Explorer - C++ (x86-64 clang (trunk))

int test(int x, int y) {
if (x != -1) return x;
return y;
}

int test2(int x, int y) {
if (x ^ -1) return x;
return y;
}

Но в этом примере xor eax, -1 уже не даёт преимуществ

источник

15:06пожаловаться #9

M

MaxGraey in Compiler Development

Mikhail Maltsev

Но в этом примере xor eax, -1 уже не даёт преимуществ

Ну ты можешь разные варианты попробовать. Всегда будет одно и тоже

источник

15:06пожаловаться #10

MM

Mikhail Maltsev in Compiler Development

Хм, похоже что ABI всё-таки накладывает ограничения на bool: https://godbolt.org/z/r96wYX (этот код бы не работал, если бы значение true могло быть отличным от 1)
Т.е. в первом примере xor eax, -1 не прокатит из-за ABI, а во втором он не даёт преимуществ перед cmp eax, -1

Compiler Explorer - C++ (x86-64 clang 10.0.0)

bool foo();

char bar() {
bool x = foo();
return x ? 1 : 0;
}

источник

15:14пожаловаться #11

M

MaxGraey in Compiler Development

Mikhail Maltsev

Хм, похоже что ABI всё-таки накладывает ограничения на bool: https://godbolt.org/z/r96wYX (этот код бы не работал, если бы значение true могло быть отличным от 1)
Т.е. в первом примере xor eax, -1 не прокатит из-за ABI, а во втором он не даёт преимуществ перед cmp eax, -1

Compiler Explorer - C++ (x86-64 clang 10.0.0)

bool foo();

char bar() {
bool x = foo();
return x ? 1 : 0;
}

Вот с сайд эффектом в виде вызова еще
https://godbolt.org/z/EQB1Xw

Compiler Explorer - C++ (x86-64 clang (trunk))

int foo(int x);

int test(int x, int y) {
if (x != -1) return foo(x);
else return foo(y);
}

int test2(int x, int y) {
if (x ^ -1) return foo(x);
else return foo(y);
}

источник

15:19пожаловаться #12

MM

Mikhail Maltsev in Compiler Development

Я не понимаю, какой по-твоему код должен бы был сгенерировать компилятор в этом случае?

источник

15:22пожаловаться #13

M

MaxGraey in Compiler Development

Хм, трудно подобрать пример, такой что бы явно не трогать ABI и при этом преобразование имело смысл

источник

15:28пожаловаться #14

M

MaxGraey in Compiler Development

На самом деле это довольно странно выглядит на фоне этого преобразования:
x < 0 -> (unsigned)x >> 31

Которое применяется практически всегда

источник

15:43пожаловаться #15

MM

Mikhail Maltsev in Compiler Development

На уровне IR (x < 0) никак не преобразуется (ни в GCC, ни в Clang). (unsigned)x >> 31 генерируется уже в бэкенде

источник

15:48пожаловаться #16

M

MaxGraey in Compiler Development

Mikhail Maltsev

На уровне IR (x < 0) никак не преобразуется (ни в GCC, ни в Clang). (unsigned)x >> 31 генерируется уже в бэкенде

Это я знаю

источник

15:49пожаловаться #17

2020 May 28

C

Constantine in Compiler Development

https://concurnas.com/

The Concurnas Programming Language

Concurnas is an open source JVM programming language designed for building reliable, scalable, high performance concurrent, distributed and parallel systems

источник

14:41пожаловаться #18

PS

Peter Sovietov in Compiler Development

@anlun Добро пожаловать! Приятно видеть, что к нам продолжают приходить специалисты в области PLT :)

источник

14:57пожаловаться #19

AP

Anton Podkopaev in Compiler Development

@anlun Добро пожаловать! Приятно видеть, что к нам продолжают приходить специалисты в области PLT :)

Добрый день :)

источник

14:59пожаловаться #20