// File: /workspace/github_cpp_makefile_star2_O2/aalto-speech[P]ftk/test/sstest.cc
// Function: StringSetTest4::test_method()
BOOST_AUTO_TEST_CASE(StringSetTest4)
{
    map<string, flt_type> vocab;
    vocab["hei"] = -1.0;
    vocab["heippa"] = -2.0;
    vocab["heh"] = -3.0;
    StringSet ss(vocab);

    ss.remove("hei");
    ss.add("hei", -4.0);

    BOOST_CHECK ( ss.includes("hei") );
    BOOST_CHECK_EQUAL ( -4.0, ss.get_score("hei") );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
leaq -0xc0(%rbp), %rax
andl $0x0, (%rax)
andq $0x0, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
andq $0x0, 0x20(%rax)
leaq 0x2b797(%rip), %rsi     # 0x53766
leaq -0x1f8(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x5160
leaq -0xc8(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x1b3d2
movabsq $-0x4010000000000000, %rcx # imm = 0xBFF0000000000000
movq %rcx, (%rax)
leaq -0x1f8(%rbp), %rdi
callq 0x57b8
leaq 0x2b7b3(%rip), %rsi     # 0x537c5
leaq -0x1f8(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x5160
leaq -0xc8(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x1b3d2
movabsq $-0x4000000000000000, %rcx # imm = 0xC000000000000000
movq %rcx, (%rax)
leaq -0x1f8(%rbp), %rdi
callq 0x57b8
leaq 0x2b777(%rip), %rsi     # 0x537cc
leaq -0x1f8(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x5160
leaq -0xc8(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x1b3d2
movabsq $-0x3ff8000000000000, %rcx # imm = 0xC008000000000000
movq %rcx, (%rax)
leaq -0x1f8(%rbp), %rdi
callq 0x57b8
leaq -0x1f8(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0xdbec
leaq 0x2b6bb(%rip), %rsi     # 0x53766
leaq -0x50(%rbp), %rdi
leaq -0x70(%rbp), %rdx
callq 0x5160
leaq -0x1f8(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe1f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
leaq 0x2b68e(%rip), %rsi     # 0x53766
leaq -0x50(%rbp), %rdi
leaq -0x70(%rbp), %rdx
callq 0x5160
leaq -0x1f8(%rbp), %rdi
leaq -0x50(%rbp), %rsi
movsd 0x2b638(%rip), %xmm0    # 0x53730
callq 0xddee
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x483fb(%rip), %rdi     # 0x70508
leaq 0x2b643(%rip), %rbx     # 0x53757
leaq -0x248(%rbp), %rsi
movq %rbx, (%rsi)
leaq 0x2b640(%rip), %r14     # 0x53765
movq %r14, 0x8(%rsi)
leaq 0x2b8e5(%rip), %r12     # 0x53a15
leaq -0x238(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x76
popq %rdx
callq 0x5710
leaq 0x2b619(%rip), %rsi     # 0x53766
leaq -0x50(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x1f8(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xe0d6
leaq -0x88(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2b75c(%rip), %rax     # 0x538dd
leaq -0xd8(%rbp), %r15
movq %rax, (%r15)
leaq 0x2b75d(%rip), %rax     # 0x538ef
movq %rax, 0x8(%r15)
leaq -0x70(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x479cb(%rip), %rax     # 0x6fb70
movq %rax, (%rsi)
movq 0x47e01(%rip), %r13     # 0x6ffb0
movq %r13, 0x10(%rsi)
movq %r15, 0x18(%rsi)
leaq -0x228(%rbp), %rdx
movq %rbx, (%rdx)
movq %r14, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x76
popq %rcx
pushq $0x1
popq %r8
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x56f0
leaq -0x78(%rbp), %rdi
callq 0x291f6
leaq -0x50(%rbp), %rdi
callq 0x57b8
movq 0x48314(%rip), %rdi     # 0x70508
leaq -0x218(%rbp), %rsi
movq %rbx, (%rsi)
movq %r14, 0x8(%rsi)
leaq -0x208(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x77
popq %rdx
callq 0x5710
movb $0x0, -0x48(%rbp)
leaq 0x478bd(%rip), %rax     # 0x6fae0
movq %rax, -0x50(%rbp)
movq %r13, -0x40(%rbp)
leaq 0x2b125(%rip), %rax     # 0x53357
movq %rax, -0x38(%rbp)
movq %rbx, -0x98(%rbp)
movq %r14, -0x90(%rbp)
movabsq $-0x3ff0000000000000, %rax # imm = 0xC010000000000000
movq %rax, -0x88(%rbp)
leaq 0x2b50a(%rip), %rsi     # 0x53766
leaq -0x70(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0x5160
leaq -0x1f8(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xe12a
movsd %xmm0, -0xd8(%rbp)
leaq 0x2b4e7(%rip), %rax     # 0x5376f
movq %rax, 0x10(%rsp)
movq %r15, 0x8(%rsp)
leaq 0x2b5fd(%rip), %rax     # 0x53896
movq %rax, (%rsp)
leaq -0x50(%rbp), %rdi
leaq -0x98(%rbp), %rsi
pushq $0x77
popq %rdx
pushq $0x1
popq %rcx
pushq $0x2
popq %r8
leaq -0x88(%rbp), %r9
callq 0x2903d
leaq -0x70(%rbp), %rdi
callq 0x57b8
leaq -0x1f8(%rbp), %rdi
callq 0xdea0
leaq -0xc8(%rbp), %rdi
callq 0x1bba4
addq $0x238, %rsp            # imm = 0x238
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x28342
movq %rax, %rbx
leaq -0x78(%rbp), %rdi
callq 0x291f6
jmp 0x2830c
jmp 0x28309
jmp 0x28342
jmp 0x28309
jmp 0x28342
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
jmp 0x2833b
jmp 0x28342
jmp 0x2832f
jmp 0x2831e
jmp 0x2832f
jmp 0x2831e
jmp 0x2832f
movq %rax, %rbx
leaq -0x1f8(%rbp), %rdi
callq 0x57b8
jmp 0x28351
movq %rax, %rbx
jmp 0x28351
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x57b8
jmp 0x28345
movq %rax, %rbx
leaq -0x1f8(%rbp), %rdi
callq 0xdea0
leaq -0xc8(%rbp), %rdi
callq 0x1bba4
movq %rbx, %rdi
callq 0x56b0