Наткнулся на оптимизацию "branchless". Решил воспроизвести. Теперь пытаюсь переварить результаты:

Судя по всему, работает. Только ты неправильно godbolt используешь, туда имеет смысл класть на проверку минимальные куски кода, обозримые, и проверять на хотя бы втором уровне оптимизации (ключ -C opt-level=2). Я проверил на двух вариантах: pub fn sum(conditions: &[bool], values: &[u32]) -> u32 { let mut sum = Wrapping(0); for i in 0..3 { if conditions[i] { sum += Wrapping(values[i]); } } sum.0 } и pub fn sum(conditions: &[bool], values: &[u32]) -> u32 { let mut sum = Wrapping(0); for i in 0..3 { sum += Wrapping((conditions[i] as u32) * values[i]); } sum.0 } Судя по ассемблеру, во втором коде команд перехода существенно меньше, чем во втором.

0

11.01.2022

Αλεχ Zhukovsky

11,001 ns/iter К слову операции которыя длятся пару тактов смысла бенчить мало - любая фоновая задача в операционке и результаты плывут

0

11.01.2022

Sergey Skvortsov

Αλεχ Zhukovsky
11,001 ns/iter К слову операции которыя длятся па...

Это число не так считается, конечно

0

11.01.2022

n Автор вопроса

начало топика читал?

0

12.01.2022

n Автор вопроса

n
начало топика читал?

sorry, ты первый и ответил)

0

12.01.2022

Антон 🇦🇲

n
начало топика читал?

Да. И если бы ты действительно хотел избавиться от лишних бранчей, то написал как-то так: let values = &values[..500]; let conditions = &conditions[..500]; for i in 0..500 { ...

0

12.01.2022

n Автор вопроса

Я как-то ожидал, что компилятор по-умнее, и в рамках маленькой функции сможет собрать наиболее оптимизированный код

0

12.01.2022

Антон 🇦🇲

n
Я как-то ожидал, что компилятор по-умнее, и в рамк...

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

0

12.01.2022

Dmytro Polunin · Accepted Answer

Dmytro Polunin

На годболт выведи

0

11.01.2022

172 похожих чатов

Наткнулся на оптимизацию "branchless". Решил воспроизвести. Теперь пытаюсь переварить результаты:

14 ответов

Похожие вопросы