// File: aalto-speech[P]ftk/test/emtest.cc
// Function: viterbiTest6_invoker()
BOOST_AUTO_TEST_CASE(viterbiTest6)
{
    map<string, flt_type> vocab;
    string str1("a"); string str2("b");
    string str3("c"); string str4("d");
    vocab[str1] = -1.0;
    vocab[str2] = -2.0;
    vocab[str3] = 0.0;
    vocab[str4] = 0.0;
    string sentence("a-bcd");
    int maxlen = 1;
    vector<string> correct_path;
    viterbiChecks(vocab, maxlen, sentence, correct_path, MIN_FLOAT);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x9c0, %rsp            # imm = 0x9C0
movq 0x91fde(%rip), %rax     # 0x1075f0
movq %rax, -0x8e8(%rbp)
leaq 0x56548(%rip), %rsi     # 0xcbb68
leaq -0x10(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
leaq -0x1b8(%rbp), %rdi
movq %rdi, -0x8e0(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x6230
movq -0x8e0(%rbp), %rdi
callq 0x71090
movq -0x8e0(%rbp), %rdi
callq 0x710c0
movq %rax, %rdi
movb $0x22, -0x1b9(%rbp)
leaq -0x1b9(%rbp), %rsi
callq 0x71050
movq %rax, -0x8d8(%rbp)
jmp 0x7567f
movq -0x8d8(%rbp), %rdi
leaq 0x5658d(%rip), %rsi     # 0xcbc1a
callq 0x711a0
movq %rax, -0x8f0(%rbp)
jmp 0x7569b
movq -0x8f0(%rbp), %rdi
leaq 0x562c4(%rip), %rsi     # 0xcb96d
callq 0x71020
movq %rax, -0x8f8(%rbp)
jmp 0x756b7
movq -0x8f8(%rbp), %rdi
callq 0x710d0
movq %rax, -0x900(%rbp)
jmp 0x756cc
movq -0x900(%rbp), %rsi
leaq -0x20(%rbp), %rdi
callq 0x70fc0
jmp 0x756de
movq -0x8e8(%rbp), %rdi
leaq -0x10(%rbp), %rsi
movl $0x6a, %edx
leaq -0x20(%rbp), %rcx
callq 0x6840
jmp 0x756f9
leaq -0x1b8(%rbp), %rdi
callq 0x71120
movq 0x91ee4(%rip), %rax     # 0x1075f0
movq %rax, -0x918(%rbp)
leaq 0x5644e(%rip), %rsi     # 0xcbb68
leaq -0x1e0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
leaq -0x388(%rbp), %rdi
movq %rdi, -0x910(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x6230
movq -0x910(%rbp), %rdi
callq 0x71090
movq -0x910(%rbp), %rdi
callq 0x710c0
movq %rax, %rdi
movb $0x22, -0x389(%rbp)
leaq -0x389(%rbp), %rsi
callq 0x71050
movq %rax, -0x908(%rbp)
jmp 0x7577c
movq -0x908(%rbp), %rdi
leaq 0x56490(%rip), %rsi     # 0xcbc1a
callq 0x711a0
movq %rax, -0x920(%rbp)
jmp 0x75798
movq -0x920(%rbp), %rdi
leaq 0x561d6(%rip), %rsi     # 0xcb97c
callq 0x71150
movq %rax, -0x928(%rbp)
jmp 0x757b4
movq -0x928(%rbp), %rdi
callq 0x710d0
movq %rax, -0x930(%rbp)
jmp 0x757c9
movq -0x930(%rbp), %rsi
leaq -0x1f0(%rbp), %rdi
callq 0x70fc0
jmp 0x757de
movq -0x918(%rbp), %rdi
leaq -0x1e0(%rbp), %rsi
movl $0x6a, %edx
leaq -0x1f0(%rbp), %rcx
callq 0x6840
jmp 0x757ff
leaq -0x388(%rbp), %rdi
callq 0x71120
leaq -0x1cd(%rbp), %rdi
callq 0xc0880
movq 0x91dd2(%rip), %rax     # 0x1075f0
movq %rax, -0x948(%rbp)
leaq 0x5633c(%rip), %rsi     # 0xcbb68
leaq -0x3a0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
leaq -0x548(%rbp), %rdi
movq %rdi, -0x940(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x6230
movq -0x940(%rbp), %rdi
callq 0x71090
movq -0x940(%rbp), %rdi
callq 0x710c0
movq %rax, %rdi
movb $0x22, -0x549(%rbp)
leaq -0x549(%rbp), %rsi
callq 0x71050
movq %rax, -0x938(%rbp)
jmp 0x7588e
movq -0x938(%rbp), %rdi
leaq 0x5637e(%rip), %rsi     # 0xcbc1a
callq 0x711a0
movq %rax, -0x950(%rbp)
jmp 0x758aa
movq -0x950(%rbp), %rdi
leaq 0x560d4(%rip), %rsi     # 0xcb98c
callq 0x711a0
movq %rax, -0x958(%rbp)
jmp 0x758c6
movq -0x958(%rbp), %rdi
callq 0x710d0
movq %rax, -0x960(%rbp)
jmp 0x758db
movq -0x960(%rbp), %rsi
leaq -0x3b0(%rbp), %rdi
callq 0x70fc0
jmp 0x758f0
movq -0x948(%rbp), %rdi
leaq -0x3a0(%rbp), %rsi
movl $0x6a, %edx
leaq -0x3b0(%rbp), %rcx
callq 0x6840
jmp 0x75911
leaq -0x548(%rbp), %rdi
callq 0x71120
leaq -0x1cd(%rbp), %rdi
callq 0x75c00
movq 0x91cc0(%rip), %rax     # 0x1075f0
movq %rax, -0x978(%rbp)
leaq 0x5622a(%rip), %rsi     # 0xcbb68
leaq -0x560(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
leaq -0x708(%rbp), %rdi
movq %rdi, -0x970(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x6230
movq -0x970(%rbp), %rdi
callq 0x71090
movq -0x970(%rbp), %rdi
callq 0x710c0
movq %rax, %rdi
movb $0x22, -0x709(%rbp)
leaq -0x709(%rbp), %rsi
callq 0x71050
movq %rax, -0x968(%rbp)
jmp 0x759a0
movq -0x968(%rbp), %rdi
leaq 0x5626c(%rip), %rsi     # 0xcbc1a
callq 0x711a0
movq %rax, -0x980(%rbp)
jmp 0x759bc
movq -0x980(%rbp), %rdi
leaq 0x55fcf(%rip), %rsi     # 0xcb999
callq 0x711d0
movq %rax, -0x988(%rbp)
jmp 0x759d8
movq -0x988(%rbp), %rdi
callq 0x710d0
movq %rax, -0x990(%rbp)
jmp 0x759ed
movq -0x990(%rbp), %rsi
leaq -0x570(%rbp), %rdi
callq 0x70fc0
jmp 0x75a02
movq -0x978(%rbp), %rdi
leaq -0x560(%rbp), %rsi
movl $0x6a, %edx
leaq -0x570(%rbp), %rcx
callq 0x6840
jmp 0x75a23
leaq -0x708(%rbp), %rdi
callq 0x71120
leaq -0x1cd(%rbp), %rdi
callq 0xc08a0
movq 0x91bae(%rip), %rax     # 0x1075f0
movq %rax, -0x9a8(%rbp)
leaq 0x56118(%rip), %rsi     # 0xcbb68
leaq -0x720(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
leaq -0x8c8(%rbp), %rdi
movq %rdi, -0x9a0(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x6230
movq -0x9a0(%rbp), %rdi
callq 0x71090
movq -0x9a0(%rbp), %rdi
callq 0x710c0
movq %rax, %rdi
movb $0x22, -0x8c9(%rbp)
leaq -0x8c9(%rbp), %rsi
callq 0x71050
movq %rax, -0x998(%rbp)
jmp 0x75ab2
movq -0x998(%rbp), %rdi
leaq 0x5615a(%rip), %rsi     # 0xcbc1a
callq 0x711a0
movq %rax, -0x9b0(%rbp)
jmp 0x75ace
movq -0x9b0(%rbp), %rdi
leaq 0x55ed0(%rip), %rsi     # 0xcb9ac
callq 0x71020
movq %rax, -0x9b8(%rbp)
jmp 0x75aea
movq -0x9b8(%rbp), %rdi
callq 0x710d0
movq %rax, -0x9c0(%rbp)
jmp 0x75aff
movq -0x9c0(%rbp), %rsi
leaq -0x730(%rbp), %rdi
callq 0x70fc0
jmp 0x75b14
movq -0x9a8(%rbp), %rdi
leaq -0x720(%rbp), %rsi
movl $0x6a, %edx
leaq -0x730(%rbp), %rcx
callq 0x6840
jmp 0x75b35
leaq -0x8c8(%rbp), %rdi
callq 0x71120
addq $0x9c0, %rsp            # imm = 0x9C0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x71120
jmp 0x75be8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x388(%rbp), %rdi
callq 0x71120
jmp 0x75be8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x548(%rbp), %rdi
callq 0x71120
jmp 0x75be8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x708(%rbp), %rdi
callq 0x71120
jmp 0x75be8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x8c8(%rbp), %rdi
callq 0x71120
movq -0x1c8(%rbp), %rdi
callq 0x67a0
nopw %cs:(%rax,%rax)