// File: halfflat[P]tinyopt/test/test_maybe.cc
// Function: maybe_conditional_void_assign_Test::TestBody()
TEST(maybe, conditional_void_assign) {
    int r = 0;

    EXPECT_TRUE(r << something);
    EXPECT_EQ(1, r);

    EXPECT_FALSE(r << maybe<void>());
    EXPECT_EQ(1, r);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x150, %rsp            # imm = 0x150
movq %rdi, -0x8(%rbp)
movl $0x0, -0xc(%rbp)
leaq 0xa28b6(%rip), %rdx     # 0xc8e03
leaq -0x28(%rbp), %rdi
movq %rdi, -0x110(%rbp)
leaq -0xc(%rbp), %rsi
callq 0x295a0
movq -0x110(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
leaq -0x20(%rbp), %rdi
callq 0x1d6b0
jmp 0x26577
leaq -0x28(%rbp), %rdi
callq 0x1d710
leaq -0x20(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x111(%rbp)
jmp 0x26591
movb -0x111(%rbp), %al
testb $0x1, %al
jne 0x2659d
jmp 0x265cd
jmp 0x26695
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x1d710
jmp 0x26ad4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x266f0
leaq -0x40(%rbp), %rdi
callq 0x84210
jmp 0x265d8
leaq 0xa2743(%rip), %rdx     # 0xc8d22
leaq 0xa1e69(%rip), %rcx     # 0xc844f
leaq 0xa1e68(%rip), %r8      # 0xc8455
leaq -0x68(%rbp), %rdi
leaq -0x20(%rbp), %rsi
callq 0x7d210
jmp 0x265fc
leaq -0x68(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0xa257c(%rip), %rdx     # 0xc8b8b
leaq -0x48(%rbp), %rdi
movl $0x1, %esi
movl $0x59, %ecx
callq 0x80580
jmp 0x26624
leaq -0x48(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7d370
jmp 0x26633
leaq -0x48(%rbp), %rdi
callq 0x80600
leaq -0x68(%rbp), %rdi
callq 0x10fc8
leaq -0x40(%rbp), %rdi
callq 0x1d500
jmp 0x26695
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x2668a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x26681
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x80600
leaq -0x68(%rbp), %rdi
callq 0x10fc8
leaq -0x40(%rbp), %rdi
callq 0x1d500
jmp 0x266f0
leaq -0x20(%rbp), %rdi
callq 0x1d520
movl $0x1, -0x7c(%rbp)
leaq 0xa3c2a(%rip), %rsi     # 0xca2d6
leaq 0xa402e(%rip), %rdx     # 0xca6e1
leaq -0x78(%rbp), %rdi
movq %rdi, -0x120(%rbp)
leaq -0x7c(%rbp), %rcx
leaq -0xc(%rbp), %r8
callq 0x1d5d0
movq -0x120(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x112(%rbp)
jmp 0x266df
movb -0x112(%rbp), %al
testb $0x1, %al
jne 0x266eb
jmp 0x2670f
jmp 0x267bb
leaq -0x20(%rbp), %rdi
callq 0x1d520
jmp 0x26ad4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x26853
leaq -0x88(%rbp), %rdi
callq 0x84210
jmp 0x2671d
leaq -0x78(%rbp), %rdi
callq 0x1d620
movq %rax, -0x128(%rbp)
jmp 0x2672f
movq -0x128(%rbp), %r8
leaq 0xa244e(%rip), %rdx     # 0xc8b8b
leaq -0x90(%rbp), %rdi
movl $0x1, %esi
movl $0x5a, %ecx
callq 0x80580
jmp 0x26755
leaq -0x90(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x7d370
jmp 0x2676a
leaq -0x90(%rbp), %rdi
callq 0x80600
leaq -0x88(%rbp), %rdi
callq 0x1d500
jmp 0x267bb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x267aa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x80600
leaq -0x88(%rbp), %rdi
callq 0x1d500
jmp 0x26853
leaq -0x78(%rbp), %rdi
callq 0x1d520
leaq -0xad(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0x29600
movq -0x138(%rbp), %rdx
leaq -0xac(%rbp), %rdi
movq %rdi, -0x130(%rbp)
leaq -0xc(%rbp), %rsi
callq 0x295a0
movq -0x130(%rbp), %rdi
callq 0x1d690
xorb $0x1, %al
movb %al, -0xa1(%rbp)
xorl %eax, %eax
movl %eax, %edx
leaq -0xa0(%rbp), %rdi
leaq -0xa1(%rbp), %rsi
callq 0x1d4a0
jmp 0x26822
leaq -0xac(%rbp), %rdi
callq 0x1d710
leaq -0xa0(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x139(%rbp)
jmp 0x26842
movb -0x139(%rbp), %al
testb $0x1, %al
jne 0x2684e
jmp 0x2688f
jmp 0x2697e
leaq -0x78(%rbp), %rdi
callq 0x1d520
jmp 0x26ad4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0xac(%rbp), %rdi
callq 0x1d710
jmp 0x26ad4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x269e5
leaq -0xb8(%rbp), %rdi
callq 0x84210
jmp 0x2689d
leaq 0xa248d(%rip), %rdx     # 0xc8d31
leaq 0xa1baa(%rip), %rcx     # 0xc8455
leaq 0xa1b9d(%rip), %r8      # 0xc844f
leaq -0xe0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0x7d210
jmp 0x268c7
leaq -0xe0(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0xa22ae(%rip), %rdx     # 0xc8b8b
leaq -0xc0(%rbp), %rdi
movl $0x1, %esi
movl $0x5c, %ecx
callq 0x80580
jmp 0x268f5
leaq -0xc0(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0x7d370
jmp 0x2690a
leaq -0xc0(%rbp), %rdi
callq 0x80600
leaq -0xe0(%rbp), %rdi
callq 0x10fc8
leaq -0xb8(%rbp), %rdi
callq 0x1d500
jmp 0x2697e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x26970
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x26964
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0x80600
leaq -0xe0(%rbp), %rdi
callq 0x10fc8
leaq -0xb8(%rbp), %rdi
callq 0x1d500
jmp 0x269e5
leaq -0xa0(%rbp), %rdi
callq 0x1d520
movl $0x1, -0xf4(%rbp)
leaq 0xa393b(%rip), %rsi     # 0xca2d6
leaq 0xa3d3f(%rip), %rdx     # 0xca6e1
leaq -0xf0(%rbp), %rdi
movq %rdi, -0x148(%rbp)
leaq -0xf4(%rbp), %rcx
leaq -0xc(%rbp), %r8
callq 0x1d5d0
movq -0x148(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x13a(%rbp)
jmp 0x269d4
movb -0x13a(%rbp), %al
testb $0x1, %al
jne 0x269e0
jmp 0x26a07
jmp 0x26ab3
leaq -0xa0(%rbp), %rdi
callq 0x1d520
jmp 0x26ad4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x26ac8
leaq -0x100(%rbp), %rdi
callq 0x84210
jmp 0x26a15
leaq -0xf0(%rbp), %rdi
callq 0x1d620
movq %rax, -0x150(%rbp)
jmp 0x26a2a
movq -0x150(%rbp), %r8
leaq 0xa2153(%rip), %rdx     # 0xc8b8b
leaq -0x108(%rbp), %rdi
movl $0x1, %esi
movl $0x5d, %ecx
callq 0x80580
jmp 0x26a50
leaq -0x108(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0x7d370
jmp 0x26a65
leaq -0x108(%rbp), %rdi
callq 0x80600
leaq -0x100(%rbp), %rdi
callq 0x1d500
jmp 0x26ab3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x26aa5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x108(%rbp), %rdi
callq 0x80600
leaq -0x100(%rbp), %rdi
callq 0x1d500
jmp 0x26ac8
leaq -0xf0(%rbp), %rdi
callq 0x1d520
addq $0x150, %rsp            # imm = 0x150
popq %rbp
retq
leaq -0xf0(%rbp), %rdi
callq 0x1d520
movq -0x30(%rbp), %rdi
callq 0x10e00
nopl (%rax)