оптимизация блока if

[iNils]

Я добавил trace (1) при true для con1 и con2.
Это асм код для первого кода

	push 'con1'
	getVariable
	not
	branchIfTrue label1
	push 'con2'
	getVariable
	not
	branchIfTrue label1
	push 1
	trace
label1:

И для второго. Синим выделено то, чего нет в первом, в остальном они полностью идентичны (кроме имен меток)

	push 'con1'
	getVariable
	dup
	not
	branchIfTrue label1
	pop
	push 'con2'
	getVariable
label1:
	not
	branchIfTrue label2
	push 1
	trace
label2:

Получается, что да. Причем не важно, часто или не часто срабатывает первое условие. Первый код более компактный.