tiny.choir.ir.rewrite.DialectCanonicalizationInterface

1pub const DialectCanonicalizationInterface = struct {2    pub const interface_name = "choir.pass.dialect_canonicalization";3    pub const id: ir.InterfaceId = ir.interfaceId(interface_name);45    pub const VTable = struct {6        patterns: []const rewrite.RewritePattern,7    };89    fn entry(vtable: *const VTable) ir.InterfaceEntry {10        return .{ .id = id, .vtable = vtable };11    }1213    pub fn vtableFor(14        comptime dialect_name: []const u8,15        comptime patterns: []const rewrite.RewritePattern,16    ) *const VTable {17        for (patterns, 0..) |pattern, index| {18            const separator = std.mem.indexOfScalar(u8, pattern.spec.root_op_name, '.') orelse19                @compileError("dialect canonicalization pattern root requires a dialect namespace");20            if (!std.mem.eql(u8, pattern.spec.root_op_name[0..separator], dialect_name)) {21                @compileError("dialect canonicalization pattern root must belong to its dialect");22            }23            if (pattern.spec.benefit <= builtin_pattern_benefit or24                pattern.spec.benefit >= fold_pattern_benefit)25            {26                @compileError("dialect canonicalization pattern benefit must remain between builtin and fold tiers");27            }28            for (patterns[0..index]) |previous| {29                if (!std.mem.eql(u8, previous.spec.root_op_name, pattern.spec.root_op_name)) continue;30                if (previous.spec.benefit < pattern.spec.benefit) {31                    @compileError("dialect canonicalization patterns must descend by benefit per root");32                }33            }34        }35        return &.{ .patterns = patterns };36    }3738    pub fn entryFor(39        comptime dialect_name: []const u8,40        comptime patterns: []const rewrite.RewritePattern,41    ) ir.InterfaceEntry {42        return entry(vtableFor(dialect_name, patterns));43    }4445    pub fn fromOpaque(ptr: *const anyopaque) *const VTable {46        return @ptrCast(@alignCast(ptr));47    }48};

1pub const DialectCanonicalizationInterface = canonicalization_mod.DialectCanonicalizationInterface;