CustomDirectiveImpl.h

Go to the documentation of this file.

//===- CustomDirectiveImpl.h - Custom TableGen directives -------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file provides common custom directives for table-gen assembly formats.
//
//===----------------------------------------------------------------------===//
 
#ifndef CIRCT_SUPPORT_CUSTOMDIRECTIVEIMPL_H
#define CIRCT_SUPPORT_CUSTOMDIRECTIVEIMPL_H
 
#include "circt/Support/LLVM.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/OperationSupport.h"
#include "mlir/IR/TypeRange.h"
#include "mlir/IR/Types.h"
 
namespace circt {
 
//===----------------------------------------------------------------------===//
// ImplicitSSAName Custom Directive
//===----------------------------------------------------------------------===//
 
/// Parse an implicit SSA name string attribute. If the name is not provided in
/// the input text, its value is inferred from the SSA name of the operation's
/// first result.
///
/// implicit-name ::= (`name` str-attr)?
ParseResult parseImplicitSSAName(OpAsmParser &parser, StringAttr &attr);
 
/// Parse an attribute dictionary and ensure that it contains a `name` field by
/// inferring its value from the SSA name of the operation's first result if
/// necessary.
ParseResult parseImplicitSSAName(OpAsmParser &parser, NamedAttrList &attrs);
 
/// Ensure that `attrs` contains a `name` attribute by inferring its value from
/// the SSA name of the operation's first result if necessary. Returns true if a
/// name was inferred, false if `attrs` already contained a `name`.
bool inferImplicitSSAName(OpAsmParser &parser, NamedAttrList &attrs);
 
/// Print an implicit SSA name string attribute. If the given string attribute
/// does not match the SSA name of the operation's first result, the name is
/// explicitly printed. Prints a leading space in front of `name` if any name is
/// present.
///
/// implicit-name ::= (`name` str-attr)?
void printImplicitSSAName(OpAsmPrinter &p, Operation *op, StringAttr attr);
 
/// Print an attribute dictionary and elide the `name` field if its value
/// matches the SSA name of the operation's first result.
void printImplicitSSAName(OpAsmPrinter &p, Operation *op, DictionaryAttr attrs,
                          ArrayRef<StringRef> extraElides = {});
 
/// Check if the `name` attribute in `attrs` matches the SSA name of the
/// operation's first result. If it does, add `name` to `elides`. This is
/// helpful during printing of attribute dictionaries in order to determine if
/// the inclusion of the `name` field would be redundant.
void elideImplicitSSAName(OpAsmPrinter &printer, Operation *op,
                          DictionaryAttr attrs,
                          SmallVectorImpl<StringRef> &elides);
 
/// Print/parse binary operands type only when types are different.
/// optional-bin-op-types := type($lhs) (, type($rhs))?
void printOptionalBinaryOpTypes(OpAsmPrinter &p, Operation *op, Type lhs,
                                Type rhs);
ParseResult parseOptionalBinaryOpTypes(OpAsmParser &parser, Type &lhs,
                                       Type &rhs);
 
//===----------------------------------------------------------------------===//
// KeywordBool Custom Directive
//===----------------------------------------------------------------------===//
 
/// Parse a boolean as one of two keywords. The `trueKeyword` will result in a
/// true boolean; the `falseKeyword` will result in a false boolean.
///
/// labeled-bool ::= (true-label | false-label)
ParseResult parseKeywordBool(OpAsmParser &parser, BoolAttr &attr,
                             StringRef trueKeyword, StringRef falseKeyword);
 
/// Print a boolean as one of two keywords. If the boolean is true, the
/// `trueKeyword` is used; if it is false, the `falseKeyword` is used.
///
/// labeled-bool ::= (true-label | false-label)
void printKeywordBool(OpAsmPrinter &printer, Operation *op, BoolAttr attr,
                      StringRef trueKeyword, StringRef falseKeyword);
 
//===----------------------------------------------------------------------===//
// Variadic Invertible Custom Directive
//===----------------------------------------------------------------------===//
 
/// Parse a variadic list of operands that may be prefixed with an optional
/// `not` keyword. If the `not` keyword is present, the corresponding element
/// in the `inverted` attribute is set to true; otherwise, it is set to false.
ParseResult parseVariadicInvertibleOperands(
    OpAsmParser &parser,
    SmallVectorImpl<OpAsmParser::UnresolvedOperand> &operands, Type &resultType,
    mlir::DenseBoolArrayAttr &inverted, NamedAttrList &attrDict);
 
/// Print a variadic list of operands that may be prefixed with an optional
/// `not` keyword. If the corresponding element in `isInverted` is true, the
/// `not` keyword is printed before the operand; otherwise, it is omitted.
void printVariadicInvertibleOperands(OpAsmPrinter &printer, Operation *op,
                                     OperandRange operands, Type resultType,
                                     mlir::DenseBoolArrayAttr inverted,
                                     DictionaryAttr attrDict);
 
} // namespace circt
 
#endif // CIRCT_SUPPORT_CUSTOMDIRECTIVEIMPL_H