// File: /workspace/github_c_makefile_star2_O0/oridb[P]mc/6/isel.c
// Function: rolop
static Loc*
rolop(Isel *s, Node *n, Node *l, Node *r)
{
	int64_t lv, rv;
	Type *ty;

	ty = tybase(exprtype(n));

	if (!istyunsigned(ty))
		return NULL;
	if (exprop(l) != Obsl && exprop(l) != Obsr)
		return NULL;
	if (exprop(r) != Obsl && exprop(r) != Obsr)
		return NULL;
	if (exprop(r) == exprop(l))
		return NULL;
	if (exprop(l->expr.args[0]) != Ovar)
		return NULL;
	if (exprop(r->expr.args[0]) != Ovar)
		return NULL;
	if (l->expr.args[0]->expr.did != r->expr.args[0]->expr.did)
		return NULL;

	if (exprop(l->expr.args[1]) != Olit)
		return NULL;
	if (l->expr.args[1]->expr.args[0]->type != Nlit)
		return NULL;
	if (l->expr.args[1]->expr.args[0]->lit.littype != Lint)
		return NULL;
	lv = l->expr.args[1]->expr.args[0]->lit.intval;

	if (exprop(r->expr.args[1]) != Olit)
		return NULL;
	if (r->expr.args[1]->expr.args[0]->type != Nlit)
		return NULL;
	if (r->expr.args[1]->expr.args[0]->lit.littype != Lint)
		return NULL;
	rv = r->expr.args[1]->expr.args[0]->lit.intval;

	if (lv + rv != 8*size(n))
		return NULL;

	if (exprop(l) == Obsl)
		return binop(s, Irol, l->expr.args[0], l->expr.args[1]);
	else
		return binop(s, Irol, r->expr.args[0], r->expr.args[1]);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movq -0x18(%rbp), %rdi
callq 0x30340
movq %rax, %rdi
callq 0x36a30
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
callq 0x37850
cmpl $0x0, %eax
jne 0xbc98
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x20(%rbp), %rdi
callq 0x2f210
cmpl $0xb, %eax
je 0xbcc1
movq -0x20(%rbp), %rdi
callq 0x2f210
cmpl $0xc, %eax
je 0xbcc1
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x28(%rbp), %rdi
callq 0x2f210
cmpl $0xb, %eax
je 0xbcea
movq -0x28(%rbp), %rdi
callq 0x2f210
cmpl $0xc, %eax
je 0xbcea
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x28(%rbp), %rdi
callq 0x2f210
movl %eax, -0x44(%rbp)
movq -0x20(%rbp), %rdi
callq 0x2f210
movl %eax, %ecx
movl -0x44(%rbp), %eax
cmpl %ecx, %eax
jne 0xbd15
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x20(%rbp), %rax
movq 0x50(%rax), %rax
movq (%rax), %rdi
callq 0x2f210
cmpl $0x33, %eax
je 0xbd37
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x28(%rbp), %rax
movq 0x50(%rax), %rax
movq (%rax), %rdi
callq 0x2f210
cmpl $0x33, %eax
je 0xbd59
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x20(%rbp), %rax
movq 0x50(%rax), %rax
movq (%rax), %rax
movq 0x38(%rax), %rax
movq -0x28(%rbp), %rcx
movq 0x50(%rcx), %rcx
movq (%rcx), %rcx
cmpq 0x38(%rcx), %rax
je 0xbd86
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x20(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x2f210
cmpl $0x35, %eax
je 0xbda9
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x20(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rax
movq 0x50(%rax), %rax
movq (%rax), %rax
cmpl $0x9, 0x8(%rax)
je 0xbdcf
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x20(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rax
movq 0x50(%rax), %rax
movq (%rax), %rax
cmpl $0x2, 0x18(%rax)
je 0xbdf5
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x20(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rax
movq 0x50(%rax), %rax
movq (%rax), %rax
movq 0x30(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x2f210
cmpl $0x35, %eax
je 0xbe33
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x28(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rax
movq 0x50(%rax), %rax
movq (%rax), %rax
cmpl $0x9, 0x8(%rax)
je 0xbe59
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x28(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rax
movq 0x50(%rax), %rax
movq (%rax), %rax
cmpl $0x2, 0x18(%rax)
je 0xbe7f
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x28(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rax
movq 0x50(%rax), %rax
movq (%rax), %rax
movq 0x30(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rax
addq -0x38(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x18(%rbp), %rdi
callq 0x1c480
movq %rax, %rcx
movq -0x50(%rbp), %rax
shlq $0x3, %rcx
cmpq %rcx, %rax
je 0xbec9
movq $0x0, -0x8(%rbp)
jmp 0xbf2b
movq -0x20(%rbp), %rdi
callq 0x2f210
cmpl $0xb, %eax
jne 0xbf02
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rax
movq 0x50(%rax), %rax
movq (%rax), %rdx
movq -0x20(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rcx
movl $0x18, %esi
callq 0xbbe0
movq %rax, -0x8(%rbp)
jmp 0xbf2b
movq -0x10(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x50(%rax), %rax
movq (%rax), %rdx
movq -0x28(%rbp), %rax
movq 0x50(%rax), %rax
movq 0x8(%rax), %rcx
movl $0x18, %esi
callq 0xbbe0
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)