Вопиющий случай распухания кода

[Mazdaywik]

Проблема

При проверке pull request’а #361 упали автотесты: https://github.com/bmstu-iu9/refal-5-lambda/pull/361/checks?check_run_id=3404836202.

Из артефактов стало понятно, что не хватило лимита шагов на случайно сгенерированный тест:

2021-08-23T21:51:28.7711414Z Passing test-10_Mon-Aug-23-21-51-16-UTC-2021 (-OAS):
2021-08-23T21:51:39.5990547Z Passing test-10_Mon-Aug-23-21-51-16-UTC-2021 (-OADS):
2021-08-23T21:54:44.2696789Z TEST FAILED

Сам тест.

Данный тест удалось сузить до следующей программы (которой по-прежнему не хватает шагов):

$ENTRY Block {
  e.A t.B t.C X e.D
    , : e.X A e.Y e.D
    , :
    = ;

  e.X = e.X;
}

Скачать: bloat-condition.ref. Последнее условие в первом предложении пустое, и оно нужно. Без него ошибка не воспроизводится.

Я достал из лога программу с рассахаренными условиями (т.к. выпало на тесте без -OC+), упростил полученную программу, переименовал функции и переменные:

$ENTRY START {
  (e.A) t.B (e.C) = <Loop (e.A) t.B W S e.C>;
}

Loop {
  (e.Acc) e.Begin t.U t.V W e.End
    = <Loop (e.Acc e.Begin t.U) t.V W e.End>;

  (e.Acc) e.Rest = e.Acc e.Rest;
}

Скачать: bloat-basic.ref. Заметим, что функция Loop является синтаксическим мономом, если первое предложение убрать, её поведение сохранится.

Полный лог компиляции (11 мегабайт): bloat-basic.log.

Так вот, для функции Loop строится 56 экземпляров:

Фрагмент лога

Tue Aug 24 18:00:46 2021: History of START
    START@0: [(e.1) t.2 (e.3)]

Tue Aug 24 18:00:46 2021: History of Loop
    Loop@0: [(e.1) e.2]

Tue Aug 24 18:00:46 2021: History of Loop@1
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]

Tue Aug 24 18:00:46 2021: History of Loop@2
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]

Tue Aug 24 18:00:46 2021: History of Loop@3
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]

Tue Aug 24 18:00:46 2021: History of Loop@4
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@4: [(e.0 t.1) t.2 W e.3]

Tue Aug 24 18:00:46 2021: History of Loop@5
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]

Tue Aug 24 18:00:46 2021: History of Loop@6
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]

Tue Aug 24 18:00:46 2021: History of Loop@7
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]

Tue Aug 24 18:00:46 2021: History of Loop@8
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@8: [(e.0 t.1 t.2 s.3) t.4 W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@9
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@4: [(e.0 t.1) t.2 W e.3]
    Loop@9: [(e.0 t.1 t.2) W W e.3]

Tue Aug 24 18:00:46 2021: History of Loop@10
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@10: [(e.0 t.1 s.2 s.3) W W e.4]

Tue Aug 24 18:00:46 2021: History of Loop@11
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]

Tue Aug 24 18:00:46 2021: History of Loop@12
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]

Tue Aug 24 18:00:46 2021: History of Loop@13
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@13: [(e.0 t.1 W t.2 W) t.3 W e.4]

Tue Aug 24 18:00:46 2021: History of Loop@14
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@14: [(e.0 t.1 s.2 t.3 t.4) W W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@15
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@15: [(e.0 t.1 W s.2) t.3 W e.4]

Tue Aug 24 18:00:46 2021: History of Loop@16
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@8: [(e.0 t.1 t.2 s.3) t.4 W e.5]
    Loop@16: [(e.0 t.1 t.2 s.3 t.4) W W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@17
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@10: [(e.0 t.1 s.2 s.3) W W e.4]
    Loop@17: [(e.0 t.1 s.2 s.3 W W) t.4 W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@18
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@18: [(e.0 t.1 W t.2) W W e.3]

Tue Aug 24 18:00:46 2021: History of Loop@19
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@19: [(e.0 t.1 W s.2 t.3 W) t.4 W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@20
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@20: [(e.0 t.1 s.2 s.3 t.4 t.5) W W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@21
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@21: [(e.0 t.1 t.2 s.3 W) t.4 W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@22
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@13: [(e.0 t.1 W t.2 W) t.3 W e.4]
    Loop@22: [(e.0 t.1 W t.2 W t.3) W W e.4]

Tue Aug 24 18:00:46 2021: History of Loop@23
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@14: [(e.0 t.1 s.2 t.3 t.4) W W e.5]
    Loop@23: [(e.0 t.1 t.2 t.3 t.4) W W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@24
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@14: [(e.0 t.1 s.2 t.3 t.4) W W e.5]
    Loop@24: [(e.0 t.1 s.2 t.3 t.4 W W) t.5 W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@25
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@15: [(e.0 t.1 W s.2) t.3 W e.4]
    Loop@25: [(e.0 t.1 W s.2 t.3) W W e.4]

Tue Aug 24 18:00:46 2021: History of Loop@26
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@10: [(e.0 t.1 s.2 s.3) W W e.4]
    Loop@17: [(e.0 t.1 s.2 s.3 W W) t.4 W e.5]
    Loop@26: [(e.0 t.1 s.2 t.3) W W e.4]

Tue Aug 24 18:00:46 2021: History of Loop@27
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@10: [(e.0 t.1 s.2 s.3) W W e.4]
    Loop@17: [(e.0 t.1 s.2 s.3 W W) t.4 W e.5]
    Loop@27: [(e.0 t.1 s.2 s.3 t.4 W) t.5 W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@28
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@18: [(e.0 t.1 W t.2) W W e.3]
    Loop@28: [(e.0 t.1 t.2 t.3) W W e.4]

Tue Aug 24 18:00:46 2021: History of Loop@29
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@18: [(e.0 t.1 W t.2) W W e.3]
    Loop@29: [(e.0 t.1 W t.2 W W) t.3 W e.4]

Tue Aug 24 18:00:46 2021: History of Loop@30
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@19: [(e.0 t.1 W s.2 t.3 W) t.4 W e.5]
    Loop@30: [(e.0 t.1 W s.2 t.3 W t.4) W W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@31
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@19: [(e.0 t.1 W s.2 t.3 W) t.4 W e.5]
    Loop@31: [(e.0 t.1 t.2 s.3 t.4 W) t.5 W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@32
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@20: [(e.0 t.1 s.2 s.3 t.4 t.5) W W e.6]
    Loop@32: [(e.0 t.1 s.2 t.3 t.4 t.5) W W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@33
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@20: [(e.0 t.1 s.2 s.3 t.4 t.5) W W e.6]
    Loop@33: [(e.0 t.1 s.2 s.3 t.4 t.5 W W) t.6 W e.7]

Tue Aug 24 18:00:46 2021: History of Loop@34
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@21: [(e.0 t.1 t.2 s.3 W) t.4 W e.5]
    Loop@34: [(e.0 t.1 t.2 s.3 W t.4) W W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@35
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@21: [(e.0 t.1 t.2 s.3 W) t.4 W e.5]
    Loop@35: [(e.0 t.1 t.2 t.3 W) t.4 W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@36
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@13: [(e.0 t.1 W t.2 W) t.3 W e.4]
    Loop@22: [(e.0 t.1 W t.2 W t.3) W W e.4]
    Loop@36: [(e.0 t.1 t.2 t.3 t.4 t.5) W W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@37
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@14: [(e.0 t.1 s.2 t.3 t.4) W W e.5]
    Loop@23: [(e.0 t.1 t.2 t.3 t.4) W W e.5]
    Loop@37: [(e.0 t.1 t.2 t.3 t.4 W W) t.5 W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@38
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@14: [(e.0 t.1 s.2 t.3 t.4) W W e.5]
    Loop@24: [(e.0 t.1 s.2 t.3 t.4 W W) t.5 W e.6]
    Loop@38: [(e.0 t.1 t.2 t.3 t.4 t.5 W) t.6 W e.7]

Tue Aug 24 18:00:46 2021: History of Loop@39
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@10: [(e.0 t.1 s.2 s.3) W W e.4]
    Loop@17: [(e.0 t.1 s.2 s.3 W W) t.4 W e.5]
    Loop@26: [(e.0 t.1 s.2 t.3) W W e.4]
    Loop@39: [(e.0 t.1 s.2 t.3 W W) t.4 W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@40
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@18: [(e.0 t.1 W t.2) W W e.3]
    Loop@28: [(e.0 t.1 t.2 t.3) W W e.4]
    Loop@40: [(e.0 t.1 t.2 t.3 W W) t.4 W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@41
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@18: [(e.0 t.1 W t.2) W W e.3]
    Loop@29: [(e.0 t.1 W t.2 W W) t.3 W e.4]
    Loop@41: [(e.0 t.1 W t.2 t.3 W) t.4 W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@42
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@19: [(e.0 t.1 W s.2 t.3 W) t.4 W e.5]
    Loop@30: [(e.0 t.1 W s.2 t.3 W t.4) W W e.5]
    Loop@42: [(e.0 t.1 s.2 t.3 t.4 t.5 t.6) W W e.7]

Tue Aug 24 18:00:46 2021: History of Loop@43
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@19: [(e.0 t.1 W s.2 t.3 W) t.4 W e.5]
    Loop@31: [(e.0 t.1 t.2 s.3 t.4 W) t.5 W e.6]
    Loop@43: [(e.0 t.1 t.2 s.3 t.4 W t.5) W W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@44
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@20: [(e.0 t.1 s.2 s.3 t.4 t.5) W W e.6]
    Loop@32: [(e.0 t.1 s.2 t.3 t.4 t.5) W W e.6]
    Loop@44: [(e.0 t.1 s.2 t.3 t.4 t.5 W W) t.6 W e.7]

Tue Aug 24 18:00:46 2021: History of Loop@45
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@20: [(e.0 t.1 s.2 s.3 t.4 t.5) W W e.6]
    Loop@33: [(e.0 t.1 s.2 s.3 t.4 t.5 W W) t.6 W e.7]
    Loop@45: [(e.0 t.1 t.2 s.3 t.4 t.5) W W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@46
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@20: [(e.0 t.1 s.2 s.3 t.4 t.5) W W e.6]
    Loop@33: [(e.0 t.1 s.2 s.3 t.4 t.5 W W) t.6 W e.7]
    Loop@46: [(e.0 t.1 t.2 t.3 t.4 t.5 t.6 W) t.7 W e.8]

Tue Aug 24 18:00:46 2021: History of Loop@47
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@21: [(e.0 t.1 t.2 s.3 W) t.4 W e.5]
    Loop@35: [(e.0 t.1 t.2 t.3 W) t.4 W e.5]
    Loop@47: [(e.0 t.1 t.2 t.3 W t.4) W W e.5]

Tue Aug 24 18:00:46 2021: History of Loop@48
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@13: [(e.0 t.1 W t.2 W) t.3 W e.4]
    Loop@22: [(e.0 t.1 W t.2 W t.3) W W e.4]
    Loop@36: [(e.0 t.1 t.2 t.3 t.4 t.5) W W e.6]
    Loop@48: [(e.0 t.1 t.2 t.3 t.4 t.5 W W) t.6 W e.7]

Tue Aug 24 18:00:46 2021: History of Loop@49
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@14: [(e.0 t.1 s.2 t.3 t.4) W W e.5]
    Loop@24: [(e.0 t.1 s.2 t.3 t.4 W W) t.5 W e.6]
    Loop@38: [(e.0 t.1 t.2 t.3 t.4 t.5 W) t.6 W e.7]
    Loop@49: [(e.0 t.1 t.2 t.3 t.4 t.5 W t.6) W W e.7]

Tue Aug 24 18:00:46 2021: History of Loop@50
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@10: [(e.0 t.1 s.2 s.3) W W e.4]
    Loop@17: [(e.0 t.1 s.2 s.3 W W) t.4 W e.5]
    Loop@26: [(e.0 t.1 s.2 t.3) W W e.4]
    Loop@39: [(e.0 t.1 s.2 t.3 W W) t.4 W e.5]
    Loop@50: [(e.0 t.1 s.2 t.3 t.4 W) t.5 W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@51
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@18: [(e.0 t.1 W t.2) W W e.3]
    Loop@28: [(e.0 t.1 t.2 t.3) W W e.4]
    Loop@40: [(e.0 t.1 t.2 t.3 W W) t.4 W e.5]
    Loop@51: [(e.0 t.1 t.2 t.3 t.4 W) t.5 W e.6]

Tue Aug 24 18:00:46 2021: History of Loop@52
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@19: [(e.0 t.1 W s.2 t.3 W) t.4 W e.5]
    Loop@30: [(e.0 t.1 W s.2 t.3 W t.4) W W e.5]
    Loop@42: [(e.0 t.1 s.2 t.3 t.4 t.5 t.6) W W e.7]
    Loop@52: [(e.0 t.1 t.2 t.3 t.4 t.5 t.6) W W e.7]

Tue Aug 24 18:00:46 2021: History of Loop@53
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@11: [(e.0 t.1 W S W W) t.2 W e.3]
    Loop@19: [(e.0 t.1 W s.2 t.3 W) t.4 W e.5]
    Loop@30: [(e.0 t.1 W s.2 t.3 W t.4) W W e.5]
    Loop@42: [(e.0 t.1 s.2 t.3 t.4 t.5 t.6) W W e.7]
    Loop@53: [(e.0 t.1 s.2 t.3 t.4 t.5 t.6 W W) t.7 W e.8]

Tue Aug 24 18:00:46 2021: History of Loop@54
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@20: [(e.0 t.1 s.2 s.3 t.4 t.5) W W e.6]
    Loop@33: [(e.0 t.1 s.2 s.3 t.4 t.5 W W) t.6 W e.7]
    Loop@45: [(e.0 t.1 t.2 s.3 t.4 t.5) W W e.6]
    Loop@54: [(e.0 t.1 t.2 s.3 t.4 t.5 W W) t.6 W e.7]

Tue Aug 24 18:00:46 2021: History of Loop@55
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@6: [(e.0 t.1 W S W) t.2 W e.3]
    Loop@12: [(e.0 t.1 W S W t.2) W W e.3]
    Loop@20: [(e.0 t.1 s.2 s.3 t.4 t.5) W W e.6]
    Loop@33: [(e.0 t.1 s.2 s.3 t.4 t.5 W W) t.6 W e.7]
    Loop@46: [(e.0 t.1 t.2 t.3 t.4 t.5 t.6 W) t.7 W e.8]
    Loop@55: [(e.0 t.1 t.2 t.3 t.4 t.5 t.6 W t.7) W W e.8]

Tue Aug 24 18:00:46 2021: History of Loop@56
    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@3: [(e.0 t.1 W S) t.2 W e.3]
    Loop@7: [(e.0 t.1 W S t.2) W W e.3]
    Loop@14: [(e.0 t.1 s.2 t.3 t.4) W W e.5]
    Loop@24: [(e.0 t.1 s.2 t.3 t.4 W W) t.5 W e.6]
    Loop@38: [(e.0 t.1 t.2 t.3 t.4 t.5 W) t.6 W e.7]
    Loop@49: [(e.0 t.1 t.2 t.3 t.4 t.5 W t.6) W W e.7]
    Loop@56: [(e.0 t.1 t.2 t.3 t.4 t.5 t.6 t.7) W W e.8]

Остаточная программа до прогонки экземпляров содержит 835 строк, после прогонки экземпляров — 15 555 строк (да, четыре пятёрки: residual.txt).

Типичный экземпляр до прогонки экземпляров:

  Loop@32 {
    (e.X1) t.X3 s.X2 t.X4 t.X5 t.X6 W e.X4
      = <Loop@36 (e.X1 t.X3) s.X2 t.X4 t.X5 t.X6 W e.X4>;

    (e.X1) t.X3 s.X2 t.X4 t.X5 t.X6 t.X7 W e.X5
      = <Loop@44 (e.X1) t.X3 s.X2 t.X4 t.X5 t.X6 t.X7 e.X5>;

    (e.X1) t.X3 s.X2 t.X4 t.X5 t.X6 e.X4 t.X7 t.X8 W e.X8
      = <Loop@4 (e.X1 t.X3 s.X2 t.X4 t.X5 t.X6 W W e.X4) t.X7 t.X8 e.X8>;

    (e.X1) t.X3 s.X2 t.X4 t.X5 t.X6 e.X3
      = e.X1 t.X3 s.X2 t.X4 t.X5 t.X6 W W e.X3;
  }

Начало финальной остаточной программы:

  $ENTRY START;

  START {
    (e.A) t.B (W W W W W e.C5) = <Loop@10 (e.A t.B W S) W W W e.C5>;

    (e.A) t.B (W W W W t.C4 W W e.C7)
      = <Loop@26 (e.A t.B W S W W) W W t.C4 e.C7>;

    (e.A) t.B (W W W W t.C4 W t.C6 W W e.C9)
      = <Loop@26 (e.A t.B W S W W W W) t.C4 W t.C6 e.C9>;

    (e.A) t.B (W W W W t.C4 W t.C6 W t.C8 W e.C10)
      = <Loop@31 (e.A t.B W S W W W) W t.C4 W t.C6 t.C8 e.C10>;

    (e.A) t.B (W W W W t.C4 W t.C6 W e.C8)
      = <Loop@27*2 (e.A t.B W S W) W W W t.C4 t.C6 e.C8>;

    (e.A) t.B (W W W W t.C4 W e.C6) = <Loop@17*2 (e.A t.B W) S W W t.C4 e.C6>;

    (e.A) t.B (W W W W e.C4) = <Loop@10*2 (e.A t.B W) S W W e.C4>;

    (e.A) t.B (W W W t.C3 W W e.C6) = <Loop@26 (e.A t.B W S W) W W t.C3 e.C6>;

    (e.A) t.B (W W W t.C3 W t.C5 W W e.C8)
      = <Loop@26 (e.A t.B W S W W W) t.C3 W t.C5 e.C8>;

    (e.A) t.B (W W W t.C3 W t.C5 W t.C7 W e.C9)
      = <Loop@31 (e.A t.B W S W W) W t.C3 W t.C5 t.C7 e.C9>;

    (e.A) t.B (W W W t.C3 W t.C5 W e.C7)
      = <Loop@27*2 (e.A t.B W S) W W W t.C3 t.C5 e.C7>;

    (e.A) t.B (W W W t.C3 W e.C5) = <Loop@17*2 (e.A t.B) W S W t.C3 e.C5>;

    (e.A) t.B (W W W e.C3) = <Loop@10*2 (e.A t.B) W S W e.C3>;

    (e.A) t.B (W W t.C2 W W e.C5) = <Loop@18 (e.A t.B W S) W t.C2 e.C5>;

    (e.A) t.B (W W t.C2 W t.C4 W W W W W W e.C11)
      = <Loop@52 (e.A t.B W S W W t.C2) W t.C4 W W W W e.C11>;

…

Почему вопиющий случай? Зачем новая заявка (почему не #332)?

Вопиющая потому что

• во-первых, 11 строк кода взрываются до 835/15 555, что, очевидно, жесть,
• во-вторых, я уже хотел выпустить версию 3.4, как вылезла эта ошибка.

Заявка #332 предполагается как долгоиграющая — когда я её буду исправлять, не известно. А эту хочется исправить в самое ближайшее время.

Возможные решения

Забить

Т.е. запушить новый коммит (он должен быть с обновлением NEWS.md, и, если повезёт, в случайных тестах эта ошибка не повторится.

• ✔Самое простое решение.
• ❌Ошибку всё равно придётся решать.
• ❌Не красиво, что ошибка сборки в Версия 3.4 #361 не исправлена (другие ошибки сборки исправлялись последующими коммитами).

Придумать костыль

Например, снизить наибольшее число экземпляров (сейчас такой костыль есть, ограничивает число экземпляров 99, 54c28ca). Либо можно ограничить максимальную глубину истории. Для последнего можно самоприменить компилятор и посмотреть максимальную глубину истории в нём.

• ✔Относительно простое решение.
• ❌Костыль всегда не эстетичен. Грязное решение.

Ослабить отношение остановки

Сейчас используется честное отношение Хигмана-Крускала. Выбор другого варианта — это всё-таки исследовательская работа, быстро сделать не получится. Идеи описаны в комментариях #332 (comment), #332 (comment) и #332 (comment).

• ✔Возможно, заработает.
• ❌Другое отношение снизит глубину оптимизации. Возможно, снизит криво — очевидные оптимизируемые места оптимизироваться не будут. Т.е. надо внимательно исследовать.
• ❌Хз, какое новое отношение выбрать.

Специальное сопоставление с образцом для специализации

Описано оно в комментарии #332 (comment). Если кратко, то алгоритм сопоставления с образцом, злоупотребляя динамическим обобщением, гарантирует, что для любого предложения специализируемой функции построится не более одного предложения в экземпляре. Участки аргумента, сопоставление с которыми приводит к ветвлению, принудительно обобщаются.

• ✔Скорее всего, решит описываемую проблему. В экземплярах сейчас строится по 4 предложения, т.е. первое предложение расщепляется на 3. Применение нового алгоритма сопоставления с образцом приведёт, скорее всего, к динамическому обобщению до тривиальной сигнатуры.
• ✔Возможно, можно будет отказаться от явного обобщения участков вида e.X … e.Y, описанных в том же комментарии Древесные оптимизации раздувают программы #332 (comment) и реализованных в фиксации 916efbf.
• ❌Нетривиальная правка алгоритма обобщённого сопоставления. В состояние алгоритма нужно будет протащить флаг, указывающий на специальный режим работы.
• ❌Нужно проверить, насколько ухудшится в этом режиме оптимизация.

Перестройка сверху (честная)

В комментарии #332 (comment) предлагается серьёзно модифицировать алгоритм оптимизации, чтобы при специализации использовалась перестройка сверху. Скорее всего, это снизит число экземпляров в данной задаче до разумной величины (см. первый комментарий #362 (comment)).

• ✔Скорее всего, это решит проблему. По историям сигнатур видно, что в некоторых случаях перестройка сверху срезала бы часть истории:

    START@0: [(e.1) t.2 (e.3)]
    Loop@1: [(e.0) t.1 W S e.2]
    Loop@2: [(e.0 t.1 W) S W e.2]
    Loop@5: [(e.0 t.1 W S) W W e.2]
    Loop@10: [(e.0 t.1 s.2 s.3) W W e.4]  ← здесь
    Loop@17: [(e.0 t.1 s.2 s.3 W W) t.4 W e.5]
    Loop@26: [(e.0 t.1 s.2 t.3) W W e.4]  ← и здесь
    Loop@39: [(e.0 t.1 s.2 t.3 W W) t.4 W e.5]
    Loop@50: [(e.0 t.1 s.2 t.3 t.4 W) t.5 W e.6]
  

  Экземпляры Loop@10 и Loop@26 различаются только s- и t-переменными:

  Loop@10 {
    (e.X) t.X s.X s.X1 W e.X2 = <Loop@10 (e.X t.X) s.X s.X1 W e.X2>;
  
    (e.X) t.X s.X s.X1 t.X1 W e.X3 = <Loop@17 (e.X) t.X s.X s.X1 t.X1 e.X3>;
  
    (e.X) t.X s.X s.X1 e.X2 t.X3 t.X4 W e.X6
      = <Loop@4 (e.X t.X s.X s.X1 W W e.X2) t.X3 t.X4 e.X6>;
  
    (e.X) t.X s.X s.X1 e.X1 = e.X t.X s.X s.X1 W W e.X1;
  }
  

  Loop@26 {
    (e.X1) t.X2 s.X2 t.X3 W e.X3 = <Loop@28 (e.X1 t.X2) s.X2 t.X3 W e.X3>;
  
    (e.X1) t.X2 s.X2 t.X3 t.X4 W e.X5
      = <Loop@39 (e.X1) t.X2 s.X2 t.X3 t.X4 e.X5>;
  
    (e.X1) t.X2 s.X2 t.X3 e.X3 t.X5 t.X6 W e.X8
      = <Loop@4 (e.X1 t.X2 s.X2 t.X3 W W e.X3) t.X5 t.X6 e.X8>;
  
    (e.X1) t.X2 s.X2 t.X3 e.X2 = e.X1 t.X2 s.X2 t.X3 W W e.X2;
  }
  

• ✔Это довольно общее решение.
• ❌Громоздкие переделки архитектуры оптимизатора, для быстрого патча не подходит.

Перестройка сверху (халтурная)

Сейчас при обнаружении зацикливания между старой сигнатурой F@i и новой сигнатурой F@j вычисляется их обобщение, назовём его F@k = MSG(F@i, F@j). Если F@k ≡ F@i, то это обычное зацикливание, вызываем ранее построенный экземпляр. Если нет, то вызывается и строится экземпляр для обобщённой сигнатуры F@k. История экземпляра F@k растёт от истории F@j. Это перестройка снизу.

Предлагается сделать почти грязный хак. А именно, при срабатывании условия остановки в случае F@k = MSG(F@i, F@j) ≠ F@i строить не только экземпляр F@k, как и раньше, но ещё и патчить старый экземпляр F@i, заменяя всё его тело на единственный вызов F@k:

F@i {
  ARG = <F@k ARG′>
}

История экземпляра F@k будет расти не от истории F@j, а от F@i. Назовём это халтурной перестройкой сверху.

Очевидно, что экземпляры, построенные после F@i, в программе останутся, хоть вызываться из F@i не будут. Возможно, специализатор продолжит оптимизировать в них заведомо бессмысленные вызовы. Они могут потом потереться на последнем проходе — удалении невызываемых функций¹. Или не потереться, если в них есть «косые стрелки».

¹ Этот проход в качестве корневого множества рассматривает все функции без суффиксов — функции исходной программы. Поэтому в логе можно видеть функцию Loop, которая ниоткуда не вызывается.

Пропатченные экземпляры вида F@i из примера выше будут встраиваться в точки вызова на проходе прогонки экземпляров.

Если специализация разных дочерних экземпляров будет требовать разный патч для родителя, то будет выбираться произвольный патч — какой первый попадётся.

• ✔Подход будет снижать объём остаточной программы как минимум из-за того, что размер некоторых экземпляров будет сокращаться (тем более, они в режиме -OA будут встраиваться в точки вызова, а затем вытираться как неиспользуемые).
• ✔Вероятно, решит и текущую задачу. Выход за лимит шагов возникал вроде на стадии прогонки экземпляров.
• ✔❓Думаю, проблему можно решить не более чем 100 новыми строками кода. Серьёзно сломаться ничего не должно.

Вывод

А нет пока вывода. Я ещё не выбрал вариант. Напишу в комментариях. Склоняюсь к последнему.

@TonitaN, какой вариант тебе больше нравится?

[Mazdaywik]

Данный пример содержит открытые e-переменные. Есть другой суперкомпилятор (помимо кривого ограниченного оптимизатора в Рефале-5λ), который умеет обрабатывать программы с открытыми e-переменными — MSCP-A. Интересно посмотреть на нём этот пример.

Версия суперкомпилятора — последний коммит TonitaN/MSCP-A@bf4a517 на момент написания этого комментария.

Пример

$ENTRY START {
  (e.A) t.B (e.C) = <Loop (e.A) t.B W S e.C>;
}

Loop {
  (e.Acc) e.Begin t.U t.V W e.End
    = <Loop (e.Acc e.Begin t.U) t.V W e.End>;

  (e.Acc) e.Rest = e.Acc e.Rest;
}

успешно отсуперкомпилировался, получилась такая программа:

Остаточная программа

$ENTRY Go {
 (e.x1) t.y1 (e.x2) =  <InputFormat_0 (e.x1) t.y1 (e.x2)>;
}


InputFormat_0 {
 (e.x1) t.y1 (W W e.x2) =  <Loop_12_0 (e.x1) t.y1 () (e.x2)>;
 (e.x1) t.y1 (W t.y2 W e.x2) =  <Loop_12_4 (e.x1) t.y1 () t.y2 (e.x2)>;
 (e.x1) t.y1 (W e.x2 t.y2 t.y3 W e.x3) =  <Loop_12_6 (e.x1) t.y1 (e.x2) t.y2 () t.y3 (e.x3)>;
 (e.x1) t.y1 (W e.x2) =  e.x1 t.y1 W S W e.x2;
 (e.x1) t.y1 (t.y2 W e.x2) =  <Loop_12_8 (e.x1) t.y1 () t.y2 (e.x2)>;
 (e.x1) t.y1 (e.x2 t.y2 t.y3 W e.x3) =  <Loop_12_10 (e.x1) t.y1 (e.x2) t.y2 () t.y3 (e.x3)>;
 (e.x1) t.y1 (e.x2) =  e.x1 t.y1 W S e.x2;
}


Loop_12_0 {
 (e.x1) t.y1 (e.x2) (W e.x3) =  <Loop_12_0 (e.x1) t.y1 (e.x2 W) (e.x3)>;
 (e.x1) t.y1 (e.x2) (t.y2 W e.x3) =  <Loop_12_1 (e.x1) t.y1 (e.x2) () t.y2 (e.x3)>;
 (e.x1) t.y1 (e.x2) (e.x3 t.y2 t.y3 W e.x4) =  <Loop_12_2 (e.x1) t.y1 (e.x2) (e.x3) t.y2 () t.y3 (e.x4)>;
 (e.x1) t.y1 (e.x2) (e.x3) =  e.x1 t.y1 W S e.x2 W W e.x3;
}


Loop_12_1 {
 (e.x1) t.y1 (e.x2) (e.x3) t.y2 (W e.x4) =  <Loop_12_0 (e.x1) t.y1 (e.x2 W W e.x3 t.y2) (e.x4)>;
 (e.x1) t.y1 (e.x2) (e.x3) t.y2 (t.y3 W e.x4) =  <Loop_12_1 (e.x1) t.y1 (e.x2) (e.x3 t.y2 W) t.y3 (e.x4)>;
 (e.x1) t.y1 (e.x2) (e.x3) t.y2 (e.x4 t.y3 t.y4 W e.x5) =  <Loop_12_1 (e.x1) t.y1 (e.x2)
                                                              (e.x3 t.y2 W e.x4 t.y3) t.y4 (e.x5)
                                                           >;
 (e.x1) t.y1 (e.x2) (e.x3) t.y2 (e.x4) =  e.x1 t.y1 W S e.x2 W W e.x3 t.y2 W e.x4;
}


Loop_12_2 {
 (e.x1) t.y1 (e.x2) (e.x3) t.y2 (e.x4) t.y3 (W e.x5) =  <Loop_12_0 (e.x1) t.y1
                                                           (e.x2 W W e.x3 t.y2 e.x4 t.y3) (e.x5)
                                                        >;
 (e.x1) t.y1 (e.x2) (e.x3) t.y2 (e.x4) t.y3 (t.y4 W e.x5) =  <Loop_12_2 (e.x1) t.y1 (e.x2) (e.x3)
                                                                t.y2 (e.x4 t.y3 W) t.y4 (e.x5)
                                                             >;
 (e.x1) t.y1 (e.x2) (e.x3) t.y2 (e.x4) t.y3 (e.x5 t.y4 t.y5 W e.x6) =  <Loop_12_2 (e.x1) t.y1 (e.x2) (e.x3)
                                                                          t.y2 (e.x4 t.y3 W e.x5 t.y4) t.y5
                (e.x6)
                                                                       >;
 (e.x1) t.y1 (e.x2) (e.x3) t.y2 (e.x4) t.y3 (e.x5) =  e.x1 t.y1 W S e.x2 W W e.x3 t.y2 e.x4 t.y3 W e.x5;
}


Loop_12_3 {
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) (W e.x4) =  <Loop_12_3 (e.x1) t.y1 (e.x2) t.y2 (e.x3 W) (e.x4)>;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) (t.y3 W e.x4) =  <Loop_12_4 (e.x1) t.y1 (e.x2 t.y2 e.x3 W W) t.y3 (e.x4)>;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) (e.x4 t.y3 t.y4 W e.x5) =  <Loop_12_4 (e.x1) t.y1
                                                              (e.x2 t.y2 e.x3 W W e.x4 t.y3) t.y4 (e.x5)
                                                           >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) (e.x4) =  e.x1 t.y1 W S W e.x2 t.y2 e.x3 W W e.x4;
}


Loop_12_4 {
 (e.x1) t.y1 (e.x2) t.y2 (W e.x3) =  <Loop_12_3 (e.x1) t.y1 (e.x2) t.y2 () (e.x3)>;
 (e.x1) t.y1 (e.x2) t.y2 (t.y3 W e.x3) =  <Loop_12_4 (e.x1) t.y1 (e.x2 t.y2 W) t.y3 (e.x3)>;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3 t.y3 t.y4 W e.x4) =  <Loop_12_4 (e.x1) t.y1
                                                       (e.x2 t.y2 W e.x3 t.y3) t.y4 (e.x4)
                                                    >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) =  e.x1 t.y1 W S W e.x2 t.y2 W e.x3;
}


Loop_12_5 {
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) (W e.x5) =  <Loop_12_5 (e.x1) t.y1 (e.x2) t.y2
                                                           (e.x3) t.y3 (e.x4 W) (e.x5)
                                                        >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) (t.y4 W e.x5) =  <Loop_12_6 (e.x1) t.y1 (e.x2)
                                                                t.y2 (e.x3 t.y3 e.x4 W W) t.y4 (e.x5)
                                                             >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) (e.x5 t.y4 t.y5 W e.x6) =  <Loop_12_6 (e.x1) t.y1 (e.x2)
                                                                          t.y2 (e.x3 t.y3 e.x4 W
                                                                                  W e.x5 t.y4
                                                                               ) t.y5 (e.x6)
                                                                       >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) (e.x5) =  e.x1 t.y1 W S W e.x2 t.y2 e.x3 t.y3 e.x4 W W e.x5;
}


Loop_12_6 {
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (W e.x4) =  <Loop_12_5 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 () (e.x4)>;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (t.y4 W e.x4) =  <Loop_12_6 (e.x1) t.y1 (e.x2)
                                                         t.y2 (e.x3 t.y3 W) t.y4 (e.x4)
                                                      >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4 t.y4 t.y5 W e.x5) =  <Loop_12_6 (e.x1) t.y1 (e.x2)
                                                                   t.y2 (e.x3 t.y3 W e.x4 t.y4) t.y5 (e.x5)
                                                                >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) =  e.x1 t.y1 W S W e.x2 t.y2 e.x3 t.y3 W e.x4;
}


Loop_12_7 {
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) (W e.x4) =  <Loop_12_7 (e.x1) t.y1 (e.x2) t.y2 (e.x3 W) (e.x4)>;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) (t.y3 W e.x4) =  <Loop_12_8 (e.x1) t.y1 (e.x2 t.y2 e.x3 W W) t.y3 (e.x4)>;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) (e.x4 t.y3 t.y4 W e.x5) =  <Loop_12_8 (e.x1) t.y1
                                                              (e.x2 t.y2 e.x3 W W e.x4 t.y3) t.y4 (e.x5)
                                                           >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) (e.x4) =  e.x1 t.y1 W S e.x2 t.y2 e.x3 W W e.x4;
}


Loop_12_8 {
 (e.x1) t.y1 (e.x2) t.y2 (W e.x3) =  <Loop_12_7 (e.x1) t.y1 (e.x2) t.y2 () (e.x3)>;
 (e.x1) t.y1 (e.x2) t.y2 (t.y3 W e.x3) =  <Loop_12_8 (e.x1) t.y1 (e.x2 t.y2 W) t.y3 (e.x3)>;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3 t.y3 t.y4 W e.x4) =  <Loop_12_8 (e.x1) t.y1
                                                       (e.x2 t.y2 W e.x3 t.y3) t.y4 (e.x4)
                                                    >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) =  e.x1 t.y1 W S e.x2 t.y2 W e.x3;
}


Loop_12_9 {
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) (W e.x5) =  <Loop_12_9 (e.x1) t.y1 (e.x2) t.y2
                                                           (e.x3) t.y3 (e.x4 W) (e.x5)
                                                        >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) (t.y4 W e.x5) =  <Loop_12_10 (e.x1) t.y1 (e.x2)
                                                                t.y2 (e.x3 t.y3 e.x4 W W) t.y4 (e.x5)
                                                             >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) (e.x5 t.y4 t.y5 W e.x6) =  <Loop_12_10 (e.x1) t.y1 (e.x2)
                                                                          t.y2 (e.x3 t.y3 e.x4 W
                                                                                  W e.x5 t.y4
                                                                               ) t.y5 (e.x6)
                                                                       >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) (e.x5) =  e.x1 t.y1 W S e.x2 t.y2 e.x3 t.y3 e.x4 W W e.x5;
}


Loop_12_10 {
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (W e.x4) =  <Loop_12_9 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 () (e.x4)>;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (t.y4 W e.x4) =  <Loop_12_10 (e.x1) t.y1 (e.x2)
                                                         t.y2 (e.x3 t.y3 W) t.y4 (e.x4)
                                                      >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4 t.y4 t.y5 W e.x5) =  <Loop_12_10 (e.x1) t.y1 (e.x2)
                                                                   t.y2 (e.x3 t.y3 W e.x4 t.y4) t.y5 (e.x5)
                                                                >;
 (e.x1) t.y1 (e.x2) t.y2 (e.x3) t.y3 (e.x4) =  e.x1 t.y1 W S e.x2 t.y2 e.x3 t.y3 W e.x4;
}

/* This file is generated by MSCP at Tue Aug 24 19:54:02 2021.*/

/* Elapsed time of embeddings is 31.0.*/

/* Elapsed time of generalizations is 7123.0.*/

Скачать: rsd_bloat-basic.ref.

Видно, что получилось 11 базисных конфигураций. Так что можно ожидать, что при использовании перестройки сверху получится около десятка экземпляров, а не 56, как сейчас. Уже неплохо.

Перестройка снизу часто строит экземпляры, соответствующие развёрнутым виткам цикла. Эти витки затем подставляются на этапе прогонки экземпляров и тем самым раздувают программу. Перестройка сверху избегает развёртки витков (по сравнению с перестройкой снизу), на этапе прогонки экземпляров встраиваний должно быть меньше.

[TonitaN]

imho перестройка сверху точно нужна: здесь явный комбинаторный взрыв. Какая именно из двух --- вот не знаю.

[TonitaN]

Почему у меня рефальские исходники, упомянутые в этой заявке, качаются с дополнительным расширением txt? Баг или фича?

[Mazdaywik]

imho перестройка сверху точно нужна: здесь явный комбинаторный взрыв. Какая именно из двух — вот не знаю.

Очевидно, халтурная. Я хочу поскорее выпустить версию 3.4.

Почему у меня рефальские исходники, упомянутые в этой заявке, качаются с дополнительным расширением txt? Баг или фича?

Это фича. Прикрепить к комментариям можно только файлы с несколькими разрешёнными расширениями:

Крупнее:

Поэтому мне приходится к именам исходников добавлять .txt. Если попробовать приложить файл с другим расширением, сайт ругается:

[Mazdaywik]

Вывод

Буду делать халтурную перестройку сверху. @TonitaN, спасибо!

[TonitaN]

Да не за что, ты же и сам пришел к тому же выводу. Я повтыкала в конфигурации Loop-а, и всё 🤓.

[Mazdaywik]

Ну, асилила многабукаф. Ну, и ты могла прийти и к другому выводу.

Кстати, поведение MSCP-A на этом примере ожидаемо?

Вот этот комментарий #332 (comment) пыталась читать?

[TonitaN]

Да, поведение ожидаемо. Комментарий не читала, кстати, неочевидные утверждения из него пока что мне не очевидны. Для дерева (бесконечного) они, понятное дело, верны. А вот что касается графа --- сходу нет интуиции, что при перестройке снизу одна из конфигураций после обобщения не может обобщиться с какой-то из тех, которые находятся на отрезке от верхней (не обобщённой) до нижней конфигурации. Тогда уже может пойти развитие совсем другой истории.

Да, это оффтопик, надо было написать ответ к тому комментарию.

[Mazdaywik]

А я ждал комментарий там 😊.

[Mazdaywik]

Ты лучше туда скопируй комментарий, я на него отвечу.