// File: /workspace/github_cpp_makefile_star2_O3/aalto-speech[P]ftk/test/emtest.cc
// Function: viterbiChecks(std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, double, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, double>>> const&, int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>&, double, bool)
void
viterbiChecks(const map<string, flt_type> &vocab,
              int maxlen,
              string &sentence,
              vector<string> &correct_path,
              flt_type correct_lp,
              bool utf8=true)
{
    vector<string> result_path;
    flt_type result_lp = viterbi(vocab, maxlen, sentence, result_path, true, utf8);
    BOOST_CHECK_EQUAL( correct_path.size(), result_path.size() );
    BOOST_CHECK_EQUAL( correct_lp, result_lp );
    for (unsigned int i=0; i<correct_path.size(); i++)
        BOOST_CHECK_EQUAL( correct_path[i], result_path[i] );

    result_path.clear();
    StringSet ssvocab(vocab);
    result_lp = viterbi(ssvocab, sentence, result_path, true, utf8);
    BOOST_CHECK_EQUAL( correct_path.size(), result_path.size() );
    BOOST_CHECK_EQUAL( correct_lp, result_lp );
    for (unsigned int i=0; i<correct_path.size(); i++)
        BOOST_CHECK_EQUAL( correct_path[i], result_path[i] );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2c8, %rsp            # imm = 0x2C8
movl %r8d, %r14d
movq %rcx, %rbx
movq %rdx, %r13
movsd %xmm0, -0xe8(%rbp)
xorpd %xmm0, %xmm0
leaq -0xe0(%rbp), %rcx
movapd %xmm0, (%rcx)
movq $0x0, 0x10(%rcx)
movq %rdi, -0x108(%rbp)
movl $0x1, %r8d
movl %r14d, %r9d
callq 0x19428
movsd %xmm0, -0x98(%rbp)
movq 0x5bac0(%rip), %rdi     # 0x8a550
leaq 0x421ab(%rip), %r12     # 0x70c42
leaq -0x1d0(%rbp), %rsi
movq %r12, (%rsi)
leaq 0x421a8(%rip), %r15     # 0x70c50
movq %r15, 0x8(%rsi)
leaq 0x41fbc(%rip), %rax     # 0x70a6f
leaq -0x1c0(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x16, %edx
callq 0x5760
movq %r13, -0x100(%rbp)
movl %r14d, -0xec(%rbp)
xorl %eax, %eax
leaq -0x78(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x5afe7(%rip), %rcx     # 0x89ad0
movq %rcx, (%rsi)
movq 0x5b4bd(%rip), %r8      # 0x89fb0
movq %r8, 0x10(%rsi)
leaq 0x418c9(%rip), %rcx     # 0x703c7
movq %rcx, 0x18(%rsi)
movq 0x8(%rbx), %rcx
subq (%rbx), %rcx
sarq $0x5, %rcx
leaq -0x38(%rbp), %r9
movq %rcx, (%r9)
movq -0xd8(%rbp), %rdx
subq -0xe0(%rbp), %rdx
sarq $0x5, %rdx
leaq -0xf8(%rbp), %r11
movq %rdx, (%r11)
cmpq %rdx, %rcx
leaq -0xc8(%rbp), %rdi
sete (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq -0x90(%rbp), %rdx
movq %r12, (%rdx)
movq %r15, 0x8(%rdx)
leaq -0xa8(%rbp), %r10
movq %r9, (%r10)
leaq -0x2f0(%rbp), %r14
movb %al, 0x8(%r14)
leaq 0x5b030(%rip), %rcx     # 0x89ba0
movq %rcx, (%r14)
movq %r8, 0x10(%r14)
movq %r10, 0x18(%r14)
leaq -0x58(%rbp), %r10
movb %al, 0x8(%r10)
leaq -0x30(%rbp), %rax
movq %r11, (%rax)
movq %rcx, (%r10)
movq %r8, 0x10(%r10)
movq %rax, 0x18(%r10)
subq $0x8, %rsp
leaq 0x420c5(%rip), %r13     # 0x70c65
leaq 0x420aa(%rip), %r11     # 0x70c51
movl $0x16, %ecx
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
pushq %r10
pushq %r13
pushq %r14
pushq %r11
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xb8(%rbp), %rdi
callq 0x2e804
movq 0x5b970(%rip), %rdi     # 0x8a550
leaq -0x1b0(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x1a0(%rbp), %rcx
leaq 0x41e73(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x17, %edx
callq 0x5760
xorl %eax, %eax
leaq -0x78(%rbp), %r8
movb %al, 0x8(%r8)
leaq 0x5aeb2(%rip), %rcx     # 0x89ad0
movq %rcx, (%r8)
movq 0x5b388(%rip), %rsi     # 0x89fb0
movq %rsi, 0x10(%r8)
leaq 0x41794(%rip), %rcx     # 0x703c7
movq %rcx, 0x18(%r8)
leaq -0xe8(%rbp), %r10
movsd (%r10), %xmm0
leaq -0x98(%rbp), %r9
ucomisd (%r9), %xmm0
setnp %cl
sete %dl
andb %cl, %dl
leaq -0xc8(%rbp), %rdi
movb %dl, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq -0x90(%rbp), %rdx
movq %r12, (%rdx)
movq %r15, 0x8(%rdx)
movq %r10, -0xa8(%rbp)
movb %al, -0x2e8(%rbp)
movb %al, -0x50(%rbp)
leaq 0x5ae92(%rip), %rax     # 0x89b20
movq %rax, -0x2f0(%rbp)
movq %rsi, -0x2e0(%rbp)
leaq -0xa8(%rbp), %rcx
movq %rcx, -0x2d8(%rbp)
movq %r9, -0x30(%rbp)
movq %rax, -0x58(%rbp)
movq %rsi, -0x48(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
subq $0x8, %rsp
leaq 0x41fba(%rip), %r14     # 0x70c83
leaq 0x41fa8(%rip), %r11     # 0x70c78
movl $0x17, %ecx
movq %r8, %rsi
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x58(%rbp), %r10
pushq %r10
pushq %r14
leaq -0x2f0(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xb8(%rbp), %rdi
callq 0x2e804
movq 0x8(%rbx), %rax
cmpq (%rbx), %rax
je 0x2eed6
movl $0x1, %r14d
xorl %r13d, %r13d
movq 0x5b823(%rip), %rdi     # 0x8a550
movq %r12, -0x148(%rbp)
movq %r15, -0x140(%rbp)
leaq 0x41d2d(%rip), %rax     # 0x70a6f
movq %rax, -0x138(%rbp)
movq %rax, -0x130(%rbp)
movl $0x19, %edx
leaq -0x148(%rbp), %rsi
leaq -0x138(%rbp), %rcx
callq 0x5760
movb $0x0, -0x70(%rbp)
leaq 0x5ad5d(%rip), %rax     # 0x89ad0
movq %rax, -0x78(%rbp)
movq 0x5b232(%rip), %rax     # 0x89fb0
movq %rax, -0x68(%rbp)
leaq 0x4163e(%rip), %rax     # 0x703c7
movq %rax, -0x60(%rbp)
movq (%rbx), %r12
shlq $0x5, %r13
movq -0xe0(%rbp), %rax
leaq (%rax,%r13), %r15
movq 0x8(%r12,%r13), %rdx
addq %r13, %r12
cmpq 0x8(%rax,%r13), %rdx
jne 0x2edc6
testq %rdx, %rdx
je 0x2edca
movq (%r15), %rsi
movq (%r12), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x2edcc
xorl %eax, %eax
jmp 0x2edcc
movb $0x1, %al
movb %al, -0xc8(%rbp)
leaq -0xc0(%rbp), %rax
xorpd %xmm0, %xmm0
movupd %xmm0, (%rax)
leaq 0x41e5a(%rip), %rax     # 0x70c42
movq %rax, -0x90(%rbp)
leaq 0x41e5a(%rip), %rax     # 0x70c50
movq %rax, -0x88(%rbp)
movq %r12, -0xa8(%rbp)
xorl %edx, %edx
movb %dl, -0x2e8(%rbp)
leaq 0x5adcd(%rip), %rsi     # 0x89be0
movq %rsi, -0x2f0(%rbp)
movq 0x5b18f(%rip), %rax     # 0x89fb0
movq %rax, -0x2e0(%rbp)
leaq -0xa8(%rbp), %rcx
movq %rcx, -0x2d8(%rbp)
movq %r15, -0x30(%rbp)
movb %dl, -0x50(%rbp)
movq %rsi, -0x58(%rbp)
movq %rax, -0x48(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
subq $0x8, %rsp
movl $0x19, %ecx
leaq -0xc8(%rbp), %rdi
leaq -0x78(%rbp), %rsi
leaq -0x90(%rbp), %rdx
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x58(%rbp), %r10
pushq %r10
leaq 0x41e1a(%rip), %r10     # 0x70c9d
pushq %r10
leaq -0x2f0(%rbp), %r10
pushq %r10
leaq 0x41df8(%rip), %r10     # 0x70c8d
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xb8(%rbp), %rdi
callq 0x2e804
movq 0x8(%rbx), %rax
subq (%rbx), %rax
movl %r14d, %r13d
sarq $0x5, %rax
incl %r14d
cmpq %r13, %rax
leaq 0x41d79(%rip), %r12     # 0x70c42
leaq 0x41d80(%rip), %r15     # 0x70c50
ja 0x2ed26
movq -0xe0(%rbp), %r14
movq -0xd8(%rbp), %r15
cmpq %r14, %r15
movl -0xec(%rbp), %r13d
je 0x2ef1c
movq %r14, %r12
movq (%r12), %rdi
addq $0x10, %r12
cmpq %r12, %rdi
je 0x2ef05
callq 0x5380
addq $0x10, %r12
cmpq %r15, %r12
jne 0x2eef3
movq %r14, -0xd8(%rbp)
leaq 0x41d26(%rip), %r12     # 0x70c42
leaq -0x2f0(%rbp), %rdi
movq -0x108(%rbp), %rsi
callq 0xf4f0
movzbl %r13b, %r8d
leaq -0x2f0(%rbp), %rdi
leaq -0xe0(%rbp), %rdx
movq -0x100(%rbp), %rsi
movl $0x1, %ecx
callq 0x198ec
leaq 0x41cf7(%rip), %r15     # 0x70c50
movsd %xmm0, -0x98(%rbp)
movq 0x5b5e8(%rip), %rdi     # 0x8a550
leaq -0x190(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x180(%rbp), %rcx
leaq 0x41aeb(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x1e, %edx
callq 0x5760
xorl %eax, %eax
leaq -0xc8(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x5ab28(%rip), %rcx     # 0x89ad0
movq %rcx, (%rsi)
movq 0x5affe(%rip), %r8      # 0x89fb0
movq %r8, 0x10(%rsi)
leaq 0x4140a(%rip), %rcx     # 0x703c7
movq %rcx, 0x18(%rsi)
movq 0x8(%rbx), %rcx
subq (%rbx), %rcx
sarq $0x5, %rcx
movq -0xd8(%rbp), %rdx
subq -0xe0(%rbp), %rdx
movq %rcx, -0xf8(%rbp)
sarq $0x5, %rdx
cmpq %rdx, %rcx
leaq -0x150(%rbp), %rcx
movq %rdx, (%rcx)
leaq -0xf8(%rbp), %rdx
movq %rdx, -0x30(%rbp)
movq %rcx, -0x38(%rbp)
leaq -0x90(%rbp), %rdi
sete (%rdi)
movb %al, -0x50(%rbp)
movb %al, -0x70(%rbp)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x5ab7f(%rip), %rax     # 0x89ba0
movq %rax, -0x58(%rbp)
movq %rax, -0x78(%rbp)
leaq -0xa8(%rbp), %rdx
movq %r12, (%rdx)
movq %r15, 0x8(%rdx)
movq %r8, -0x48(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
movq %r8, -0x68(%rbp)
leaq -0x38(%rbp), %rax
movq %rax, -0x60(%rbp)
subq $0x8, %rsp
movl $0x1e, %ecx
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x78(%rbp), %r10
pushq %r10
leaq 0x41bf2(%rip), %r10     # 0x70c65
pushq %r10
leaq -0x58(%rbp), %r10
pushq %r10
leaq 0x41bcf(%rip), %r10     # 0x70c51
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x2e804
movq 0x5b4b1(%rip), %rdi     # 0x8a550
leaq -0x170(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x160(%rbp), %rcx
leaq 0x419b4(%rip), %rax     # 0x70a6f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x1f, %edx
callq 0x5760
xorl %eax, %eax
movsd -0xe8(%rbp), %xmm0
ucomisd -0x98(%rbp), %xmm0
leaq -0xe8(%rbp), %rcx
movq %rcx, -0x30(%rbp)
setnp %cl
sete %dl
andb %cl, %dl
leaq -0x98(%rbp), %rcx
movq %rcx, -0x38(%rbp)
leaq -0xc8(%rbp), %rsi
movb %al, 0x8(%rsi)
movb %al, -0x50(%rbp)
movb %al, -0x70(%rbp)
leaq -0x90(%rbp), %rdi
movb %dl, (%rdi)
leaq 0x5a9b4(%rip), %rax     # 0x89ad0
movq %rax, (%rsi)
movq 0x5ae8a(%rip), %rax     # 0x89fb0
movq %rax, 0x10(%rsi)
leaq 0x41296(%rip), %rcx     # 0x703c7
movq %rcx, 0x18(%rsi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x5a9db(%rip), %rcx     # 0x89b20
movq %rcx, -0x58(%rbp)
movq %rcx, -0x78(%rbp)
leaq -0xa8(%rbp), %rdx
movq %r12, (%rdx)
movq %r15, 0x8(%rdx)
movq %rax, -0x48(%rbp)
leaq -0x30(%rbp), %rcx
movq %rcx, -0x40(%rbp)
movq %rax, -0x68(%rbp)
leaq -0x38(%rbp), %rax
movq %rax, -0x60(%rbp)
subq $0x8, %rsp
movl $0x1f, %ecx
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x78(%rbp), %r10
pushq %r10
leaq 0x41aec(%rip), %r10     # 0x70c83
pushq %r10
leaq -0x58(%rbp), %r10
pushq %r10
leaq 0x41ad2(%rip), %r10     # 0x70c78
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x2e804
movq 0x8(%rbx), %rax
cmpq (%rbx), %rax
je 0x2f379
movl $0x1, %r14d
xorl %r13d, %r13d
movq 0x5b377(%rip), %rdi     # 0x8a550
movq %r12, -0x128(%rbp)
movq %r15, -0x120(%rbp)
leaq 0x41881(%rip), %rax     # 0x70a6f
movq %rax, -0x118(%rbp)
movq %rax, -0x110(%rbp)
movl $0x21, %edx
leaq -0x128(%rbp), %rsi
leaq -0x118(%rbp), %rcx
callq 0x5760
movb $0x0, -0xc0(%rbp)
leaq 0x5a8ae(%rip), %rax     # 0x89ad0
movq %rax, -0xc8(%rbp)
movq 0x5ad80(%rip), %rax     # 0x89fb0
movq %rax, -0xb8(%rbp)
leaq 0x41189(%rip), %rax     # 0x703c7
movq %rax, -0xb0(%rbp)
movq (%rbx), %r12
shlq $0x5, %r13
movq -0xe0(%rbp), %rax
leaq (%rax,%r13), %r15
movq 0x8(%r12,%r13), %rdx
addq %r13, %r12
cmpq 0x8(%rax,%r13), %rdx
jne 0x2f27e
testq %rdx, %rdx
je 0x2f282
movq (%r15), %rsi
movq (%r12), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x2f284
xorl %eax, %eax
jmp 0x2f284
movb $0x1, %al
movb %al, -0x90(%rbp)
leaq -0x88(%rbp), %rax
xorpd %xmm0, %xmm0
movupd %xmm0, (%rax)
leaq 0x419a2(%rip), %rax     # 0x70c42
movq %rax, -0xa8(%rbp)
leaq 0x419a2(%rip), %rax     # 0x70c50
movq %rax, -0xa0(%rbp)
movq %r12, -0x30(%rbp)
xorl %edx, %edx
movb %dl, -0x50(%rbp)
leaq 0x5a91b(%rip), %rsi     # 0x89be0
movq %rsi, -0x58(%rbp)
movq 0x5ace0(%rip), %rax     # 0x89fb0
movq %rax, -0x48(%rbp)
leaq -0x30(%rbp), %rcx
movq %rcx, -0x40(%rbp)
movq %r15, -0x38(%rbp)
movb %dl, -0x70(%rbp)
movq %rsi, -0x78(%rbp)
movq %rax, -0x68(%rbp)
leaq -0x38(%rbp), %rax
movq %rax, -0x60(%rbp)
subq $0x8, %rsp
movl $0x21, %ecx
leaq -0x90(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
leaq -0xa8(%rbp), %rdx
movl $0x1, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x78(%rbp), %r10
pushq %r10
leaq 0x41971(%rip), %r10     # 0x70c9d
pushq %r10
leaq -0x58(%rbp), %r10
pushq %r10
leaq 0x41952(%rip), %r10     # 0x70c8d
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x2e804
movq 0x8(%rbx), %rax
subq (%rbx), %rax
movl %r14d, %r13d
sarq $0x5, %rax
incl %r14d
cmpq %r13, %rax
leaq 0x418d6(%rip), %r12     # 0x70c42
leaq 0x418dd(%rip), %r15     # 0x70c50
ja 0x2f1d2
leaq -0x2f0(%rbp), %rdi
callq 0xf870
leaq -0xe0(%rbp), %rdi
callq 0xab52
addq $0x2c8, %rsp            # imm = 0x2C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2f3b6
jmp 0x2f3b6
jmp 0x2f3d0
jmp 0x2f3d5
jmp 0x2f3d5
jmp 0x2f3b1
jmp 0x2f3d0
movq %rax, %rbx
jmp 0x2f3c2
movq %rax, %rbx
leaq -0x80(%rbp), %rdi
callq 0x2e804
leaq -0x2f0(%rbp), %rdi
callq 0xf870
jmp 0x2f3e4
movq %rax, %rbx
jmp 0x2f3e4
movq %rax, %rbx
leaq -0xb8(%rbp), %rdi
callq 0x2e804
leaq -0xe0(%rbp), %rdi
callq 0xab52
movq %rbx, %rdi
callq 0x56f0