// File: 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
movq %rsp, %rbp
subq $0x170, %rsp            # imm = 0x170
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x128(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x120(%rbp)
leaq -0x20(%rbp), %rdi
movq %rdi, -0x118(%rbp)
callq 0x173b0
leaq 0x91440(%rip), %rsi     # 0xa57f0
leaq -0x30(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0x173b0
movq -0x120(%rbp), %rdi
movq -0x118(%rbp), %rsi
movq -0x110(%rbp), %rdx
callq 0x2aca0
movb %al, -0x101(%rbp)
jmp 0x143e2
leaq -0x30(%rbp), %rdi
callq 0x14b20
leaq -0x20(%rbp), %rdi
callq 0x14b20
movb -0x101(%rbp), %al
testb $0x1, %al
jne 0x14400
jmp 0x14469
movl $0x8, %edi
callq 0x8160
movq %rax, %rdi
movq %rdi, -0x130(%rbp)
xorl %esi, %esi
movl $0x8, %edx
callq 0x8190
movq -0x130(%rbp), %rdi
callq 0x29d20
movq -0x130(%rbp), %rdi
leaq 0x8ecee(%rip), %rsi     # 0xa3128
leaq 0x30f(%rip), %rdx       # 0x14750
callq 0x84b0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x14b20
leaq -0x20(%rbp), %rdi
callq 0x14b20
jmp 0x14706
leaq 0x913c0(%rip), %rsi     # 0xa5830
leaq -0x60(%rbp), %rdi
movq %rdi, -0x148(%rbp)
callq 0x11030
movq -0x128(%rbp), %rsi
leaq -0x70(%rbp), %rdi
movq %rdi, -0x140(%rbp)
callq 0x173b0
leaq 0x91352(%rip), %rsi     # 0xa57f0
leaq -0x80(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0x173b0
movq -0x148(%rbp), %rsi
movq -0x140(%rbp), %rcx
movq -0x138(%rbp), %r8
leaq -0x50(%rbp), %rdi
xorl %edx, %edx
callq 0x3e180
jmp 0x144d0
leaq -0x80(%rbp), %rdi
callq 0x14b20
leaq -0x70(%rbp), %rdi
callq 0x14b20
leaq -0x60(%rbp), %rdi
callq 0x11060
leaq -0xb0(%rbp), %rdi
movq %rdi, -0x158(%rbp)
leaq -0x50(%rbp), %rsi
callq 0x11030
movq -0x10(%rbp), %rsi
leaq -0xc0(%rbp), %rdi
movq %rdi, -0x150(%rbp)
callq 0x11030
movq -0x158(%rbp), %rsi
movq -0x150(%rbp), %rdx
leaq -0xa0(%rbp), %rdi
callq 0x42150
jmp 0x14535
leaq -0xf0(%rbp), %rdi
movq %rdi, -0x160(%rbp)
leaq -0x50(%rbp), %rsi
callq 0x11030
movq -0x160(%rbp), %rsi
leaq -0xe0(%rbp), %rdi
callq 0x400a0
jmp 0x14561
movq -0x128(%rbp), %rsi
addq $0x10, %rsi
leaq -0x100(%rbp), %rdi
movq %rdi, -0x168(%rbp)
callq 0x11030
movq -0x168(%rbp), %rdx
leaq -0xd0(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x42150
jmp 0x1459b
leaq -0x90(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
callq 0x42550
jmp 0x145b7
movq -0x128(%rbp), %rdi
addq $0x10, %rdi
leaq -0x90(%rbp), %rsi
callq 0x11290
leaq -0x90(%rbp), %rdi
callq 0x11060
leaq -0xd0(%rbp), %rdi
callq 0x11060
leaq -0x100(%rbp), %rdi
callq 0x11060
leaq -0xe0(%rbp), %rdi
callq 0x11060
leaq -0xf0(%rbp), %rdi
callq 0x11060
leaq -0xa0(%rbp), %rdi
callq 0x11060
leaq -0xc0(%rbp), %rdi
callq 0x11060
leaq -0xb0(%rbp), %rdi
callq 0x11060
leaq -0x50(%rbp), %rdi
callq 0x11060
movq -0x128(%rbp), %rax
addq $0x170, %rsp            # imm = 0x170
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x14b20
leaq -0x70(%rbp), %rdi
callq 0x14b20
leaq -0x60(%rbp), %rdi
callq 0x11060
jmp 0x14706
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x146e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x146cd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x146b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xd0(%rbp), %rdi
callq 0x11060
leaq -0x100(%rbp), %rdi
callq 0x11060
leaq -0xe0(%rbp), %rdi
callq 0x11060
leaq -0xf0(%rbp), %rdi
callq 0x11060
leaq -0xa0(%rbp), %rdi
callq 0x11060
leaq -0xc0(%rbp), %rdi
callq 0x11060
leaq -0xb0(%rbp), %rdi
callq 0x11060
leaq -0x50(%rbp), %rdi
callq 0x11060
movq -0x38(%rbp), %rdi
callq 0x84d0
nop