tiny.choir.ir.traits.Terminator

1pub const Terminator = struct {2    pub const trait_name = "ir.trait.terminator";3    pub const id: interfaces.TraitId = interfaces.traitId(trait_name);4    pub const traits = interfaces.OperationTraits{ .is_terminator = true };56    fn verify(op_ptr: *const anyopaque) anyerror!void {7        const op: *const Operation = @ptrCast(@alignCast(op_ptr));8        if (op.getBlock() == null) return;9        if (op.next_op != null) return TraitError.TerminatorNotLast;10    }1112    pub const vtable: interfaces.TraitVTable = .{ .verify = verify };1314    pub fn entry() interfaces.TraitEntry {15        return .{ .id = id, .vtable = &vtable };16    }17};