loop {
switch(n) {
case 1 : return 3
case 2 : return 4
case 3 : return 5
위와 같이 반복되는 switch문에서
n이 1인 경우와 3인 경우에 값이 반환되는 데 걸리는 시간이 같은거라는 착각이 잠시 들어서
직접 구조를 보기로 했다.
우선 비주얼스튜디오에서 x86어셈블리를 생성해 보았다.
switch(num) {
00D817FC mov eax,dword ptr [ebp-8]
00D817FF mov dword ptr [ebp+FFFFFF30h],eax
00D81805 cmp dword ptr [ebp+FFFFFF30h],0
00D8180C je 00D81822
00D8180E cmp dword ptr [ebp+FFFFFF30h],1
00D81815 je 00D8182D
00D81817 cmp dword ptr [ebp+FFFFFF30h],2
00D8181E je 00D81838
00D81820 jmp 00D81843
case 0: result++; break;
00D81822 mov eax,dword ptr [ebp-10h]
00D81825 add eax,1
00D81828 mov dword ptr [ebp-10h],eax
00D8182B jmp 00D8184C
case 1: result++;break;
00D8182D mov eax,dword ptr [ebp-10h]
00D81830 add eax,1
00D81833 mov dword ptr [ebp-10h],eax
00D81836 jmp 00D8184C
case 2: result++;break;
00D81838 mov eax,dword ptr [ebp-10h]
00D8183B add eax,1
00D8183E mov dword ptr [ebp-10h],eax
00D81841 jmp 00D8184C
default: result++;break;
00D81843 mov eax,dword ptr [ebp-10h]
00D81846 add eax,1
00D81849 mov dword ptr [ebp-10h],eax
}
return 0;
00D8184C xor eax,eax
}
if - else 문을 썼을 때 처럼
num의 값과 case에 있는 값들을 윗쪽부터 차례차례 비교해나간다는 것을 볼 수 있다.
이번에는 액션스크립트 바이트코드를 보자.
다음과 같은 코드를 작성하고 flex sdk에 포함되어 있는 swfdump로 바이트코드를 생성했다.
D0 getlocal0
30 pushscope
D0 getlocal0
24 01 pushbyte 1
68 03 initproperty :n
10 28 00 00 jump L0
09 L1: label
D0 getlocal0
24 11 pushbyte 17
68 05 initproperty :m
10 68 00 00 jump L2
09 L3: label
D0 getlocal0
24 12 pushbyte 18
68 05 initproperty :m
10 5E 00 00 jump L2
09 L4: label
D0 getlocal0
24 13 pushbyte 19
68 05 initproperty :m
10 54 00 00 jump L2
09 L5: label
D0 getlocal0
24 14 pushbyte 20
68 05 initproperty :m
10 4A 00 00 jump L2
D0 L0: getlocal0
66 03 getproperty :n
D5 setlocal1
24 00 pushbyte 0
D1 getlocal1
1A 06 00 00 ifstrictne L6
24 00 pushbyte 0
10 26 00 00 jump L7
24 01 L6: pushbyte 1
D1 getlocal1
1A 06 00 00 ifstrictne L8
24 01 pushbyte 1
10 19 00 00 jump L7
24 02 L8: pushbyte 2
D1 getlocal1
1A 06 00 00 ifstrictne L9
24 02 pushbyte 2
10 0C 00 00 jump L7
10 06 00 00 L9: jump L10
24 03 pushbyte 3
10 02 00 00 jump L7
24 03 L10:pushbyte 3
08 01 L7: kill 1
1B BD FF FF 03 9F FF FF A9 FF FF B3 FF FF BD FF FF
lookupswitch default:L5 maxcase:3 L1 L3 L4 L5
47 L2: returnvoid
예를 들어 A9로 점프하라는 명령이 있으면 L3 : 붙은 곳으로 점프되는 것이다.
코드를 보면, 우선 변수들을 초기화하고 L0으로 점프한다.
그리고 스택에 0을 넣고 ifstrictne명령으로 n과 0을 비교하는 연산을 수행한다.
스택에 들어있는 두 값이 다르면 점프를 하고 같으면 점프하지 않고 다음 인스트럭션을 실행한다.
여기서는 n이 1이므로 L6으로 점프하게 된다.
L6의 ifstrictne에선 값이 같다고 판단되므로 L8로 점프하지 않고 그냥 통과하여
jump 명령에 의해 L7로 점프한다.
여기서 점프하기 전에 스택에 1을 넣어두는데
이 값이 L7의 lookupswitch에서 어디로 분기할지를 결정하게 된다.
이 코드의 lookupswitch에서는 스택에 0이 있을 때 9F FF FF 만큼 점프하고,
1이 있을 때는 A9 FF FF만큼 점프한다. (2의 보수로 음수를 표현한 형태임)
A9 FF FF만큼 점프한 위치에는 L3이 있는데 이 부분의 인스트럭션부터 다시 아래로 실행을 시작한다.
L3으로 가 보면 m에 18을 대압하는 것을 볼 수 있다.
최종적으로는 L2로 점프하여 실행을 마친다.
===========================================================================