// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Uno/Src/uno_bounds.c
// Function: explain_bound
void
explain_bound(char *m, ArBound *b, treenode *n)
{
	if (!b) return;

	if (0)
	{	printf("{");
		if (b->bounds & UNK) printf("U");
		if (b->bounds & DUP) printf("(%s:%s)",
			b->s->nme->str,
			b->sameas->nme->str);
		if (b->bounds & NEG) printf("!");
		if ((b->bounds & LB)
		&&  (b->bounds & UB)
		&&  (b->lb == b->ub-1))
			printf("(%s==%d)", b->s->nme->str, b->lb);
		else
		{	if (b->bounds & LB)  printf("(%s>=%d)", b->s->nme->str, b->lb);
			if (b->bounds & UB)  printf("(%s<%d)",  b->s->nme->str, b->ub);
		}
		if (b->bounds & FROMASGN) printf("a");
		if (b->bounds & FROMEXPR) printf("e");
		printf("}");
		return;
	}

	printf("\tuno: %s:%d (%s) %s bound on %s:",
		n?n->hdr.fnm:"",
		n?n->hdr.line:0,
		m,
		n?x_stmnt(n):"",
		b->s->nme->str);

	if (b->bounds & UNK)
		printf(" <unknown>");
	if (b->bounds & NEG)
		printf("<negated>");
	if (b->bounds & DUP)
		printf(" <duplicate of %s>", b->sameas?b->sameas->nme->str:"?");
	else
	{	switch (b->bounds & (LB|UB)) {
		case UB:
			printf("UB < %d", b->ub);
			break;
		case LB:
			printf("LB >= %d", b->lb);
			break;
		case (LB|UB):
			printf(">= %d and < %d", b->lb, b->ub);
			break;
		}
	}
	if (b->bounds & FROMASGN)
		printf(" (from asgn)");
	if (b->bounds & FROMEXPR)
		printf(" (from expr)");

	printf(" set at level %d", b->level_set);
	printf("\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
cmpq $0x0, -0x10(%rbp)
jne 0x2b980
jmp 0x2bb83
cmpq $0x0, -0x18(%rbp)
je 0x2b995
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x20(%rbp)
jmp 0x2b9a2
leaq 0x9419(%rip), %rax      # 0x34db5
movq %rax, -0x20(%rbp)
jmp 0x2b9a2
movq -0x20(%rbp), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x2b9bd
movq -0x18(%rbp), %rax
movl 0x10(%rax), %eax
movl %eax, -0x2c(%rbp)
jmp 0x2b9c4
xorl %eax, %eax
movl %eax, -0x2c(%rbp)
jmp 0x2b9c4
movl -0x2c(%rbp), %eax
movl %eax, -0x3c(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x2b9e8
movq -0x18(%rbp), %rdi
callq 0x4ec0
movq %rax, -0x48(%rbp)
jmp 0x2b9f5
leaq 0x93c6(%rip), %rax      # 0x34db5
movq %rax, -0x48(%rbp)
jmp 0x2b9f5
movq -0x38(%rbp), %rcx
movl -0x3c(%rbp), %edx
movq -0x28(%rbp), %rsi
movq -0x48(%rbp), %r8
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %r9
leaq 0x1a9c2(%rip), %rdi     # 0x463dc
movb $0x0, %al
callq 0x30f0
movq -0x10(%rbp), %rax
movswl 0x18(%rax), %eax
andl $0x4, %eax
cmpl $0x0, %eax
je 0x2ba3f
leaq 0x1a9c5(%rip), %rdi     # 0x463fd
movb $0x0, %al
callq 0x30f0
movq -0x10(%rbp), %rax
movswl 0x18(%rax), %eax
andl $0x40, %eax
cmpl $0x0, %eax
je 0x2ba5d
leaq 0x1a9b2(%rip), %rdi     # 0x46408
movb $0x0, %al
callq 0x30f0
movq -0x10(%rbp), %rax
movswl 0x18(%rax), %eax
andl $0x20, %eax
cmpl $0x0, %eax
je 0x2baaf
movq -0x10(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x2ba8e
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, -0x50(%rbp)
jmp 0x2ba9b
leaq 0x9377(%rip), %rax      # 0x34e0c
movq %rax, -0x50(%rbp)
jmp 0x2ba9b
movq -0x50(%rbp), %rsi
leaq 0x1a96c(%rip), %rdi     # 0x46412
movb $0x0, %al
callq 0x30f0
jmp 0x2bb24
movq -0x10(%rbp), %rax
movzwl 0x18(%rax), %eax
andl $0x3, %eax
movl %eax, -0x54(%rbp)
subl $0x1, %eax
je 0x2bad8
jmp 0x2bac4
movl -0x54(%rbp), %eax
subl $0x2, %eax
je 0x2baef
jmp 0x2bace
movl -0x54(%rbp), %eax
subl $0x3, %eax
je 0x2bb06
jmp 0x2bb22
movq -0x10(%rbp), %rax
movl 0x1c(%rax), %esi
leaq 0x1a93f(%rip), %rdi     # 0x46425
movb $0x0, %al
callq 0x30f0
jmp 0x2bb22
movq -0x10(%rbp), %rax
movl 0x20(%rax), %esi
leaq 0x1a930(%rip), %rdi     # 0x4642d
movb $0x0, %al
callq 0x30f0
jmp 0x2bb22
movq -0x10(%rbp), %rax
movl 0x20(%rax), %esi
movq -0x10(%rbp), %rax
movl 0x1c(%rax), %edx
leaq 0x1a91b(%rip), %rdi     # 0x46436
movb $0x0, %al
callq 0x30f0
jmp 0x2bb24
movq -0x10(%rbp), %rax
movswl 0x18(%rax), %eax
andl $0x8, %eax
cmpl $0x0, %eax
je 0x2bb42
leaq 0x1a90a(%rip), %rdi     # 0x46445
movb $0x0, %al
callq 0x30f0
movq -0x10(%rbp), %rax
movswl 0x18(%rax), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x2bb60
leaq 0x1a8f9(%rip), %rdi     # 0x46452
movb $0x0, %al
callq 0x30f0
movq -0x10(%rbp), %rax
movl 0x24(%rax), %esi
leaq 0x1a8f1(%rip), %rdi     # 0x4645f
movb $0x0, %al
callq 0x30f0
leaq 0x18bc3(%rip), %rdi     # 0x4473f
movb $0x0, %al
callq 0x30f0
addq $0x60, %rsp
popq %rbp
retq
nopl (%rax)