// File: /workspace/github_c_makefile_star2_O1/lucvoo[P]sparse-dev/linearize.c
// Function: linearize_binop_bool
static pseudo_t linearize_binop_bool(struct entrypoint *ep, struct expression *expr)
{
	pseudo_t src1, src2, dst;
	int op = (expr->op == SPECIAL_LOGICAL_OR) ? OP_OR : OP_AND;

	src1 = linearize_expression_to_bool(ep, expr->left);
	src2 = linearize_expression_to_bool(ep, expr->right);
	dst = add_binary_op(ep, &bool_ctype, op, src1, src2);
	if (expr->ctype != &bool_ctype)
		dst = cast_pseudo(ep, dst, &bool_ctype, expr->ctype);
	return dst;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %r14
movq %rdi, %rbx
xorl %ebp, %ebp
cmpl $0x10e, 0x4(%rsi)       # imm = 0x10E
sete %bpl
movq 0x20(%rsi), %r15
movq %r15, %rsi
callq 0x1447d
movq %rax, %r12
movq 0x10(%r15), %r13
testq %r13, %r13
sete %al
leaq 0x5100f(%rip), %r15     # 0x669d0
cmpq %r15, %r12
sete %cl
orb %al, %cl
movq %r15, %rax
jne 0x15a86
movzbl (%r13), %eax
movq %r13, %rcx
cmpl $0x3, %eax
jne 0x159e3
movq 0x60(%r13), %rcx
cmpq 0x4b5f6(%rip), %rcx     # 0x60fe0
je 0x159fc
cmpl $0x6, 0x4(%r12)
jne 0x15a04
cmpq $0x2, 0x18(%r12)
jae 0x15a04
movq %r12, %rax
jmp 0x15a86
movq %r13, %rcx
cmpl $0x3, %eax
jne 0x15a10
movq 0x60(%r13), %rcx
movq 0x60(%rcx), %rax
cmpq 0x4b525(%rip), %rax     # 0x60f40
je 0x15a2b
xorl %edi, %edi
callq 0x136d3
movl $0x30, %edx
jmp 0x15a69
fldz
fstpt (%rsp)
movq %rbx, %rdi
movq %r13, %rsi
callq 0x149c4
cmpb $0x3, (%r13)
movq %r13, %rcx
jne 0x15a49
movq 0x60(%r13), %rcx
movq 0x60(%rcx), %rcx
movl $0x30, %edx
cmpq 0x4b4e7(%rip), %rcx     # 0x60f40
jne 0x15a69
leaq 0x2d1ee(%rip), %rcx     # 0x42c50
movsbl 0x183(%rcx), %edx
leaq 0x565c8(%rip), %rsi     # 0x6c038
movq %rbx, %rdi
movq %r12, %rcx
movq %rax, %r8
callq 0x16d46
movq 0x18(%rax), %rcx
movq %r13, 0x40(%rcx)
movq %rax, 0x10(%rsp)
orl $0x16, %ebp
movq 0x28(%r14), %r13
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1447d
movq %rax, %r12
movq 0x10(%r13), %r13
testq %r13, %r13
sete %al
cmpq %r15, %r12
sete %cl
orb %al, %cl
jne 0x15b6f
movzbl (%r13), %eax
movq %r13, %rcx
cmpl $0x3, %eax
jne 0x15ac9
movq 0x60(%r13), %rcx
cmpq 0x4b510(%rip), %rcx     # 0x60fe0
je 0x15ae2
cmpl $0x6, 0x4(%r12)
jne 0x15aea
cmpq $0x2, 0x18(%r12)
jae 0x15aea
movq %r12, %r15
jmp 0x15b6f
movq %r13, %rcx
cmpl $0x3, %eax
jne 0x15af6
movq 0x60(%r13), %rcx
movq 0x60(%rcx), %rax
cmpq 0x4b43f(%rip), %rax     # 0x60f40
je 0x15b11
xorl %edi, %edi
callq 0x136d3
movl $0x30, %edx
jmp 0x15b4f
fldz
fstpt (%rsp)
movq %rbx, %rdi
movq %r13, %rsi
callq 0x149c4
cmpb $0x3, (%r13)
movq %r13, %rcx
jne 0x15b2f
movq 0x60(%r13), %rcx
movq 0x60(%rcx), %rcx
movl $0x30, %edx
cmpq 0x4b401(%rip), %rcx     # 0x60f40
jne 0x15b4f
leaq 0x2d108(%rip), %rcx     # 0x42c50
movsbl 0x183(%rcx), %edx
leaq 0x564e2(%rip), %rsi     # 0x6c038
movq %rbx, %rdi
movq %r12, %rcx
movq %rax, %r8
callq 0x16d46
movq %rax, %r15
movq 0x18(%rax), %rax
movq %r13, 0x40(%rax)
leaq 0x564c2(%rip), %r12     # 0x6c038
movq %rbx, %rdi
movq %r12, %rsi
movl %ebp, %edx
movq 0x10(%rsp), %rcx
movq %r15, %r8
callq 0x16d46
movq 0x10(%r14), %rcx
cmpq %r12, %rcx
je 0x15bb4
leaq 0x5649d(%rip), %rdx     # 0x6c038
movq %rbx, %rdi
movq %rax, %rsi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x175ad
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq