tiny.smt.choir.names.attr_names

1/// The keys of the seven attributes the dialect's operations carry. The operation structs of2/// `SmtDialect` set and read every attribute under these keys, and a caller that reads an attribute3/// straight from an `ir.Operation` uses the same key. Each operation's specification lists the keys4/// of its attributes, and its struct's getters read the attributes back. The namespace and the5/// `dialect` file re-export it.6pub const attr_names = struct {7    /// The key of a name, `name`, held as a string attribute. The structs of variables, function8    /// applications and assertions store and read a name under this key. It names a variable9    /// (`VarOp`), the function an application applies (`ApplyOp`), and an assertion (`AssertOp`).10    pub const name = "name";11    /// The key of an assertion's group label, `group`, held as a string attribute.12    /// `AssertOp.createGrouped` stores an assertion's group label under this key, and13    /// `AssertOp.getGroup` reads it back.14    pub const group = "group";15    /// The key of a constant's value, `value`. The two constant operations store their value under16    /// this key, and their `getValue` functions read it back. `BoolConstOp` holds the value as a17    /// Boolean attribute. `BitVecConstOp` holds the value as decimal text in a string attribute.18    pub const value = "value";19    /// The key of the highest bit position an extraction keeps, `high`, held as an integer20    /// attribute. `BvExtractOp.create` stores the extraction's upper bit position under this key,21    /// and `BvExtractOp.getHigh` reads it back.22    pub const high = "high";23    /// The key of the lowest bit position an extraction keeps, `low`, held as an integer attribute.24    /// `BvExtractOp.create` stores the extraction's lower bit position under this key, and25    /// `BvExtractOp.getLow` reads it back.26    pub const low = "low";27    /// The key of the number of bits an extension adds, `extra`, held as an integer attribute. The28    /// zero and sign extension operations store the number of added bits under this key, and their29    /// `getExtra` functions read it back. `BvZeroExtOp` and `BvSignExtOp` carry it.30    pub const extra = "extra";31    /// The key of the number of positions a rotation turns a bit-vector, `amount`, held as an32    /// integer attribute. The two rotation operations store the rotation amount under this key, and33    /// their `getAmount` functions read it back. `BvRotlOp` and `BvRotrOp` carry it.34    pub const amount = "amount";35};