// File: /workspace/github_cpp_makefile_star2_O3/besm6[P]pascal-re/pascompl.cc
// Function: expression()
void expression()
{
    Operator oper;
    ExprPtr l4var2z, l4var3z;

    if (bool102z)
        inSymbol();
    else
        bool102z = true;
    simpleExpression();
    if (SY == RELOP) {
        oper = charClass;
        inSymbol();
        l4var3z = curExpr;
        simpleExpression();
        arg1Type = curExpr->typ;
        arg2Type = l4var3z->typ;
        if (typeCheck(arg1Type, arg2Type)) {
            if ((oper == INOP) or
                (arg1Type->k == kindFile) or
                (arg1Type->size != 1 and
                 oper >= LTOP and
                 not isCharArray(arg1Type)))
                error(errNeedOtherTypesOfOperands);
        } else /* 15150 */ {
            if (not areTypesCompatible(l4var3z) and
                ((arg1Type->k != kindSet) or
                 not (arg2Type->k == kindScalar || arg2Type->k == kindRange) or
                 (oper != INOP))) {
                error(errNeedOtherTypesOfOperands);
            }
        } /* 15167 */
        l4var2z = new Expr;
        if ((arg2Type->k == kindSet) and
            (oper == LTOP || oper == GTOP))
            error(errNeedOtherTypesOfOperands);
        l4var2z->typ = BooleanType;
        if (oper == GTOP || oper == LEOP) {
            l4var2z->expr1 = curExpr;
            l4var2z->expr2 = l4var3z;
            if (oper == GTOP)
                l4var2z->op = LTOP;
            else
                l4var2z->op = GEOP;
        } else {
            l4var2z->expr1 = l4var3z;
            l4var2z->expr2 = curExpr;
            l4var2z->op = oper;
        }
        curExpr = l4var2z;
    }
}

// Assembly:
pushq %rbp
pushq %rbx
subq $0x338, %rsp            # imm = 0x338
cmpb $0x1, 0x55b07(%rip)     # 0x64975
jne 0xee7f
leaq 0x1c8(%rsp), %rdi
callq 0x6f40
jmp 0xee86
movb $0x1, 0x55aef(%rip)     # 0x64975
callq 0xf611
cmpl $0xb, 0x5598a(%rip)     # 0x6481c
jne 0xf000
movl 0x5597a(%rip), %ebp     # 0x64818
leaq 0x58(%rsp), %rdi
callq 0x6f40
movq 0x55bf1(%rip), %rbx     # 0x64aa0
movq %rbx, 0x8(%rsp)
callq 0xf611
movq 0x55be0(%rip), %rax     # 0x64aa0
movq (%rax), %rsi
movq %rsi, 0x55b3e(%rip)     # 0x64a08
movq (%rbx), %rdx
movq %rdx, 0x55b3c(%rip)     # 0x64a10
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x84c6
movb (%rbx), %al
addq $-0x8, 0xae4bd(%rip)    # 0xbd3a8
cmpb $0x1, %al
jne 0xef2e
cmpl $0xe, %ebp
je 0xef6b
movq 0x55b0d(%rip), %rax     # 0x64a08
movl 0x10(%rax), %ecx
cmpl $0x7, %ecx
je 0xef6b
cmpq $0x1, (%rax)
setne %dl
cmpl $0xa, %ebp
setge %sil
andb %dl, %sil
cmpb $0x1, %sil
jne 0xef75
cmpl $0x5, %ecx
jne 0xef6b
movq 0x18(%rax), %rax
cmpq 0x55ace(%rip), %rax     # 0x649f8
jne 0xef6b
jmp 0xef75
leaq 0x8(%rsp), %rdi
callq 0xf035
testb %al, %al
jne 0xef75
movq 0x55ac5(%rip), %rax     # 0x64a08
cmpl $0x4, 0x10(%rax)
jne 0xef6b
movq 0x55ac0(%rip), %rax     # 0x64a10
movl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0xef5f
cmpl $0xe, %ebp
jne 0xef6b
jmp 0xef75
xorl $0x2, %eax
movl %ebp, %ecx
xorl $0xe, %ecx
orl %eax, %ecx
je 0xef75
movl $0x15, %edi
callq 0x58ff
movl $0x20, %edi
callq 0x3d77
movq %rax, %rbx
movq 0x55a87(%rip), %rax     # 0x64a10
cmpl $0x4, 0x10(%rax)
jne 0xefa3
cmpl $0xc, %ebp
je 0xef99
cmpl $0xa, %ebp
jne 0xefa3
movl $0x15, %edi
callq 0x58ff
movq 0x55a2e(%rip), %rax     # 0x649d8
movq %rax, (%rbx)
movl %ebp, %eax
andl $-0x2, %eax
cmpl $0xc, %eax
jne 0xefd9
movq 0x55ae2(%rip), %rax     # 0x64aa0
movq %rax, 0x10(%rbx)
movq 0x8(%rsp), %rax
movq %rax, 0x18(%rbx)
cmpl $0xc, %ebp
jne 0xeff2
movl $0xa, 0x8(%rbx)
jmp 0xeff9
movq 0x8(%rsp), %rax
movq %rax, 0x10(%rbx)
movq 0x55ab7(%rip), %rax     # 0x64aa0
movq %rax, 0x18(%rbx)
movl %ebp, 0x8(%rbx)
jmp 0xeff9
movl $0xb, 0x8(%rbx)
movq %rbx, 0x55aa0(%rip)     # 0x64aa0
addq $0x338, %rsp            # imm = 0x338
popq %rbx
popq %rbp
retq