// File: halfflat[P]tinyopt/test/test_saved_options.cc
// Function: saved_options_add_Test::TestBody()
TEST(saved_options, add) {
    to::saved_options so1;
    for (auto x: {"tasty", "fish", "cake"}) so1.add(x);
    EXPECT_EQ((svector{"tasty", "fish", "cake"}), svector(so1.begin(), so1.end()));

    to::saved_options so2;
    so2.add("penguin");
    so2.add("puffin");
    so2 += so1;

    EXPECT_EQ((svector{"penguin", "puffin", "tasty", "fish", "cake"}), svector(so2.begin(), so2.end()));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x490, %rsp            # imm = 0x490
movq %rdi, -0x8(%rbp)
leaq -0x20(%rbp), %rdi
callq 0x611a0
movq 0xb6169(%rip), %rax     # 0x115018
movq %rax, -0x50(%rbp)
movq 0xb6166(%rip), %rax     # 0x115020
movq %rax, -0x48(%rbp)
movq 0xb6163(%rip), %rax     # 0x115028
movq %rax, -0x40(%rbp)
leaq -0x50(%rbp), %rax
movq %rax, -0x38(%rbp)
movq $0x3, -0x30(%rbp)
leaq -0x38(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
callq 0x611c0
movq %rax, -0x58(%rbp)
movq -0x28(%rbp), %rdi
callq 0x611e0
movq %rax, -0x60(%rbp)
movq -0x58(%rbp), %rax
cmpq -0x60(%rbp), %rax
je 0x5efcc
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq %rax, -0x328(%rbp)
leaq -0x89(%rbp), %rdi
movq %rdi, -0x320(%rbp)
callq 0x10e10
movq -0x328(%rbp), %rsi
movq -0x320(%rbp), %rdx
leaq -0x88(%rbp), %rdi
callq 0x1d070
jmp 0x5ef4e
leaq -0x20(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x61220
jmp 0x5ef60
leaq -0x88(%rbp), %rdi
callq 0x10fc8
leaq -0x89(%rbp), %rdi
callq 0x10810
movq -0x58(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x58(%rbp)
jmp 0x5eefb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5efbb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x88(%rbp), %rdi
callq 0x10fc8
leaq -0x89(%rbp), %rdi
callq 0x10810
jmp 0x5fc16
movb $0x1, -0x144(%rbp)
leaq -0x138(%rbp), %rax
movq %rax, -0x338(%rbp)
movq %rax, -0x140(%rbp)
leaq -0x141(%rbp), %rdi
movq %rdi, -0x330(%rbp)
callq 0x10e10
movq -0x338(%rbp), %rdi
movq -0x330(%rbp), %rdx
leaq 0x6c1c7(%rip), %rsi     # 0xcb1d7
callq 0x1d070
jmp 0x5f017
leaq -0x118(%rbp), %rax
movq %rax, -0x348(%rbp)
movq %rax, -0x140(%rbp)
leaq -0x142(%rbp), %rdi
movq %rdi, -0x340(%rbp)
callq 0x10e10
movq -0x348(%rbp), %rdi
movq -0x340(%rbp), %rdx
leaq 0x6947f(%rip), %rsi     # 0xc84d3
callq 0x1d070
jmp 0x5f05b
leaq -0xf8(%rbp), %rax
movq %rax, -0x358(%rbp)
movq %rax, -0x140(%rbp)
leaq -0x143(%rbp), %rdi
movq %rdi, -0x350(%rbp)
callq 0x10e10
movq -0x358(%rbp), %rdi
movq -0x350(%rbp), %rdx
leaq 0x6c145(%rip), %rsi     # 0xcb1dd
callq 0x1d070
jmp 0x5f09f
movb $0x0, -0x144(%rbp)
leaq -0x138(%rbp), %rax
movq %rax, -0xd8(%rbp)
movq $0x3, -0xd0(%rbp)
leaq -0x145(%rbp), %rdi
movq %rdi, -0x360(%rbp)
callq 0x39000
movq -0x360(%rbp), %rcx
movq -0xd8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
leaq -0xc8(%rbp), %rdi
callq 0x39020
jmp 0x5f0f5
leaq -0x20(%rbp), %rdi
movq %rdi, -0x370(%rbp)
callq 0x3b980
movq -0x370(%rbp), %rdi
movq %rax, -0x168(%rbp)
callq 0x3b800
movq %rax, -0x170(%rbp)
leaq -0x171(%rbp), %rdi
movq %rdi, -0x368(%rbp)
callq 0x39000
movq -0x368(%rbp), %rcx
movq -0x168(%rbp), %rsi
movq -0x170(%rbp), %rdx
leaq -0x160(%rbp), %rdi
callq 0x61240
jmp 0x5f155
leaq 0x6c086(%rip), %rsi     # 0xcb1e2
leaq 0x6c0a2(%rip), %rdx     # 0xcb205
leaq -0xb0(%rbp), %rdi
leaq -0xc8(%rbp), %rcx
leaq -0x160(%rbp), %r8
callq 0x38fb0
jmp 0x5f17f
leaq -0x160(%rbp), %rdi
callq 0x390a0
leaq -0x171(%rbp), %rdi
callq 0x39100
leaq -0xc8(%rbp), %rdi
callq 0x390a0
leaq -0x145(%rbp), %rdi
callq 0x39100
leaq -0x138(%rbp), %rax
movq %rax, -0x380(%rbp)
addq $0x60, %rax
movq %rax, -0x378(%rbp)
movq -0x378(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x388(%rbp)
callq 0x10fc8
movq -0x380(%rbp), %rcx
movq -0x388(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x378(%rbp)
jne 0x5f1c8
leaq -0x143(%rbp), %rdi
callq 0x10810
leaq -0x142(%rbp), %rdi
callq 0x10810
leaq -0x141(%rbp), %rdi
callq 0x10810
leaq -0xb0(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x389(%rbp)
jmp 0x5f231
movb -0x389(%rbp), %al
testb $0x1, %al
jne 0x5f240
jmp 0x5f3d8
jmp 0x5f493
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f358
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f34c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f340
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f2e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f2d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x160(%rbp), %rdi
callq 0x390a0
leaq -0x171(%rbp), %rdi
callq 0x39100
leaq -0xc8(%rbp), %rdi
callq 0x390a0
leaq -0x145(%rbp), %rdi
callq 0x39100
leaq -0x138(%rbp), %rax
movq %rax, -0x3a0(%rbp)
addq $0x60, %rax
movq %rax, -0x398(%rbp)
movq -0x398(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x3a8(%rbp)
callq 0x10fc8
movq -0x3a0(%rbp), %rcx
movq -0x3a8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x398(%rbp)
jne 0x5f30d
jmp 0x5f340
leaq -0x143(%rbp), %rdi
callq 0x10810
leaq -0x142(%rbp), %rdi
callq 0x10810
leaq -0x141(%rbp), %rdi
callq 0x10810
testb $0x1, -0x144(%rbp)
jne 0x5f36f
jmp 0x5f3bc
movq -0x140(%rbp), %rax
leaq -0x138(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x3b0(%rbp)
je 0x5f3ba
movq -0x3b0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x3b8(%rbp)
callq 0x10fc8
movq -0x3b8(%rbp), %rax
leaq -0x138(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x3b0(%rbp)
jne 0x5f389
jmp 0x5f3bc
jmp 0x5fc16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f893
leaq -0x180(%rbp), %rdi
callq 0x84210
jmp 0x5f3e6
leaq -0xb0(%rbp), %rdi
callq 0x1d620
movq %rax, -0x3c0(%rbp)
jmp 0x5f3fb
movq -0x3c0(%rbp), %r8
leaq 0x6bd78(%rip), %rdx     # 0xcb181
leaq -0x188(%rbp), %rdi
movl $0x1, %esi
movl $0xd, %ecx
callq 0x80580
jmp 0x5f421
leaq -0x188(%rbp), %rdi
leaq -0x180(%rbp), %rsi
callq 0x7d370
jmp 0x5f436
leaq -0x188(%rbp), %rdi
callq 0x80600
leaq -0x180(%rbp), %rdi
callq 0x1d500
jmp 0x5f493
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f482
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x188(%rbp), %rdi
callq 0x80600
leaq -0x180(%rbp), %rdi
callq 0x1d500
jmp 0x5f893
leaq -0xb0(%rbp), %rdi
callq 0x1d520
leaq -0x1a0(%rbp), %rdi
callq 0x611a0
leaq -0x1c1(%rbp), %rdi
movq %rdi, -0x3c8(%rbp)
callq 0x10e10
movq -0x3c8(%rbp), %rdx
leaq 0x6bd59(%rip), %rsi     # 0xcb225
leaq -0x1c0(%rbp), %rdi
callq 0x1d070
jmp 0x5f4da
leaq -0x1a0(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0x61220
jmp 0x5f4ef
leaq -0x1c0(%rbp), %rdi
callq 0x10fc8
leaq -0x1c1(%rbp), %rdi
callq 0x10810
leaq -0x1e9(%rbp), %rdi
movq %rdi, -0x3d0(%rbp)
callq 0x10e10
movq -0x3d0(%rbp), %rdx
leaq 0x6bd05(%rip), %rsi     # 0xcb22d
leaq -0x1e8(%rbp), %rdi
callq 0x1d070
jmp 0x5f536
leaq -0x1a0(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x61220
jmp 0x5f54b
leaq -0x1e8(%rbp), %rdi
callq 0x10fc8
leaq -0x1e9(%rbp), %rdi
callq 0x10810
leaq -0x1a0(%rbp), %rdi
leaq -0x20(%rbp), %rsi
callq 0x612c0
jmp 0x5f575
movb $0x1, -0x2d6(%rbp)
leaq -0x2c8(%rbp), %rax
movq %rax, -0x3e0(%rbp)
movq %rax, -0x2d0(%rbp)
leaq -0x2d1(%rbp), %rdi
movq %rdi, -0x3d8(%rbp)
callq 0x10e10
movq -0x3e0(%rbp), %rdi
movq -0x3d8(%rbp), %rdx
leaq 0x6bc6c(%rip), %rsi     # 0xcb225
callq 0x1d070
jmp 0x5f5c0
leaq -0x2a8(%rbp), %rax
movq %rax, -0x3f0(%rbp)
movq %rax, -0x2d0(%rbp)
leaq -0x2d2(%rbp), %rdi
movq %rdi, -0x3e8(%rbp)
callq 0x10e10
movq -0x3f0(%rbp), %rdi
movq -0x3e8(%rbp), %rdx
leaq 0x6bc30(%rip), %rsi     # 0xcb22d
callq 0x1d070
jmp 0x5f604
leaq -0x288(%rbp), %rax
movq %rax, -0x400(%rbp)
movq %rax, -0x2d0(%rbp)
leaq -0x2d3(%rbp), %rdi
movq %rdi, -0x3f8(%rbp)
callq 0x10e10
movq -0x400(%rbp), %rdi
movq -0x3f8(%rbp), %rdx
leaq 0x6bb96(%rip), %rsi     # 0xcb1d7
callq 0x1d070
jmp 0x5f648
leaq -0x268(%rbp), %rax
movq %rax, -0x410(%rbp)
movq %rax, -0x2d0(%rbp)
leaq -0x2d4(%rbp), %rdi
movq %rdi, -0x408(%rbp)
callq 0x10e10
movq -0x410(%rbp), %rdi
movq -0x408(%rbp), %rdx
leaq 0x68e4e(%rip), %rsi     # 0xc84d3
callq 0x1d070
jmp 0x5f68c
leaq -0x248(%rbp), %rax
movq %rax, -0x420(%rbp)
movq %rax, -0x2d0(%rbp)
leaq -0x2d5(%rbp), %rdi
movq %rdi, -0x418(%rbp)
callq 0x10e10
movq -0x420(%rbp), %rdi
movq -0x418(%rbp), %rdx
leaq 0x6bb14(%rip), %rsi     # 0xcb1dd
callq 0x1d070
jmp 0x5f6d0
movb $0x0, -0x2d6(%rbp)
leaq -0x2c8(%rbp), %rax
movq %rax, -0x228(%rbp)
movq $0x5, -0x220(%rbp)
leaq -0x2d7(%rbp), %rdi
movq %rdi, -0x428(%rbp)
callq 0x39000
movq -0x428(%rbp), %rcx
movq -0x228(%rbp), %rsi
movq -0x220(%rbp), %rdx
leaq -0x218(%rbp), %rdi
callq 0x39020
jmp 0x5f726
leaq -0x1a0(%rbp), %rdi
movq %rdi, -0x438(%rbp)
callq 0x3b980
movq -0x438(%rbp), %rdi
movq %rax, -0x2f8(%rbp)
callq 0x3b800
movq %rax, -0x300(%rbp)
leaq -0x301(%rbp), %rdi
movq %rdi, -0x430(%rbp)
callq 0x39000
movq -0x430(%rbp), %rcx
movq -0x2f8(%rbp), %rsi
movq -0x300(%rbp), %rdx
leaq -0x2f0(%rbp), %rdi
callq 0x61240
jmp 0x5f789
leaq 0x6baa4(%rip), %rsi     # 0xcb234
leaq 0x6bad5(%rip), %rdx     # 0xcb26c
leaq -0x200(%rbp), %rdi
leaq -0x218(%rbp), %rcx
leaq -0x2f0(%rbp), %r8
callq 0x38fb0
jmp 0x5f7b3
leaq -0x2f0(%rbp), %rdi
callq 0x390a0
leaq -0x301(%rbp), %rdi
callq 0x39100
leaq -0x218(%rbp), %rdi
callq 0x390a0
leaq -0x2d7(%rbp), %rdi
callq 0x39100
leaq -0x2c8(%rbp), %rax
movq %rax, -0x448(%rbp)
addq $0xa0, %rax
movq %rax, -0x440(%rbp)
movq -0x440(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x450(%rbp)
callq 0x10fc8
movq -0x448(%rbp), %rcx
movq -0x450(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x440(%rbp)
jne 0x5f7fe
leaq -0x2d5(%rbp), %rdi
callq 0x10810
leaq -0x2d4(%rbp), %rdi
callq 0x10810
leaq -0x2d3(%rbp), %rdi
callq 0x10810
leaq -0x2d2(%rbp), %rdi
callq 0x10810
leaq -0x2d1(%rbp), %rdi
callq 0x10810
leaq -0x200(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x451(%rbp)
jmp 0x5f87f
movb -0x451(%rbp), %al
testb $0x1, %al
jne 0x5f88e
jmp 0x5fb1c
jmp 0x5fbd4
leaq -0xb0(%rbp), %rdi
callq 0x1d520
jmp 0x5fc16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f8d6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x1c0(%rbp), %rdi
callq 0x10fc8
leaq -0x1c1(%rbp), %rdi
callq 0x10810
jmp 0x5fc0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f919
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x1e8(%rbp), %rdi
callq 0x10fc8
leaq -0x1e9(%rbp), %rdi
callq 0x10810
jmp 0x5fc0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fc0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fa9c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fa90
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fa84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fa78
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fa6c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fa12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5f9fa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x2f0(%rbp), %rdi
callq 0x390a0
leaq -0x301(%rbp), %rdi
callq 0x39100
leaq -0x218(%rbp), %rdi
callq 0x390a0
leaq -0x2d7(%rbp), %rdi
callq 0x39100
leaq -0x2c8(%rbp), %rax
movq %rax, -0x468(%rbp)
addq $0xa0, %rax
movq %rax, -0x460(%rbp)
movq -0x460(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x470(%rbp)
callq 0x10fc8
movq -0x468(%rbp), %rcx
movq -0x470(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x460(%rbp)
jne 0x5fa39
jmp 0x5fa6c
leaq -0x2d5(%rbp), %rdi
callq 0x10810
leaq -0x2d4(%rbp), %rdi
callq 0x10810
leaq -0x2d3(%rbp), %rdi
callq 0x10810
leaq -0x2d2(%rbp), %rdi
callq 0x10810
leaq -0x2d1(%rbp), %rdi
callq 0x10810
testb $0x1, -0x2d6(%rbp)
jne 0x5fab3
jmp 0x5fb00
movq -0x2d0(%rbp), %rax
leaq -0x2c8(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x478(%rbp)
je 0x5fafe
movq -0x478(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x480(%rbp)
callq 0x10fc8
movq -0x480(%rbp), %rax
leaq -0x2c8(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x478(%rbp)
jne 0x5facd
jmp 0x5fb00
jmp 0x5fc0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fbfe
leaq -0x310(%rbp), %rdi
callq 0x84210
jmp 0x5fb2a
leaq -0x200(%rbp), %rdi
callq 0x1d620
movq %rax, -0x488(%rbp)
jmp 0x5fb3f
movq -0x488(%rbp), %r8
leaq 0x6b634(%rip), %rdx     # 0xcb181
leaq -0x318(%rbp), %rdi
movl $0x1, %esi
movl $0x14, %ecx
callq 0x80580
jmp 0x5fb65
leaq -0x318(%rbp), %rdi
leaq -0x310(%rbp), %rsi
callq 0x7d370
jmp 0x5fb7a
leaq -0x318(%rbp), %rdi
callq 0x80600
leaq -0x310(%rbp), %rdi
callq 0x1d500
jmp 0x5fbd4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x5fbc6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x318(%rbp), %rdi
callq 0x80600
leaq -0x310(%rbp), %rdi
callq 0x1d500
jmp 0x5fbfe
leaq -0x200(%rbp), %rdi
callq 0x1d520
leaq -0x1a0(%rbp), %rdi
callq 0x61330
leaq -0x20(%rbp), %rdi
callq 0x61330
addq $0x490, %rsp            # imm = 0x490
popq %rbp
retq
leaq -0x200(%rbp), %rdi
callq 0x1d520
leaq -0x1a0(%rbp), %rdi
callq 0x61330
leaq -0x20(%rbp), %rdi
callq 0x61330
movq -0x98(%rbp), %rdi
callq 0x10e00
nopl (%rax,%rax)