// File: /workspace/github_cpp_makefile_star2_O3/IHorvalds[P]RomAna/./processing/InflexEngineCore.cpp
// Function: InflexEngine::formWord[abi:cxx11](int)
std::string InflexEngine::formWord(int32_t ptr) {
// Create the word that ends in ptr.
  std::string ret;
  if (ptr <= 0)
    return ret;
  int32_t encoding, nextPtr = findParent(ptr, encoding);
  return formWord(nextPtr) + romanian::decode(encoding);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdi, %rbx
leaq 0x58(%rsp), %r12
movq %r12, -0x10(%r12)
movq $0x0, -0x8(%r12)
movb $0x0, (%r12)
testl %edx, %edx
jle 0x4474
movq %rsi, %r14
leaq 0x4(%rsp), %rax
movq %rsi, %rdi
movl %edx, %esi
movq %rax, %rdx
callq 0x435a
leaq 0x28(%rsp), %rdi
movq %r14, %rsi
movl %eax, %edx
callq 0x43e6
movl 0x4(%rsp), %ebp
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
cmpl $0x19, %ebp
ja 0x44b2
addb $0x61, %bpl
movsbl %bpl, %r8d
leaq 0x8(%rsp), %rdi
movl $0x1, %ecx
xorl %esi, %esi
xorl %edx, %edx
callq 0x34e0
jmp 0x4502
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movb (%r12), %al
movb %al, 0x10(%rbx)
movq 0x1(%r12), %rax
movq %rax, 0x11(%rbx)
movl 0x9(%r12), %eax
movl %eax, 0x19(%rbx)
movzwl 0xd(%r12), %eax
movw %ax, 0x1d(%rbx)
movb 0xf(%r12), %al
movb %al, 0x1f(%rbx)
movq $0x0, 0x8(%rbx)
jmp 0x45ea
leaq 0x80d5(%rip), %rcx      # 0xc58e
xorl %r13d, %r13d
leaq 0x8(%rsp), %rdi
movl $0x7, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x33e0
addl $-0x1a, %ebp
movq %rbp, %rax
shlq $0x5, %rax
leaq 0xbdef(%rip), %r14      # 0x102d0
addq %rax, %r14
leaq 0x8(%rsp), %r15
cmpl %r13d, %ebp
jne 0x44f9
movq %r15, %rdi
movq %r14, %rsi
callq 0x3160
incl %r13d
cmpl $0x5, %r13d
jne 0x44e9
leaq 0x38(%rsp), %r14
movq -0x10(%r14), %rcx
movq -0x8(%r14), %r8
movq 0x10(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r14, %rcx
je 0x4527
movq 0x38(%rsp), %rdi
movq 0x8(%rsp), %rsi
cmpq %rdi, %rax
leaq 0x18(%rsp), %r15
jbe 0x454a
movl $0xf, %edi
cmpq %r15, %rsi
je 0x4545
movq 0x18(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x4556
leaq 0x28(%rsp), %rdi
callq 0x30f0
jmp 0x4564
leaq 0x8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32d0
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x4583
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x4589
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x45bc
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3290
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0x45d3
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x3290
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
je 0x45ea
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3290
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
jne 0x4626
jmp 0x4633
jmp 0x4614
jmp 0x460f
movq %rax, %rbx
jmp 0x464e
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x4633
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3290
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x464e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x3290
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
je 0x4665
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3290
movq %rbx, %rdi
callq 0x34b0
nop