если абстрагироваться от условий, то как выполнить часть кода (eax=16), который находится в блоке при условии true (eax>ebx) не используя ветвление кода?
Без ветвлений не знаю. Честно. Потому что любой вариант выполнения блока от результата действия, это уже ветвление. А при помощи математики получаем зависимость результата от начальных значений.