// File: /workspace/github_c_makefile_star2_O0/markdryan[P]subtilis/frontend/float64_type.c
// Function: prv_is_inf
static subtilis_exp_t *prv_is_inf(subtilis_parser_t *p, subtilis_exp_t *e,
				  subtilis_error_t *err)

{
	const subtilis_symbol_t *s;
	int32_t offset;
	subtilis_ir_operand_t op1;
	subtilis_ir_operand_t op2;
	size_t reg;

	s = subtilis_symbol_table_create_local_buf(p->local_st, 8, err);
	if (err->type != SUBTILIS_ERROR_OK)
		goto cleanup;

	prv_assign_to_mem(p, SUBTILIS_IR_REG_LOCAL, s->loc, e, err);
	e = NULL;
	if (err->type != SUBTILIS_ERROR_OK)
		goto cleanup;

	offset = (p->backend.caps & SUBTILIS_BACKEND_REVERSE_DOUBLES) ? 0 : 4;

	op1.reg = SUBTILIS_IR_REG_LOCAL;
	op2.integer = s->loc + offset;
	reg = subtilis_ir_section_add_instr(
	    p->current, SUBTILIS_OP_INSTR_LOADO_I32, op1, op2, err);
	if (err->type != SUBTILIS_ERROR_OK)
		goto cleanup;

	/*
	 * Shift left by one to get rid of the sign bit.
	 */

	op1.reg = reg;
	op2.integer = 1;
	reg = subtilis_ir_section_add_instr(
	    p->current, SUBTILIS_OP_INSTR_LSLI_I32, op1, op2, err);
	if (err->type != SUBTILIS_ERROR_OK)
		goto cleanup;

	op1.reg = reg;
	op2.integer = 2047 << 21;
	reg = subtilis_ir_section_add_instr(
	    p->current, SUBTILIS_OP_INSTR_EQI_I32, op1, op2, err);
	if (err->type != SUBTILIS_ERROR_OK)
		goto cleanup;

	return subtilis_exp_new_int32_var(reg, err);

cleanup:

	subtilis_exp_delete(e);
	return NULL;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x10(%rbp), %rax
movq 0x68(%rax), %rdi
movq -0x20(%rbp), %rdx
movl $0x8, %esi
callq 0x3c7d0
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x4d09c
jmp 0x4d1bf
movq -0x10(%rbp), %rdi
movq -0x28(%rbp), %rax
movq (%rax), %rdx
movq -0x18(%rbp), %rcx
movq -0x20(%rbp), %r8
movl $0x2, %esi
callq 0x4c070
movq $0x0, -0x18(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x4d0cf
jmp 0x4d1bf
movq -0x10(%rbp), %rax
movl 0x8(%rax), %edx
andl $0x20, %edx
movl $0x4, %eax
xorl %ecx, %ecx
cmpl $0x0, %edx
cmovnel %ecx, %eax
movl %eax, -0x2c(%rbp)
movq $0x2, -0x38(%rbp)
movq -0x28(%rbp), %rax
movq (%rax), %rax
movslq -0x2c(%rbp), %rcx
addq %rcx, %rax
movl %eax, -0x40(%rbp)
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rdi
movq -0x20(%rbp), %r8
movq -0x38(%rbp), %rdx
movq -0x40(%rbp), %rcx
movl $0x12, %esi
callq 0x38230
movq %rax, -0x48(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x4d132
jmp 0x4d1bf
movq -0x48(%rbp), %rax
movq %rax, -0x38(%rbp)
movl $0x1, -0x40(%rbp)
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rdi
movq -0x20(%rbp), %r8
movq -0x38(%rbp), %rdx
movq -0x40(%rbp), %rcx
movl $0x4c, %esi
callq 0x38230
movq %rax, -0x48(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x4d16e
jmp 0x4d1bf
movq -0x48(%rbp), %rax
movq %rax, -0x38(%rbp)
movl $0xffe00000, -0x40(%rbp) # imm = 0xFFE00000
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rdi
movq -0x20(%rbp), %r8
movq -0x38(%rbp), %rdx
movq -0x40(%rbp), %rcx
movl $0x2d, %esi
callq 0x38230
movq %rax, -0x48(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x4d1aa
jmp 0x4d1bf
movq -0x48(%rbp), %rax
movl %eax, %edi
movq -0x20(%rbp), %rsi
callq 0x37770
movq %rax, -0x8(%rbp)
jmp 0x4d1d0
movq -0x18(%rbp), %rdi
callq 0x36ee0
movq $0x0, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
nopw (%rax,%rax)