Оптимизация: int vs uint, i+=1 vs i++ и т.д.

[WindWalker]

Провёл небольшое исследование.
1. Что лучше: int или uint, и почему вообще между ними есть разница.
2. Что лучше: i+=1 или i++.

Исследование проводилось следующим образом.
Нижеописанный класс был откомпилирован с помощью командного компилятора из Flex SDK (надо отметить, что компилятор Flash CS3 выдаёт те же результаты).
Затем полученный .swf был декомпилирован с помощью abcdump из проекта Tamarin.

package {
	public class Test {
		private var a:int;
		private var b:uint;

		private  function int_field():void {
			a=0;
			a++;
			a+=1;
		}

		private  function uint_field():void {
			b=0;
			b++;
			b+=1;
		}

		private  function int_local():void {
			var c:int;
			c=0;
			c++;
			c+=1;
		}

		private  function uint_local():void {
			var d:uint;
			d=0;
			d++;
			d+=1;
		}
	}

}

Итого, у нас есть 3 операции, и 4 случая их использования: для локальной переменной и для поля, для uint и для int.

Вот так выглядит присвоение x = 0:
Поле int:

findproperty  	private::a
pushbyte      	0
initproperty  	private::a

Поле uint:

findproperty  	private::b
pushbyte      	0
initproperty  	private::b

Локальная int:

pushbyte      	0
setlocal1

Локальная uint:

pushbyte      	0
convert_u     	
setlocal1

Вот так выглядит i++:

Поле int:

findpropstrict	private::a
dup           	
setlocal1     	
getproperty   	private::a
increment_i   	
setlocal2     	
getlocal1     	
getlocal2     	
setproperty   	private::a
kill          	2
kill          	1

Поле uint:

findpropstrict	private::b
dup           	
setlocal1     	
getproperty   	private::b
increment     	
setlocal2     	
getlocal1     	
getlocal2     	
setproperty   	private::b
kill          	2
kill          	1

Локальная int:

inclocal_i    	1

Локальная uint:

getlocal1     	
increment     	
convert_u     	
setlocal1

Вот так выглядит i+=1:

Поле int:

findproperty  	private::a
getlex        	private::a
pushbyte      	1
add           	
initproperty  	private::a

Поле uint:

findproperty  	private::b
getlex        	private::b
pushbyte      	1
add           	
initproperty  	private::b

Локальная int:

getlocal1     	
pushbyte      	1
add           	
convert_i     	
setlocal1

Локальная uint:

getlocal1     	
pushbyte      	1
add           	
convert_u     	
setlocal1

Выводы:

1. Для полей нет разницы между int и uint (кроме области допустимых значений, разумеется).
2. При работе с локальными переменными типа uint часто используется инструкция конвертации convert_u, которая хоть и не значительно, но тем не менее может снизить произодительность. convert_i тоже иногда используется, но реже.
3. При работе с полями объекта выражение i+=1 компилируется в гораздо меньшее количество инструкций, чем i++ и выполняется значительно быстрее.
4. Наиболее быстрым выражением является i++ если i - это локальная переменная типа int. В этом случае выражение компилируется всего в одну инструкцию AVM2. Если i типа uint, то получается уже 4 инструкции.