// File: /workspace/github_c_makefile_star2_O2/tyabu12[P]pl0compiler/codegen.c
// Function: execute
void execute(const int *secretValue) {    /* 目的コード（命令語）の実行           */
#if 0
  static Mem m;
  initMemory(&m, secretValue);
  while (!m.exitCode) stepForward(&m);
#else
    int stack[MAXMEM];          /* 実行時スタック                       */
    int display[MAXLEVEL];      /* 現在見える各ブロックの先頭番地のディスプレイ */
    int pc, top, lev, temp;
    Inst i;                     /* 実行する命令語                       */
    /* printf("start execution\n"); */
    top = 0;  pc = 0;           /* top:次にスタックに入れる場所、pc:命令語のカウンタ */
    stack[0] = 0;  stack[1] = 0; /* stack[top]はcalleeで壊すディスプレイの退避場所 */
                                /* stack[top+1]はcallerへの戻り番地     */
    if (secretValue) stack[2] = *secretValue; /* シークレットモード (第3セルに値を格納) */
    display[0] = 0;             /* 主ブロックの先頭番地は 0             */
    do {
        i = code[pc++];         /* これから実行する命令語               */
        switch (i.opCode) {
        case lit: stack[top++] = i.u.value;
            break;
        case lod: stack[top++] = stack[display[i.u.addr.level] + i.u.addr.addr];
            break;
        case sto: stack[display[i.u.addr.level] + i.u.addr.addr] = stack[--top];
            break;
        case cal: lev = i.u.addr.level +1; /* i.u.addr.levelはcalleeの名前のレベル */
                                /* calleeのブロックのレベルlevはそれに＋１したもの */
            stack[top] = display[lev]; /* display[lev]の退避            */
            stack[top+1] = pc; display[lev] = top;
                                /* 現在のtopがcalleeのブロックの先頭番地 */
            pc = i.u.addr.addr;
            break;
        case ret: temp = stack[--top]; /* スタックのトップにあるものが返す値 */
            top = display[i.u.addr.level]; /* topを呼ばれたときの値に戻す */
            display[i.u.addr.level] = stack[top]; /* 壊したディスプレイの回復 */
            pc = stack[top+1];
            top -= i.u.addr.addr; /* 実引数の分だけトップを戻す         */
            stack[top++] = temp; /* 返す値をスタックのトップへ          */
            break;
        case ict: top += i.u.value;
            if (top >= MAXMEM-MAXREG)
                errorF("stack overflow");
            break;
        case jmp: pc = i.u.value; break;
        case jpc: if (stack[--top] == 0) pc = i.u.value;
            break;
        case opr:
            switch (i.u.optr) {
            case neg: stack[top-1] = -stack[top-1]; continue;
            case add: --top;  stack[top-1] += stack[top]; continue;
            case sub: --top; stack[top-1] -= stack[top]; continue;
            case mul: --top;  stack[top-1] *= stack[top];  continue;
            case div: --top;  stack[top-1] /= stack[top]; continue;
            case odd: stack[top-1] = stack[top-1] & 1; continue;
            case eq: --top;  stack[top-1] = (stack[top-1] == stack[top]); continue;
            case ls: --top;  stack[top-1] = (stack[top-1] < stack[top]); continue;
            case gr: --top;  stack[top-1] = (stack[top-1] > stack[top]); continue;
            case neq: --top;  stack[top-1] = (stack[top-1] != stack[top]); continue;
            case lseq: --top;  stack[top-1] = (stack[top-1] <= stack[top]); continue;
            case greq: --top;  stack[top-1] = (stack[top-1] >= stack[top]); continue;
            case rd: scanf("%d", &stack[top++]); continue;
            case wrt: printf("%d", stack[--top]); continue;
            case wrl: printf("\n"); continue;
            }
        }
    } while (pc != 0);
#endif
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1f68, %rsp           # imm = 0x1F68
andq $0x0, 0x20(%rsp)
testq %rdi, %rdi
je 0x2e31
movl (%rdi), %eax
movl %eax, 0x28(%rsp)
andl $0x0, (%rsp)
leaq 0x42b4(%rip), %r15      # 0x70f0
leaq 0x1281(%rip), %r12      # 0x40c4
leaq 0x129e(%rip), %r13      # 0x40e8
leaq 0x138b(%rip), %r14      # 0x41dc
xorl %ebx, %ebx
xorl %ebp, %ebp
movslq %ebp, %rax
incl %ebp
imulq $0xc, %rax, %rsi
movl (%rsi,%r15), %ecx
cmpq $0x8, %rcx
ja 0x2ef2
movl 0x4(%rsi,%r15), %eax
movslq %eax, %rdx
movl 0x8(%rsi,%r15), %edi
movslq %edi, %rsi
movslq (%r12,%rcx,4), %r8
addq %r12, %r8
movslq %ebx, %rcx
jmpq *%r8
cmpl $0xe, %eax
ja 0x2ef2
movl %eax, %eax
movslq (%r13,%rax,4), %rax
addq %r13, %rax
jmpq *%rax
negl 0x1c(%rsp,%rcx,4)
jmp 0x2ef2
movl 0x4(%rsp,%rdx,4), %eax
movl %eax, 0x20(%rsp,%rcx,4)
movl %ebp, 0x24(%rsp,%rcx,4)
movl %ecx, 0x4(%rsp,%rdx,4)
movl %edi, %ebp
jmp 0x2ef2
movslq (%rsp,%rdx,4), %rax
addq %rsi, %rax
movl 0x20(%rsp,%rax,4), %eax
jmp 0x2eeb
leal -0x1(%rcx), %ebx
movl 0x1c(%rsp,%rcx,4), %eax
movslq (%rsp,%rdx,4), %rcx
addq %rsi, %rcx
jmp 0x2eee
movl %eax, %ebp
jmp 0x2ef2
movl 0x1c(%rsp,%rcx,4), %eax
movslq (%rsp,%rdx,4), %rcx
movl 0x20(%rsp,%rcx,4), %edi
movl 0x24(%rsp,%rcx,4), %ebp
movl %edi, (%rsp,%rdx,4)
subq %rsi, %rcx
leal 0x1(%rcx), %ebx
movl %eax, 0x20(%rsp,%rcx,4)
testl %ebp, %ebp
jne 0x2e55
jmp 0x3025
addl %eax, %ebx
cmpl $0x7bc, %ebx            # imm = 0x7BC
jl 0x2ef2
movq %r14, %rdi
callq 0x3717
jmp 0x2ef2
leal -0x1(%rcx), %ebx
cmpl $0x0, 0x1c(%rsp,%rcx,4)
cmovel %eax, %ebp
jmp 0x2ef2
pushq $0xa
popq %rdi
callq 0x2030
jmp 0x2ef2
leal -0x1(%rcx), %ebx
movl 0x18(%rsp,%rcx,4), %eax
xorl %edx, %edx
cmpl 0x1c(%rsp,%rcx,4), %eax
setge %dl
jmp 0x301c
leal -0x1(%rcx), %ebx
movl 0x18(%rsp,%rcx,4), %eax
cltd
idivl 0x1c(%rsp,%rcx,4)
jmp 0x2f99
leal 0x1(%rcx), %ebx
leaq (%rsp,%rcx,4), %rsi
addq $0x20, %rsi
leaq 0x1209(%rip), %rdi      # 0x4168
xorl %eax, %eax
callq 0x2150
jmp 0x2ef2
leal -0x1(%rcx), %ebx
movl 0x18(%rsp,%rcx,4), %eax
xorl %edx, %edx
cmpl 0x1c(%rsp,%rcx,4), %eax
setne %dl
jmp 0x301c
leal -0x1(%rcx), %ebx
movl 0x1c(%rsp,%rcx,4), %eax
subl %eax, 0x18(%rsp,%rcx,4)
jmp 0x2ef2
leal -0x1(%rcx), %ebx
movl 0x18(%rsp,%rcx,4), %eax
imull 0x1c(%rsp,%rcx,4), %eax
movl %eax, 0x18(%rsp,%rcx,4)
jmp 0x2ef2
leal -0x1(%rcx), %ebx
movl 0x18(%rsp,%rcx,4), %eax
xorl %edx, %edx
cmpl 0x1c(%rsp,%rcx,4), %eax
setl %dl
jmp 0x301c
leal -0x1(%rcx), %ebx
movl 0x1c(%rsp,%rcx,4), %eax
addl %eax, 0x18(%rsp,%rcx,4)
jmp 0x2ef2
andl $0x1, 0x1c(%rsp,%rcx,4)
jmp 0x2ef2
leal -0x1(%rcx), %ebx
movl 0x1c(%rsp,%rcx,4), %esi
leaq 0x118c(%rip), %rdi      # 0x4168
xorl %eax, %eax
callq 0x2090
jmp 0x2ef2
leal -0x1(%rcx), %ebx
movl 0x18(%rsp,%rcx,4), %eax
xorl %edx, %edx
cmpl 0x1c(%rsp,%rcx,4), %eax
sete %dl
jmp 0x301c
leal -0x1(%rcx), %ebx
movl 0x18(%rsp,%rcx,4), %eax
xorl %edx, %edx
cmpl 0x1c(%rsp,%rcx,4), %eax
setle %dl
jmp 0x301c
leal -0x1(%rcx), %ebx
movl 0x18(%rsp,%rcx,4), %eax
xorl %edx, %edx
cmpl 0x1c(%rsp,%rcx,4), %eax
setg %dl
movl %edx, 0x18(%rsp,%rcx,4)
jmp 0x2ef2
addq $0x1f68, %rsp           # imm = 0x1F68
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq