// File: /workspace/github_c_makefile_star2_O0/lucvoo[P]sparse-dev/simplify.c
// Function: simplify_and_one_side
static int simplify_and_one_side(struct instruction *insn, pseudo_t *p1, pseudo_t *p2)
{
	struct instruction *def, *defr = NULL;
	pseudo_t src1 = *p1;

	switch (DEF_OPCODE(def, src1)) {
	case OP_NOT:
		if (def->src == *p2)
			return replace_with_value(insn, 0);
		break;
	case OP_BINCMP ... OP_BINCMP_END:
		if (DEF_OPCODE(defr, *p2) == opcode_negate(def->opcode)) {
			if (def->src1 == defr->src1 && def->src2 == defr->src2)
				return replace_with_value(insn, 0);
		}
		if (def->opcode == OP_SET_GE && is_zero(def->src2)) {
			switch (DEF_OPCODE(defr, *p2)) {
			case OP_SET_LE:
				if (!is_positive(defr->src2, defr->itype->bit_size))
					break;
				// (x >= 0) && (x <= C) --> (x u<= C)
				insn->itype = defr->itype;
				replace_binop(insn, OP_SET_BE, &insn->src1, defr->src1, &insn->src2, defr->src2);
				return REPEAT_CSE;
			}
		}
		break;
	case OP_OR:
		if (DEF_OPCODE(defr, *p2) == OP_OR) {
			if (defr->src2 == def->src2 && can_move_to(def->src2, defr)) {
				// ((x | z) & (y | z)) into ((x & y) | z)
				swap_insn(insn, defr, def->src1, defr->src1, def->src2);
				return REPEAT_CSE;
			}
			if (defr->src1 == def->src1 && can_move_to(def->src1, defr)) {
				// ((z | x) & (z | y)) into ((x & y) | z)
				swap_insn(insn, defr, def->src2, defr->src2, def->src1);
				return REPEAT_CSE;
			}
			if (defr->src1 == def->src2 && can_move_to(def->src1, defr)) {
				// ((x | z) & (z | y)) into ((x & y) | z)
				swap_insn(insn, defr, def->src1, defr->src2, def->src2);
				return REPEAT_CSE;
			}
		}
		break;
	case OP_SHL: case OP_LSR: case OP_ASR:
		if (DEF_OPCODE(defr, *p2) == def->opcode && defr->src2 == def->src2) {
			if (can_move_to(def->src1, defr)) {
				// SHIFT(x, s) & SHIFT(y, s) --> SHIFT((x & y), s)
				swap_insn(insn, defr, def->src1, defr->src1, def->src2);
				return REPEAT_CSE;
			}
		}
		break;
	}
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq $0x0, -0x30(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3bc11
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, %rax
je 0x3bc11
movq -0x28(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x3c(%rbp)
jmp 0x3bc18
xorl %eax, %eax
movl %eax, -0x3c(%rbp)
jmp 0x3bc18
movl -0x3c(%rbp), %eax
addl $-0xf, %eax
movl %eax, %ecx
movq %rcx, -0x48(%rbp)
subl $0x22, %eax
ja 0x3bfd1
movq -0x48(%rbp), %rax
leaq 0x2d3ec(%rip), %rcx     # 0x69024
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x20(%rbp), %rcx
cmpq (%rcx), %rax
jne 0x3bc67
movq -0x10(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x39480
movl %eax, -0x4(%rbp)
jmp 0x3bfd8
jmp 0x3bfd1
movq -0x20(%rbp), %rax
movq (%rax), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3bc9c
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x3bc9c
movq -0x30(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x4c(%rbp)
jmp 0x3bca3
xorl %eax, %eax
movl %eax, -0x4c(%rbp)
jmp 0x3bca3
movl -0x4c(%rbp), %eax
movl %eax, -0x50(%rbp)
movq -0x28(%rbp), %rax
movl (%rax), %edi
andl $0x7f, %edi
callq 0x3bff0
movl %eax, %ecx
movl -0x50(%rbp), %eax
cmpl %ecx, %eax
jne 0x3bcfb
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x30(%rcx), %rax
jne 0x3bcf9
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x3bcf9
movq -0x10(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x39480
movl %eax, -0x4(%rbp)
jmp 0x3bfd8
jmp 0x3bcfb
movq -0x28(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
cmpl $0x2a, %eax
jne 0x3bdd2
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rdi
callq 0x3c010
testb $0x1, %al
jne 0x3bd23
jmp 0x3bdd2
movq -0x20(%rbp), %rax
movq (%rax), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3bd53
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x3bd53
movq -0x30(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x54(%rbp)
jmp 0x3bd5a
xorl %eax, %eax
movl %eax, -0x54(%rbp)
jmp 0x3bd5a
movl -0x54(%rbp), %eax
subl $0x29, %eax
jne 0x3bdd0
jmp 0x3bd64
movq -0x30(%rbp), %rax
movq 0x38(%rax), %rdi
movq -0x30(%rbp), %rax
movq 0x40(%rax), %rax
movl 0x50(%rax), %esi
callq 0x3c040
testb $0x1, %al
jne 0x3bd82
jmp 0x3bdd0
movq -0x30(%rbp), %rax
movq 0x40(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x10(%rbp), %rdi
movq -0x10(%rbp), %rdx
addq $0x30, %rdx
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rcx
movq -0x10(%rbp), %r8
addq $0x30, %r8
addq $0x8, %r8
movq -0x30(%rbp), %rax
movq 0x38(%rax), %r9
movl $0x2d, %esi
callq 0x3ba00
movl $0x1, -0x4(%rbp)
jmp 0x3bfd8
jmp 0x3bdd2
jmp 0x3bfd1
movq -0x20(%rbp), %rax
movq (%rax), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3be07
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x3be07
movq -0x30(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x58(%rbp)
jmp 0x3be0e
xorl %eax, %eax
movl %eax, -0x58(%rbp)
jmp 0x3be0e
movl -0x58(%rbp), %eax
cmpl $0x17, %eax
jne 0x3bf2a
movq -0x30(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x3be74
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rdi
movq -0x30(%rbp), %rsi
callq 0x3b4b0
testb $0x1, %al
jne 0x3be43
jmp 0x3be74
movq -0x10(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdx
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rcx
movq -0x28(%rbp), %rax
movq 0x38(%rax), %r8
callq 0x3b9a0
movl $0x1, -0x4(%rbp)
jmp 0x3bfd8
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x30(%rcx), %rax
jne 0x3bece
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x30(%rbp), %rsi
callq 0x3b4b0
testb $0x1, %al
jne 0x3be9d
jmp 0x3bece
movq -0x10(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rdx
movq -0x30(%rbp), %rax
movq 0x38(%rax), %rcx
movq -0x28(%rbp), %rax
movq 0x30(%rax), %r8
callq 0x3b9a0
movl $0x1, -0x4(%rbp)
jmp 0x3bfd8
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x3bf28
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x30(%rbp), %rsi
callq 0x3b4b0
testb $0x1, %al
jne 0x3bef7
jmp 0x3bf28
movq -0x10(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdx
movq -0x30(%rbp), %rax
movq 0x38(%rax), %rcx
movq -0x28(%rbp), %rax
movq 0x38(%rax), %r8
callq 0x3b9a0
movl $0x1, -0x4(%rbp)
jmp 0x3bfd8
jmp 0x3bf2a
jmp 0x3bfd1
movq -0x20(%rbp), %rax
movq (%rax), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3bf5f
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x3bf5f
movq -0x30(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x5c(%rbp)
jmp 0x3bf66
xorl %eax, %eax
movl %eax, -0x5c(%rbp)
jmp 0x3bf66
movl -0x5c(%rbp), %eax
movq -0x28(%rbp), %rcx
movl (%rcx), %ecx
andl $0x7f, %ecx
cmpl %ecx, %eax
jne 0x3bfcf
movq -0x30(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x3bfcf
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x30(%rbp), %rsi
callq 0x3b4b0
testb $0x1, %al
jne 0x3bf9f
jmp 0x3bfcd
movq -0x10(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdx
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rcx
movq -0x28(%rbp), %rax
movq 0x38(%rax), %r8
callq 0x3b9a0
movl $0x1, -0x4(%rbp)
jmp 0x3bfd8
jmp 0x3bfcf
jmp 0x3bfd1
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)