// File: /workspace/github_c_makefile_star2_O0/azhai[P]mlite/mlite.c
// Function: setfixity
void setfixity(cell op, char *refop, int a, int rel) {
	cell	p, n, new;

	p = locate_op(refop);
	n = make_integer(a);
	n = node(n, NIL);
	save(n);
	n = make_string("", strlen(symbol_name(op)));
	strcpy(string(n), symbol_name(op));
	n = node(n, unsave(1));
	if (rel == S_less) {
		n = node(n, NIL);
		set(cdr(p), node(n, cdr(p)));
	}
	else if (rel == S_equal) {
		p = cdr(p);
		set(car(p), node(n, car(p)));
	}
	else if (rel == S_greater) {
		n = node(n, NIL);
		p = cdr(p);
		set(cdr(p), node(n, cdr(p)));
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl %ecx, -0x18(%rbp)
movq -0x10(%rbp), %rdi
callq 0x119b0
movq %rax, -0x20(%rbp)
movslq -0x14(%rbp), %rdi
callq 0x3740
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
movq 0x16567(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x16559(%rip)     # 0x28138
movq 0x16a12(%rip), %rdi     # 0x285f8
movq 0x169e3(%rip), %rax     # 0x285d0
movq -0x8(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3, %rax
addq %rax, %rdi
callq 0x30a0
movl %eax, %esi
leaq 0xfdca(%rip), %rdi      # 0x219d4
callq 0xa160
movq %rax, -0x28(%rbp)
movq 0x169de(%rip), %rdi     # 0x285f8
movq 0x169af(%rip), %rax     # 0x285d0
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq 0x169c1(%rip), %rsi     # 0x285f8
movq 0x16992(%rip), %rax     # 0x285d0
movq -0x8(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3, %rax
addq %rax, %rsi
callq 0x3060
movq -0x28(%rbp), %rax
movq %rax, -0x38(%rbp)
movl $0x1, %edi
callq 0x3950
movq -0x38(%rbp), %rdi
movq %rax, %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x28(%rbp)
movslq -0x18(%rbp), %rax
cmpq 0x16b07(%rip), %rax     # 0x28788
jne 0x11ccf
movq -0x28(%rbp), %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
movq 0x1692c(%rip), %rax     # 0x285d0
movq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdx
movq 0x1690e(%rip), %rax     # 0x285d0
movq -0x20(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x11d8d
movslq -0x18(%rbp), %rax
cmpq 0x16a2e(%rip), %rax     # 0x28708
jne 0x11d22
movq 0x168ed(%rip), %rax     # 0x285d0
movq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rdi
movq 0x16486(%rip), %rax     # 0x28180
movq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdx
movq 0x16468(%rip), %rax     # 0x28180
movq -0x20(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x11d8b
movslq -0x18(%rbp), %rax
cmpq 0x16a63(%rip), %rax     # 0x28790
jne 0x11d89
movq -0x28(%rbp), %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x28(%rbp)
movq 0x16884(%rip), %rax     # 0x285d0
movq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rdi
movq 0x1686d(%rip), %rax     # 0x285d0
movq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdx
movq 0x1684f(%rip), %rax     # 0x285d0
movq -0x20(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x11d8b
jmp 0x11d8d
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)