// File: eryxcc[P]lois/tests/autotest.cpp
// Function: testAssignment(lois::lsetof<lois::term>)
void testAssignment(lsetof<term> A) {
  lbool phi;
  
  try {
    for(term a: A) for(term b: A) phi = (a==b);
  } catch(assignment_exception e) {
    printf("passed: assignment_exception\n");
    }
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x180, %rsp            # imm = 0x180
movq %rdi, -0x150(%rbp)
movq %rdi, -0x8(%rbp)
leaq -0x28(%rbp), %rdi
xorl %esi, %esi
callq 0x14300
movq -0x150(%rbp), %rdi
movq %rdi, -0x30(%rbp)
movq -0x30(%rbp), %rsi
leaq -0x60(%rbp), %rdi
callq 0x116d0
jmp 0x1065b
movq -0x30(%rbp), %rsi
leaq -0xa0(%rbp), %rdi
callq 0x11700
jmp 0x1066d
jmp 0x1066f
leaq -0x60(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0x11730
movb %al, -0x151(%rbp)
jmp 0x10687
movb -0x151(%rbp), %al
testb $0x1, %al
jne 0x106ea
jmp 0x10693
movl $0x2, -0xa4(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x11910
leaq -0x60(%rbp), %rdi
callq 0x11910
jmp 0x1094d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x108db
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x108d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x108c6
leaq -0x60(%rbp), %rdi
callq 0x117e0
movq %rax, -0x160(%rbp)
jmp 0x106fc
movq -0x160(%rbp), %rsi
leaq -0xb8(%rbp), %rdi
callq 0x11800
movq -0x150(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x116d0
jmp 0x10732
movq -0xc0(%rbp), %rsi
leaq -0x120(%rbp), %rdi
callq 0x11700
jmp 0x10747
jmp 0x10749
leaq -0xf0(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0x11730
movb %al, -0x161(%rbp)
jmp 0x10764
movb -0x161(%rbp), %al
testb $0x1, %al
jne 0x107ca
jmp 0x10770
movl $0x4, -0xa4(%rbp)
leaq -0x120(%rbp), %rdi
callq 0x11910
leaq -0xf0(%rbp), %rdi
callq 0x11910
jmp 0x1089e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x108ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x10890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x10884
leaq -0xf0(%rbp), %rdi
callq 0x117e0
movq %rax, -0x170(%rbp)
jmp 0x107df
movq -0x170(%rbp), %rsi
leaq -0x130(%rbp), %rdi
movq %rdi, -0x178(%rbp)
callq 0x11800
movq -0x178(%rbp), %rdx
leaq -0x140(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0x43290
jmp 0x10815
leaq -0x28(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x14370
jmp 0x10827
leaq -0x140(%rbp), %rdi
callq 0x11060
leaq -0x130(%rbp), %rdi
callq 0x11360
leaq -0xf0(%rbp), %rdi
callq 0x118d0
jmp 0x1084d
jmp 0x10749
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x10878
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x140(%rbp), %rdi
callq 0x11060
leaq -0x130(%rbp), %rdi
callq 0x11360
leaq -0x120(%rbp), %rdi
callq 0x11910
leaq -0xf0(%rbp), %rdi
callq 0x11910
jmp 0x108ba
leaq -0xb8(%rbp), %rdi
callq 0x11360
leaq -0x60(%rbp), %rdi
callq 0x118d0
jmp 0x108b5
jmp 0x1066f
leaq -0xb8(%rbp), %rdi
callq 0x11360
leaq -0xa0(%rbp), %rdi
callq 0x11910
leaq -0x60(%rbp), %rdi
callq 0x11910
movl -0x6c(%rbp), %eax
movl $0x1, %ecx
cmpl %ecx, %eax
jne 0x1097e
movq -0x68(%rbp), %rdi
movq %rdi, -0x180(%rbp)
callq 0x83b0
movq %rax, %rsi
leaq -0x148(%rbp), %rdi
callq 0x14710
movq -0x180(%rbp), %rdi
callq 0x8120
leaq 0x61848(%rip), %rdi     # 0x72165
xorl %eax, %eax
callq 0x8050
jmp 0x10926
leaq -0x148(%rbp), %rdi
callq 0x14750
callq 0x8490
jmp 0x10939
jmp 0x1093b
leaq -0x28(%rbp), %rdi
callq 0x14780
addq $0x180, %rsp            # imm = 0x180
popq %rbp
retq
jmp 0x1093b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
leaq -0x148(%rbp), %rdi
callq 0x14750
callq 0x8490
jmp 0x1097c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
jmp 0x1097e
jmp 0x1097e
leaq -0x28(%rbp), %rdi
callq 0x14780
movq -0x68(%rbp), %rdi
callq 0x84d0
movq %rax, %rdi
callq 0x14770
nopl (%rax,%rax)