// File: /workspace/github_c_makefile_star2_O1/wahern[P]cqueues/src/lib/dns.c
// Function: dns_soa_print
size_t dns_soa_print(void *_dst, size_t lim, struct dns_soa *soa) {
	struct dns_buf dst = DNS_B_INTO(_dst, lim);

	dns_b_puts(&dst, soa->mname);
	dns_b_putc(&dst, ' ');
	dns_b_puts(&dst, soa->rname);
	dns_b_putc(&dst, ' ');
	dns_b_fmtju(&dst, soa->serial, 0);
	dns_b_putc(&dst, ' ');
	dns_b_fmtju(&dst, soa->refresh, 0);
	dns_b_putc(&dst, ' ');
	dns_b_fmtju(&dst, soa->retry, 0);
	dns_b_putc(&dst, ' ');
	dns_b_fmtju(&dst, soa->expire, 0);
	dns_b_putc(&dst, ' ');
	dns_b_fmtju(&dst, soa->minimum, 0);

	return dns_b_strllen(&dst);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r13
movq %rsi, %r14
movq %rdi, %r15
leaq (%rdi,%rsi), %rbx
movq %rdx, %rdi
callq 0xf560
movq %rax, %r12
cmpq %rax, %r14
movq %rax, %rbp
cmovbq %r14, %rbp
movq %r15, %rdi
movq %r13, 0x10(%rsp)
movq %r13, %rsi
movq %rbp, %rdx
callq 0xfa60
movq %r15, 0x8(%rsp)
leaq (%r15,%rbp), %r13
movq %r12, %rax
subq %rbp, %rax
xorl %r15d, %r15d
cmpq %r14, %r12
cmovaq %rax, %r15
cmpq %r14, %rbp
jge 0x29a43
movb $0x20, (%r13)
incq %r13
jmp 0x29a46
incq %r15
movq 0x10(%rsp), %rax
leaq 0x100(%rax), %rbp
movq %rbp, %rdi
callq 0xf560
movq %rbx, %rcx
subq %r13, %rcx
cmpq %rax, %rcx
movq %rax, %r12
cmovbq %rcx, %r12
movq %rax, %rdx
subq %r12, %rdx
xorl %r14d, %r14d
cmpq %rax, %rcx
cmovbq %rdx, %r14
movq %r13, %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0xfa60
addq %r13, %r12
addq %r15, %r14
cmpq %rbx, %r12
jae 0x29a9d
movb $0x20, (%r12)
incq %r12
jmp 0x29aa0
incq %r14
movq 0x10(%rsp), %r11
movl 0x200(%r11), %ecx
xorl %r8d, %r8d
movabsq $-0x3333333333333333, %rdi # imm = 0xCCCCCCCCCCCCCCCD
movq %rcx, %rsi
incq %r8
movq %rsi, %rax
mulq %rdi
shrq $0x3, %rdx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0x29abc
movq %rbx, %rax
subq %r12, %rax
xorl %esi, %esi
subq %rax, %r8
cmovaeq %r8, %rsi
movl $0x1, %r9d
movq %r12, %r8
cmpq %r9, %rsi
jae 0x29b15
cmpq %rbx, %r8
jae 0x29b12
movq %rcx, %rax
mulq %rdi
shrl $0x2, %edx
andl $-0x2, %edx
leal (%rdx,%rdx,4), %eax
movl %ecx, %edx
subl %eax, %edx
orb $0x30, %dl
movb %dl, (%r8)
incq %r8
jmp 0x29b15
incq %r14
movq %rcx, %rax
mulq %rdi
shrq $0x3, %rdx
incq %r9
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0x29aea
cmpq %r8, %r12
jae 0x29b56
incq %r12
movq %r8, %rax
movb -0x1(%rax), %cl
movb -0x1(%r12), %dl
movb %dl, -0x1(%rax)
decq %rax
movb %cl, -0x1(%r12)
leaq 0x1(%r12), %rcx
cmpq %rax, %r12
movq %rcx, %r12
jb 0x29b36
cmpq %rbx, %r8
jae 0x29b64
movb $0x20, (%r8)
incq %r8
jmp 0x29b67
incq %r14
movl 0x204(%r11), %ecx
xorl %r9d, %r9d
movq %rcx, %rsi
incq %r9
movq %rsi, %rax
mulq %rdi
shrq $0x3, %rdx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0x29b74
movq %rbx, %rax
subq %r8, %rax
xorl %esi, %esi
subq %rax, %r9
cmovaeq %r9, %rsi
movl $0x1, %r10d
movq %r8, %r9
cmpq %r10, %rsi
jae 0x29bcd
cmpq %rbx, %r9
jae 0x29bca
movq %rcx, %rax
mulq %rdi
shrl $0x2, %edx
andl $-0x2, %edx
leal (%rdx,%rdx,4), %eax
movl %ecx, %edx
subl %eax, %edx
orb $0x30, %dl
movb %dl, (%r9)
incq %r9
jmp 0x29bcd
incq %r14
movq %rcx, %rax
mulq %rdi
shrq $0x3, %rdx
incq %r10
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0x29ba2
cmpq %r9, %r8
jae 0x29c0b
incq %r8
movq %r9, %rax
movb -0x1(%rax), %cl
movb -0x1(%r8), %dl
movb %dl, -0x1(%rax)
decq %rax
movb %cl, -0x1(%r8)
leaq 0x1(%r8), %rcx
cmpq %rax, %r8
movq %rcx, %r8
jb 0x29bee
cmpq %rbx, %r9
jae 0x29c19
movb $0x20, (%r9)
incq %r9
jmp 0x29c1c
incq %r14
movl 0x208(%r11), %ecx
xorl %r8d, %r8d
movq %rcx, %rsi
incq %r8
movq %rsi, %rax
mulq %rdi
shrq $0x3, %rdx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0x29c29
movq %rbx, %rax
subq %r9, %rax
xorl %esi, %esi
subq %rax, %r8
cmovaeq %r8, %rsi
movl $0x1, %r10d
movq %r9, %r8
cmpq %r10, %rsi
jae 0x29c82
cmpq %rbx, %r8
jae 0x29c7f
movq %rcx, %rax
mulq %rdi
shrl $0x2, %edx
andl $-0x2, %edx
leal (%rdx,%rdx,4), %eax
movl %ecx, %edx
subl %eax, %edx
orb $0x30, %dl
movb %dl, (%r8)
incq %r8
jmp 0x29c82
incq %r14
movq %rcx, %rax
mulq %rdi
shrq $0x3, %rdx
incq %r10
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0x29c57
cmpq %r8, %r9
jae 0x29cc0
incq %r9
movq %r8, %rax
movb -0x1(%rax), %cl
movb -0x1(%r9), %dl
movb %dl, -0x1(%rax)
decq %rax
movb %cl, -0x1(%r9)
leaq 0x1(%r9), %rcx
cmpq %rax, %r9
movq %rcx, %r9
jb 0x29ca3
cmpq %rbx, %r8
jae 0x29cce
movb $0x20, (%r8)
incq %r8
jmp 0x29cd1
incq %r14
movl 0x20c(%r11), %ecx
xorl %r9d, %r9d
movq %rcx, %rsi
incq %r9
movq %rsi, %rax
mulq %rdi
shrq $0x3, %rdx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0x29cde
movq %rbx, %rax
subq %r8, %rax
xorl %esi, %esi
subq %rax, %r9
cmovaeq %r9, %rsi
movl $0x1, %r10d
movq %r8, %r9
cmpq %r10, %rsi
jae 0x29d37
cmpq %rbx, %r9
jae 0x29d34
movq %rcx, %rax
mulq %rdi
shrl $0x2, %edx
andl $-0x2, %edx
leal (%rdx,%rdx,4), %eax
movl %ecx, %edx
subl %eax, %edx
orb $0x30, %dl
movb %dl, (%r9)
incq %r9
jmp 0x29d37
incq %r14
movq %rcx, %rax
mulq %rdi
shrq $0x3, %rdx
incq %r10
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0x29d0c
cmpq %r9, %r8
jae 0x29d75
incq %r8
movq %r9, %rax
movb -0x1(%rax), %cl
movb -0x1(%r8), %dl
movb %dl, -0x1(%rax)
decq %rax
movb %cl, -0x1(%r8)
leaq 0x1(%r8), %rcx
cmpq %rax, %r8
movq %rcx, %r8
jb 0x29d58
cmpq %rbx, %r9
jae 0x29d83
movb $0x20, (%r9)
incq %r9
jmp 0x29d86
incq %r14
movl 0x210(%r11), %ecx
xorl %r10d, %r10d
movq %rcx, %rsi
incq %r10
movq %rsi, %rax
mulq %rdi
shrq $0x3, %rdx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0x29d93
movq %rbx, %rax
subq %r9, %rax
xorl %r8d, %r8d
subq %rax, %r10
cmovaeq %r10, %r8
movl $0x1, %r10d
movq %r9, %rsi
cmpq %r10, %r8
jae 0x29dec
cmpq %rbx, %rsi
jae 0x29de9
movq %rcx, %rax
mulq %rdi
shrl $0x2, %edx
andl $-0x2, %edx
leal (%rdx,%rdx,4), %eax
movl %ecx, %edx
subl %eax, %edx
orb $0x30, %dl
movb %dl, (%rsi)
incq %rsi
jmp 0x29dec
incq %r14
movq %rcx, %rax
mulq %rdi
shrq $0x3, %rdx
incq %r10
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0x29dc2
cmpq %rsi, %r9
jae 0x29e2a
incq %r9
movq %rsi, %rax
movb -0x1(%rax), %cl
movb -0x1(%r9), %dl
movb %dl, -0x1(%rax)
decq %rax
movb %cl, -0x1(%r9)
leaq 0x1(%r9), %rcx
cmpq %rax, %r9
movq %rcx, %r9
jb 0x29e0d
cmpq %rbx, %rsi
jae 0x29e3c
movb $0x0, (%rsi)
subq 0x8(%rsp), %rsi
movq %rsi, %rax
jmp 0x29e5d
movq 0x8(%rsp), %rcx
cmpq %rcx, %rsi
jbe 0x29e5b
leaq -0x1(%rsi), %rax
cmpb $0x0, -0x1(%rsi)
je 0x29e56
incq %r14
movb $0x0, (%rax)
subq %rcx, %rax
jmp 0x29e5d
xorl %eax, %eax
addq %rax, %r14
movq %r14, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq