// File: /workspace/github_c_makefile_star2_O0/lucvoo[P]sparse-dev/simplify.c
// Function: simplify_ior_one_side
static int simplify_ior_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_AND:
		if (DEF_OPCODE(defr, *p2) == OP_AND) {
			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_NOT:
		if (def->src == *p2)
			return replace_with_value(insn, bits_mask(insn->size));
		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, 1);
		}
		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 $0x70, %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 0x3c0f1
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, %rax
je 0x3c0f1
movq -0x28(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x3c(%rbp)
jmp 0x3c0f8
xorl %eax, %eax
movl %eax, -0x3c(%rbp)
jmp 0x3c0f8
movl -0x3c(%rbp), %eax
addl $-0xf, %eax
movl %eax, %ecx
movq %rcx, -0x48(%rbp)
subl $0x22, %eax
ja 0x3c3f0
movq -0x48(%rbp), %rax
leaq 0x2cf98(%rip), %rcx     # 0x690b0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x20(%rbp), %rax
movq (%rax), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3c151
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x3c151
movq -0x30(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x4c(%rbp)
jmp 0x3c158
xorl %eax, %eax
movl %eax, -0x4c(%rbp)
jmp 0x3c158
movl -0x4c(%rbp), %eax
cmpl $0x16, %eax
jne 0x3c274
movq -0x30(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x3c1be
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rdi
movq -0x30(%rbp), %rsi
callq 0x3b4b0
testb $0x1, %al
jne 0x3c18d
jmp 0x3c1be
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 0x3c3f7
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x30(%rcx), %rax
jne 0x3c218
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x30(%rbp), %rsi
callq 0x3b4b0
testb $0x1, %al
jne 0x3c1e7
jmp 0x3c218
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 0x3c3f7
movq -0x30(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x3c272
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x30(%rbp), %rsi
callq 0x3b4b0
testb $0x1, %al
jne 0x3c241
jmp 0x3c272
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 0x3c3f7
jmp 0x3c274
jmp 0x3c3f0
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x20(%rbp), %rcx
cmpq (%rcx), %rax
jne 0x3c2b4
movq -0x10(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x10(%rbp), %rax
movl (%rax), %edi
shrl $0x8, %edi
callq 0x3acf0
movq -0x58(%rbp), %rdi
movq %rax, %rsi
callq 0x39480
movl %eax, -0x4(%rbp)
jmp 0x3c3f7
jmp 0x3c3f0
movq -0x20(%rbp), %rax
movq (%rax), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3c2e9
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x3c2e9
movq -0x30(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x5c(%rbp)
jmp 0x3c2f0
xorl %eax, %eax
movl %eax, -0x5c(%rbp)
jmp 0x3c2f0
movl -0x5c(%rbp), %eax
movl %eax, -0x60(%rbp)
movq -0x28(%rbp), %rax
movl (%rax), %edi
andl $0x7f, %edi
callq 0x3bff0
movl %eax, %ecx
movl -0x60(%rbp), %eax
cmpl %ecx, %eax
jne 0x3c349
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x30(%rcx), %rax
jne 0x3c347
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x30(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x3c347
movq -0x10(%rbp), %rdi
movl $0x1, %esi
callq 0x39480
movl %eax, -0x4(%rbp)
jmp 0x3c3f7
jmp 0x3c349
jmp 0x3c3f0
movq -0x20(%rbp), %rax
movq (%rax), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3c37e
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x3c37e
movq -0x30(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x64(%rbp)
jmp 0x3c385
xorl %eax, %eax
movl %eax, -0x64(%rbp)
jmp 0x3c385
movl -0x64(%rbp), %eax
movq -0x28(%rbp), %rcx
movl (%rcx), %ecx
andl $0x7f, %ecx
cmpl %ecx, %eax
jne 0x3c3ee
movq -0x30(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x28(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x3c3ee
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x30(%rbp), %rsi
callq 0x3b4b0
testb $0x1, %al
jne 0x3c3be
jmp 0x3c3ec
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 0x3c3f7
jmp 0x3c3ee
jmp 0x3c3f0
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x70, %rsp
popq %rbp
retq