tiny.choir.dialects.arith

1const ir = @import("../../core/root.zig");2const rewrite = ir.rewrite;3const egraph = @import("../../egraph/root.zig");45pub const types = @import("types.zig");6pub const folds = @import("folds.zig");7pub const patterns = @import("patterns.zig");8pub const rules = @import("rules.zig");9pub const scalar = @import("scalar.zig");10pub const eval = @import("eval.zig");11pub const effects = @import("effects.zig");12pub const predicate = @import("predicate.zig");13const ops = @import("ops.zig");1415pub const ScalarKind = types.ScalarKind;16pub const ScalarClass = types.ScalarClass;17pub const ScalarDescriptor = types.ScalarDescriptor;18pub const ScalarSet = types.ScalarSet;19pub const VectorTypeInfo = types.VectorTypeInfo;20pub const type_names = types.type_names;21pub const scalarDescriptor = types.scalarDescriptor;22pub const scalarTypeName = types.scalarTypeName;23pub const scalarTypeSuffix = types.scalarTypeSuffix;24pub const scalarKindFromTypeName = types.scalarKindFromTypeName;25pub const scalarKindFromType = types.scalarKindFromType;26pub const scalarKindFromSuffix = types.scalarKindFromSuffix;27pub const scalarKindIsInteger = types.scalarKindIsInteger;28pub const scalarKindIsSignedInteger = types.scalarKindIsSignedInteger;29pub const scalarKindIsUnsignedInteger = types.scalarKindIsUnsignedInteger;30pub const scalarKindIsFloat = types.scalarKindIsFloat;31pub const scalarBitWidth = types.scalarBitWidth;32pub const vectorTypeName = types.vectorTypeName;33pub const vectorTypeNameForElement = types.vectorTypeNameForElement;34pub const parseVectorTypeName = types.parseVectorTypeName;35pub const CmpPredicate = predicate.CmpPredicate;36pub const ArithDialect = ops.ArithDialect;3738const pattern_set = patterns.Patterns(ArithDialect);39const rule_set = rules.Rules(ArithDialect);40pub const canonicalization_patterns = pattern_set.canonicalization_patterns;4142pub const spec = ir.dialects.dialectSpec(ArithDialect, .{43    .types = types.registeredTypeSpecs(),44    .interfaces = &.{45        rewrite.DialectCanonicalizationInterface.entryFor(46            ArithDialect.name,47            &canonicalization_patterns,48        ),49    },50    .op_interface_fallbacks = &.{51        .{ .id = ir.interfaces.Evaluatable.id, .fallback = eval.fallback },52    },53});5455pub fn populateEGraphRules(rewrite_set: *egraph.RewriteSet) anyerror!void {56    try rule_set.populateEGraphRules(rewrite_set);57}

1pub const arith = @import("arith/root.zig");