// File: /workspace/github_cpp_makefile_star2_O3/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 0x12f9a
movq 0x3f03c(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x12f96
incl 0x8(%rax)
jmp 0x12f9a
lock
incl 0x8(%rax)
leaq 0x3f7cf(%rip), %r15     # 0x52770
movq (%r15), %rcx
movq 0x8(%r15), %rax
movq %rcx, 0x80(%rsp)
movq %rax, 0x88(%rsp)
testq %rax, %rax
je 0x12fd2
movq 0x3f004(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x12fce
incl 0x8(%rax)
jmp 0x12fd2
lock
incl 0x8(%rax)
leaq 0x90(%rsp), %rsi
leaq 0x80(%rsp), %rdx
movq %r14, %rdi
callq 0x1c551
movl %eax, %ebp
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x12ffe
callq 0x133fc
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x13010
callq 0x133fc
testb %bpl, %bpl
jne 0x132c1
leaq 0x3f790(%rip), %rax     # 0x527b0
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x70(%rsp)
movq %rax, 0x78(%rsp)
testq %rax, %rax
je 0x1304b
movq 0x3ef8b(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x13047
incl 0x8(%rax)
jmp 0x1304b
lock
incl 0x8(%rax)
movq (%rbx), %rax
movq %rax, 0x60(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x68(%rsp)
testq %rax, %rax
je 0x13076
movq 0x3ef60(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x13072
incl 0x8(%rax)
jmp 0x13076
lock
incl 0x8(%rax)
movq (%r15), %rcx
movq 0x8(%r15), %rax
movq %rcx, 0x50(%rsp)
movq %rax, 0x58(%rsp)
testq %rax, %rax
je 0x130a1
movq 0x3ef35(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x1309d
incl 0x8(%rax)
jmp 0x130a1
lock
incl 0x8(%rax)
movq %rsp, %rdi
leaq 0x70(%rsp), %rsi
leaq 0x60(%rsp), %rcx
leaq 0x50(%rsp), %r8
xorl %edx, %edx
callq 0x28b68
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x130c9
callq 0x133fc
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x130d8
callq 0x133fc
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x130e7
callq 0x133fc
movq (%rsp), %rcx
movq 0x8(%rsp), %rax
movq %rcx, 0x40(%rsp)
movq %rax, 0x48(%rsp)
testq %rax, %rax
je 0x13114
movq 0x3eec2(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x13110
incl 0x8(%rax)
jmp 0x13114
lock
incl 0x8(%rax)
movq (%r14), %rax
movq %rax, 0x30(%rsp)
movq 0x8(%r14), %rax
movq %rax, 0x38(%rsp)
testq %rax, %rax
je 0x1313f
movq 0x3ee97(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x1313b
incl 0x8(%rax)
jmp 0x1313f
lock
incl 0x8(%rax)
leaq 0xd8(%rsp), %rdi
leaq 0x40(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0x2b213
movq (%rsp), %rcx
movq 0x8(%rsp), %rax
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
testq %rax, %rax
je 0x13183
movq 0x3ee53(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x1317f
incl 0x8(%rax)
jmp 0x13183
lock
incl 0x8(%rax)
leaq 0xb8(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x297dd
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsp)
movq 0x18(%rbx), %rax
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x131c1
movq 0x3ee15(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x131bd
incl 0x8(%rax)
jmp 0x131c1
lock
incl 0x8(%rax)
leaq 0xc8(%rsp), %rdi
leaq 0xb8(%rsp), %rsi
leaq 0x10(%rsp), %rdx
callq 0x2b213
leaq 0xa0(%rsp), %rdi
leaq 0xd8(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
callq 0x2b4e8
movaps 0xa0(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0xa0(%rsp)
movq 0x18(%rbx), %rdi
movups %xmm0, 0x10(%rbx)
testq %rdi, %rdi
je 0x1322f
callq 0x133fc
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x1322f
callq 0x133fc
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x13241
callq 0x133fc
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x13250
callq 0x133fc
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x13262
callq 0x133fc
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x13271
callq 0x133fc
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x13283
callq 0x133fc
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x13292
callq 0x133fc
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x132a1
callq 0x133fc
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x132b0
callq 0x133fc
movq %rbx, %rax
addq $0xe8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x8, %edi
callq 0x7150
leaq 0x3d446(%rip), %rcx     # 0x50718
movq %rcx, (%rax)
leaq 0x3d004(%rip), %rsi     # 0x502e0
movq 0x3ecfd(%rip), %rdx     # 0x51fe0
movq %rax, %rdi
callq 0x7400
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x13305
callq 0x133fc
jmp 0x13305
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x13314
callq 0x133fc
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1332b
callq 0x133fc
jmp 0x1332b
movq %rax, %rbx
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x1333a
callq 0x133fc
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x13351
callq 0x133fc
jmp 0x13351
movq %rax, %rbx
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x13360
callq 0x133fc
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x1336f
callq 0x133fc
movq 0x8(%rsp), %rdi
jmp 0x133bb
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x13388
callq 0x133fc
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x13397
callq 0x133fc
movq 0x78(%rsp), %rdi
jmp 0x133bb
movq %rax, %rbx
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x133b3
callq 0x133fc
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x133c5
callq 0x133fc
movq %rbx, %rdi
callq 0x7430