// File: /workspace/github_c_makefile_star2_O1/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 0xb26b
movl %r14d, %edi
callq 0xb00a
jmp 0xb278
movl $0xffffff38, %edi       # imm = 0xFFFFFF38
movl %r14d, %esi
callq 0xb249
cmpl %ebx, 0x13452(%rip)     # 0x1e6d0
jne 0xb3fe
movq %rax, 0x12e85(%rip)     # 0x1e110
movq 0x12ede(%rip), %rcx     # 0x1e170
movq (%rcx,%rax,8), %rdi
movq 0x13323(%rip), %rcx     # 0x1e5c0
movq (%rcx,%rax,8), %r15
cmpq $-0x1, %r15
cmoveq %rdi, %r15
movq 0x12e78(%rip), %rsi     # 0x1e128
xorl %edx, %edx
callq 0x36e8
movq %rax, 0x12e6a(%rip)     # 0x1e128
movq %r15, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r12
movq $-0x1, 0x12e33(%rip) # 0x1e110
movq 0x12e44(%rip), %rsi     # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0x12e33(%rip)     # 0x1e128
cmpl %ebx, 0x133d5(%rip)     # 0x1e6d0
jne 0xb3a9
callq 0x9c07
movl %eax, 0x133c4(%rip)     # 0x1e6d0
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r15
movq 0x13295(%rip), %rax     # 0x1e5c0
movq %r15, (%rax,%r12,8)
cmpl $0xffffff38, %ebx       # imm = 0xFFFFFF38
jne 0xb341
movl %r14d, %edi
callq 0xb00a
jmp 0xb34e
movl $0xffffff38, %edi       # imm = 0xFFFFFF38
movl %r14d, %esi
callq 0xb249
movq 0x12e1b(%rip), %rcx     # 0x1e170
movq (%rcx,%rax,8), %rdx
testq %rdx, %rdx
js 0xb388
movq 0x1327b(%rip), %rsi     # 0x1e5e0
testb $0x10, (%rsi,%rdx)
je 0xb388
cmpq $-0x22, (%rcx,%rdx,8)
jne 0xb388
movq 0x13247(%rip), %rsi     # 0x1e5c0
movq 0x12da8(%rip), %rdi     # 0x1e128
movq (%rsi,%rdi,8), %rsi
movq %rdx, (%rcx,%rsi,8)
movq 0x13231(%rip), %rdx     # 0x1e5c0
movq (%rdx,%rax,8), %rdx
cmpq $-0x1, %rdx
jne 0xb39d
movq (%rcx,%rax,8), %rdx
movq %rdx, (%rcx,%r15,8)
movq %r15, %r12
jmp 0xb2f5
movl $0x1, %edi
callq 0x3851
movq %rax, %r14
movq 0x13203(%rip), %rax     # 0x1e5c0
cmpq $-0x1, (%rax,%r14,8)
je 0xb407
cmpl $0xffffff23, %ebx       # imm = 0xFFFFFF23
leaq 0x1332f(%rip), %rax     # 0x1e700
leaq 0x13310(%rip), %rcx     # 0x1e6e8
cmoveq %rax, %rcx
movq (%rcx), %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %rbx
movl $0x1, %edi
callq 0x3851
movq %rax, %rdi
movq %rbx, %rsi
jmp 0xb41f
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl $0x1, %edi
callq 0x3851
movq 0x12d58(%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