Function compile_case_relop

core/src/compiler/top.rs:283–316

Compiles a comparison between `test` and `rhs`, leaving the boolean result in `dest`.

(
    ctx: &mut Context,
    pos: LineCol,
    test: (Register, ExprType),
    rhs: (Register, ExprType),
    relop: CaseRelOp,
    dest: Register,
)

/// Compiles a comparison between `test` and `rhs`, leaving the boolean result in `dest`.
fn compile_case_relop(
    ctx: &mut Context,
    pos: LineCol,
    test: (Register, ExprType),
    rhs: (Register, ExprType),
    relop: CaseRelOp,
    dest: Register,
) -> Result<()> {
    let (test_reg, test_type) = test;
    let (rhs_reg, rhs_type) = rhs;
    let op_name = case_relop_name(&relop);
    let opcode = match (test_type, rhs_type) {
        (ExprType::Double, ExprType::Integer) => {
            ctx.codegen.emit(bytecode::make_integer_to_double(rhs_reg), pos);
            case_relop_instr(&relop, ExprType::Double)
        }

        (ExprType::Integer, ExprType::Double) => {
            ctx.codegen.emit(bytecode::make_integer_to_double(test_reg), pos);
            case_relop_instr(&relop, ExprType::Double)
        }

        (lhs, rhs) if lhs == rhs => case_relop_instr(&relop, lhs),
        _ => None,
    };

    match opcode {
        Some(opcode) => {
            ctx.codegen.emit(opcode(dest, test_reg, rhs_reg), pos);
            Ok(())
        }
        None => Err(Error::BinaryOpType(pos, op_name, test_type, rhs_type)),
    }
}

/// Compiles one `CASE` guard and returns the register and source position of its boolean result.
fn compile_case_guard(