// File: /workspace/github_cpp_makefile_star2_O1/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, 0x55da9(%rip)     # 0x64985
jne 0xebed
leaq 0x1c8(%rsp), %rdi
callq 0x6e26
jmp 0xebf4
movb $0x1, 0x55d91(%rip)     # 0x64985
callq 0xf382
cmpl $0xb, 0x55c2c(%rip)     # 0x6482c
jne 0xed6e
movl 0x55c1c(%rip), %ebp     # 0x64828
leaq 0x58(%rsp), %rdi
callq 0x6e26
movq 0x55e93(%rip), %rbx     # 0x64ab0
movq %rbx, 0x8(%rsp)
callq 0xf382
movq 0x55e82(%rip), %rax     # 0x64ab0
movq (%rax), %rsi
movq %rsi, 0x55de0(%rip)     # 0x64a18
movq (%rbx), %rdx
movq %rdx, 0x55dde(%rip)     # 0x64a20
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x83b2
movb (%rbx), %al
addq $-0x8, 0xae75f(%rip)    # 0xbd3b8
cmpb $0x1, %al
jne 0xec9c
cmpl $0xe, %ebp
je 0xecd9
movq 0x55daf(%rip), %rax     # 0x64a18
movl 0x10(%rax), %ecx
cmpl $0x7, %ecx
je 0xecd9
cmpq $0x1, (%rax)
setne %dl
cmpl $0xa, %ebp
setge %sil
andb %dl, %sil
cmpb $0x1, %sil
jne 0xece3
cmpl $0x5, %ecx
jne 0xecd9
movq 0x18(%rax), %rax
cmpq 0x55d70(%rip), %rax     # 0x64a08
jne 0xecd9
jmp 0xece3
leaq 0x8(%rsp), %rdi
callq 0xeda3
testb %al, %al
jne 0xece3
movq 0x55d67(%rip), %rax     # 0x64a18
cmpl $0x4, 0x10(%rax)
jne 0xecd9
movq 0x55d62(%rip), %rax     # 0x64a20
movl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0xeccd
cmpl $0xe, %ebp
jne 0xecd9
jmp 0xece3
xorl $0x2, %eax
movl %ebp, %ecx
xorl $0xe, %ecx
orl %eax, %ecx
je 0xece3
movl $0x15, %edi
callq 0x589e
movl $0x20, %edi
callq 0x3d03
movq %rax, %rbx
movq 0x55d29(%rip), %rax     # 0x64a20
cmpl $0x4, 0x10(%rax)
jne 0xed11
cmpl $0xc, %ebp
je 0xed07
cmpl $0xa, %ebp
jne 0xed11
movl $0x15, %edi
callq 0x589e
movq 0x55cd0(%rip), %rax     # 0x649e8
movq %rax, (%rbx)
movl %ebp, %eax
andl $-0x2, %eax
cmpl $0xc, %eax
jne 0xed47
movq 0x55d84(%rip), %rax     # 0x64ab0
movq %rax, 0x10(%rbx)
movq 0x8(%rsp), %rax
movq %rax, 0x18(%rbx)
cmpl $0xc, %ebp
jne 0xed60
movl $0xa, 0x8(%rbx)
jmp 0xed67
movq 0x8(%rsp), %rax
movq %rax, 0x10(%rbx)
movq 0x55d59(%rip), %rax     # 0x64ab0
movq %rax, 0x18(%rbx)
movl %ebp, 0x8(%rbx)
jmp 0xed67
movl $0xb, 0x8(%rbx)
movq %rbx, 0x55d42(%rip)     # 0x64ab0
addq $0x338, %rsp            # imm = 0x338
popq %rbx
popq %rbp
retq