// File: /workspace/github_cpp_makefile_star2_O3/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 0x40e83(%rip), %rax     # 0x52b98
cmpb $0x1, (%rax)
jne 0x11e43
leaq 0x40543(%rip), %rax     # 0x52268
movq (%rax), %rsi
movq 0x402a1(%rip), %rdi     # 0x51fd0
callq 0x3ab44
movq %rax, %r15
leaq 0x2d5ae(%rip), %rsi     # 0x3f2ec
movl $0x7, %edx
movq %rax, %rdi
callq 0x72c0
movq %r14, %rdi
movq %r15, %rsi
callq 0x20106
movq %rax, %r15
leaq 0x2d584(%rip), %rsi     # 0x3f2e4
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 0x11d98
movq 0x4023e(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x11d94
incl 0x8(%rax)
jmp 0x11d98
lock
incl 0x8(%rax)
leaq 0x38(%rsp), %rsi
movq %r15, %rdi
callq 0x161a7
movq %rax, %r15
leaq 0x2d545(%rip), %rsi     # 0x3f2f4
movl $0xb, %edx
movq %rax, %rdi
callq 0x72c0
leaq 0x4099d(%rip), %rax     # 0x52760
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x28(%rsp)
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0x11dee
movq 0x401e8(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x11dea
incl 0x8(%rax)
jmp 0x11dee
lock
incl 0x8(%rax)
leaq 0x28(%rsp), %rsi
movq %r15, %rdi
callq 0x161a7
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 0x11e34
callq 0x133fc
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x11e43
callq 0x133fc
leaq 0x40a9e(%rip), %r12     # 0x528e8
addl $0x2, (%r12)
movq (%rbx), %rax
movq %rax, 0x18(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x20(%rsp)
testq %rax, %rax
je 0x11e7a
movq 0x4015c(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x11e76
incl 0x8(%rax)
jmp 0x11e7a
lock
incl 0x8(%rax)
leaq 0x408ef(%rip), %rax     # 0x52770
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x8(%rsp)
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x11eac
movq 0x4012a(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x11ea8
incl 0x8(%rax)
jmp 0x11eac
lock
incl 0x8(%rax)
leaq 0x18(%rsp), %rsi
leaq 0x8(%rsp), %rdx
movq %r14, %rdi
callq 0x25989
movl %eax, %ebp
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x11ecf
callq 0x133fc
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x11ede
callq 0x133fc
testb %bpl, %bpl
jne 0x11f2b
leaq 0x48(%rsp), %rdi
movq %rbx, %rsi
callq 0x25b44
leaq 0x58(%rsp), %r15
movq %r15, %rdi
callq 0x138d0
movq -0x8(%r15), %rdi
testq %rdi, %rdi
je 0x11f0b
callq 0x133fc
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1d638
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 0x3e7dc(%rip), %rcx     # 0x50718
movq %rcx, (%rax)
leaq 0x3e39a(%rip), %rsi     # 0x502e0
movq 0x40093(%rip), %rdx     # 0x51fe0
movq %rax, %rdi
callq 0x7400
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x11f67
callq 0x133fc
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x11fa3
callq 0x133fc
jmp 0x11fa3
movq %rax, %rbx
jmp 0x11f8f
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x11f8f
callq 0x133fc
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x11fa8
callq 0x133fc
jmp 0x11fa8
movq %rax, %rbx
addl $-0x2, (%r12)
movq %rbx, %rdi
callq 0x7430