// File: /workspace/github_cpp_makefile_star2_O2/sergiosvieira[P]ptd2ns2/rng.cc
// Function: (anonymous namespace)::CheckSeed(unsigned long const*)
int CheckSeed(const unsigned long seed[6]) {
	int i;
	for (i = 0; i < 3; ++i) {
		if (seed[i] >= m1) {
			fprintf(stderr, "****************************************\n\n");
			fprintf(stderr, "ERROR: Seed[%d] >= 4294967087, Seed is not set.",
					i);
			fprintf(stderr, "\n\n****************************************\n\n");
			return (-1);
		}
	}
	for (i = 3; i < 6; ++i) {
		if (seed[i] >= m2) {
			fprintf(stderr, "****************************************\n\n");
			fprintf(stderr, "ERROR: Seed[%d] >= 429444443, Seed is not set.", i);
			fprintf(stderr, "\n\n****************************************\n\n");
			return (-1);
		}
	}
	if (seed[0] == 0 && seed[1] == 0 && seed[2] == 0) {
		fprintf(stderr, "****************************************\n\n");
		fprintf(stderr, "ERROR: First 3 seeds = 0.\n\n");
		fprintf(stderr, "****************************************\n\n");
		return (-1);
	}
	if (seed[3] == 0 && seed[4] == 0 && seed[5] == 0) {
		fprintf(stderr, "****************************************\n\n");
		fprintf(stderr, "ERROR: Last 3 seeds = 0.\n\n");
		fprintf(stderr, "****************************************\n\n");
		return (-1);
	}
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movl $0xffffa6ba, %eax       # imm = 0xFFFFA6BA
xorl %ebx, %ebx
leaq 0x5874(%rax), %rcx
cmpq $0x3, %rbx
je 0x458a
cmpq %rcx, (%rdi,%rbx,8)
ja 0x4617
incq %rbx
jmp 0x4575
pushq $0x3
popq %rbx
cmpq $0x6, %rbx
je 0x45a2
cmpq %rax, (%rdi,%rbx,8)
ja 0x4643
incq %rbx
jmp 0x458d
cmpq $0x0, (%rdi)
jne 0x45ba
cmpq $0x0, 0x8(%rdi)
jne 0x45ba
cmpq $0x0, 0x10(%rdi)
je 0x4697
xorl %eax, %eax
cmpq $0x0, 0x18(%rdi)
jne 0x468e
cmpq $0x0, 0x20(%rdi)
jne 0x468e
cmpq $0x0, 0x28(%rdi)
jne 0x468e
movq 0x49f4(%rip), %r12      # 0x8fd8
movq (%r12), %rcx
leaq 0x143d(%rip), %rbx      # 0x5a2c
pushq $0x2a
popq %r14
pushq $0x1
popq %r15
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x2320
movq (%r12), %rcx
leaq 0x1492(%rip), %rdi      # 0x5aa2
pushq $0x1a
jmp 0x46cc
movq 0x49ba(%rip), %r15      # 0x8fd8
movq (%r15), %rcx
leaq 0x1404(%rip), %rdi      # 0x5a2c
pushq $0x2a
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x2320
movq (%r15), %rdi
leaq 0x13b9(%rip), %rsi      # 0x59fa
jmp 0x466d
movq 0x498e(%rip), %r15      # 0x8fd8
movq (%r15), %rcx
leaq 0x13d8(%rip), %rdi      # 0x5a2c
pushq $0x2a
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x2320
movq (%r15), %rdi
leaq 0x13ea(%rip), %rsi      # 0x5a57
movl %ebx, %edx
xorl %eax, %eax
callq 0x2250
movq (%r15), %rcx
leaq 0x13aa(%rip), %rdi      # 0x5a2a
pushq $0x2c
popq %rsi
movq %r14, %rdx
callq 0x2320
pushq $-0x1
popq %rax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq 0x493a(%rip), %r12      # 0x8fd8
movq (%r12), %rcx
leaq 0x1383(%rip), %rbx      # 0x5a2c
pushq $0x2a
popq %r14
pushq $0x1
popq %r15
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x2320
movq (%r12), %rcx
leaq 0x13bc(%rip), %rdi      # 0x5a86
pushq $0x1b
popq %rsi
movq %r15, %rdx
callq 0x2320
movq (%r12), %rcx
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
jmp 0x4686