// File: /workspace/github_cpp_makefile_star2_O1/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 0x44aa
movq %rsi, %r14
leaq 0x24(%rsp), %rax
movq %rsi, %rdi
movl %edx, %esi
movq %rax, %rdx
callq 0x4392
leaq 0x28(%rsp), %rdi
movq %r14, %rsi
movl %eax, %edx
callq 0x441e
movl 0x24(%rsp), %ebp
leaq 0x10(%rsp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
cmpl $0x19, %ebp
ja 0x44f5
addb $0x61, %bpl
movsbl %bpl, %r8d
movq %rsp, %rdi
movl $0x1, %ecx
xorl %esi, %esi
xorl %edx, %edx
callq 0x34e0
jmp 0x4541
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)
xorl %eax, %eax
movq %rax, 0x8(%rbx)
movq %r12, 0x48(%rsp)
movq %rax, 0x50(%rsp)
movb $0x0, 0x58(%rsp)
jmp 0x460f
leaq 0x8092(%rip), %rcx      # 0xc58e
xorl %r13d, %r13d
movq %rsp, %rdi
movl $0x7, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x33e0
addl $-0x1a, %ebp
movq %rbp, %rax
shlq $0x5, %rax
leaq 0xbdae(%rip), %r14      # 0x102d0
addq %rax, %r14
movq %rsp, %r15
cmpl %r13d, %ebp
jne 0x4538
movq %r15, %rdi
movq %r14, %rsi
callq 0x3160
incl %r13d
cmpl $0x5, %r13d
jne 0x4528
leaq 0x38(%rsp), %r14
movq -0x10(%r14), %rcx
movq -0x8(%r14), %r8
movq 0x8(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r14, %rcx
je 0x4566
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
leaq 0x10(%rsp), %r15
jbe 0x4585
movl $0xf, %esi
cmpq %r15, (%rsp)
je 0x4580
movq 0x10(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x4595
movq (%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x30f0
jmp 0x45a1
movq %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 0x45c0
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x45c6
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 (%rsp), %rdi
cmpq %r15, %rdi
je 0x45f8
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x3290
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0x460f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x3290
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
je 0x4626
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 (%rsp), %rdi
cmpq %r15, %rdi
jne 0x4660
jmp 0x466d
jmp 0x464f
jmp 0x464a
movq %rax, %rbx
jmp 0x4688
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x466d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x3290
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4688
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x3290
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
je 0x469f
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3290
movq %rbx, %rdi
callq 0x34b0
nop