// File: /workspace/github_cpp_makefile_star2_O1/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 0x1952c
movsd %xmm0, -0x98(%rbp)
movq 0x5c94c(%rip), %rdi     # 0x8b550
leaq 0x43007(%rip), %r12     # 0x71c12
leaq -0x1d0(%rbp), %rsi
movq %r12, (%rsi)
leaq 0x43004(%rip), %r15     # 0x71c20
movq %r15, 0x8(%rsi)
leaq 0x42e38(%rip), %rax     # 0x71a5f
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 0x5be03(%rip), %rcx     # 0x8aa60
movq %rcx, (%rsi)
movq 0x5c349(%rip), %r8      # 0x8afb0
movq %r8, 0x10(%rsi)
leaq 0x42755(%rip), %rcx     # 0x713c7
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 0x5be74(%rip), %rcx     # 0x8ab58
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 0x42f21(%rip), %r13     # 0x71c35
leaq 0x42f06(%rip), %r11     # 0x71c21
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 0x2e966
movq 0x5c7fc(%rip), %rdi     # 0x8b550
leaq -0x1b0(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x1a0(%rbp), %rcx
leaq 0x42cef(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x17, %edx
callq 0x5760
xorl %eax, %eax
leaq -0x78(%rbp), %r8
movb %al, 0x8(%r8)
leaq 0x5bcce(%rip), %rcx     # 0x8aa60
movq %rcx, (%r8)
movq 0x5c214(%rip), %rsi     # 0x8afb0
movq %rsi, 0x10(%r8)
leaq 0x42620(%rip), %rcx     # 0x713c7
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 0x5bcd6(%rip), %rax     # 0x8aad8
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 0x42e16(%rip), %r14     # 0x71c53
leaq 0x42e04(%rip), %r11     # 0x71c48
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 0x2e966
movq 0x8(%rbx), %rax
cmpq (%rbx), %rax
je 0x2f04a
movl $0x1, %r14d
xorl %r13d, %r13d
movq 0x5c6af(%rip), %rdi     # 0x8b550
movq %r12, -0x148(%rbp)
movq %r15, -0x140(%rbp)
leaq 0x42ba9(%rip), %rax     # 0x71a5f
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 0x5bb79(%rip), %rax     # 0x8aa60
movq %rax, -0x78(%rbp)
movq 0x5c0be(%rip), %rax     # 0x8afb0
movq %rax, -0x68(%rbp)
leaq 0x424ca(%rip), %rax     # 0x713c7
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 0x2ef3a
testq %rdx, %rdx
je 0x2ef3e
movq (%r15), %rsi
movq (%r12), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x2ef40
xorl %eax, %eax
jmp 0x2ef40
movb $0x1, %al
movb %al, -0xc8(%rbp)
leaq -0xc0(%rbp), %rax
xorpd %xmm0, %xmm0
movupd %xmm0, (%rax)
leaq 0x42cb6(%rip), %rax     # 0x71c12
movq %rax, -0x90(%rbp)
leaq 0x42cb6(%rip), %rax     # 0x71c20
movq %rax, -0x88(%rbp)
movq %r12, -0xa8(%rbp)
xorl %edx, %edx
movb %dl, -0x2e8(%rbp)
leaq 0x5bc11(%rip), %rsi     # 0x8ab98
movq %rsi, -0x2f0(%rbp)
movq 0x5c01b(%rip), %rax     # 0x8afb0
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 0x42c76(%rip), %r10     # 0x71c6d
pushq %r10
leaq -0x2f0(%rbp), %r10
pushq %r10
leaq 0x42c54(%rip), %r10     # 0x71c5d
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0xb8(%rbp), %rdi
callq 0x2e966
movq 0x8(%rbx), %rax
subq (%rbx), %rax
movl %r14d, %r13d
sarq $0x5, %rax
incl %r14d
cmpq %r13, %rax
leaq 0x42bd5(%rip), %r12     # 0x71c12
leaq 0x42bdc(%rip), %r15     # 0x71c20
ja 0x2ee9a
movq -0xe0(%rbp), %r14
movq -0xd8(%rbp), %r15
cmpq %r14, %r15
movl -0xec(%rbp), %r13d
je 0x2f090
movq %r14, %r12
movq (%r12), %rdi
addq $0x10, %r12
cmpq %r12, %rdi
je 0x2f079
callq 0x5380
addq $0x10, %r12
cmpq %r15, %r12
jne 0x2f067
movq %r14, -0xd8(%rbp)
leaq 0x42b82(%rip), %r12     # 0x71c12
leaq -0x2f0(%rbp), %rdi
movq -0x108(%rbp), %rsi
callq 0xf588
movzbl %r13b, %r8d
leaq -0x2f0(%rbp), %rdi
leaq -0xe0(%rbp), %rdx
movq -0x100(%rbp), %rsi
movl $0x1, %ecx
callq 0x199f5
leaq 0x42b53(%rip), %r15     # 0x71c20
movsd %xmm0, -0x98(%rbp)
movq 0x5c474(%rip), %rdi     # 0x8b550
leaq -0x190(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x180(%rbp), %rcx
leaq 0x42967(%rip), %rax     # 0x71a5f
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0x1e, %edx
callq 0x5760
xorl %eax, %eax
leaq -0xc8(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x5b944(%rip), %rcx     # 0x8aa60
movq %rcx, (%rsi)
movq 0x5be8a(%rip), %r8      # 0x8afb0
movq %r8, 0x10(%rsi)
leaq 0x42296(%rip), %rcx     # 0x713c7
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 0x5b9c3(%rip), %rax     # 0x8ab58
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 0x42a4e(%rip), %r10     # 0x71c35
pushq %r10
leaq -0x58(%rbp), %r10
pushq %r10
leaq 0x42a2b(%rip), %r10     # 0x71c21
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x2e966
movq 0x5c33d(%rip), %rdi     # 0x8b550
leaq -0x170(%rbp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x160(%rbp), %rcx
leaq 0x42830(%rip), %rax     # 0x71a5f
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 0x5b7d0(%rip), %rax     # 0x8aa60
movq %rax, (%rsi)
movq 0x5bd16(%rip), %rax     # 0x8afb0
movq %rax, 0x10(%rsi)
leaq 0x42122(%rip), %rcx     # 0x713c7
movq %rcx, 0x18(%rsi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
leaq 0x5b81f(%rip), %rcx     # 0x8aad8
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 0x42948(%rip), %r10     # 0x71c53
pushq %r10
leaq -0x58(%rbp), %r10
pushq %r10
leaq 0x4292e(%rip), %r10     # 0x71c48
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x2e966
movq 0x8(%rbx), %rax
cmpq (%rbx), %rax
je 0x2f4ed
movl $0x1, %r14d
xorl %r13d, %r13d
movq 0x5c203(%rip), %rdi     # 0x8b550
movq %r12, -0x128(%rbp)
movq %r15, -0x120(%rbp)
leaq 0x426fd(%rip), %rax     # 0x71a5f
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 0x5b6ca(%rip), %rax     # 0x8aa60
movq %rax, -0xc8(%rbp)
movq 0x5bc0c(%rip), %rax     # 0x8afb0
movq %rax, -0xb8(%rbp)
leaq 0x42015(%rip), %rax     # 0x713c7
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 0x2f3f2
testq %rdx, %rdx
je 0x2f3f6
movq (%r15), %rsi
movq (%r12), %rdi
callq 0x53e0
testl %eax, %eax
sete %al
jmp 0x2f3f8
xorl %eax, %eax
jmp 0x2f3f8
movb $0x1, %al
movb %al, -0x90(%rbp)
leaq -0x88(%rbp), %rax
xorpd %xmm0, %xmm0
movupd %xmm0, (%rax)
leaq 0x427fe(%rip), %rax     # 0x71c12
movq %rax, -0xa8(%rbp)
leaq 0x427fe(%rip), %rax     # 0x71c20
movq %rax, -0xa0(%rbp)
movq %r12, -0x30(%rbp)
xorl %edx, %edx
movb %dl, -0x50(%rbp)
leaq 0x5b75f(%rip), %rsi     # 0x8ab98
movq %rsi, -0x58(%rbp)
movq 0x5bb6c(%rip), %rax     # 0x8afb0
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 0x427cd(%rip), %r10     # 0x71c6d
pushq %r10
leaq -0x58(%rbp), %r10
pushq %r10
leaq 0x427ae(%rip), %r10     # 0x71c5d
pushq %r10
pushq $0x2
callq 0x5740
addq $0x30, %rsp
leaq -0x80(%rbp), %rdi
callq 0x2e966
movq 0x8(%rbx), %rax
subq (%rbx), %rax
movl %r14d, %r13d
sarq $0x5, %rax
incl %r14d
cmpq %r13, %rax
leaq 0x42732(%rip), %r12     # 0x71c12
leaq 0x42739(%rip), %r15     # 0x71c20
ja 0x2f346
leaq -0x2f0(%rbp), %rdi
callq 0xf8d4
leaq -0xe0(%rbp), %rdi
callq 0xab88
addq $0x2c8, %rsp            # imm = 0x2C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2f52a
jmp 0x2f52a
jmp 0x2f544
jmp 0x2f549
jmp 0x2f549
jmp 0x2f525
jmp 0x2f544
movq %rax, %rbx
jmp 0x2f536
movq %rax, %rbx
leaq -0x80(%rbp), %rdi
callq 0x2e966
leaq -0x2f0(%rbp), %rdi
callq 0xf8d4
jmp 0x2f558
movq %rax, %rbx
jmp 0x2f558
movq %rax, %rbx
leaq -0xb8(%rbp), %rdi
callq 0x2e966
leaq -0xe0(%rbp), %rdi
callq 0xab88
movq %rbx, %rdi
callq 0x56f0