// File: /workspace/github_c_makefile_star2_O3/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 $0x28, %rsp
movl %esi, %r14d
movl 0x991a(%rip), %ebp      # 0x10db0
cmpl $0x1, %esi
jne 0x74b8
movl 0x9946(%rip), %r13d     # 0x10de8
movl 0x9943(%rip), %r12d     # 0x10dec
movq 0x9940(%rip), %r15      # 0x10df0
movl %edi, 0x98fa(%rip)      # 0x10db0
jmp 0x74c5
xorl %r15d, %r15d
movl %ebp, %edi
xorl %ebp, %ebp
xorl %r12d, %r12d
xorl %r13d, %r13d
callq 0x712a
movl %eax, %ecx
andl $0x40000000, %ecx       # imm = 0x40000000
movl %eax, %edx
andl $0x3f, %edx
movl %edx, 0x990b(%rip)      # 0x10de8
movl %eax, %edx
shrl $0x6, %edx
andl $0x3f, %edx
movl %edx, 0x9901(%rip)      # 0x10dec
movl %eax, %esi
shrl $0xc, %esi
shrl $0x12, %eax
andl $0xfff, %eax            # imm = 0xFFF
orq %rcx, %rax
movq %rax, 0x98ee(%rip)      # 0x10df0
andl $0x3f, %esi
je 0x76c4
cmpl $0x6, %esi
ja 0x752a
movl %esi, %ecx
leaq 0x9847(%rip), %rdx      # 0x10d60
movq (%rdx,%rcx,8), %rsi
movq %rax, %rdi
callq 0x3ad2
jmp 0x76bd
movl %r13d, 0x8(%rsp)
movl %r12d, 0xc(%rsp)
movq %r15, 0x20(%rsp)
movl %r14d, 0x10(%rsp)
movl %ebp, 0x14(%rsp)
testb $0x20, 0x97f3(%rip)     # 0x10d3c
jne 0x7559
leaq 0x2ded(%rip), %rdi      # 0xa33f
xorl %eax, %eax
callq 0x5bec
movl 0x9851(%rip), %edi      # 0x10db0
callq 0x712a
movq %rax, %r15
andl $0x40000000, %eax       # imm = 0x40000000
movl %r15d, %r13d
shrl $0xc, %r13d
movl %r15d, %r14d
shrl $0x12, %r14d
andl $0xfff, %r14d           # imm = 0xFFF
orq %rax, %r14
shrl $0xf, %r15d
movl %r15d, %ebp
andl $0x7, %ebp
setne %al
movl %r13d, %ebx
andl $0x7, %ebx
sete %cl
testb %cl, %al
jne 0x7696
movq $0x0, 0x18(%rsp)
xorl %edi, %edi
testl %ebp, %ebp
je 0x75d4
cmpl $0x7, %ebp
je 0x75d4
movl %ebp, %eax
leaq 0x97a1(%rip), %rcx      # 0x10d60
movq (%rcx,%rax,8), %rsi
movq %rdi, %r12
movq %r14, %rdi
callq 0x3ad2
movq %r12, %rdi
movq %rax, %r14
testl %ebx, %ebx
je 0x75f2
cmpl $0x7, %ebx
je 0x75f2
movl %ebx, %eax
leaq 0x977a(%rip), %rcx      # 0x10d60
movq (%rcx,%rax,8), %rsi
callq 0x3ad2
movq %rax, %rdi
andl %r13d, %r15d
notl %r15d
xorl %eax, %eax
testb $0x7, %r15b
sete %al
movl $0x0, %r12d
cmovneq %rdi, %r12
movq 0x18(%rsp), %r15
addq %rax, %r15
cmpl $0x7, %ebp
je 0x763a
cmpl $0x7, %ebx
je 0x763a
movq %r14, %rdi
movq %r12, %rsi
callq 0x3ad2
testq %r15, %r15
jle 0x76a5
decq %r15
movq %r15, 0x18(%rsp)
xorl %r12d, %r12d
jmp 0x764e
movq %r15, 0x18(%rsp)
incq 0x96ea(%rip)            # 0x10d30
movq %r14, %rdi
callq 0x4037
movl %eax, %edi
callq 0x712a
movq %rax, %r15
andl $0x40000000, %eax       # imm = 0x40000000
movl %r15d, %r13d
shrl $0xc, %r13d
movl %r15d, %r14d
shrl $0x12, %r14d
andl $0xfff, %r14d           # imm = 0xFFF
orq %rax, %r14
shrl $0xf, %r15d
movl %r15d, %ebp
andl $0x7, %ebp
setne %al
movl %r13d, %ebx
andl $0x7, %ebx
sete %cl
movq %r12, %rdi
testb %cl, %al
je 0x75ad
movl %ebp, %edi
movl $0x3, %esi
movq %r14, %rdx
callq 0x385b
movl 0x14(%rsp), %ebp
movl 0x10(%rsp), %r14d
movq 0x20(%rsp), %r15
movl 0xc(%rsp), %r12d
movl 0x8(%rsp), %r13d
movq %rax, 0x972c(%rip)      # 0x10df0
xorl %eax, %eax
movb %al, 0x9704(%rip)       # 0x10dd0
movb %al, 0x97f6(%rip)       # 0x10ec8
movl 0x96d8(%rip), %eax      # 0x10db0
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
testl %eax, %eax
leaq 0x96f0(%rip), %rdx      # 0x10dd8
leaq 0x97e1(%rip), %rsi      # 0x10ed0
cmovnsq %rdx, %rsi
movq (%rsi), %rdx
incl (%rdx,%rcx,4)
incl %eax
movl %eax, 0x96af(%rip)      # 0x10db0
movl 0x96e1(%rip), %eax      # 0x10de8
leaq (%rax,%rax,2), %rax
leaq 0x70ce(%rip), %rbx      # 0xe7e0
callq *(%rbx,%rax,8)
testl %r14d, %r14d
je 0x772f
movl 0x96c8(%rip), %eax      # 0x10de8
leaq (%rax,%rax,2), %rax
movl 0x8(%rbx,%rax,8), %eax
addq %rax, 0x9601(%rip)      # 0x10d30
cmpb $0x1, 0x969a(%rip)      # 0x10dd0
jne 0x773e
decl 0x9672(%rip)            # 0x10db0
testl %r14d, %r14d
je 0x775e
movl %r13d, 0x969e(%rip)     # 0x10de8
movl %r12d, 0x969b(%rip)     # 0x10dec
movq %r15, 0x9698(%rip)      # 0x10df0
movl %ebp, 0x9652(%rip)      # 0x10db0
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq