// File: /workspace/github_c_makefile_star2_O0/pyk[P]simple-nn/deps/pcg/test-high/./check-base.c
// Function: main
XX_PREDECLS

int main(int argc, char** argv)
{
    // Read command-line options
     
    int rounds = 5;
    bool nondeterministic_seed = false;
    
    ++argv; --argc;
    if (argc > 0 && strcmp(argv[0], "-r") == 0) {
         nondeterministic_seed = true;
         ++argv; --argc;
    }
    if (argc > 0) {
         rounds = atoi(argv[0]);
    }
    
    // In this version of the code, we'll use a local rng, rather than the
    // global one.
    
    XX_RAND_DECL
    
    // You should *always* seed the RNG.  The usual time to do it is the
    // point in time when you create RNG (typically at the beginning of the
    // program).
    //
    // XX_SRANDOM_R takes two YY-bit constants (the initial state, and the
    // rng sequence selector; rngs with different sequence selectors will
    // *never* have random sequences that coincide, at all) - the code below 
    // shows three possible ways to do so.

    if (nondeterministic_seed) {
        // Seed with external entropy
        
        XX_SEEDSDECL(seeds)
        entropy_getbytes((void*) seeds, sizeof(seeds)); 
        XX_SRANDOM(XX_SRANDOM_SEEDARGS(seeds));
    } else {
        // Seed with a fixed constant
        
        XX_SRANDOM(XX_SRANDOM_SEEDCONSTS);
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movl $0x0, -0x4(%rbp)
movl %edi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x5, -0x14(%rbp)
movb $0x0, -0x15(%rbp)
movq -0x10(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x10(%rbp)
movl -0x8(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x8(%rbp)
cmpl $0x0, -0x8(%rbp)
jle 0x1210
movq -0x10(%rbp), %rax
movq (%rax), %rdi
leaq 0x2e17(%rip), %rsi      # 0x4004
callq 0x1060
cmpl $0x0, %eax
jne 0x1210
movb $0x1, -0x15(%rbp)
movq -0x10(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x10(%rbp)
movl -0x8(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x8(%rbp)
cmpl $0x0, -0x8(%rbp)
jle 0x1225
movq -0x10(%rbp), %rax
movq (%rax), %rdi
callq 0x1090
movl %eax, -0x14(%rbp)
testb $0x1, -0x15(%rbp)
je 0x124a
leaq -0x28(%rbp), %rdi
movl $0x8, %esi
callq 0x15a0
movl -0x28(%rbp), %esi
movl -0x24(%rbp), %edx
leaq -0x20(%rbp), %rdi
callq 0x1910
jmp 0x125d
leaq -0x20(%rbp), %rdi
movl $0x2a, %esi
movl $0x36, %edx
callq 0x1910
leaq 0x2da3(%rip), %rdi      # 0x4007
movl $0x8, %esi
movb $0x0, %al
callq 0x1030
movl $0x1, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
cmpl -0x14(%rbp), %eax
jg 0x1590
movl -0x2c(%rbp), %esi
leaq 0x2e41(%rip), %rdi      # 0x40ce
movb $0x0, %al
callq 0x1030
leaq 0x2e3e(%rip), %rdi      # 0x40d9
movb $0x0, %al
callq 0x1030
movl $0x0, -0x30(%rbp)
cmpl $0x6, -0x30(%rbp)
jge 0x12f7
cmpl $0x0, -0x30(%rbp)
jle 0x12d3
movl -0x30(%rbp), %eax
movl $0x6, %ecx
cltd
idivl %ecx
cmpl $0x0, %edx
jne 0x12d3
leaq 0x2e16(%rip), %rdi      # 0x40e2
movb $0x0, %al
callq 0x1030
leaq -0x20(%rbp), %rdi
callq 0x1ee0
movl %eax, %esi
leaq 0x2e00(%rip), %rdi      # 0x40e5
movb $0x0, %al
callq 0x1030
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x12a9
leaq 0x2dce(%rip), %rdi      # 0x40cc
movb $0x0, %al
callq 0x1030
leaq 0x2de1(%rip), %rdi      # 0x40ed
movb $0x0, %al
callq 0x1030
leaq -0x20(%rbp), %rdi
movl $0xfffffffa, %esi       # imm = 0xFFFFFFFA
callq 0x1830
movl $0x0, -0x34(%rbp)
cmpl $0x6, -0x34(%rbp)
jge 0x1376
cmpl $0x0, -0x34(%rbp)
jle 0x1352
movl -0x34(%rbp), %eax
movl $0x6, %ecx
cltd
idivl %ecx
cmpl $0x0, %edx
jne 0x1352
leaq 0x2d97(%rip), %rdi      # 0x40e2
movb $0x0, %al
callq 0x1030
leaq -0x20(%rbp), %rdi
callq 0x1ee0
movl %eax, %esi
leaq 0x2d81(%rip), %rdi      # 0x40e5
movb $0x0, %al
callq 0x1030
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x1328
leaq 0x2d4f(%rip), %rdi      # 0x40cc
movb $0x0, %al
callq 0x1030
leaq 0x2d6b(%rip), %rdi      # 0x40f6
movb $0x0, %al
callq 0x1030
movl $0x0, -0x38(%rbp)
cmpl $0x41, -0x38(%rbp)
jge 0x13d8
leaq -0x20(%rbp), %rdi
movl $0x2, %esi
callq 0x1f10
movl %eax, %ecx
movl $0x54, %esi
movl $0x48, %eax
cmpl $0x0, %ecx
cmovnel %eax, %esi
leaq 0x2d53(%rip), %rdi      # 0x4119
movb $0x0, %al
callq 0x1030
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
jmp 0x1399
leaq 0x2ced(%rip), %rdi      # 0x40cc
movb $0x0, %al
callq 0x1030
leaq 0x2d13(%rip), %rdi      # 0x4100
movb $0x0, %al
callq 0x1030
movl $0x0, -0x3c(%rbp)
cmpl $0x21, -0x3c(%rbp)
jge 0x142d
leaq -0x20(%rbp), %rdi
movl $0x6, %esi
callq 0x1f10
movl %eax, %esi
addl $0x1, %esi
leaq 0x2cee(%rip), %rdi      # 0x4109
movb $0x0, %al
callq 0x1030
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x13fb
leaq 0x2c98(%rip), %rdi      # 0x40cc
movb $0x0, %al
callq 0x1030
movl $0x0, -0x74(%rbp)
cmpl $0x34, -0x74(%rbp)
jge 0x1460
movl -0x74(%rbp), %eax
movb %al, %cl
movslq -0x74(%rbp), %rax
movb %cl, -0x70(%rbp,%rax)
movl -0x74(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x74(%rbp)
jmp 0x1442
movl $0x34, -0x78(%rbp)
cmpl $0x1, -0x78(%rbp)
jle 0x14b5
movl -0x78(%rbp), %esi
leaq -0x20(%rbp), %rdi
callq 0x1f10
movl %eax, -0x7c(%rbp)
movslq -0x7c(%rbp), %rax
movb -0x70(%rbp,%rax), %al
movb %al, -0x7d(%rbp)
movl -0x78(%rbp), %eax
subl $0x1, %eax
cltq
movb -0x70(%rbp,%rax), %cl
movslq -0x7c(%rbp), %rax
movb %cl, -0x70(%rbp,%rax)
movb -0x7d(%rbp), %cl
movl -0x78(%rbp), %eax
subl $0x1, %eax
cltq
movb %cl, -0x70(%rbp,%rax)
movl -0x78(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x78(%rbp)
jmp 0x1467
leaq 0x2c51(%rip), %rdi      # 0x410d
movb $0x0, %al
callq 0x1030
movl $0x0, -0x84(%rbp)
cmpl $0x34, -0x84(%rbp)
jge 0x1566
movslq -0x84(%rbp), %rax
movsbl -0x70(%rbp,%rax), %eax
movl $0x4, %ecx
cltd
idivl %ecx
movslq %eax, %rcx
leaq 0x2c24(%rip), %rax      # 0x411c
movsbl (%rax,%rcx), %esi
movslq -0x84(%rbp), %rax
movsbl -0x70(%rbp,%rax), %eax
movl $0x4, %ecx
cltd
idivl %ecx
movslq %edx, %rcx
leaq 0x2c0f(%rip), %rax      # 0x4129
movsbl (%rax,%rcx), %edx
leaq 0x2bf1(%rip), %rdi      # 0x4116
movb $0x0, %al
callq 0x1030
movl -0x84(%rbp), %eax
addl $0x1, %eax
movl $0x16, %ecx
cltd
idivl %ecx
cmpl $0x0, %edx
jne 0x1550
leaq 0x2b99(%rip), %rdi      # 0x40e2
movb $0x0, %al
callq 0x1030
jmp 0x1552
movl -0x84(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x84(%rbp)
jmp 0x14cd
leaq 0x2b5f(%rip), %rdi      # 0x40cc
movb $0x0, %al
callq 0x1030
leaq 0x2b51(%rip), %rdi      # 0x40cc
movb $0x0, %al
callq 0x1030
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0x1277
xorl %eax, %eax
addq $0x90, %rsp
popq %rbp
retq
nopl (%rax,%rax)