// File: /workspace/github_cpp_makefile_star2_O1/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lsetof<lois::term>::operator=(lois::lsetof<lois::term> const&)
lsetof<T>& operator = (const lsetof<T>& rval) {
    if(debuglois) std::cout << ido << "assign " << rval << " ain = " << ain << " context = " << emptycontext << std::endl;
    autoindenter i1;
    if(usesenv(rval, ain)) throw assignment_exception();
    removeall(); (*this) |= rval;
    return *this;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x70, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x41f4b(%rip), %rax     # 0x53b90
cmpb $0x1, (%rax)
jne 0x11d73
leaq 0x41613(%rip), %rax     # 0x53268
movq (%rax), %rsi
movq 0x41371(%rip), %rdi     # 0x52fd0
callq 0x3b148
movq %rax, %r15
leaq 0x2e67e(%rip), %rsi     # 0x402ec
movl $0x7, %edx
movq %rax, %rdi
callq 0x72c0
movq %r14, %rdi
movq %r15, %rsi
callq 0x2001a
movq %rax, %r15
leaq 0x2e654(%rip), %rsi     # 0x402e4
movl $0x7, %edx
movq %rax, %rdi
callq 0x72c0
movq (%rbx), %rax
movq %rax, 0x38(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x40(%rsp)
testq %rax, %rax
je 0x11cc8
movq 0x4130e(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x11cc4
incl 0x8(%rax)
jmp 0x11cc8
lock
incl 0x8(%rax)
leaq 0x38(%rsp), %rsi
movq %r15, %rdi
callq 0x160cc
movq %rax, %r15
leaq 0x2e615(%rip), %rsi     # 0x402f4
movl $0xb, %edx
movq %rax, %rdi
callq 0x72c0
leaq 0x41a6d(%rip), %rax     # 0x53760
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x28(%rsp)
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0x11d1e
movq 0x412b8(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x11d1a
incl 0x8(%rax)
jmp 0x11d1e
lock
incl 0x8(%rax)
leaq 0x28(%rsp), %rsi
movq %r15, %rdi
callq 0x160cc
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r15, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x11d64
callq 0x13308
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x11d73
callq 0x13308
leaq 0x41b66(%rip), %r12     # 0x538e0
addl $0x2, (%r12)
movq (%rbx), %rax
movq %rax, 0x18(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x20(%rsp)
testq %rax, %rax
je 0x11daa
movq 0x4122c(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x11da6
incl 0x8(%rax)
jmp 0x11daa
lock
incl 0x8(%rax)
leaq 0x419bf(%rip), %rax     # 0x53770
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x8(%rsp)
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x11ddc
movq 0x411fa(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x11dd8
incl 0x8(%rax)
jmp 0x11ddc
lock
incl 0x8(%rax)
leaq 0x18(%rsp), %rsi
leaq 0x8(%rsp), %rdx
movq %r14, %rdi
callq 0x2588f
movl %eax, %ebp
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x11dff
callq 0x13308
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x11e0e
callq 0x13308
testb %bpl, %bpl
jne 0x11e5b
leaq 0x48(%rsp), %rdi
movq %rbx, %rsi
callq 0x25a4c
leaq 0x58(%rsp), %r15
movq %r15, %rdi
callq 0x137ea
movq -0x8(%r15), %rdi
testq %rdi, %rdi
je 0x11e3b
callq 0x13308
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1d5ae
addl $-0x2, (%r12)
movq %rbx, %rax
addq $0x70, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl $0x8, %edi
callq 0x7150
leaq 0x3f884(%rip), %rcx     # 0x516f0
movq %rcx, (%rax)
leaq 0x3f40a(%rip), %rsi     # 0x51280
movq 0x41163(%rip), %rdx     # 0x52fe0
movq %rax, %rdi
callq 0x7400
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x11e97
callq 0x13308
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x11ed3
callq 0x13308
jmp 0x11ed3
movq %rax, %rbx
jmp 0x11ebf
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x11ebf
callq 0x13308
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x11ed8
callq 0x13308
jmp 0x11ed8
movq %rax, %rbx
addl $-0x2, (%r12)
movq %rbx, %rdi
callq 0x7430