// File: /workspace/github_c_makefile_star2_O0/azhai[P]mlite/mlite.c
// Function: uses_transformer_p
int uses_transformer_p(cell x) {
	cell	y;

	if (atom_p(x) || car(x) == S_quote)
		return 0;
	if (tuple_p(x) && symbol_p(car(x))) {
		y = lookup(car(x), Environment, 0);
		if (y != NIL && syntax_p(binding_value(y)))
			return 1;
	}
	while (tuple_p(x)) {
		if (uses_transformer_p(car(x)))
			return 1;
		x = cdr(x);
	}
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x10(%rbp)
cmpq $0x0, -0x10(%rbp)
jl 0x1b989
movq 0xcca6(%rip), %rax      # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x1b989
movq 0xcc8f(%rip), %rax      # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x1b989
movq 0xc808(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rax
cmpq 0xcd31(%rip), %rax      # 0x286b8
jne 0x1b995
movl $0x0, -0x4(%rbp)
jmp 0x1bb82
cmpq $0x0, -0x10(%rbp)
jl 0x1bad5
movq 0xcc49(%rip), %rax      # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x1bad5
movq 0xcc2e(%rip), %rax      # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x1bad5
movq 0xcc13(%rip), %rax      # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
jne 0x1bad5
movq 0xc788(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1bad5
movq 0xcbe2(%rip), %rax      # 0x285f0
movq 0xc76b(%rip), %rcx      # 0x28180
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x1bad5
movq 0xc74c(%rip), %rax      # 0x28180
movq 0xc745(%rip), %rcx      # 0x28180
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x22, (%rax,%rcx,8)
jne 0x1bad5
movq 0xc72b(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xc6b4(%rip), %rsi      # 0x28118
xorl %edx, %edx
callq 0x12a80
movq %rax, -0x18(%rbp)
cmpq $-0x1, -0x18(%rbp)
je 0x1bad3
movq 0xcb53(%rip), %rax      # 0x285d0
movq -0x18(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1bad3
movq 0xcb61(%rip), %rax      # 0x285f0
movq 0xcb3a(%rip), %rcx      # 0x285d0
movq -0x18(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1bad3
movq 0xc6cf(%rip), %rax      # 0x28180
movq 0xcb18(%rip), %rcx      # 0x285d0
movq -0x18(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x23, (%rax,%rcx,8)
jne 0x1bad3
movl $0x1, -0x4(%rbp)
jmp 0x1bb82
jmp 0x1bad5
jmp 0x1bad7
xorl %eax, %eax
cmpq $0x0, -0x10(%rbp)
movb %al, -0x19(%rbp)
jl 0x1bb38
movq 0xcb06(%rip), %rax      # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %ecx
andl $0x1, %ecx
xorl %eax, %eax
cmpl $0x0, %ecx
movb %al, -0x19(%rbp)
jne 0x1bb38
movq 0xcaea(%rip), %rax      # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %ecx
andl $0x10, %ecx
xorl %eax, %eax
cmpl $0x0, %ecx
movb %al, -0x19(%rbp)
jne 0x1bb38
movq 0xcace(%rip), %rax      # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
setne %al
xorb $-0x1, %al
movb %al, -0x19(%rbp)
movb -0x19(%rbp), %al
testb $0x1, %al
jne 0x1bb41
jmp 0x1bb7b
movq 0xc638(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x1b930
cmpl $0x0, %eax
je 0x1bb63
movl $0x1, -0x4(%rbp)
jmp 0x1bb82
movq 0xca66(%rip), %rax      # 0x285d0
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x10(%rbp)
jmp 0x1bad7
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x20, %rsp
popq %rbp
retq
nopl (%rax,%rax)