// File: /workspace/github_c_makefile_star2_O0/masyagin1998[P]GCI/src/bytecode-generator/bytecode-generator.c
// Function: has_property_expr_ast_bytecode_generate
static enum BYTECODE_GENERATOR_CODES has_property_expr_ast_bytecode_generate(bytecode_generator_type_t bc_gen, const struct HAS_PROPERTY_EXPR_AST*ast)
{
    struct CONSTANT cnst;
    enum BYTECODE_GENERATOR_CODES r = variable_ast_bytecode_generate_inner(bc_gen, ast->obj, 0);
    if (r != BYTECODE_GENERATOR_OK) {
        return r;
    }    
    PUSH_BACK(bc_gen->bc->op_codes, BC_OP_HAS_PROPERTY);
    cnst = create_constant_from_fieldref(ast->ident->ident);
    PUSH_BACK(bc_gen->bc->op_codes, constant_pool_push_back(bc_gen->bc, cnst));    

    return BYTECODE_GENERATOR_OK;    
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
movq (%rax), %rsi
xorl %edx, %edx
callq 0x12b10
movl %eax, -0x44(%rbp)
cmpl $0x0, -0x44(%rbp)
je 0x122d9
movl -0x44(%rbp), %eax
movl %eax, -0x4(%rbp)
jmp 0x125f1
jmp 0x122db
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
cmpq 0x10(%rcx), %rax
jne 0x1240b
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cmpq $0x0, 0x10(%rax)
jne 0x12383
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq $0x1, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdi
shlq $0x3, %rdi
callq 0x1130
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq %rax, (%rcx)
cmpq $0x0, %rax
jne 0x1237c
movq 0xccab(%rip), %rax      # 0x1eff0
movq (%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r8
shlq $0x3, %r8
leaq 0x62af(%rip), %rsi      # 0x1860e
leaq 0x707a(%rip), %rdx      # 0x193e0
movl $0xff, %ecx
movb $0x0, %al
callq 0x1100
movl $0x1, %edi
callq 0x1170
jmp 0x1237e
jmp 0x12409
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
shlq %rcx
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
shlq $0x3, %rsi
callq 0x1150
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq %rax, (%rcx)
cmpq $0x0, %rax
jne 0x12405
movq 0xcc22(%rip), %rax      # 0x1eff0
movq (%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r8
shlq $0x3, %r8
leaq 0x65ad(%rip), %rsi      # 0x18995
leaq 0x6ff1(%rip), %rdx      # 0x193e0
movl $0xff, %ecx
movb $0x0, %al
callq 0x1100
movl $0x1, %edi
callq 0x1170
jmp 0x12407
jmp 0x12409
jmp 0x1240b
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq $0x1a, (%rax,%rcx,8)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x8(%rax)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rsi
leaq -0x70(%rbp), %rdi
callq 0xd960
leaq -0x40(%rbp), %rdi
leaq -0x70(%rbp), %rsi
movl $0x28, %edx
callq 0x1120
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
cmpq 0x10(%rcx), %rax
jne 0x12591
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cmpq $0x0, 0x10(%rax)
jne 0x12509
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq $0x1, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdi
shlq $0x3, %rdi
callq 0x1130
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq %rax, (%rcx)
cmpq $0x0, %rax
jne 0x12502
movq 0xcb25(%rip), %rax      # 0x1eff0
movq (%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r8
shlq $0x3, %r8
leaq 0x6129(%rip), %rsi      # 0x1860e
leaq 0x6ef4(%rip), %rdx      # 0x193e0
movl $0x101, %ecx            # imm = 0x101
movb $0x0, %al
callq 0x1100
movl $0x1, %edi
callq 0x1170
jmp 0x12504
jmp 0x1258f
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
shlq %rcx
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
shlq $0x3, %rsi
callq 0x1150
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq %rax, (%rcx)
cmpq $0x0, %rax
jne 0x1258b
movq 0xca9c(%rip), %rax      # 0x1eff0
movq (%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r8
shlq $0x3, %r8
leaq 0x6427(%rip), %rsi      # 0x18995
leaq 0x6e6b(%rip), %rdx      # 0x193e0
movl $0x101, %ecx            # imm = 0x101
movb $0x0, %al
callq 0x1100
movl $0x1, %edi
callq 0x1170
jmp 0x1258d
jmp 0x1258f
jmp 0x12591
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rdi
movq -0x20(%rbp), %rcx
movq %rsp, %rax
movq %rcx, 0x20(%rax)
movups -0x40(%rbp), %xmm0
movups -0x30(%rbp), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x108d0
movslq %eax, %rdx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x8(%rax)
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0xa0, %rsp
popq %rbp
retq
nopl (%rax)