M
Лучше помоги мне сделать анализ эквивалетностей
Size: a a a
2020 July 22
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
Вот пример
CD
Да не, чо с чем ты анализируешь
CD
и чо за 0, 1, 3 когда 0, 1, 2
M
Да верно описка
M
Короче, есть такая штука range analysis
CD
а можно сначала какую задачу вообще решаем
M
Она изучает собственно область возможных значений переменной в коде
CD
M
Собственно идея в том что к примеру в llvm используются для этого интервалы
M
Тоесть проше говоря, верхняя и нижняя граница диапазона значений
M
Поэтому
M
CD
Там есть что-то сложнее, чем какая-то алгебра над множествами возможных значений переменных?
M
Да