// File: /workspace/github_cpp_makefile_star2_O2/aalto-speech[P]ftk/test/emtest.cc
// Function: viterbiTest3_invoker()
BOOST_AUTO_TEST_CASE(viterbiTest3)
{
    map<string, flt_type> vocab;
    string str1("a");
    vocab[str1] = -1.0;
    string sentence("abc");
    int maxlen = 1;
    vector<string> correct_path;
    viterbiChecks(vocab, maxlen, sentence, correct_path, MIN_FLOAT);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x240, %rsp            # imm = 0x240
movq 0x45fc0(%rip), %rbx     # 0x70540
leaq 0x295f9(%rip), %r15     # 0x53b80
movq %r15, -0x70(%rbp)
leaq 0x295fc(%rip), %r12     # 0x53b8e
movq %r12, -0x68(%rbp)
leaq -0x208(%rbp), %r14
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x51f0
movq %r14, %rdi
callq 0x29128
pushq $0x22
popq %rsi
movq %r14, %rdi
callq 0x5430
leaq 0x29645(%rip), %rsi     # 0x53c0b
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq 0x293c4(%rip), %rsi     # 0x5399d
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq -0x208(%rbp), %rdi
callq 0x2915a
movq (%rax), %rdx
leaq -0x258(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x70(%rbp), %rsi
pushq $0x45
popq %rdx
movq %rbx, %rdi
callq 0x5710
leaq -0x208(%rbp), %rdi
callq 0x2919e
movq 0x45f18(%rip), %rbx     # 0x70540
movq %r15, -0x60(%rbp)
movq %r12, -0x58(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x51f0
movq %r14, %rdi
callq 0x29128
pushq $0x22
popq %rsi
movq %r14, %rdi
callq 0x5430
leaq 0x295b2(%rip), %rsi     # 0x53c0b
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq 0x29340(%rip), %rsi     # 0x539ac
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq -0x208(%rbp), %rdi
callq 0x2915a
movq (%rax), %rdx
leaq -0x248(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x60(%rbp), %rsi
pushq $0x45
popq %rdx
movq %rbx, %rdi
callq 0x5710
leaq -0x208(%rbp), %rdi
callq 0x2919e
movq 0x45e85(%rip), %rbx     # 0x70540
movq %r15, -0x50(%rbp)
movq %r12, -0x48(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x51f0
movq %r14, %rdi
callq 0x29128
pushq $0x22
popq %rsi
movq %r14, %rdi
callq 0x5430
leaq 0x2951f(%rip), %rsi     # 0x53c0b
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq 0x292bd(%rip), %rsi     # 0x539bc
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq -0x208(%rbp), %rdi
callq 0x2915a
movq (%rax), %rdx
leaq -0x238(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x50(%rbp), %rsi
pushq $0x45
popq %rdx
movq %rbx, %rdi
callq 0x5710
leaq -0x208(%rbp), %rdi
callq 0x2919e
callq 0x2a8a2
movq 0x45ded(%rip), %rbx     # 0x70540
movq %r15, -0x40(%rbp)
movq %r12, -0x38(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x51f0
movq %r14, %rdi
callq 0x29128
pushq $0x22
popq %rsi
movq %r14, %rdi
callq 0x5430
leaq 0x29487(%rip), %rsi     # 0x53c0b
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq 0x29232(%rip), %rsi     # 0x539c9
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq -0x208(%rbp), %rdi
callq 0x2915a
movq (%rax), %rdx
leaq -0x228(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x40(%rbp), %rsi
pushq $0x45
popq %rdx
movq %rbx, %rdi
callq 0x5710
leaq -0x208(%rbp), %rdi
callq 0x2919e
movq 0x45d5a(%rip), %rbx     # 0x70540
movq %r15, -0x30(%rbp)
movq %r12, -0x28(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x51f0
movq %r14, %rdi
callq 0x29128
pushq $0x22
popq %rsi
movq %r14, %rdi
callq 0x5430
leaq 0x293f4(%rip), %rsi     # 0x53c0b
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq 0x291b2(%rip), %rsi     # 0x539dc
leaq -0x208(%rbp), %rdi
callq 0x5390
leaq -0x208(%rbp), %rdi
callq 0x2915a
movq (%rax), %rdx
leaq -0x218(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x30(%rbp), %rsi
pushq $0x45
popq %rdx
movq %rbx, %rdi
callq 0x5710
leaq -0x208(%rbp), %rdi
callq 0x2919e
addq $0x240, %rsp            # imm = 0x240
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2a88a
jmp 0x2a88a
jmp 0x2a88a
jmp 0x2a88a
movq %rax, %rbx
leaq -0x208(%rbp), %rdi
callq 0x2919e
movq %rbx, %rdi
callq 0x56b0
nop