tiny.choir.ir.traits.SameOperandsAndResultType

1pub const SameOperandsAndResultType = struct {2    pub const trait_name = "ir.trait.same_operands_and_result_type";3    pub const id: interfaces.TraitId = interfaces.traitId(trait_name);45    fn verify(op_ptr: *const anyopaque) anyerror!void {6        const op: *const Operation = @ptrCast(@alignCast(op_ptr));7        if (op.results.items.len == 0) return TraitError.SameOperandsAndResultTypeMismatch;8        if (op.operands.items.len == 0) return TraitError.SameOperandsAndResultTypeMismatch;910        const ref_type = op.results.items[0].type;11        for (op.results.items) |result| {12            if (!result.type.eql(ref_type)) return TraitError.SameOperandsAndResultTypeMismatch;13        }14        for (op.operands.items) |operand| {15            if (!operand.value.type.eql(ref_type)) return TraitError.SameOperandsAndResultTypeMismatch;16        }17    }1819    pub const vtable: interfaces.TraitVTable = .{ .verify = verify };2021    pub fn entry() interfaces.TraitEntry {22        return .{ .id = id, .vtable = &vtable };23    }24};