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

parrot.ru

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

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

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

2020 January 06

VK

Vladimir Kazanov in Compiler Development

лично я не был впечатлен 😊

источник

18:50пожаловаться #1

E

EgorBo in Compiler Development

а может кто в Go или Rust проверить - удаляются ли баунд чеки для конструкций вида

array[unknwonIndex & 10] // и % 10 (unsigned)

если известно что в массиве больше 10 элементов

источник

19:07пожаловаться #2

AZ

Alexander Zaitsev in Compiler Development

Vladimir Kazanov

лично я не был впечатлен 😊

Да, я видел. И я тоже не впечатлился

источник

19:08пожаловаться #3

M

MaxGraey in Compiler Development

а может кто в Go или Rust проверить - удаляются ли баунд чеки для конструкций вида

array[unknwonIndex & 10] // и % 10 (unsigned)

если известно что в массиве больше 10 элементов

В Rust удаляются
https://godbolt.org/z/C-nCD3

Compiler Explorer - Rust (rustc 1.40.0)

// Type your code here, or load an example.
pub fn test(num: [i32; 200], i: usize) -> i32 {
num[i & 10]
}

источник

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

E

EgorBo in Compiler Development

отлично, спасибо

источник

19:17пожаловаться #5

AT

Alexander Tchitchigin in Compiler Development

MaxGraey

В Rust удаляются
https://godbolt.org/z/C-nCD3

Compiler Explorer - Rust (rustc 1.40.0)

// Type your code here, or load an example.
pub fn test(num: [i32; 200], i: usize) -> i32 {
num[i & 10]
}

Ага, если размер статически известен, по крайней мере: https://godbolt.org/z/BFX5wC

Compiler Explorer - Rust (rustc 1.40.0)

// Type your code here, or load an example.
pub fn square(num: i32) -> i32 {
num * num
}

pub fn test0(arr: &[i32], idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test1(arr: &[i32; 15], idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test2(arr: Vec, idx: usize) -> i32 {
arr[idx % 10]
}

источник

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

AT

Alexander Tchitchigin in Compiler Development

Надо ещё с `if`ами проверить...

источник

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

M

MaxGraey in Compiler Development

Alexander Tchitchigin

Ага, если размер статически известен, по крайней мере: https://godbolt.org/z/BFX5wC

Compiler Explorer - Rust (rustc 1.40.0)

// Type your code here, or load an example.
pub fn square(num: i32) -> i32 {
num * num
}

pub fn test0(arr: &[i32], idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test1(arr: &[i32; 15], idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test2(arr: Vec, idx: usize) -> i32 {
arr[idx % 10]
}

Ну да, там как раз условие и стояло про вычисляемый размер на этапе компиляции

источник

19:20пожаловаться #8

E

EgorBo in Compiler Development

MaxGraey

Ну да, там как раз условие и стояло про вычисляемый размер на этапе компиляции

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

источник

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

M

MaxGraey in Compiler Development

Alexander Tchitchigin

Надо ещё с `if`ами проверить...

Лучше в PM. Например в v8 знаю есть такая оптимизация. Если switch (c & 3) { case 0..10: … } то все ветки после 2й выбрасываются

источник

19:22пожаловаться #10

AT

Alexander Tchitchigin in Compiler Development

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

Чё-то не работает: https://godbolt.org/z/x6bjot
Или я не так пишу?

Compiler Explorer - Rust (rustc 1.40.0)

// Type your code here, or load an example.
pub fn square(num: i32) -> i32 {
num * num
}

pub fn test0(arr: &[i32], idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test1(arr: &[i32; 15], idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test2(arr: Vec, idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test3(arr: &[i32], idx: usize) -> i32 {
if arr.len() < 10 {
return 0;
}
arr[idx % 10]
}

источник

19:22пожаловаться #11

E

EgorBo in Compiler Development

Alexander Tchitchigin

Чё-то не работает: https://godbolt.org/z/x6bjot
Или я не так пишу?

Compiler Explorer - Rust (rustc 1.40.0)

// Type your code here, or load an example.
pub fn square(num: i32) -> i32 {
num * num
}

pub fn test0(arr: &[i32], idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test1(arr: &[i32; 15], idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test2(arr: Vec, idx: usize) -> i32 {
arr[idx % 10]
}

pub fn test3(arr: &[i32], idx: usize) -> i32 {
if arr.len() < 10 {
return 0;
}
arr[idx % 10]
}

да, должно работать

источник

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

M

MaxGraey in Compiler Development

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

Это если будет Value range analysis. А для этого нужно хотя бы иметь начальные условия

источник

19:23пожаловаться #13

E

EgorBo in Compiler Development

MaxGraey

Это если будет Value range analysis. А для этого нужно хотя бы иметь начальные условия

так они есть же

источник

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

E

EgorBo in Compiler Development

что массив не менее 10 элементов

источник

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

E

EgorBo in Compiler Development

и что индекс менее 10

источник

19:23пожаловаться #16

M

MaxGraey in Compiler Development

так они есть же

Где эти условия?)

источник

19:24пожаловаться #17

E

EgorBo in Compiler Development

MaxGraey

Где эти условия?)

https://godbolt.org/z/aKQz2k

Compiler Explorer - Rust (rustc 1.40.0)

pub fn test3(arr: &[i32], idx: usize) -> i32 {
if arr.len() <= 10 {
return 0;
}
arr[idx % 10]
}

источник

19:24пожаловаться #18

AT

Alexander Tchitchigin in Compiler Development

MaxGraey

Где эти условия?)

Я if вписал! 😃

источник

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

M

MaxGraey in Compiler Development

Alexander Tchitchigin

Я if вписал! 😃

Ага, вижу) Да, видимо здесь им есть куда еще расти)

источник

19:26пожаловаться #20