// File: /workspace/github_c_makefile_star2_O0/blakemcbride[P]LISP9/ls9.c
// Function: subr1
int subr1(cell x) {
	if (x == P_abs)		return OP_ABS;
	if (x == P_alphac)	return OP_ALPHAC;
	if (x == P_atom)	return OP_ATOM;
	if (x == P_caar)	return OP_CAAR;
	if (x == P_cadr)	return OP_CADR;
	if (x == P_car)		return OP_CAR;
	if (x == P_catchstar)	return OP_CATCHSTAR;
	if (x == P_cdar)	return OP_CDAR;
	if (x == P_cddr)	return OP_CDDR;
	if (x == P_cdr)		return OP_CDR;
	if (x == P_char)	return OP_CHAR;
	if (x == P_charp)	return OP_CHARP;
	if (x == P_charval)	return OP_CHARVAL;
	if (x == P_close_port)	return OP_CLOSE_PORT;
	if (x == P_constp)	return OP_CONSTP;
	if (x == P_ctagp)	return OP_CTAGP;
	if (x == P_delete)	return OP_DELETE;
	if (x == P_dump_image)	return OP_DUMP_IMAGE;
	if (x == P_downcase)	return OP_DOWNCASE;
	if (x == P_dump_image)	return OP_DUMP_IMAGE;
	if (x == P_eofp)	return OP_EOFP;
	if (x == P_eval)	return OP_EVAL;
	if (x == P_existsp)	return OP_EXISTSP;
	if (x == P_fixp)	return OP_FIXP;
	if (x == P_flush)	return OP_FLUSH;
	if (x == P_format)	return OP_FORMAT;
	if (x == P_funp)	return OP_FUNP;
	if (x == P_inportp)	return OP_INPORTP;
	if (x == P_liststr)	return OP_LISTSTR;
	if (x == P_listvec)	return OP_LISTVEC;
	if (x == P_load)	return OP_LOAD;
	if (x == P_lowerc)	return OP_LOWERC;
	if (x == P_mx)		return OP_MX;
	if (x == P_mx1)		return OP_MX1;
	if (x == P_not)		return OP_NULL;
	if (x == P_null)	return OP_NULL;
	if (x == P_numeric)	return OP_NUMERIC;
	if (x == P_open_infile) return OP_OPEN_INFILE;
	if (x == P_outportp)	return OP_OUTPORTP;
	if (x == P_pair)	return OP_PAIR;
	if (x == P_set_inport)	return OP_SET_INPORT;
	if (x == P_set_outport) return OP_SET_OUTPORT;
	if (x == P_ssize)	return OP_SSIZE;
	if (x == P_stringp)	return OP_STRINGP;
	if (x == P_strlist)	return OP_STRLIST;
	if (x == P_symbol)	return OP_SYMBOL;
	if (x == P_symbolp)	return OP_SYMBOLP;
	if (x == P_symname)	return OP_SYMNAME;
	if (x == P_syscmd)	return OP_SYSCMD;
	if (x == P_untag)	return OP_UNTAG;
	if (x == P_upcase)	return OP_UPCASE;
	if (x == P_upperc)	return OP_UPPERC;
	if (x == P_veclist)	return OP_VECLIST;
	if (x == P_vectorp)	return OP_VECTORP;
	if (x == P_vsize)	return OP_VSIZE;
	if (x == P_whitec)	return OP_WHITEC;
	return -1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl %edi, -0x8(%rbp)
movl -0x8(%rbp), %eax
cmpl 0x16128(%rip), %eax     # 0x20778
jne 0xa65e
movl $0x1e, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x16115(%rip), %eax     # 0x2077c
jne 0xa675
movl $0x1f, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x16102(%rip), %eax     # 0x20780
jne 0xa68c
movl $0x20, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x160ef(%rip), %eax     # 0x20784
jne 0xa6a3
movl $0x22, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x160dc(%rip), %eax     # 0x20788
jne 0xa6ba
movl $0x23, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x160c9(%rip), %eax     # 0x2078c
jne 0xa6d1
movl $0x24, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x160b6(%rip), %eax     # 0x20790
jne 0xa6e8
movl $0x11, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x160a3(%rip), %eax     # 0x20794
jne 0xa6ff
movl $0x25, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x16090(%rip), %eax     # 0x20798
jne 0xa716
movl $0x26, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x1607d(%rip), %eax     # 0x2079c
jne 0xa72d
movl $0x27, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x1606a(%rip), %eax     # 0x207a0
jne 0xa744
movl $0x2b, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x16057(%rip), %eax     # 0x207a4
jne 0xa75b
movl $0x2c, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x16044(%rip), %eax     # 0x207a8
jne 0xa772
movl $0x2d, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x16031(%rip), %eax     # 0x207ac
jne 0xa789
movl $0x2f, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x1601e(%rip), %eax     # 0x207b0
jne 0xa7a0
movl $0x34, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x1600b(%rip), %eax     # 0x207b4
jne 0xa7b7
movl $0x35, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15ff8(%rip), %eax     # 0x207b8
jne 0xa7ce
movl $0x36, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15fe5(%rip), %eax     # 0x207bc
jne 0xa7e5
movl $0x39, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15fd2(%rip), %eax     # 0x207c0
jne 0xa7fc
movl $0x38, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15fb7(%rip), %eax     # 0x207bc
jne 0xa813
movl $0x39, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15fa8(%rip), %eax     # 0x207c4
jne 0xa82a
movl $0x3a, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15f95(%rip), %eax     # 0x207c8
jne 0xa841
movl $0x40, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15f82(%rip), %eax     # 0x207cc
jne 0xa858
movl $0x41, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15f6f(%rip), %eax     # 0x207d0
jne 0xa86f
movl $0x42, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15f5c(%rip), %eax     # 0x207d4
jne 0xa886
movl $0x43, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15f49(%rip), %eax     # 0x207d8
jne 0xa89d
movl $0x44, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15f36(%rip), %eax     # 0x207dc
jne 0xa8b4
movl $0x45, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15f23(%rip), %eax     # 0x207e0
jne 0xa8cb
movl $0x4b, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15f10(%rip), %eax     # 0x207e4
jne 0xa8e2
movl $0x4d, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15efd(%rip), %eax     # 0x207e8
jne 0xa8f9
movl $0x4e, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d32(%rip), %eax     # 0x20634
jne 0xa910
movl $0x4f, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15ed3(%rip), %eax     # 0x207ec
jne 0xa927
movl $0x50, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15ec0(%rip), %eax     # 0x207f0
jne 0xa93e
movl $0x57, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15ead(%rip), %eax     # 0x207f4
jne 0xa955
movl $0x58, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e9a(%rip), %eax     # 0x207f8
jne 0xa96c
movl $0x5c, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e87(%rip), %eax     # 0x207fc
jne 0xa983
movl $0x5c, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e74(%rip), %eax     # 0x20800
jne 0xa99a
movl $0x5d, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e61(%rip), %eax     # 0x20804
jne 0xa9b1
movl $0x60, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e4e(%rip), %eax     # 0x20808
jne 0xa9c8
movl $0x63, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e3b(%rip), %eax     # 0x2080c
jne 0xa9df
movl $0x64, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e28(%rip), %eax     # 0x20810
jne 0xa9f6
movl $0x73, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e15(%rip), %eax     # 0x20814
jne 0xaa0d
movl $0x74, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15e02(%rip), %eax     # 0x20818
jne 0xaa24
movl $0x81, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15def(%rip), %eax     # 0x2081c
jne 0xaa3b
movl $0x82, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15ddc(%rip), %eax     # 0x20820
jne 0xaa52
movl $0x83, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15dc9(%rip), %eax     # 0x20824
jne 0xaa69
movl $0x87, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15db6(%rip), %eax     # 0x20828
jne 0xaa80
movl $0x88, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15da3(%rip), %eax     # 0x2082c
jne 0xaa97
movl $0x89, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d90(%rip), %eax     # 0x20830
jne 0xaaae
movl $0x8b, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d7d(%rip), %eax     # 0x20834
jne 0xaac2
movl $0x8d, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d6d(%rip), %eax     # 0x20838
jne 0xaad6
movl $0x8e, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d5d(%rip), %eax     # 0x2083c
jne 0xaaea
movl $0x8f, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d4d(%rip), %eax     # 0x20840
jne 0xaafe
movl $0x91, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d3d(%rip), %eax     # 0x20844
jne 0xab12
movl $0x92, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d2d(%rip), %eax     # 0x20848
jne 0xab26
movl $0x96, -0x4(%rbp)
jmp 0xab41
movl -0x8(%rbp), %eax
cmpl 0x15d1d(%rip), %eax     # 0x2084c
jne 0xab3a
movl $0x97, -0x4(%rbp)
jmp 0xab41
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
movl -0x4(%rbp), %eax
popq %rbp
retq
nopw %cs:(%rax,%rax)