M
Собственно пример с кодом выше
Size: a a a
2020 July 22
CD
Он не выходит за рамки
M
llvm не способен произвести dead code elision для примера выше
CD
Ну записали множество возможных значений арифметической прогрессией
M
Да
M
Это уже следуюший уровень
CD
То есть я бы прямо это кодил
CD
Как множество возможных значений переменной
M
Да да
CD
На уровне генераторов или чего-то такого
M
Быстро ты допер
M
На уровне генераторов или чего-то такого
CR
CD
CR
JAFA?
M
chain of recurrence
CD
даже так
M
Ладно это вообше все пока не важно
M
Важен вот этот пример
M
// >> a a => [0; 100]
// tmp = a%3; tmp => periodic(seq = [0,1,2], period = 3)
// if(tmp == 0) { => overlap(a_r, tmp_r)
// << a a => {0;+;3}
// }
// tmp = a%3; tmp => periodic(seq = [0,1,2], period = 3)
// if(tmp == 0) { => overlap(a_r, tmp_r)
// << a a => {0;+;3}
// }
.
M
Смотри кажется что область возможных значений tmp это [0; 2]