// File: aalto-speech[P]ftk/test/emtest.cc
// Function: ForwardBackwardTest4::test_method()
BOOST_AUTO_TEST_CASE(ForwardBackwardTest4)
{
    map<string, flt_type> vocab;
    vocab["a"] = -1.0;
    vocab["b"] = -1.0;
    string sentence("ab");
    map<string, flt_type> stats;
    flt_type lp = forward_backward(vocab, sentence, stats);
    BOOST_CHECK_EQUAL(2, (int)stats.size());
    BOOST_CHECK_EQUAL((flt_type)1.0, stats["b"]);
    BOOST_CHECK_EQUAL((flt_type)1.0, stats["a"]);
    BOOST_CHECK_EQUAL(-2.0, lp);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x3a0, %rsp            # imm = 0x3A0
movq %rdi, -0x8(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x530a0
leaq -0x59(%rbp), %rdi
movq %rdi, -0x2d0(%rbp)
callq 0x67b0
movq -0x2d0(%rbp), %rdx
leaq 0x51bae(%rip), %rsi     # 0xcbf14
leaq -0x58(%rbp), %rdi
callq 0x65e0
jmp 0x7a371
leaq -0x38(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x2d8(%rbp)
jmp 0x7a387
movq -0x2d8(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x58(%rbp), %rdi
callq 0x6908
leaq -0x59(%rbp), %rdi
callq 0x6470
leaq -0x91(%rbp), %rdi
movq %rdi, -0x2e0(%rbp)
callq 0x67b0
movq -0x2e0(%rbp), %rdx
leaq 0x51823(%rip), %rsi     # 0xcbbf1
leaq -0x90(%rbp), %rdi
callq 0x65e0
jmp 0x7a3dc
leaq -0x38(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x2e8(%rbp)
jmp 0x7a3f5
movq -0x2e8(%rbp), %rax
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x90(%rbp), %rdi
callq 0x6908
leaq -0x91(%rbp), %rdi
callq 0x6470
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x2f0(%rbp)
callq 0x67b0
movq -0x2f0(%rbp), %rdx
leaq 0x517ae(%rip), %rsi     # 0xcbbf0
leaq -0xb8(%rbp), %rdi
callq 0x65e0
jmp 0x7a450
leaq -0xb9(%rbp), %rdi
callq 0x6470
leaq -0xf0(%rbp), %rdi
movq %rdi, -0x300(%rbp)
callq 0x530a0
movq -0x300(%rbp), %rdx
leaq -0x38(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
xorl %ecx, %ecx
callq 0x44ea0
movsd %xmm0, -0x2f8(%rbp)
jmp 0x7a492
movsd -0x2f8(%rbp), %xmm0
movsd %xmm0, -0xf8(%rbp)
movq 0x8d147(%rip), %rax     # 0x1075f0
movq %rax, -0x308(%rbp)
leaq 0x516b1(%rip), %rsi     # 0xcbb68
leaq -0x108(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7a4ca
leaq -0x118(%rbp), %rdi
callq 0x70c00
jmp 0x7a4d8
movq -0x308(%rbp), %rdi
leaq -0x108(%rbp), %rsi
movl $0xf0, %edx
leaq -0x118(%rbp), %rcx
callq 0x6840
jmp 0x7a4f9
callq 0x70e90
movq %rax, -0x310(%rbp)
jmp 0x7a507
movq -0x310(%rbp), %rsi
leaq 0x50e15(%rip), %rdx     # 0xcb32a
leaq -0x140(%rbp), %rdi
callq 0x70e50
jmp 0x7a523
leaq 0x5163e(%rip), %rsi     # 0xcbb68
leaq -0x150(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7a53d
movl $0x2, -0x154(%rbp)
leaq -0xf0(%rbp), %rdi
callq 0x5bdf0
movl %eax, -0x158(%rbp)
leaq 0x5170e(%rip), %rcx     # 0xcbc6e
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x158(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x5211d(%rip), %rcx     # 0xcc696
movq %rcx, (%rax)
leaq -0x140(%rbp), %rdi
leaq -0x150(%rbp), %rsi
movl $0xf0, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x154(%rbp), %r9
callq 0xbf480
jmp 0x7a5a8
leaq -0x140(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x311(%rbp)
jmp 0x7a5c1
movb -0x311(%rbp), %al
testb $0x1, %al
jne 0x7a4a2
jmp 0x7a5d1
jmp 0x7a5d3
movq 0x8d016(%rip), %rax     # 0x1075f0
movq %rax, -0x320(%rbp)
leaq 0x51580(%rip), %rsi     # 0xcbb68
leaq -0x168(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7a5fb
leaq -0x178(%rbp), %rdi
callq 0x70c00
jmp 0x7a609
movq -0x320(%rbp), %rdi
leaq -0x168(%rbp), %rsi
movl $0xf1, %edx
leaq -0x178(%rbp), %rcx
callq 0x6840
jmp 0x7a62a
callq 0x70e90
movq %rax, -0x328(%rbp)
jmp 0x7a638
movq -0x328(%rbp), %rsi
leaq 0x50ce4(%rip), %rdx     # 0xcb32a
leaq -0x1a0(%rbp), %rdi
callq 0x70e50
jmp 0x7a654
leaq 0x5150d(%rip), %rsi     # 0xcbb68
leaq -0x1b0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7a66e
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, -0x1b8(%rbp)
leaq -0x1d9(%rbp), %rdi
movq %rdi, -0x330(%rbp)
callq 0x67b0
movq -0x330(%rbp), %rdx
leaq 0x51551(%rip), %rsi     # 0xcbbf1
leaq -0x1d8(%rbp), %rdi
callq 0x65e0
jmp 0x7a6ae
leaq -0xf0(%rbp), %rdi
leaq -0x1d8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x338(%rbp)
jmp 0x7a6ca
movq -0x338(%rbp), %rcx
leaq 0x515e7(%rip), %rdx     # 0xcbcbf
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x515bc(%rip), %rcx     # 0xcbca6
movq %rcx, (%rax)
leaq -0x1a0(%rbp), %rdi
leaq -0x1b0(%rbp), %rsi
movl $0xf1, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x1b8(%rbp), %r9
callq 0x70c30
jmp 0x7a719
leaq -0x1d8(%rbp), %rdi
callq 0x6908
leaq -0x1d9(%rbp), %rdi
callq 0x6470
leaq -0x1a0(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x339(%rbp)
jmp 0x7a74a
movb -0x339(%rbp), %al
testb $0x1, %al
jne 0x7a5d3
jmp 0x7a75a
jmp 0x7a75c
movq 0x8ce8d(%rip), %rax     # 0x1075f0
movq %rax, -0x348(%rbp)
leaq 0x513f7(%rip), %rsi     # 0xcbb68
leaq -0x1f0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7a784
leaq -0x200(%rbp), %rdi
callq 0x70c00
jmp 0x7a792
movq -0x348(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
movl $0xf2, %edx
leaq -0x200(%rbp), %rcx
callq 0x6840
jmp 0x7a7b3
callq 0x70e90
movq %rax, -0x350(%rbp)
jmp 0x7a7c1
movq -0x350(%rbp), %rsi
leaq 0x50b5b(%rip), %rdx     # 0xcb32a
leaq -0x228(%rbp), %rdi
callq 0x70e50
jmp 0x7a7dd
leaq 0x51384(%rip), %rsi     # 0xcbb68
leaq -0x238(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7a7f7
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, -0x240(%rbp)
leaq -0x261(%rbp), %rdi
movq %rdi, -0x358(%rbp)
callq 0x67b0
movq -0x358(%rbp), %rdx
leaq 0x516eb(%rip), %rsi     # 0xcbf14
leaq -0x260(%rbp), %rdi
callq 0x65e0
jmp 0x7a837
leaq -0xf0(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x360(%rbp)
jmp 0x7a853
movq -0x360(%rbp), %rcx
leaq 0x51453(%rip), %rdx     # 0xcbcb4
movq %rsp, %rax
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x51433(%rip), %rcx     # 0xcbca6
movq %rcx, (%rax)
leaq -0x228(%rbp), %rdi
leaq -0x238(%rbp), %rsi
movl $0xf2, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x240(%rbp), %r9
callq 0x70c30
jmp 0x7a8a2
leaq -0x260(%rbp), %rdi
callq 0x6908
leaq -0x261(%rbp), %rdi
callq 0x6470
leaq -0x228(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x361(%rbp)
jmp 0x7a8d3
movb -0x361(%rbp), %al
testb $0x1, %al
jne 0x7a75c
jmp 0x7a8e3
jmp 0x7a8e5
movq 0x8cd04(%rip), %rax     # 0x1075f0
movq %rax, -0x370(%rbp)
leaq 0x5126e(%rip), %rsi     # 0xcbb68
leaq -0x278(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7a90d
leaq -0x288(%rbp), %rdi
callq 0x70c00
jmp 0x7a91b
movq -0x370(%rbp), %rdi
leaq -0x278(%rbp), %rsi
movl $0xf3, %edx
leaq -0x288(%rbp), %rcx
callq 0x6840
jmp 0x7a93c
callq 0x70e90
movq %rax, -0x378(%rbp)
jmp 0x7a94a
movq -0x378(%rbp), %rsi
leaq 0x509d2(%rip), %rdx     # 0xcb32a
leaq -0x2b0(%rbp), %rdi
callq 0x70e50
jmp 0x7a966
leaq 0x511fb(%rip), %rsi     # 0xcbb68
leaq -0x2c0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0x7a980
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, -0x2c8(%rbp)
leaq 0x51dde(%rip), %rcx     # 0xcc776
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0xf8(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x50e80(%rip), %rcx     # 0xcb831
movq %rcx, (%rax)
leaq -0x2b0(%rbp), %rdi
leaq -0x2c0(%rbp), %rsi
movl $0xf3, %edx
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x2c8(%rbp), %r9
callq 0x70c30
jmp 0x7a9e0
leaq -0x2b0(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x379(%rbp)
jmp 0x7a9f9
movb -0x379(%rbp), %al
testb $0x1, %al
jne 0x7a8e5
jmp 0x7aa09
leaq -0xf0(%rbp), %rdi
callq 0x4cf70
leaq -0xb8(%rbp), %rdi
callq 0x6908
leaq -0x38(%rbp), %rdi
callq 0x4cf70
addq $0x3a0, %rsp            # imm = 0x3A0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7aa56
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x6908
leaq -0x59(%rbp), %rdi
callq 0x6470
jmp 0x7abb2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7aa8a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x6908
leaq -0x91(%rbp), %rdi
callq 0x6470
jmp 0x7abb2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0xb9(%rbp), %rdi
callq 0x6470
jmp 0x7abb2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7ab9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x140(%rbp), %rdi
callq 0x70ea0
jmp 0x7ab9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7ab26
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7ab1a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x1d8(%rbp), %rdi
callq 0x6908
leaq -0x1d9(%rbp), %rdi
callq 0x6470
leaq -0x1a0(%rbp), %rdi
callq 0x70ea0
jmp 0x7ab9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7ab74
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x7ab68
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x260(%rbp), %rdi
callq 0x6908
leaq -0x261(%rbp), %rdi
callq 0x6470
leaq -0x228(%rbp), %rdi
callq 0x70ea0
jmp 0x7ab9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x2b0(%rbp), %rdi
callq 0x70ea0
leaq -0xf0(%rbp), %rdi
callq 0x4cf70
leaq -0xb8(%rbp), %rdi
callq 0x6908
leaq -0x38(%rbp), %rdi
callq 0x4cf70
movq -0x68(%rbp), %rdi
callq 0x67a0
nopw %cs:(%rax,%rax)