OberonCore

Да! Чудо произошло! Дракон рулит! Никакого "дублирования", точный аналог оригинального девайса. Спасибо!

Под "правильной" я подразумевал структурный вариант (можно с брейками и ретурнами) в точности повторяющий оригинальную "идею". Вот драконовский вариант - повторяет, а ваш - не совсем. Не совсем - потому что операций присваивания больше, а значит и результирующий машинный код будет больше по объему.

Да, я согласен, что структурные языки не должны такого допускать. Собственно вся особенность этого примера в завязке на "оптимизацию". Если бы ее не было, то все бы нормально решалось через обычный тривиальный цикл.

Александр Ильин, Vlad: А они и не допускают. Кейс-то в оригинале - дырявый(неструктурный), т.к. брейков нет. Поэтому правильность работы оригинала - демонстрация исключения, а не закономерности.

Именно "оптимизация" и вызывает здесь некоторое сомнение (только сомнение, а не возражение).
При оптимизации (стандартной) процедуры копирования строк следует стремиться по максимуму использовать пропускную способность шины и читать/писать не байты, а слова. Это важное дополнение к развертке цикла (более важное, чем сама развертка!), сокращающее число обращений к памяти (тогда как управляющая переменная цикла сидит, как правило, в регистре).
В коде Duff's device это не отражено. Возможно, потому что заранее известно, с каким выравниванием распределяется компилятором память.
Второй сомнительный момент касается самого факта развертки. А что если кэш кода маленький?

Да дело не в конкретной оптимизации. Я уверен, что этот самый девайс не самая эффективная штука на большинстве современных архитектур. Просто этот пример показывает, что структурный подход и прочая математика не всегда позволяют описать самое эффективное решение с точки зрения железа. И это стоит учитывать в языках, претендующих на близость к железу (к которым и относится Си). Все ж для определенного класса задача лучше язык с goto, чем ассемблер...

А может, просто это "железо" такое же несерьёзное, как и Си? Может стоит вместо того, чтобы придумывать эффективные программы для неэффективной аппаратуры, сменить аппаратуру?

Подходит, конечно, не всегда, но если подходит, то в итоге - самый быстрый, качественный и дешёвый вариант.

У железа свои заморочки, его тоже не боги обжигают