// File: /workspace/github_c_makefile_star2_O3/johsteffens[P]beth/xoico/src/xoico.xo.c
// Function: xoico_che_s_inspect_expression
er_t xoico_che_s_inspect_expression( xoico_che_s* o, x_source* source )
{
    // xoico_che.x:1707:1
    BLM_INIT_LEVEL(0);
    BLM_TRY(x_source_parse_fa(source,"\?\?" ))
    
    st_s* st = ((st_s*)BLM_LEVEL_T_PUSH(0,st_s,st_s_create()));
    xoico_che_result_arr_s* result_local = ((xoico_che_result_arr_s*)BLM_LEVEL_T_PUSH(0,xoico_che_result_arr_s,xoico_che_result_arr_s_create()));
    xoico_typespec_s* typespec = ((xoico_typespec_s*)BLM_LEVEL_T_PUSH(0,xoico_typespec_s,xoico_typespec_s_create()));
    BLM_TRY(x_source_parse_fa(source," #until';' ", st ))
    BLM_TRY(x_source_parse_fa(source,";" ))
    bcore_msg_fa( " \?? #<sc_t>;\n", st->sc );
    if( xoico_che_s_trans_expression(o,((x_source*)BLM_LEVEL_A_PUSH(0,x_source_create_from_fa("#<st_s*>;", st ))),((xoico_che_result*)( result_local)), typespec ) )
    {
        bcore_error_pop_to_sink(((bcore_sink*)(((x_sink*)(x_sink_stdout())) )));
        bcore_msg_fa( "\n" );
    }
    else
    {BLM_INIT_LEVEL(1);
        if( st->size == 0 ) BLM_RETURNV(er_t, x_source_parse_error_fa(source,"Variable name expected." ))
        bcore_msg_fa( "--> #<sc_t>;\n", ((st_s*)BLM_LEVEL_T_PUSH(1,st_s,xoico_che_result_a_create_st(((const xoico_che_result*)(result_local)))))->sc );
    
        if( typespec->type )
        {
            bcore_msg_fa( "Expression yields typespec:\n" );
            bcore_msg_fa( "  access_class : #<sc_t>\n",  ifnameof( typespec->access_class ) );
            bcore_msg_fa( "  type         : #<sc_t>\n", xoico_che_s_nameof(o,typespec->type ) );
            bcore_msg_fa( "  indirection  : #<sz_t>\n", typespec->indirection );
            bcore_msg_fa( "  flags        : " );
            if( typespec->flag_static   ) bcore_msg_fa( "static " );
            if( typespec->flag_volatile ) bcore_msg_fa( "volatile " );
            if( typespec->flag_restrict ) bcore_msg_fa( "restrict " );
            if( typespec->flag_obliv    ) bcore_msg_fa( "obliv " );
            if( typespec->flag_aware    ) bcore_msg_fa( "aware " );
            if( typespec->flag_scope    ) bcore_msg_fa( "scope " );
            if( typespec->flag_addressable ) bcore_msg_fa( "addressable " );
            if( typespec->flag_variadic ) bcore_msg_fa( "variadic " );
            bcore_msg_fa( "\n" );
        }
        else
        {
            bcore_msg_fa( "Expression does not yield a typespec.\n" );
        }
    BLM_DOWN();}
    BLM_RETURNV(er_t, 0)
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %r15
movq %rdi, %r14
leaq 0x15e7d1(%rip), %rax    # 0x19bdd0
movq (%rax), %rsi
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0xd6675
movq $0x0, 0x10(%rbx)
leaq 0xf37d7(%rip), %rsi     # 0x130df5
movq %r15, %rdi
xorl %eax, %eax
callq 0xda80
testq %rax, %rax
jne 0x3d6c7
movabsq $-0x503db0e6e1c2e704, %r12 # imm = 0xAFC24F191E3D18FC
xorl %eax, %eax
callq 0x109c82
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
movq %r12, %rdx
movq %rax, %rcx
callq 0xd68a8
movq %rax, %r13
callq 0x46f7e
movabsq $-0x7850996cdf80346a, %rdx # imm = 0x87AF6693207FCB96
movq %rbx, %rdi
xorl %esi, %esi
movq %rax, %rcx
callq 0xd68a8
movq %rax, %rbp
callq 0xffc0
movabsq $-0x641110359430e9c5, %rdx # imm = 0x9BEEEFCA6BCF163B
movq %rbx, %rdi
xorl %esi, %esi
movq %rax, %rcx
callq 0xd68a8
movq %rax, %r12
leaq 0xf3759(%rip), %rsi     # 0x130df8
movq %r15, %rdi
movq %r13, %rdx
xorl %eax, %eax
callq 0xda80
testq %rax, %rax
jne 0x3d6c7
leaq 0xf4210(%rip), %rsi     # 0x1318c8
movq %r15, %rdi
xorl %eax, %eax
callq 0xda80
testq %rax, %rax
je 0x3d6e6
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xd6d2c
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%r13), %rsi
leaq 0xf3713(%rip), %rdi     # 0x130e04
xorl %eax, %eax
callq 0xbe364
movq %r13, %rsi
xorl %eax, %eax
callq 0x3d91f
leaq 0x8(%rsp), %rdi
xorl %esi, %esi
movq %rax, %rdx
callq 0xd6b17
movq %r14, %rdi
movq %rax, %rsi
movq %rbp, %rdx
movq %r12, %rcx
callq 0x3a94e
testq %rax, %rax
je 0x3d749
leaq 0x15e6ba(%rip), %rax    # 0x19bde8
movq (%rax), %rdi
callq 0xbef7e
leaq 0x10afd7(%rip), %rdi    # 0x148714
xorl %eax, %eax
callq 0xbe364
jmp 0x3d90e
leaq 0x38(%rsp), %rbx
movq %rbx, (%rsp)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xd6675
movq $0x1, 0x10(%rbx)
cmpq $0x0, 0x10(%r13)
je 0x3d8d7
movq %rbp, %rdi
callq 0x3c83d
leaq 0x38(%rsp), %rdi
movl $0x1, %esi
movabsq $-0x503db0e6e1c2e704, %rdx # imm = 0xAFC24F191E3D18FC
movq %rax, %rcx
callq 0xd68a8
movq 0x8(%rax), %rsi
leaq 0xf3693(%rip), %rdi     # 0x130e34
xorl %eax, %eax
callq 0xbe364
cmpq $0x0, 0x8(%r12)
je 0x3d8f5
movq %r12, %rbx
leaq 0xf3684(%rip), %rdi     # 0x130e42
xorl %eax, %eax
callq 0xbe364
movq 0x10(%r12), %rdi
callq 0xd6ec4
testq %rax, %rax
leaq 0x10af3c(%rip), %rsi    # 0x148715
cmovneq %rax, %rsi
leaq 0xf367b(%rip), %rdi     # 0x130e5f
xorl %eax, %eax
callq 0xbe364
movq 0x8(%r12), %rsi
movq %r14, %rdi
callq 0x31f9d
leaq 0xf367a(%rip), %rdi     # 0x130e79
movq %rax, %rsi
xorl %eax, %eax
callq 0xbe364
movq 0x20(%r12), %rsi
leaq 0xf367e(%rip), %rdi     # 0x130e93
xorl %eax, %eax
callq 0xbe364
leaq 0xf368a(%rip), %rdi     # 0x130ead
xorl %eax, %eax
callq 0xbe364
cmpb $0x1, 0x28(%r12)
jne 0x3d840
leaq 0xefa92(%rip), %rdi     # 0x12d2cb
xorl %eax, %eax
callq 0xbe364
cmpb $0x1, 0x29(%rbx)
jne 0x3d854
leaq 0xefa8d(%rip), %rdi     # 0x12d2da
xorl %eax, %eax
callq 0xbe364
cmpb $0x1, 0x2a(%rbx)
jne 0x3d868
leaq 0xefa84(%rip), %rdi     # 0x12d2e5
xorl %eax, %eax
callq 0xbe364
cmpb $0x1, 0x2b(%rbx)
jne 0x3d87c
leaq 0xefbc7(%rip), %rdi     # 0x12d43c
xorl %eax, %eax
callq 0xbe364
cmpb $0x1, 0x2c(%rbx)
jne 0x3d890
leaq 0xefbac(%rip), %rdi     # 0x12d435
xorl %eax, %eax
callq 0xbe364
cmpb $0x1, 0x2d(%rbx)
jne 0x3d8a4
leaq 0xf3622(%rip), %rdi     # 0x130ebf
xorl %eax, %eax
callq 0xbe364
cmpb $0x1, 0x2e(%rbx)
jne 0x3d8b8
leaq 0xf3615(%rip), %rdi     # 0x130ec6
xorl %eax, %eax
callq 0xbe364
leaq 0x10ae55(%rip), %rbx    # 0x148714
cmpb $0x1, 0x2f(%r12)
jne 0x3d8fc
leaq 0xf3605(%rip), %rdi     # 0x130ed3
xorl %eax, %eax
callq 0xbe364
jmp 0x3d8fc
leaq 0xf353e(%rip), %rsi     # 0x130e1c
movq %r15, %rdi
xorl %eax, %eax
callq 0xde10
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
jmp 0x3d6cf
leaq 0xf35e1(%rip), %rbx     # 0x130edd
movq %rbx, %rdi
xorl %eax, %eax
callq 0xbe364
movq %rsp, %rdi
callq 0xd6d0d
leaq 0x8(%rsp), %rdi
callq 0xd6d2c
xorl %ebx, %ebx
jmp 0x3d6d4