// File: /workspace/github_c_makefile_star2_O0/lh3[P]fermi2/diff.c
// Function: occflt_core
static void occflt_core(const rld_t *e, uint64_t *sub, int min_k, int max_k, int min_occ, int suf_len, int suf)
{
	rldintv_v stack, tstack;
	rldintv_t ik, ok[6];

	kv_init(tstack); kv_init(stack);
	ik = descend(e, suf_len, suf);
	ik.info = suf_len;
	kv_push(rldintv_t, stack, ik);
	while (stack.n) {
		ik = kv_pop(stack);
		if (ik.info < max_k) {
			int c;
			rld_extend(e, &ik, ok, 1);
			for (c = 1; c <= 4; ++c) {
				if (ok[c].x[2] == 0) continue;
				if (ok[c].x[2] < min_occ) {
					collect_tips(e, min_k, min_occ, sub, &ok[c], &tstack);
					continue;
				}
				ok[c].info = ik.info + 1;
				kv_push(rldintv_t, stack, ok[c]);
			}
		}
	}
	free(stack.a); free(tstack.a);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x170, %rsp            # imm = 0x170
movl 0x10(%rbp), %eax
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl %ecx, -0x18(%rbp)
movl %r8d, -0x1c(%rbp)
movl %r9d, -0x20(%rbp)
movq $0x0, -0x48(%rbp)
movq $0x0, -0x50(%rbp)
movq $0x0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
movq $0x0, -0x38(%rbp)
movq $0x0, -0x28(%rbp)
movq -0x8(%rbp), %rsi
movl -0x20(%rbp), %edx
movl 0x10(%rbp), %ecx
leaq -0x150(%rbp), %rdi
callq 0x59f0
movq -0x150(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x148(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x140(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x138(%rbp), %rax
movq %rax, -0x58(%rbp)
movslq -0x20(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x38(%rbp), %rax
cmpq -0x30(%rbp), %rax
jne 0x51fd
cmpq $0x0, -0x30(%rbp)
je 0x51cf
movq -0x30(%rbp), %rax
shlq %rax
movq %rax, -0x160(%rbp)
jmp 0x51dd
movl $0x2, %eax
movq %rax, -0x160(%rbp)
jmp 0x51dd
movq -0x160(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rdi
movq -0x30(%rbp), %rsi
shlq $0x5, %rsi
callq 0x2270
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq -0x38(%rbp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, -0x38(%rbp)
shlq $0x5, %rcx
addq %rcx, %rax
movq -0x70(%rbp), %rcx
movq %rcx, (%rax)
movq -0x68(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x60(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x58(%rbp), %rcx
movq %rcx, 0x18(%rax)
jmp 0x5238
cmpq $0x0, -0x38(%rbp)
je 0x5408
movq -0x28(%rbp), %rax
movq -0x38(%rbp), %rcx
addq $-0x1, %rcx
movq %rcx, -0x38(%rbp)
shlq $0x5, %rcx
addq %rcx, %rax
movq (%rax), %rcx
movq %rcx, -0x70(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x68(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x60(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movslq -0x18(%rbp), %rcx
cmpq %rcx, %rax
jae 0x5403
movq -0x8(%rbp), %rdi
leaq -0x130(%rbp), %rdx
leaq -0x70(%rbp), %rsi
movl $0x1, %ecx
callq 0x49a0
movl $0x1, -0x154(%rbp)
cmpl $0x4, -0x154(%rbp)
jg 0x5401
movslq -0x154(%rbp), %rcx
leaq -0x130(%rbp), %rax
shlq $0x5, %rcx
addq %rcx, %rax
cmpq $0x0, 0x10(%rax)
jne 0x52db
jmp 0x53ed
movslq -0x154(%rbp), %rcx
leaq -0x130(%rbp), %rax
shlq $0x5, %rcx
addq %rcx, %rax
movq 0x10(%rax), %rax
movslq -0x1c(%rbp), %rcx
cmpq %rcx, %rax
jae 0x532e
movq -0x8(%rbp), %rdi
movl -0x14(%rbp), %esi
movl -0x1c(%rbp), %edx
movq -0x10(%rbp), %rcx
movslq -0x154(%rbp), %rax
leaq -0x130(%rbp), %r8
shlq $0x5, %rax
addq %rax, %r8
leaq -0x50(%rbp), %r9
callq 0x5ad0
jmp 0x53ed
movq -0x58(%rbp), %rcx
addq $0x1, %rcx
movslq -0x154(%rbp), %rdx
leaq -0x130(%rbp), %rax
shlq $0x5, %rdx
addq %rdx, %rax
movq %rcx, 0x18(%rax)
movq -0x38(%rbp), %rax
cmpq -0x30(%rbp), %rax
jne 0x539e
cmpq $0x0, -0x30(%rbp)
je 0x5370
movq -0x30(%rbp), %rax
shlq %rax
movq %rax, -0x168(%rbp)
jmp 0x537e
movl $0x2, %eax
movq %rax, -0x168(%rbp)
jmp 0x537e
movq -0x168(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rdi
movq -0x30(%rbp), %rsi
shlq $0x5, %rsi
callq 0x2270
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq -0x38(%rbp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, -0x38(%rbp)
shlq $0x5, %rcx
addq %rcx, %rax
movslq -0x154(%rbp), %rdx
leaq -0x130(%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 0x53ed
movl -0x154(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x154(%rbp)
jmp 0x52ad
jmp 0x5403
jmp 0x5238
movq -0x28(%rbp), %rdi
callq 0x2040
movq -0x40(%rbp), %rdi
callq 0x2040
addq $0x170, %rsp            # imm = 0x170
popq %rbp
retq
nopw %cs:(%rax,%rax)