// File: /workspace/github_c_makefile_star2_O3/johsteffens[P]beth/lib/bcore/bcore_txt_ml.c
// Function: bcore_txt_ml_contains_valid_syntax
bl_t bcore_txt_ml_contains_valid_syntax( bcore_source* source )
{
    BLM_INIT();
    sz_t index = bcore_source_a_get_index( source );

    if( !bcore_source_a_parse_bl( source, " #?'<'" ) )
    {
        bcore_source_a_set_index( source, index );
        BLM_RETURNV( bl_t, false );
    }

    st_s* name = BLM_A_PUSH( st_s_create() );

    bcore_source_a_parse_fa( source, "#name", name );

    if( name->size == 0 )
    {
        bcore_source_a_set_index( source, index );
        BLM_RETURNV( bl_t, false );
    }

    if( !bcore_source_a_parse_bl( source, "#?'>'" ) )
    {
        bcore_source_a_set_index( source, index );
        BLM_RETURNV( bl_t, false );
    }

    bcore_source_a_set_index( source, index );
    BLM_RETURNV( bl_t, true );
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
movabsq $-0x7e8ee9b9b4bbaa8, %r14 # imm = 0xF817116464B44558
leaq 0x803ae(%rip), %rax     # 0x19bdd0
movq (%rax), %rsi
leaq 0x8(%rsp), %rdi
callq 0xd6675
movq (%rbx), %r15
leaq 0x8128f(%rip), %rbp     # 0x19ccc8
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r15, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r15, %rdx
je 0x11ba8f
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r15, %rdx
je 0x11ba8f
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r15, %rdx
je 0x11ba8f
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r15, %rdx
jne 0x11ba98
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x11bab8
movq %r14, %rdi
movq %r15, %rsi
callq 0xe9bc5
movq %rax, %r12
leaq 0x8121b(%rip), %rdi     # 0x19ccc8
movq %r15, %rsi
movq %rax, %rdx
callq 0x115fac
movq %r12, %rdi
movq %rbx, %rsi
callq 0xffe72
movq %rax, %r15
movq (%rbx), %r12
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x11bb1f
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x11bb1f
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x11bb1f
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x11bb28
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x11bb48
movq %r14, %rdi
movq %r12, %rsi
callq 0xe9bc5
movq %rax, %r13
leaq 0x8118b(%rip), %rdi     # 0x19ccc8
movq %r12, %rsi
movq %rax, %rdx
callq 0x115fac
leaq 0x127db(%rip), %rdx     # 0x12e32a
movq %r13, %rdi
movq %rbx, %rsi
callq 0xffe2b
testb %al, %al
je 0x11bc9a
xorl %eax, %eax
callq 0x109c82
leaq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0xd6a3c
movq %rax, %r13
leaq 0x28714(%rip), %rsi     # 0x144294
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x100150
movq (%rbx), %r12
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
cmpq $0x0, 0x10(%r13)
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
je 0x11bcc4
cmpq %r12, %rdx
je 0x11bbf1
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x11bbf1
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x11bbf1
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x11bbfa
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x11bc1a
movq %r14, %rdi
movq %r12, %rsi
callq 0xe9bc5
movq %rax, %r13
leaq 0x810b9(%rip), %rdi     # 0x19ccc8
movq %r12, %rsi
movq %rax, %rdx
callq 0x115fac
leaq 0x32492(%rip), %rdx     # 0x14e0b3
movq %r13, %rdi
movq %rbx, %rsi
callq 0xffe2b
movq (%rbx), %r12
movl (%rbp), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rbp,%rcx,8), %rdx
movq 0x18(%rbp,%rcx,8), %rsi
andq %r12, %rsi
shlq $0x4, %rsi
leaq (%rdx,%rsi), %rcx
movq (%rdx,%rsi), %rdx
testb %al, %al
je 0x11bd4b
movl $0x8, %eax
cmpq %r12, %rdx
je 0x11bc91
movq 0x10(%rcx), %rdx
movl $0x18, %eax
cmpq %r12, %rdx
je 0x11bc91
movq 0x20(%rcx), %rdx
movl $0x28, %eax
cmpq %r12, %rdx
je 0x11bc91
movq 0x30(%rcx), %rdx
movb $0x1, %bpl
movl $0x38, %eax
cmpq %r12, %rdx
jne 0x11bd02
movq (%rcx,%rax), %r13
movb $0x1, %bpl
jmp 0x11bcfd
movq (%rbx), %r12
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x11bcf7
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x11bcf7
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x11bcf7
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x11bd88
movq (%rax,%rcx), %r13
xorl %ebp, %ebp
testq %r13, %r13
jne 0x11bd22
movq %r14, %rdi
movq %r12, %rsi
callq 0xe9bc5
movq %rax, %r13
leaq 0x80fb1(%rip), %rdi     # 0x19ccc8
movq %r12, %rsi
movq %rax, %rdx
callq 0x115fac
movq %r13, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0xffe83
leaq 0x8(%rsp), %rdi
callq 0xd6d2c
movl %ebp, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x8, %eax
cmpq %r12, %rdx
je 0x11bd7f
movq 0x10(%rcx), %rdx
movl $0x18, %eax
cmpq %r12, %rdx
je 0x11bd7f
movq 0x20(%rcx), %rdx
movl $0x28, %eax
cmpq %r12, %rdx
je 0x11bd7f
movq 0x30(%rcx), %rdx
movl $0x38, %eax
cmpq %r12, %rdx
jne 0x11bd88
movq (%rcx,%rax), %r13
jmp 0x11bcfb
xorl %ebp, %ebp
jmp 0x11bd02