// File: /workspace/github_cpp_makefile_star2_O2/stetre[P]moonvulkan/src/layers.c
// Function: EnumerateInstanceExtensionProperties
static int EnumerateInstanceExtensionProperties(lua_State *L)
    {
    int err;
    uint32_t count, remaining, tot, i;
    VkResult ec;
    VkExtensionProperties* properties;//[N];
    const char *layer_name = luaL_optstring(L, 1, NULL);
    int byname = optboolean(L, 2, 0);

#define CLEANUP zfreearrayVkExtensionProperties(L, properties, N, 1) 
    properties = znewarrayVkExtensionProperties(L, N, &err);
    if(err) { CLEANUP; lua_error(L); }
    lua_newtable(L);
    ec = vk.EnumerateInstanceExtensionProperties(layer_name, &remaining, NULL);
    if(ec) { CLEANUP; CheckError(L, ec); }
    if(remaining==0) { CLEANUP; return 1; }

    tot = 0;
    do {
        if(remaining > N)
            { count = N; remaining -= N; }
        else
            { count = remaining; remaining = 0; }

        ec = vk.EnumerateInstanceExtensionProperties(layer_name, &count, properties);
        if(ec && ec!=VK_INCOMPLETE) { CLEANUP; CheckError(L, ec); }
        
        if(byname)
            {
            for(i = 0; i < count; i++)
                {
                lua_pushstring(L, properties[i].extensionName);
                zpushVkExtensionProperties(L, &properties[i]);
                lua_rawset(L, -3);
                }
            }
        else
            {
            for(i = 0; i < count; i++)
                {
                zpushVkExtensionProperties(L, &properties[i]);
                lua_rawseti(L, -2, ++tot);
                }
            }

        } while(remaining > 0);
    
    CLEANUP;
#undef CLEANUP
    return 1;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
pushq $0x1
popq %rsi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0x188a0
movq %rax, %r15
pushq $0x2
popq %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x197c0
movl %eax, 0xc(%rsp)
pushq $-0x1
popq %rsi
pushq $0x20
popq %rcx
leaq 0x24(%rsp), %r14
movl $0x104, %edx            # imm = 0x104
movq %rbx, %rdi
movq %r14, %r8
callq 0x19820
movq %rax, %r12
cmpl $0x0, (%r14)
je 0x4308d
pushq $0x20
popq %rcx
pushq $0x1
popq %r8
movl $0x104, %edx            # imm = 0x104
movq %rbx, %rdi
movq %r12, %rsi
xorl %r9d, %r9d
callq 0x18d30
movq %rbx, %rdi
callq 0x199c0
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x187d0
movq 0x77f20(%rip), %r14     # 0xbafc0
movq %rsp, %rsi
movq %r15, %rdi
xorl %edx, %edx
callq *(%r14)
testl %eax, %eax
je 0x430e6
movl %eax, %ebp
pushq $0x20
popq %rcx
pushq $0x1
popq %r8
movl $0x104, %edx            # imm = 0x104
movq %rbx, %rdi
movq %r12, %rsi
xorl %r9d, %r9d
callq 0x18d30
movq %rbx, %rdi
xorl %esi, %esi
movl %ebp, %edx
callq 0x18980
movq %rbx, %rdi
callq 0x199c0
movl %eax, %ebp
jmp 0x43210
movl (%rsp), %eax
testl %eax, %eax
je 0x431f4
pushq $-0x2
popq %r13
pushq $-0x3
popq %rbp
movl $0x0, 0x8(%rsp)
movq %r12, 0x10(%rsp)
movq %r15, 0x18(%rsp)
movl %eax, %ecx
subl $0x20, %ecx
pushq $0x20
popq %rdx
cmovael %edx, %eax
movl $0x0, %edx
cmovbl %edx, %ecx
movl %eax, 0x4(%rsp)
movl %ecx, (%rsp)
movq %r15, %rdi
leaq 0x4(%rsp), %rsi
movq %r12, %rdx
callq *(%r14)
testl %eax, %eax
je 0x43142
movl %eax, %r14d
cmpl $0x5, %eax
jne 0x43221
cmpl $0x0, 0xc(%rsp)
je 0x43184
movq %r12, %r14
xorl %r15d, %r15d
movl 0x4(%rsp), %eax
cmpq %rax, %r15
jae 0x431ca
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1a2e0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1a590
movq %rbx, %rdi
movl %ebp, %esi
callq 0x18800
incq %r15
addq $0x104, %r14            # imm = 0x104
jmp 0x4314f
movl 0x8(%rsp), %r15d
movq %r12, %r14
xorl %r12d, %r12d
movl 0x4(%rsp), %eax
cmpq %rax, %r12
jae 0x431c0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1a590
leal (%r15,%r12), %edx
incl %edx
movq %rbx, %rdi
movl %r13d, %esi
callq 0x19120
incq %r12
addq $0x104, %r14            # imm = 0x104
jmp 0x4318f
addl %r12d, 0x8(%rsp)
movq 0x10(%rsp), %r12
movl (%rsp), %eax
testl %eax, %eax
movq 0x18(%rsp), %r15
movq 0x77de5(%rip), %r14     # 0xbafc0
jne 0x4310a
pushq $0x20
popq %rcx
movl $0x104, %edx            # imm = 0x104
movq %rbx, %rdi
movq %r12, %rsi
pushq $0x1
popq %rbp
jmp 0x43205
pushq $0x20
popq %rcx
pushq $0x1
popq %rbp
movl $0x104, %edx            # imm = 0x104
movq %rbx, %rdi
movq %r12, %rsi
movl %ebp, %r8d
xorl %r9d, %r9d
callq 0x18d30
movl %ebp, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x20
popq %rcx
pushq $0x1
popq %r8
movl $0x104, %edx            # imm = 0x104
movq %rbx, %rdi
movq %r12, %rsi
xorl %r9d, %r9d
callq 0x18d30
movq %rbx, %rdi
xorl %esi, %esi
movl %r14d, %edx
jmp 0x430d2