[ssa] [Итоги недели]

[Spiridonov Alexander]

On Sun, Apr 15, 2018 at 02:17:25PM +0000, Максим Иванов wrote:
> Так, что у нас есть на текущий момент?
> 
> В репозитории есть код на плюсах, который (вероятнее всего), выполняет
> проверку эквивалентности двух сса форм, одна из которых заведомо верная,
> следующим образом: проверка не заведомл верной на то, что каждое имя в ней
> определено один раз, проверка эквивалентности программ(количество блоков,
> количество инструкций в каждом блоке, сами инструкции, переменна, в которую
> уходит результат, тип её, переменные/константы - аргументы) и проверка на
> соответствие переменных с разными именама. Затем проверка на
> эквивалентность сса форм, а именно проверка совпадения кол-ва и качества
> фи-функций. По сути, если правильно впихнуть это в ежуж, то должно
> заработать.
> 
> Так же есть десяток тестов: исходная программа и две её сса-формы, в одной
> из которых поменены местами фи-функции и аргументы.
> 
> Плюс Саня сейчас пытается понять, можно ли адекватно переписать парсер,
> чтобы исправленную qbe можно было дать испытуемому, чтобы у него не
> возникло особых проблем с написанием решения.
Тут не всё понятно, пример: если у нас есть кастомный тип,
то его определение тоже нужно выводить перед тем как ссылаться на него
например:

type :mem = { b 17 }

export
function :mem $test() {
@ini
	%p =l alloc4 17
	%r0 =w call $alpha(l %p, w 65, l 16)
	ret %p
}

и вот тут непонятно, нужно ли править printfn так чтобы она выводила
в том числе и определения типов(не её забота вроде как)?
Короче выглядит так, как будто qbe совсем не предназначен для решения
таких задач(source2source трансляции), и создаётся впечатление что мы
что-то делаем не так :(
> 
> Если что-то забыл, напишите.
> 
> Что нам надо: <s>шоколада</s>
> Ещё немного тестов для каждого тестового случая, чтобы сса-форма была
> похожа на правду, но верной не была, чтобы проверить возможность чекера
> вычислять и неверные случаи.
> Этим в принципе я могу заняться.
> 
> Ну и эталонное решение, но это, скдя по всему, пока ждёт, потому что с
> парсером не разобрались.
> 
> Ну и в ежуж это всё пихать - та ещё головная боль

> _______________________________________________
> ssa mailing list
> ssa at compilers.ispras.ru
> https://compilers.ispras.ru/cgi-bin/mailman/listinfo/ssa


-- 
С уважением,
Спиридонов Александр.