// File: /workspace/github_c_makefile_star2_O0/lh3[P]fermi2/diff.c
// Function: collect_tips
static void collect_tips(const rld_t *e, int min_k, int min_occ, uint64_t *sub, const rldintv_t *_ik, rldintv_v *stack)
{
	stack->n = 0;
	kv_push(rldintv_t, *stack, *_ik);
	while (stack->n) {
		uint64_t k, *p, x;
		rldintv_t ik, ok[6];
		int c;
		ik = kv_pop(*stack);
		if (ik.info <= min_k && ik.x[2] < min_occ) continue;
		rld_extend(e, &ik, ok, 1);
		if (ok[0].x[2] && ik.info >= min_k) {
			for (k = 0; k < ok[0].x[2]; ++k) {
				x = k + ok[0].x[0];
				p = sub + (x>>6);
				x = 1ULL<<(x&0x3f);
				__sync_or_and_fetch(p, x);
			}
		}
		for (c = 1; c <= 4; ++c)
			if (ok[c].x[2]) {
				ok[c].info = ik.info + 1;
				kv_push(rldintv_t, *stack, ok[c]);
			}
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x150, %rsp            # imm = 0x150
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movq %rcx, -0x18(%rbp)
movq %r8, -0x20(%rbp)
movq %r9, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq $0x0, (%rax)
movq -0x28(%rbp), %rax
movq (%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x5b6d
movq -0x28(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x5b2c
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
shlq %rax
movq %rax, -0x130(%rbp)
jmp 0x5b3a
movl $0x2, %eax
movq %rax, -0x130(%rbp)
jmp 0x5b3a
movq -0x130(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x5, %rsi
callq 0x2270
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x28(%rbp), %rdx
movq (%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, (%rdx)
shlq $0x5, %rcx
addq %rcx, %rax
movq -0x20(%rbp), %rcx
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movq 0x10(%rcx), %rdx
movq %rdx, 0x10(%rax)
movq 0x18(%rcx), %rcx
movq %rcx, 0x18(%rax)
jmp 0x5bb1
movq -0x28(%rbp), %rax
cmpq $0x0, (%rax)
je 0x5e3f
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x28(%rbp), %rdx
movq (%rdx), %rcx
addq $-0x1, %rcx
movq %rcx, (%rdx)
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0x60(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x58(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x50(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movslq -0xc(%rbp), %rcx
cmpq %rcx, %rax
ja 0x5c17
movq -0x50(%rbp), %rax
movslq -0x10(%rbp), %rcx
cmpq %rcx, %rax
jae 0x5c17
jmp 0x5bb1
movq -0x8(%rbp), %rdi
leaq -0x120(%rbp), %rdx
leaq -0x60(%rbp), %rsi
movl $0x1, %ecx
callq 0x49a0
cmpq $0x0, -0x110(%rbp)
je 0x5d06
movq -0x48(%rbp), %rax
movslq -0xc(%rbp), %rcx
cmpq %rcx, %rax
jb 0x5d06
movq $0x0, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x110(%rbp), %rax
jae 0x5d04
movq -0x30(%rbp), %rax
addq -0x120(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movq -0x40(%rbp), %rcx
shrq $0x6, %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x38(%rbp)
movq -0x40(%rbp), %rcx
andq $0x3f, %rcx
movl $0x1, %eax
shlq %cl, %rax
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x148(%rbp)
movq -0x40(%rbp), %rcx
movq %rcx, -0x140(%rbp)
movq (%rax), %rax
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rax
movq -0x148(%rbp), %rcx
movq -0x140(%rbp), %rsi
movq %rax, %rdx
orq %rsi, %rdx
lock
cmpxchgq %rdx, (%rcx)
sete %cl
testb $0x1, %cl
movq %rax, -0x138(%rbp)
jne 0x5cf3
jmp 0x5cc2
movq -0x30(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
jmp 0x5c57
jmp 0x5d06
movl $0x1, -0x124(%rbp)
cmpl $0x4, -0x124(%rbp)
jg 0x5e3a
movslq -0x124(%rbp), %rcx
leaq -0x120(%rbp), %rax
shlq $0x5, %rcx
addq %rcx, %rax
cmpq $0x0, 0x10(%rax)
je 0x5e24
movq -0x48(%rbp), %rcx
addq $0x1, %rcx
movslq -0x124(%rbp), %rdx
leaq -0x120(%rbp), %rax
shlq $0x5, %rdx
addq %rdx, %rax
movq %rcx, 0x18(%rax)
movq -0x28(%rbp), %rax
movq (%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x5dcf
movq -0x28(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x5d8e
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
shlq %rax
movq %rax, -0x150(%rbp)
jmp 0x5d9c
movl $0x2, %eax
movq %rax, -0x150(%rbp)
jmp 0x5d9c
movq -0x150(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x5, %rsi
callq 0x2270
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x28(%rbp), %rdx
movq (%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, (%rdx)
shlq $0x5, %rcx
addq %rcx, %rax
movslq -0x124(%rbp), %rdx
leaq -0x120(%rbp), %rcx
shlq $0x5, %rdx
addq %rdx, %rcx
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movq 0x10(%rcx), %rdx
movq %rdx, 0x10(%rax)
movq 0x18(%rcx), %rcx
movq %rcx, 0x18(%rax)
jmp 0x5e24
jmp 0x5e26
movl -0x124(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x124(%rbp)
jmp 0x5d10
jmp 0x5bb1
addq $0x150, %rsp            # imm = 0x150
popq %rbp
retq
nopl (%rax,%rax)