// File: /workspace/github_c_makefile_star2_O0/KhronosGroup[P]dfdutils/testbidirectionalmapping.c
// Function: main
int main(int argc, char** argv)
{
    unsigned int i;
    for (i = 1; i <= 184; ++i) {
        uint32_t *dfd = getmap((enum VkFormat)i);
        VkFormat f = unmap(dfd);
        if (i != f) printf("Input and output enums differ: %s (%d) -> %s (%d)\n",
                           formatname(i),i, formatname(f),f);
        free((void *)dfd);
    }


    for (i = VK_FORMAT_PVRTC1_2BPP_UNORM_BLOCK_IMG;
         i <= VK_FORMAT_PVRTC2_4BPP_SRGB_BLOCK_IMG; ++i) {
        uint32_t *dfd = getmap((enum VkFormat)i);
        VkFormat f = unmap(dfd);
        if (i != f) printf("Input and output enums differ: %s (%d) -> %s (%d)\n",
                           formatname(i),i, formatname(f),f);
        free((void *)dfd);
    }

    for (i = VK_FORMAT_ASTC_4x4_SFLOAT_BLOCK_EXT;
         i <= VK_FORMAT_ASTC_12x12_SFLOAT_BLOCK_EXT; ++i) {
        uint32_t *dfd = getmap((enum VkFormat)i);
        VkFormat f = unmap(dfd);
        if (i != f) printf("Input and output enums differ: %s (%d) -> %s (%d)\n",
                           formatname(i),i, formatname(f),f);
        free((void *)dfd);
    }

    for (i = VK_FORMAT_ASTC_3x3x3_UNORM_BLOCK_EXT;
         i <= VK_FORMAT_ASTC_6x6x6_SFLOAT_BLOCK_EXT; ++i) {
        uint32_t *dfd = getmap((enum VkFormat)i);
        VkFormat f = unmap(dfd);
        if (i != f) printf("Input and output enums differ: %s (%d) -> %s (%d)\n",
                           formatname(i),i, formatname(f),f);
        free((void *)dfd);
    }
    return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movl $0x0, -0x4(%rbp)
movl %edi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x1, -0x14(%rbp)
cmpl $0xb8, -0x14(%rbp)
ja 0x9773
movl -0x14(%rbp), %edi
callq 0x3270
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
callq 0x7470
movl %eax, -0x24(%rbp)
movl -0x14(%rbp), %eax
cmpl -0x24(%rbp), %eax
je 0x975f
movl -0x14(%rbp), %edi
callq 0x1180
movq %rax, -0x60(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x58(%rbp)
movl -0x24(%rbp), %edi
callq 0x1180
movq -0x60(%rbp), %rsi
movl -0x58(%rbp), %edx
movq %rax, %rcx
movl -0x24(%rbp), %r8d
leaq 0x4a21(%rip), %rdi      # 0xe179
movb $0x0, %al
callq 0x1040
movq -0x20(%rbp), %rdi
callq 0x1030
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x9700
movl $0x3b9b9cf0, -0x14(%rbp) # imm = 0x3B9B9CF0
cmpl $0x3b9b9cf7, -0x14(%rbp) # imm = 0x3B9B9CF7
ja 0x97ed
movl -0x14(%rbp), %edi
callq 0x3270
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
callq 0x7470
movl %eax, -0x34(%rbp)
movl -0x14(%rbp), %eax
cmpl -0x34(%rbp), %eax
je 0x97d9
movl -0x14(%rbp), %edi
callq 0x1180
movq %rax, -0x70(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x64(%rbp)
movl -0x34(%rbp), %edi
callq 0x1180
movq -0x70(%rbp), %rsi
movl -0x64(%rbp), %edx
movq %rax, %rcx
movl -0x34(%rbp), %r8d
leaq 0x49a7(%rip), %rdi      # 0xe179
movb $0x0, %al
callq 0x1040
movq -0x30(%rbp), %rdi
callq 0x1030
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x977a
movl $0x3b9bcbd0, -0x14(%rbp) # imm = 0x3B9BCBD0
cmpl $0x3b9bcbdd, -0x14(%rbp) # imm = 0x3B9BCBDD
ja 0x9867
movl -0x14(%rbp), %edi
callq 0x3270
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
callq 0x7470
movl %eax, -0x44(%rbp)
movl -0x14(%rbp), %eax
cmpl -0x44(%rbp), %eax
je 0x9853
movl -0x14(%rbp), %edi
callq 0x1180
movq %rax, -0x80(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x74(%rbp)
movl -0x44(%rbp), %edi
callq 0x1180
movq -0x80(%rbp), %rsi
movl -0x74(%rbp), %edx
movq %rax, %rcx
movl -0x44(%rbp), %r8d
leaq 0x492d(%rip), %rdi      # 0xe179
movb $0x0, %al
callq 0x1040
movq -0x40(%rbp), %rdi
callq 0x1030
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x97f4
movl $0x3b9f2f00, -0x14(%rbp) # imm = 0x3B9F2F00
cmpl $0x3b9f2f1d, -0x14(%rbp) # imm = 0x3B9F2F1D
ja 0x98ed
movl -0x14(%rbp), %edi
callq 0x3270
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
callq 0x7470
movl %eax, -0x54(%rbp)
movl -0x14(%rbp), %eax
cmpl -0x54(%rbp), %eax
je 0x98d9
movl -0x14(%rbp), %edi
callq 0x1180
movq %rax, -0x90(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x84(%rbp)
movl -0x54(%rbp), %edi
callq 0x1180
movq -0x90(%rbp), %rsi
movl -0x84(%rbp), %edx
movq %rax, %rcx
movl -0x54(%rbp), %r8d
leaq 0x48a7(%rip), %rdi      # 0xe179
movb $0x0, %al
callq 0x1040
movq -0x50(%rbp), %rdi
callq 0x1030
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x986e
xorl %eax, %eax
addq $0x90, %rsp
popq %rbp
retq
nopl (%rax,%rax)