// File: /workspace/github_c_makefile_star2_O2/pahihu[P]mixal/run.c
// Function: xecute
static void xecute(Address address, Flag save_context)
{
    Byte I;
    Byte saved_C = 0;
    Byte saved_F = 0;
    Cell saved_M = zero;
    Address saved_pc = 0;

    if (true == save_context) {
        saved_C = C;
        saved_F = F;
        saved_M = M;
        saved_pc = pc;
        pc = address;
    }

    destructure_cell(safe_fetch(pc), M, I, F, C);

    /* --- Indirect addressing --- */
    if (I != 0) {
       if (I < 7)
           /* (the add can't overflow because the numbers are too small) */
           M = add(M, r[I]);
       else {
           if (0 == (mix_config & MIXCONFIG_INDEX))
               error("Not a Mixmaster. Invalid I-field: %02o", I);
           M = effective_address(pc);
       }
    }

    wait_state = false;
    rti_done = false;
    increment_frequency(pc); pc++;
    op_table[C].action();
    if (save_context)
        elapsed_time += op_table[C].clocks;

    if (true == wait_state)
        pc--;

    if (save_context) {
        C  = saved_C;
        F  = saved_F;
        M  = saved_M;
        pc = saved_pc;
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %esi, %r14d
movl 0x9d77(%rip), %ebp      # 0x10db0
cmpl $0x1, %esi
jne 0x705b
movl 0x9da3(%rip), %r13d     # 0x10de8
movl 0x9da0(%rip), %r12d     # 0x10dec
movq 0x9d9d(%rip), %r15      # 0x10df0
movl %edi, 0x9d57(%rip)      # 0x10db0
jmp 0x7068
xorl %r15d, %r15d
movl %ebp, %edi
xorl %ebp, %ebp
xorl %r12d, %r12d
xorl %r13d, %r13d
callq 0x6ce5
movl %eax, %ecx
andl $0x40000000, %ecx       # imm = 0x40000000
movl %eax, %edx
andl $0x3f, %edx
movl %edx, 0x9d68(%rip)      # 0x10de8
movl %eax, %edx
shrl $0x6, %edx
andl $0x3f, %edx
movl %edx, 0x9d5e(%rip)      # 0x10dec
movl %eax, %esi
shrl $0xc, %esi
shrl $0x12, %eax
andl $0xfff, %eax            # imm = 0xFFF
orq %rcx, %rax
movq %rax, 0x9d4b(%rip)      # 0x10df0
andl $0x3f, %esi
je 0x7216
cmpl $0x6, %esi
ja 0x70cd
movl %esi, %ecx
leaq 0x9ca4(%rip), %rdx      # 0x10d60
movq (%rdx,%rcx,8), %rsi
movq %rax, %rdi
callq 0x38b0
jmp 0x720f
movq %r15, 0x10(%rsp)
movl %r14d, 0x8(%rsp)
testb $0x20, 0x9c5e(%rip)     # 0x10d3c
jne 0x70ee
leaq 0x3258(%rip), %rdi      # 0xa33f
xorl %eax, %eax
callq 0x5700
movl %r13d, (%rsp)
movl %r12d, 0x4(%rsp)
movl %ebp, 0xc(%rsp)
movl 0x9caf(%rip), %eax      # 0x10db0
xorl %r14d, %r14d
xorl %ebx, %ebx
movl %eax, %edi
callq 0x6ce5
movq %rax, %r12
andl $0x40000000, %eax       # imm = 0x40000000
movl %r12d, %r13d
shrl $0xc, %r13d
movl %r12d, %r15d
shrl $0x12, %r15d
andl $0xfff, %r15d           # imm = 0xFFF
orq %rax, %r15
shrl $0xf, %r12d
movl %r12d, %ebp
andl $0x7, %ebp
sete %al
andl $0x7, %r13d
setne %cl
orb %al, %cl
je 0x71eb
testl %ebp, %ebp
je 0x716a
cmpl $0x7, %ebp
je 0x716a
movl %ebp, %eax
leaq 0x9c05(%rip), %rcx      # 0x10d60
movq (%rcx,%rax,8), %rsi
movq %r15, %rdi
callq 0x38b0
movq %rax, %r15
testl %r13d, %r13d
je 0x718e
cmpl $0x7, %r13d
je 0x718e
movl %r13d, %eax
leaq 0x9be1(%rip), %rcx      # 0x10d60
movq (%rcx,%rax,8), %rsi
movq %r14, %rdi
callq 0x38b0
movq %rax, %r14
movq %r14, %rax
cmpl $0x7, %ebp
setne %cl
cmpl $0x7, %r13d
setne %dl
andl %r13d, %r12d
xorl %esi, %esi
cmpl $0x7, %r12d
sete %sil
movl $0x0, %r14d
cmovneq %rax, %r14
addq %rsi, %rbx
testb %dl, %cl
jne 0x71d0
incq 0x9b6d(%rip)            # 0x10d30
movq %r15, %rdi
callq 0x3e15
jmp 0x7106
movq %r15, %rdi
movq %r14, %rsi
callq 0x38b0
testq %rbx, %rbx
jle 0x71f8
decq %rbx
xorl %r14d, %r14d
jmp 0x7106
pushq $0x3
popq %rsi
movl %ebp, %edi
movq %r15, %rdx
callq 0x363f
movl 0xc(%rsp), %ebp
movl 0x8(%rsp), %r14d
movq 0x10(%rsp), %r15
movl 0x4(%rsp), %r12d
movl (%rsp), %r13d
movq %rax, 0x9bda(%rip)      # 0x10df0
xorl %eax, %eax
movb %al, 0x9bb2(%rip)       # 0x10dd0
movb %al, 0x9ca4(%rip)       # 0x10ec8
movl 0x9b86(%rip), %eax      # 0x10db0
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
testl %eax, %eax
leaq 0x9b9e(%rip), %rdx      # 0x10dd8
leaq 0x9c8f(%rip), %rsi      # 0x10ed0
cmovnsq %rdx, %rsi
movq (%rsi), %rdx
incl (%rdx,%rcx,4)
incl %eax
movl %eax, 0x9b5d(%rip)      # 0x10db0
movl 0x9b8f(%rip), %eax      # 0x10de8
imulq $0x18, %rax, %rax
leaq 0x757c(%rip), %rbx      # 0xe7e0
callq *(%rax,%rbx)
testl %r14d, %r14d
je 0x7281
movl 0x9b76(%rip), %eax      # 0x10de8
imulq $0x18, %rax, %rax
movl 0x8(%rax,%rbx), %eax
addq %rax, 0x9aaf(%rip)      # 0x10d30
cmpb $0x1, 0x9b48(%rip)      # 0x10dd0
jne 0x7290
decl 0x9b20(%rip)            # 0x10db0
testl %r14d, %r14d
je 0x72b0
movl %r13d, 0x9b4c(%rip)     # 0x10de8
movl %r12d, 0x9b49(%rip)     # 0x10dec
movq %r15, 0x9b46(%rip)      # 0x10df0
movl %ebp, 0x9b00(%rip)      # 0x10db0
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq