Да, тут вы правильно говорите.
Но capzap вообще говорит, что "никакие эксперименты делать не нужно, у ПЛК всё особенное".
Да, уже убедились, что цикл компилятором не выкидывается.
Но, не исключена такая трансформация:
Код:
for j:=1 to JMax do
i := i + 1;
end_for;
==>
Код:
for j:=1 to JMax do
end_for;
i := i + JMax;
Т.е. время выполнения будет расти, но оно будет показывать не длительность "операции сложения", а длительнось обработки FOR цикла.
Я бы ещё сделал серию экспериментов: цикл с разным количеством переменных.