// File: /workspace/github_c_makefile_star2_O3/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 0x144d5
movq %rax, %r12
movq 0x10(%r15), %r13
testq %r13, %r13
sete %al
leaq 0x4f7a9(%rip), %r15     # 0x659d0
cmpq %r15, %r12
sete %cl
orb %al, %cl
movq %r15, %rax
jne 0x162ec
movzbl (%r13), %eax
movq %r13, %rcx
cmpl $0x3, %eax
jne 0x16249
movq 0x60(%r13), %rcx
cmpq 0x49d98(%rip), %rcx     # 0x5ffe8
je 0x16262
cmpl $0x6, 0x4(%r12)
jne 0x1626a
cmpq $0x2, 0x18(%r12)
jae 0x1626a
movq %r12, %rax
jmp 0x162ec
movq %r13, %rcx
cmpl $0x3, %eax
jne 0x16276
movq 0x60(%r13), %rcx
movq 0x60(%rcx), %rax
cmpq 0x49ccf(%rip), %rax     # 0x5ff50
je 0x16291
xorl %edi, %edi
callq 0x13745
movl $0x30, %edx
jmp 0x162cf
fldz
fstpt (%rsp)
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1558f
cmpb $0x3, (%r13)
movq %r13, %rcx
jne 0x162af
movq 0x60(%r13), %rcx
movq 0x60(%rcx), %rcx
movl $0x30, %edx
cmpq 0x49c91(%rip), %rcx     # 0x5ff50
jne 0x162cf
leaq 0x2b958(%rip), %rcx     # 0x41c20
movsbl 0x183(%rcx), %edx
leaq 0x54d62(%rip), %rsi     # 0x6b038
movq %rbx, %rdi
movq %r12, %rcx
movq %rax, %r8
callq 0x16d1b
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 0x144d5
movq %rax, %r12
movq 0x10(%r13), %r13
testq %r13, %r13
sete %al
cmpq %r15, %r12
sete %cl
orb %al, %cl
jne 0x163d5
movzbl (%r13), %eax
movq %r13, %rcx
cmpl $0x3, %eax
jne 0x1632f
movq 0x60(%r13), %rcx
cmpq 0x49cb2(%rip), %rcx     # 0x5ffe8
je 0x16348
cmpl $0x6, 0x4(%r12)
jne 0x16350
cmpq $0x2, 0x18(%r12)
jae 0x16350
movq %r12, %r15
jmp 0x163d5
movq %r13, %rcx
cmpl $0x3, %eax
jne 0x1635c
movq 0x60(%r13), %rcx
movq 0x60(%rcx), %rax
cmpq 0x49be9(%rip), %rax     # 0x5ff50
je 0x16377
xorl %edi, %edi
callq 0x13745
movl $0x30, %edx
jmp 0x163b5
fldz
fstpt (%rsp)
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1558f
cmpb $0x3, (%r13)
movq %r13, %rcx
jne 0x16395
movq 0x60(%r13), %rcx
movq 0x60(%rcx), %rcx
movl $0x30, %edx
cmpq 0x49bab(%rip), %rcx     # 0x5ff50
jne 0x163b5
leaq 0x2b872(%rip), %rcx     # 0x41c20
movsbl 0x183(%rcx), %edx
leaq 0x54c7c(%rip), %rsi     # 0x6b038
movq %rbx, %rdi
movq %r12, %rcx
movq %rax, %r8
callq 0x16d1b
movq %rax, %r15
movq 0x18(%rax), %rax
movq %r13, 0x40(%rax)
leaq 0x54c5c(%rip), %r12     # 0x6b038
movq %rbx, %rdi
movq %r12, %rsi
movl %ebp, %edx
movq 0x10(%rsp), %rcx
movq %r15, %r8
callq 0x16d1b
movq 0x10(%r14), %rcx
cmpq %r12, %rcx
je 0x1641a
leaq 0x54c37(%rip), %rdx     # 0x6b038
movq %rbx, %rdi
movq %rax, %rsi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x17589
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq