// File: /workspace/github_c_makefile_star2_O3/azhai[P]mlite/mlite.c
// Function: pat_logop
cell pat_logop(int op, int k) {
	cell	n, a, p, new;

	n = op == TOK_ALSO? pat_infix(k): pat_logop(TOK_ALSO, k);
	if (Token != op)
		return n;
	Tmp = n;
	p = pat(n);
	n = opr(n) == NIL? pat(n): opr(n);
	save(p);
	a = node(n, NIL);
	Tmp = NIL;
	save(a);
	while (Token == op) {
		Token = scan();
		set(cdr(a), node(NIL, NIL));
		a = cdr(a);
		n = op == TOK_ALSO? pat_infix(k):
				pat_logop(TOK_ALSO, k);
		if (symbol_p(pat(n)))
			p = cadr(Stack) = pat(n);
		n = opr(n) == NIL? pat(n): opr(n);
		car(a) = n;
	}
	n = unsave(1);
	if (cdr(n) == NIL) {
		p = unsave(1);
		return node(p, car(n));
	}
	n = node(op==TOK_OR? S_or: S_also, n);
	return node(unsave(1), n);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movl %esi, %r14d
movl %edi, %ebx
cmpl $0xffffff38, %edi       # imm = 0xFFFFFF38
jne 0xb10a
movl %r14d, %edi
callq 0xaea7
jmp 0xb117
movl $0xffffff38, %edi       # imm = 0xFFFFFF38
movl %r14d, %esi
callq 0xb0e8
cmpl %ebx, 0x135b3(%rip)     # 0x1e6d0
jne 0xb29d
movq %rax, 0x12fe6(%rip)     # 0x1e110
movq 0x1303f(%rip), %rcx     # 0x1e170
movq (%rcx,%rax,8), %rdi
movq 0x13484(%rip), %rcx     # 0x1e5c0
movq (%rcx,%rax,8), %r15
cmpq $-0x1, %r15
cmoveq %rdi, %r15
movq 0x12fd9(%rip), %rsi     # 0x1e128
xorl %edx, %edx
callq 0x36e8
movq %rax, 0x12fcb(%rip)     # 0x1e128
movq %r15, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r12
movq $-0x1, 0x12f94(%rip) # 0x1e110
movq 0x12fa5(%rip), %rsi     # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0x12f94(%rip)     # 0x1e128
cmpl %ebx, 0x13536(%rip)     # 0x1e6d0
jne 0xb248
callq 0x9ac4
movl %eax, 0x13525(%rip)     # 0x1e6d0
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r15
movq 0x133f6(%rip), %rax     # 0x1e5c0
movq %r15, (%rax,%r12,8)
cmpl $0xffffff38, %ebx       # imm = 0xFFFFFF38
jne 0xb1e0
movl %r14d, %edi
callq 0xaea7
jmp 0xb1ed
movl $0xffffff38, %edi       # imm = 0xFFFFFF38
movl %r14d, %esi
callq 0xb0e8
movq 0x12f7c(%rip), %rcx     # 0x1e170
movq (%rcx,%rax,8), %rdx
testq %rdx, %rdx
js 0xb227
movq 0x133dc(%rip), %rsi     # 0x1e5e0
testb $0x10, (%rsi,%rdx)
je 0xb227
cmpq $-0x22, (%rcx,%rdx,8)
jne 0xb227
movq 0x133a8(%rip), %rsi     # 0x1e5c0
movq 0x12f09(%rip), %rdi     # 0x1e128
movq (%rsi,%rdi,8), %rsi
movq %rdx, (%rcx,%rsi,8)
movq 0x13392(%rip), %rdx     # 0x1e5c0
movq (%rdx,%rax,8), %rdx
cmpq $-0x1, %rdx
jne 0xb23c
movq (%rcx,%rax,8), %rdx
movq %rdx, (%rcx,%r15,8)
movq %r15, %r12
jmp 0xb194
movl $0x1, %edi
callq 0x384f
movq %rax, %r14
movq 0x13364(%rip), %rax     # 0x1e5c0
cmpq $-0x1, (%rax,%r14,8)
je 0xb2a6
cmpl $0xffffff23, %ebx       # imm = 0xFFFFFF23
leaq 0x13490(%rip), %rax     # 0x1e700
leaq 0x13471(%rip), %rcx     # 0x1e6e8
cmoveq %rax, %rcx
movq (%rcx), %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %rbx
movl $0x1, %edi
callq 0x384f
movq %rax, %rdi
movq %rbx, %rsi
jmp 0xb2be
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl $0x1, %edi
callq 0x384f
movq 0x12eb9(%rip), %rcx     # 0x1e170
movq (%rcx,%r14,8), %rsi
movq %rax, %rdi
xorl %edx, %edx
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x36e8