// File: /workspace/github_c_makefile_star2_O0/blakemcbride[P]LISP9/ls9.c
// Function: subr2
int subr2(cell x) {
	if (x == P_cons)	return OP_CONS;
	if (x == P_div)		return OP_DIV;
	if (x == P_eq)		return OP_EQ;
	if (x == P_nreconc)	return OP_NRECONC;
	if (x == P_reconc)	return OP_RECONC;
	if (x == P_rem)		return OP_REM;
	if (x == P_rename)	return OP_RENAME;
	if (x == P_sless)	return OP_SLESS;
	if (x == P_slteq)	return OP_SLTEQ;
	if (x == P_sequal)	return OP_SEQUAL;
	if (x == P_sgrtr)	return OP_SGRTR;
	if (x == P_sgteq)	return OP_SGTEQ;
	if (x == P_setcar)	return OP_SETCAR;
	if (x == P_setcdr)	return OP_SETCDR;
	if (x == P_sfill)	return OP_SFILL;
	if (x == P_siless)	return OP_SILESS;
	if (x == P_silteq)	return OP_SILTEQ;
	if (x == P_siequal)	return OP_SIEQUAL;
	if (x == P_sigrtr)	return OP_SIGRTR;
	if (x == P_sigteq)	return OP_SIGTEQ;
	if (x == P_sref)	return OP_SREF;
	if (x == P_throwstar)	return OP_THROWSTAR;
	if (x == P_vfill)	return OP_VFILL;
	if (x == P_vref)	return OP_VREF;
	return -1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl %edi, -0x8(%rbp)
movl -0x8(%rbp), %eax
cmpl 0x15cf0(%rip), %eax     # 0x20850
jne 0xab6e
movl $0x33, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15cdd(%rip), %eax     # 0x20854
jne 0xab85
movl $0x37, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15cca(%rip), %eax     # 0x20858
jne 0xab9c
movl $0x3b, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15cb7(%rip), %eax     # 0x2085c
jne 0xabb3
movl $0x5b, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15ca4(%rip), %eax     # 0x20860
jne 0xabca
movl $0x6c, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15c91(%rip), %eax     # 0x20864
jne 0xabe1
movl $0x6d, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15c7e(%rip), %eax     # 0x20868
jne 0xabf8
movl $0x6e, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15c6b(%rip), %eax     # 0x2086c
jne 0xac0f
movl $0x7d, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15c58(%rip), %eax     # 0x20870
jne 0xac26
movl $0x7e, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15c45(%rip), %eax     # 0x20874
jne 0xac3d
movl $0x70, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15c32(%rip), %eax     # 0x20878
jne 0xac54
movl $0x76, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15c1f(%rip), %eax     # 0x2087c
jne 0xac6b
movl $0x77, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15c0c(%rip), %eax     # 0x20880
jne 0xac82
movl $0x71, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15bf9(%rip), %eax     # 0x20884
jne 0xac99
movl $0x72, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15be6(%rip), %eax     # 0x20888
jne 0xacb0
movl $0x75, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15bd3(%rip), %eax     # 0x2088c
jne 0xacc7
movl $0x7b, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15bc0(%rip), %eax     # 0x20890
jne 0xacde
movl $0x7c, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15bad(%rip), %eax     # 0x20894
jne 0xacf2
movl $0x78, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15b9d(%rip), %eax     # 0x20898
jne 0xad06
movl $0x79, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15b8d(%rip), %eax     # 0x2089c
jne 0xad1a
movl $0x7a, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15b7d(%rip), %eax     # 0x208a0
jne 0xad2e
movl $0x7f, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15b6d(%rip), %eax     # 0x208a4
jne 0xad42
movl $0x12, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15b5d(%rip), %eax     # 0x208a8
jne 0xad56
movl $0x93, -0x4(%rbp)
jmp 0xad71
movl -0x8(%rbp), %eax
cmpl 0x15b4d(%rip), %eax     # 0x208ac
jne 0xad6a
movl $0x94, -0x4(%rbp)
jmp 0xad71
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
movl -0x4(%rbp), %eax
popq %rbp
retq
nopw %cs:(%rax,%rax)