// File: /workspace/github_cpp_makefile_star2_O1/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lbool::operator=(lois::rbool const&)
lbool& operator = (const rbool& rval) {
    if(usesenv(rval, parent)) throw assignment_exception();
    rbool alpha = outenv(ftrue, false, parent);
    phi = (alpha && rval) || ((!alpha) && phi);
    return (*this);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0xe8, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq (%rdi), %rax
movq %rax, 0x90(%rsp)
movq 0x8(%rdi), %rax
movq %rax, 0x98(%rsp)
testq %rax, %rax
je 0x12ea6
movq 0x40130(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x12ea2
incl 0x8(%rax)
jmp 0x12ea6
lock
incl 0x8(%rax)
leaq 0x408c3(%rip), %r15     # 0x53770
movq (%r15), %rcx
movq 0x8(%r15), %rax
movq %rcx, 0x80(%rsp)
movq %rax, 0x88(%rsp)
testq %rax, %rax
je 0x12ede
movq 0x400f8(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x12eda
incl 0x8(%rax)
jmp 0x12ede
lock
incl 0x8(%rax)
leaq 0x90(%rsp), %rsi
leaq 0x80(%rsp), %rdx
movq %r14, %rdi
callq 0x1c4d1
movl %eax, %ebp
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x12f0a
callq 0x13308
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x12f1c
callq 0x13308
testb %bpl, %bpl
jne 0x131cd
leaq 0x40884(%rip), %rax     # 0x537b0
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x70(%rsp)
movq %rax, 0x78(%rsp)
testq %rax, %rax
je 0x12f57
movq 0x4007f(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x12f53
incl 0x8(%rax)
jmp 0x12f57
lock
incl 0x8(%rax)
movq (%rbx), %rax
movq %rax, 0x60(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x68(%rsp)
testq %rax, %rax
je 0x12f82
movq 0x40054(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x12f7e
incl 0x8(%rax)
jmp 0x12f82
lock
incl 0x8(%rax)
movq (%r15), %rcx
movq 0x8(%r15), %rax
movq %rcx, 0x50(%rsp)
movq %rax, 0x58(%rsp)
testq %rax, %rax
je 0x12fad
movq 0x40029(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x12fa9
incl 0x8(%rax)
jmp 0x12fad
lock
incl 0x8(%rax)
movq %rsp, %rdi
leaq 0x70(%rsp), %rsi
leaq 0x60(%rsp), %rcx
leaq 0x50(%rsp), %r8
xorl %edx, %edx
callq 0x28a12
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x12fd5
callq 0x13308
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x12fe4
callq 0x13308
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x12ff3
callq 0x13308
movq (%rsp), %rcx
movq 0x8(%rsp), %rax
movq %rcx, 0x40(%rsp)
movq %rax, 0x48(%rsp)
testq %rax, %rax
je 0x13020
movq 0x3ffb6(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x1301c
incl 0x8(%rax)
jmp 0x13020
lock
incl 0x8(%rax)
movq (%r14), %rax
movq %rax, 0x30(%rsp)
movq 0x8(%r14), %rax
movq %rax, 0x38(%rsp)
testq %rax, %rax
je 0x1304b
movq 0x3ff8b(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x13047
incl 0x8(%rax)
jmp 0x1304b
lock
incl 0x8(%rax)
leaq 0xd8(%rsp), %rdi
leaq 0x40(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0x2b0ed
movq (%rsp), %rcx
movq 0x8(%rsp), %rax
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
testq %rax, %rax
je 0x1308f
movq 0x3ff47(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x1308b
incl 0x8(%rax)
jmp 0x1308f
lock
incl 0x8(%rax)
leaq 0xb8(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x29645
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsp)
movq 0x18(%rbx), %rax
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x130cd
movq 0x3ff09(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x130c9
incl 0x8(%rax)
jmp 0x130cd
lock
incl 0x8(%rax)
leaq 0xc8(%rsp), %rdi
leaq 0xb8(%rsp), %rsi
leaq 0x10(%rsp), %rdx
callq 0x2b0ed
leaq 0xa0(%rsp), %rdi
leaq 0xd8(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
callq 0x2b3f6
movaps 0xa0(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0xa0(%rsp)
movq 0x18(%rbx), %rdi
movups %xmm0, 0x10(%rbx)
testq %rdi, %rdi
je 0x13129
callq 0x13308
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x1313b
callq 0x13308
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x1314d
callq 0x13308
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x1315c
callq 0x13308
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1316e
callq 0x13308
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x1317d
callq 0x13308
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x1318f
callq 0x13308
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x1319e
callq 0x13308
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x131ad
callq 0x13308
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x131bc
callq 0x13308
movq %rbx, %rax
addq $0xe8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x8, %edi
callq 0x7150
leaq 0x3e512(%rip), %rcx     # 0x516f0
movq %rcx, (%rax)
leaq 0x3e098(%rip), %rsi     # 0x51280
movq 0x3fdf1(%rip), %rdx     # 0x52fe0
movq %rax, %rdi
callq 0x7400
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x13211
callq 0x13308
jmp 0x13211
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x13220
callq 0x13308
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x13237
callq 0x13308
jmp 0x13237
movq %rax, %rbx
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x13246
callq 0x13308
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x1325d
callq 0x13308
jmp 0x1325d
movq %rax, %rbx
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x1326c
callq 0x13308
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x1327b
callq 0x13308
movq 0x8(%rsp), %rdi
jmp 0x132c7
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x13294
callq 0x13308
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x132a3
callq 0x13308
movq 0x78(%rsp), %rdi
jmp 0x132c7
movq %rax, %rbx
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x132bf
callq 0x13308
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x132d1
callq 0x13308
movq %rbx, %rdi
callq 0x7430