// File: eryxcc[P]lois/tests/../include/loisextra.h
// Function: lois::lsetof<int>::removeall()
lsetof<T> lsetof<T>::removeall() {
  
  lsetof<T> xyes;
  rbool phi = outenv(true, false, ain);

  swap(xyes.elts, elts);

  pushcontext pc(ain);
  for(const T& a: xyes) Ife(!phi) {
    insert(a, ain);
    }

  return xyes;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x230, %rsp            # imm = 0x230
movq %rdi, -0x1e0(%rbp)
movq %rdi, %rax
movq %rax, -0x1d8(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x1d0(%rbp)
movb $0x0, -0x11(%rbp)
callq 0x135e0
leaq -0x38(%rbp), %rdi
movl $0x1, %esi
callq 0x19590
jmp 0x189b8
movq -0x1d0(%rbp), %rsi
leaq -0x58(%rbp), %rdi
movq %rdi, -0x1f0(%rbp)
callq 0x173b0
leaq 0x8ce1a(%rip), %rsi     # 0xa57f0
leaq -0x68(%rbp), %rdi
movq %rdi, -0x1e8(%rbp)
callq 0x173b0
movq -0x1f0(%rbp), %rcx
movq -0x1e8(%rbp), %r8
leaq -0x28(%rbp), %rdi
leaq -0x38(%rbp), %rsi
xorl %edx, %edx
callq 0x3e180
jmp 0x18a05
leaq -0x68(%rbp), %rdi
callq 0x14b20
leaq -0x58(%rbp), %rdi
callq 0x14b20
leaq -0x38(%rbp), %rdi
callq 0x11060
movq -0x1e0(%rbp), %rdi
movq -0x1d0(%rbp), %rsi
addq $0x10, %rdi
addq $0x10, %rsi
callq 0x195f0
movq -0x1d0(%rbp), %rsi
leaq -0x88(%rbp), %rdi
movq %rdi, -0x1f8(%rbp)
callq 0x173b0
movq -0x1f8(%rbp), %rsi
leaq -0x78(%rbp), %rdi
callq 0x19620
jmp 0x18a67
leaq -0x88(%rbp), %rdi
callq 0x14b20
movq -0x1e0(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rsi
leaq -0xc0(%rbp), %rdi
callq 0x136c0
jmp 0x18a96
movq -0x90(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x136f0
jmp 0x18aab
jmp 0x18aad
leaq -0xc0(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x13310
movb %al, -0x1f9(%rbp)
jmp 0x18ac8
movb -0x1f9(%rbp), %al
testb $0x1, %al
jne 0x18b8c
jmp 0x18ad8
movl $0x2, -0xf4(%rbp)
leaq -0xf0(%rbp), %rdi
callq 0x13420
leaq -0xc0(%rbp), %rdi
callq 0x13420
jmp 0x18e25
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x18e7d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x68(%rbp), %rdi
callq 0x14b20
leaq -0x58(%rbp), %rdi
callq 0x14b20
leaq -0x38(%rbp), %rdi
callq 0x11060
jmp 0x18e7d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x88(%rbp), %rdi
callq 0x14b20
jmp 0x18e56
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x18e4d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x18e17
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x18e0b
leaq -0xc0(%rbp), %rdi
callq 0x133c0
movq %rax, -0x208(%rbp)
jmp 0x18ba1
movq -0x208(%rbp), %rax
movq %rax, -0x100(%rbp)
leaq -0x140(%rbp), %rdi
movq %rdi, -0x210(%rbp)
leaq -0x28(%rbp), %rsi
callq 0x11030
movq -0x210(%rbp), %rsi
leaq -0x130(%rbp), %rdi
callq 0x400a0
jmp 0x18bdb
leaq -0x120(%rbp), %rdi
leaq -0x130(%rbp), %rsi
callq 0x19670
jmp 0x18bf0
leaq -0x130(%rbp), %rdi
callq 0x11060
leaq -0x140(%rbp), %rdi
callq 0x11060
leaq -0x120(%rbp), %rax
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rsi
leaq -0x170(%rbp), %rdi
callq 0x3ead0
jmp 0x18c2b
movq -0x108(%rbp), %rsi
leaq -0x1a0(%rbp), %rdi
callq 0x3eb60
jmp 0x18c40
jmp 0x18c42
leaq -0x170(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
callq 0x11080
testb $0x1, %al
jne 0x18ce9
movl $0x4, -0xf4(%rbp)
leaq -0x1a0(%rbp), %rdi
callq 0x110e0
leaq -0x170(%rbp), %rdi
callq 0x110e0
leaq -0x120(%rbp), %rdi
callq 0x11120
jmp 0x18df6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x18cb6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x130(%rbp), %rdi
callq 0x11060
leaq -0x140(%rbp), %rdi
callq 0x11060
jmp 0x18e0b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x18de8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x18ddc
leaq -0x170(%rbp), %rdi
callq 0x110b0
andb $0x1, %al
movb %al, -0x1a1(%rbp)
testb $0x1, -0x1a1(%rbp)
je 0x18daf
movq -0x1d0(%rbp), %rsi
movq -0x100(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x224(%rbp)
leaq -0x1b8(%rbp), %rdi
movq %rdi, -0x220(%rbp)
callq 0x173b0
leaq 0x8cab6(%rip), %rsi     # 0xa57f0
leaq -0x1c8(%rbp), %rdi
movq %rdi, -0x218(%rbp)
callq 0x173b0
movq -0x1d0(%rbp), %rdi
movl -0x224(%rbp), %esi
movq -0x220(%rbp), %rdx
movq -0x218(%rbp), %rcx
callq 0x196b0
jmp 0x18d6f
leaq -0x1c8(%rbp), %rdi
callq 0x14b20
leaq -0x1b8(%rbp), %rdi
callq 0x14b20
jmp 0x18daf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0x14b20
leaq -0x1b8(%rbp), %rdi
callq 0x14b20
jmp 0x18dd0
jmp 0x18db1
leaq -0x170(%rbp), %rdi
callq 0x3ea80
jmp 0x18dbf
jmp 0x18c42
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1a0(%rbp), %rdi
callq 0x110e0
leaq -0x170(%rbp), %rdi
callq 0x110e0
leaq -0x120(%rbp), %rdi
callq 0x11120
jmp 0x18e0b
jmp 0x18df8
leaq -0xc0(%rbp), %rdi
callq 0x133e0
jmp 0x18e06
jmp 0x18aad
leaq -0xf0(%rbp), %rdi
callq 0x13420
leaq -0xc0(%rbp), %rdi
callq 0x13420
jmp 0x18e4d
movb $0x1, -0x11(%rbp)
movl $0x1, -0xf4(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x1aae0
leaq -0x28(%rbp), %rdi
callq 0x11060
testb $0x1, -0x11(%rbp)
jne 0x18e6d
jmp 0x18e61
leaq -0x78(%rbp), %rdi
callq 0x1aae0
leaq -0x28(%rbp), %rdi
callq 0x11060
jmp 0x18e7d
movq -0x1e0(%rbp), %rdi
callq 0x13d60
movq -0x1d8(%rbp), %rax
addq $0x230, %rsp            # imm = 0x230
popq %rbp
retq
movq -0x1e0(%rbp), %rdi
callq 0x13d60
movq -0x40(%rbp), %rdi
callq 0x84d0
nopw %cs:(%rax,%rax)
nopl (%rax)