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

потому что в дотнете джит не умел забрать и деление и остаток из одной инструкции. но сейчас там немного переписали джит и архитектура позволяет опкодам возращать несколько значений

источник

17:02пожаловаться #10

M

MaxGraey in Compiler Development

EgorBo

да, зену пофигу что делить

Я так думаю что они применяют новую схему деления через вычесления обратного делителя. она довольно недавно придумана (она работает за константное время). но я не встречал еще ее в хардварном исполнении

источник

17:03пожаловаться #11

E

EgorBo in Compiler Development

но не факт что это нужно, т.к. хакерская версия divrem и так быстрая

источник

17:03пожаловаться #12

h

hazer_hazer in Compiler Development

Alan-love
Слыхали про него?
Лайкает на гитхабе все что с япами связано

источник

18:37пожаловаться #13

IK

Ivan Kochurkin in Compiler Development

EgorBo

потому что в дотнете джит не умел забрать и деление и остаток из одной инструкции. но сейчас там немного переписали джит и архитектура позволяет опкодам возращать несколько значений

Ну сейчас там системная функция раскрывается ровно в то, о чем писал ранее: https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AXEBDAzgWwB8ABAJgEYBYAKGIGYACY8pJ0hgYQYG8aH+mjZqwCWAOwwMAIiIBuAJRj4AFOMnY0DNQ2CaIAV0nbY+AJR8BvagJtaJDWLn0AbSQF4G2BgHodAbgtbByUGDy84YKdXBgAqf0DbYgB2SJcMAOsBAF8EhPomFjtJGQUlAFlsDAALVXsNIp09QwaTc0z+KyD+ZIYK6oA6EsUVet0GA0lWjJsc6iygA==

источник

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

E

EgorBo in Compiler Development

Ivan Kochurkin

Ну сейчас там системная функция раскрывается ровно в то, о чем писал ранее: https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AXEBDAzgWwB8ABAJgEYBYAKGIGYACY8pJ0hgYQYG8aH+mjZqwCWAOwwMAIiIBuAJRj4AFOMnY0DNQ2CaIAV0nbY+AJR8BvagJtaJDWLn0AbSQF4G2BgHodAbgtbByUGDy84YKdXBgAqf0DbYgB2SJcMAOsBAF8EhPomFjtJGQUlAFlsDAALVXsNIp09QwaTc0z+KyD+ZIYK6oA6EsUVet0GA0lWjJsc6iygA==

как это противоречит тому что я написал? :)

источник

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

IK

Ivan Kochurkin in Compiler Development

А, ну я просто подумал, что есть какая-то хакерская версия divrem, где даже умножение и вычитание не используется, а все делается одной операцией.

источник

21:13пожаловаться #16

IK

Ivan Kochurkin in Compiler Development

Просто / % сейчас не оптимизируется (DivRemManual): https://sharplab.io/#v2:EYLgxg9gTgpgtADwGwBYA0AXEBDAzgWwB8ABAJgEYBYAKGIGYACY8pJ0hgYQYG8aH+mjZqwCWAOwwMAIiIBuAJRj4AFOMnY0DNQ2CaIAV0nbY+AJR8BvagJtaJDWLn0AbSQF4G2BgHodAbgtbByUGDy84YKdXBgAqf0DbYgB2SJcMAOsBAF8EhPomFjtJGQUlAFlsDAALVXsNIp09QwaTc0z+KyD+ZIYK6oA6EsUVet0GA0lWjJsc9oY8oULtIfLsMX1sZ1r1TW0xiZalNptOruMYKPdPH3i5mxNQ64BSW66mFMc06eyaLKA

источник

21:14пожаловаться #17

E

EgorBo in Compiler Development

Ivan Kochurkin

А, ну я просто подумал, что есть какая-то хакерская версия divrem, где даже умножение и вычитание не используется, а все делается одной операцией.

у меня есть прототип на фикс (и распознавание паттерна /, %) но его надо допиливать, а мне немного влом)

источник

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

E

EgorBo in Compiler Development

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

источник

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

2020 November 23

M

MaxGraey in Compiler Development

EgorBo

https://godbolt.org/z/MdcxsM хитропопый шланг

godbolt.org

Compiler Explorer - C++

int64_t Test0(int64_t a, int64_t b)
{
return a / b;
}

uint64_t Test1(uint64_t a, uint64_t b)
{
return a / b;
}

А есть у кого то реальные бенчмарки показывающие потенциальнцю выгоду на x64 от такого трюка? Ну или хотя бы реальные кейсы где это может пригодиться. На ум приходит только криптография основанная на Монтгомери редукции

источник

04:47пожаловаться #20