Оптимизация кода

• blueboar

  Fri Jul 13, 2007 9:48 am

  Здравствуйте.
  
  Просмотрел тут программы для KOS и ужаснулся.
  Абсолютно неоптимизированный код.
  
  Почти всегда MOV EAX, 00000001 вместо PUSH 1 / POP EAX
  и так далее.
  
  Вы ведь можете уменьшить Колибри раза в полтора, если
  захотите. Я понимаю, у вас есть паковщик, но все равно
  программы станут меньше.
  
  Если нужно, я готов составить файл со списком программ,
  где напишу возможные улучшения для каждого вплоть
  до номеров строк.

  • Quote

vectoroc

Posts 349

Joined: Mon May 01, 2006 10:12 pm

Fri Jul 13, 2007 9:55 am

если бы ты внимательнее читал, то мог бы заметить

Code: Select all

macro mov arg1,arg2
 {
   if (arg1 in __regs) & ((arg2 eqtype 0) | (arg2 eqtype '0'))
      if (arg2) = 0
	 xor arg1,arg1
      else if (arg2) = 1
	 xor arg1,arg1
	 inc arg1
      else if (arg2) = -1
	 or  arg1,-1
      else if (arg2) > -128 & (arg2) < 128
	 push arg2
	 pop  arg1
      else
	 mov  arg1,arg2
      end if
   else
      mov arg1,arg2
   end if
 }

в macros.inc
В общем если интересна оптимизация можешь начать присматриваться с этого файла
Насчёт полтора раза ты помоему перегнул

• Quote

diamond Kernel Developer

Posts 1600

Joined: Mon Nov 28, 2005 8:00 pm

Fri Jul 13, 2007 12:29 pm

blueboar
Ага, есть неоптимальный код. Но есть и код, близкий к оптимальному. В качестве примера посмотри, например, на приложение end.
Насчёт уменьшения раза в полтора - это вряд ли.
Кстати, следует учитывать, что фактически любой файл занимает целое число секторов...

Если нужно, я готов составить файл со списком программ,
где напишу возможные улучшения для каждого вплоть
до номеров строк.

Мы будем только рады Единственное, что не стоит оптимизировать по размеру код, критичный по скорости, но такого довольно мало. Если умеешь работать с svn, попроси mike.dld выделить аккаунт в Колибри-репозитории и работай прямо там; если нет, можешь в качестве альтернативы к выкладыванию файла различий просто послать оптимизированный вариант тому же mike.dld или мне, контакты можно узнать, например, на kolibrios.org.

• Quote

diamond Kernel Developer

Posts 1600

Joined: Mon Nov 28, 2005 8:00 pm

Tue Jul 17, 2007 11:52 am

Почему нельзя было заменить все эти CMP на DEC EAX / JZ?

PS: Посмотрел повнимательнее - действительно, такой код есть примерно в половине программ. В половине (в той же END) он действительно заменен на DEC/JZ. Но что мешало заменить его и во второй половине?

По историческим соображениям. Изначально много программ были написаны Ville, а многие другие программы - по этому образцу. В результате получился код с cmp. Позже были оптимизации, в частности, временами лично я выбирал программу, занимающую 512*n+epsilon байт и оптимизировал до состояния 512*n-epsilon В некоторых программах замену на dec/jz сделал Heavyiron заодно с перерисыванием на использование новых заголовков/системных вызовов.

• Quote

bw

Posts 443

Joined: Thu Mar 01, 2007 4:16 pm

Tue Jul 17, 2007 8:17 pm

Интересно. Как вы отнесетесь к тому коду который начнет выходить из под пера компиляторов высокоуровневых языков .

..bw

• Quote

smb-

Sat Jul 28, 2007 1:11 pm

To Mario79
Знать бы, что править
Высокоуровневые компиляторы очень хорошо выполняют кучу рутины - типа, выравнивания команд/операндов/переходов по словам и распихивания по регистрам. Да и одних оптимизаций циклов можно штук 5 придумать - кому охота с этим заморачиваться вручную?

Для всяких высокоуровневых конструкций давно известны оптимальные аналоги на ASM.

To Ленин
Грамотно. Согласен.

• Quote