llvm/test/TableGen/directive1.td

   1 // RUN: llvm-tblgen -gen-directive-decl -I %p/../../include %s | FileCheck -match-full-lines %s
   2 // RUN: llvm-tblgen -gen-directive-impl -I %p/../../include %s | FileCheck -match-full-lines %s -check-prefix=IMPL
   3
   4 include "llvm/Frontend/Directive/DirectiveBase.td"
   5
   6 def TestDirectiveLanguage : DirectiveLanguage {
   7   let name = "Tdl";
   8
   9   let cppNamespace = "tdl";
  10   let directivePrefix = "TDLD_";
  11   let clausePrefix = "TDLC_";
  12   let makeEnumAvailableInNamespace = 1;
  13   let enableBitmaskEnumInNamespace = 1;
  14   let flangClauseBaseClass = "TdlClause";
  15 }
  16
  17 def TDLCV_vala : ClauseVal<"vala",1,1> {}
  18 def TDLCV_valb : ClauseVal<"valb",2,1> {}
  19 def TDLCV_valc : ClauseVal<"valc",3,0> { let isDefault = 1; }
  20
  21 def TDLC_ClauseA : Clause<"clausea"> {
  22   let enumClauseValue = "AKind";
  23   let allowedClauseValues = [
  24     TDLCV_vala,
  25     TDLCV_valb,
  26     TDLCV_valc
  27   ];
  28 }
  29
  30 def TDLC_ClauseB : Clause<"clauseb"> {
  31   let flangClass = "IntExpr";
  32   let isValueOptional = 1;
  33   let isDefault = 1;
  34 }
  35
  36 def TDLC_ClauseC : Clause<"clausec"> {
  37   let flangClass = "IntExpr";
  38   let isValueList = 1;
  39 }
  40
  41 def TDL_DirA : Directive<"dira"> {
  42   let allowedClauses = [
  43     VersionedClause<TDLC_ClauseA>,
  44     VersionedClause<TDLC_ClauseB>
  45   ];
  46   let isDefault = 1;
  47 }
  48
  49 // CHECK:       #ifndef LLVM_Tdl_INC
  50 // CHECK-NEXT:  #define LLVM_Tdl_INC
  51 // CHECK-EMPTY:
  52 // CHECK-NEXT:  #include "llvm/ADT/BitmaskEnum.h"
  53 // CHECK-EMPTY:
  54 // CHECK-NEXT:  namespace llvm {
  55 // CHECK-NEXT:  class StringRef;
  56 // CHECK-NEXT:  namespace tdl {
  57 // CHECK-EMPTY:
  58 // CHECK-NEXT:  LLVM_ENABLE_BITMASK_ENUMS_IN_NAMESPACE();
  59 // CHECK-EMPTY:
  60 // CHECK-NEXT:  enum class Directive {
  61 // CHECK-NEXT:    TDLD_dira,
  62 // CHECK-NEXT:  };
  63 // CHECK-EMPTY:
  64 // CHECK-NEXT:  static constexpr std::size_t Directive_enumSize = 1;
  65 // CHECK-EMPTY:
  66 // CHECK-NEXT:  constexpr auto TDLD_dira = llvm::tdl::Directive::TDLD_dira;
  67 // CHECK-EMPTY:
  68 // CHECK-NEXT:  enum class Clause {
  69 // CHECK-NEXT:    TDLC_clausea,
  70 // CHECK-NEXT:    TDLC_clauseb,
  71 // CHECK-NEXT:    TDLC_clausec,
  72 // CHECK-NEXT:  };
  73 // CHECK-EMPTY:
  74 // CHECK-NEXT:  static constexpr std::size_t Clause_enumSize = 3;
  75 // CHECK-EMPTY:
  76 // CHECK-NEXT:  constexpr auto TDLC_clausea = llvm::tdl::Clause::TDLC_clausea;
  77 // CHECK-NEXT:  constexpr auto TDLC_clauseb = llvm::tdl::Clause::TDLC_clauseb;
  78 // CHECK-NEXT:  constexpr auto TDLC_clausec = llvm::tdl::Clause::TDLC_clausec;
  79 // CHECK-EMPTY:
  80 // CHECK-NEXT:  enum class AKind {
  81 // CHECK-NEXT:    TDLCV_vala=1,
  82 // CHECK-NEXT:    TDLCV_valb=2,
  83 // CHECK-NEXT:    TDLCV_valc=3,
  84 // CHECK-NEXT:  };
  85 // CHECK-EMPTY:
  86 // CHECK-NEXT:  constexpr auto TDLCV_vala = llvm::tdl::AKind::TDLCV_vala;
  87 // CHECK-NEXT:  constexpr auto TDLCV_valb = llvm::tdl::AKind::TDLCV_valb;
  88 // CHECK-NEXT:  constexpr auto TDLCV_valc = llvm::tdl::AKind::TDLCV_valc;
  89 // CHECK-EMPTY:
  90 // CHECK-NEXT:  // Enumeration helper functions
  91 // CHECK-NEXT:  Directive getTdlDirectiveKind(llvm::StringRef Str);
  92 // CHECK-EMPTY:
  93 // CHECK-NEXT:  llvm::StringRef getTdlDirectiveName(Directive D);
  94 // CHECK-EMPTY:
  95 // CHECK-NEXT:  Clause getTdlClauseKind(llvm::StringRef Str);
  96 // CHECK-EMPTY:
  97 // CHECK-NEXT:  llvm::StringRef getTdlClauseName(Clause C);
  98 // CHECK-EMPTY:
  99 // CHECK-NEXT:  /// Return true if \p C is a valid clause for \p D in version \p Version.
 100 // CHECK-NEXT:  bool isAllowedClauseForDirective(Directive D, Clause C, unsigned Version);
 101 // CHECK-EMPTY:
 102 // CHECK-NEXT:  AKind getAKind(StringRef);
 103 // CHECK-NEXT:  llvm::StringRef getTdlAKindName(AKind);
 104 // CHECK-EMPTY:
 105 // CHECK-NEXT:  } // namespace tdl
 106 // CHECK-NEXT:  } // namespace llvm
 107 // CHECK-NEXT:  #endif // LLVM_Tdl_INC
 108
 109
 110 // IMPL:       #ifdef GEN_FLANG_DIRECTIVE_CLAUSE_SETS
 111 // IMPL-NEXT:  #undef GEN_FLANG_DIRECTIVE_CLAUSE_SETS
 112 // IMPL-EMPTY:
 113 // IMPL-NEXT:  namespace llvm {
 114 // IMPL-NEXT:  namespace tdl {
 115 // IMPL-EMPTY:
 116 // IMPL-NEXT:    // Sets for dira
 117 // IMPL-EMPTY:
 118 // IMPL-NEXT:    static  allowedClauses_TDLD_dira {
 119 // IMPL-NEXT:      llvm::tdl::Clause::TDLC_clausea,
 120 // IMPL-NEXT:      llvm::tdl::Clause::TDLC_clauseb,
 121 // IMPL-NEXT:    };
 122 // IMPL-EMPTY:
 123 // IMPL-NEXT:    static  allowedOnceClauses_TDLD_dira {
 124 // IMPL-NEXT:    };
 125 // IMPL-EMPTY:
 126 // IMPL-NEXT:    static  allowedExclusiveClauses_TDLD_dira {
 127 // IMPL-NEXT:    };
 128 // IMPL-EMPTY:
 129 // IMPL-NEXT:    static  requiredClauses_TDLD_dira {
 130 // IMPL-NEXT:    };
 131 // IMPL-NEXT:  } // namespace tdl
 132 // IMPL-NEXT:  } // namespace llvm
 133 // IMPL-EMPTY:
 134 // IMPL-NEXT:  #endif // GEN_FLANG_DIRECTIVE_CLAUSE_SETS
 135 // IMPL-EMPTY:
 136 // IMPL-NEXT:  #ifdef GEN_FLANG_DIRECTIVE_CLAUSE_MAP
 137 // IMPL-NEXT:  #undef GEN_FLANG_DIRECTIVE_CLAUSE_MAP
 138 // IMPL-EMPTY:
 139 // IMPL-NEXT:  {
 140 // IMPL-NEXT:    {llvm::tdl::Directive::TDLD_dira,
 141 // IMPL-NEXT:      {
 142 // IMPL-NEXT:        llvm::tdl::allowedClauses_TDLD_dira,
 143 // IMPL-NEXT:        llvm::tdl::allowedOnceClauses_TDLD_dira,
 144 // IMPL-NEXT:        llvm::tdl::allowedExclusiveClauses_TDLD_dira,
 145 // IMPL-NEXT:        llvm::tdl::requiredClauses_TDLD_dira,
 146 // IMPL-NEXT:      }
 147 // IMPL-NEXT:    },
 148 // IMPL-NEXT:  }
 149 // IMPL-EMPTY:
 150 // IMPL-NEXT:  #endif // GEN_FLANG_DIRECTIVE_CLAUSE_MAP
 151 // IMPL-EMPTY:
 152 // IMPL-NEXT:  #ifdef GEN_FLANG_CLAUSE_PARSER_CLASSES
 153 // IMPL-NEXT:  #undef GEN_FLANG_CLAUSE_PARSER_CLASSES
 154 // IMPL-EMPTY:
 155 // IMPL-NEXT:  EMPTY_CLASS(Clausea);
 156 // IMPL-NEXT:  WRAPPER_CLASS(Clauseb, std::optional<IntExpr>);
 157 // IMPL-NEXT:  WRAPPER_CLASS(Clausec, std::list<IntExpr>);
 158 // IMPL-EMPTY:
 159 // IMPL-NEXT:  #endif // GEN_FLANG_CLAUSE_PARSER_CLASSES
 160 // IMPL-EMPTY:
 161 // IMPL-NEXT:  #ifdef GEN_FLANG_CLAUSE_PARSER_CLASSES_LIST
 162 // IMPL-NEXT:  #undef GEN_FLANG_CLAUSE_PARSER_CLASSES_LIST
 163 // IMPL-EMPTY:
 164 // IMPL-NEXT:  Clausea
 165 // IMPL-NEXT:  , Clauseb
 166 // IMPL-NEXT:  , Clausec
 167 // IMPL-EMPTY:
 168 // IMPL-NEXT:  #endif // GEN_FLANG_CLAUSE_PARSER_CLASSES_LIST
 169 // IMPL-EMPTY:
 170 // IMPL-NEXT:  #ifdef GEN_FLANG_DUMP_PARSE_TREE_CLAUSES
 171 // IMPL-NEXT:  #undef GEN_FLANG_DUMP_PARSE_TREE_CLAUSES
 172 // IMPL-EMPTY:
 173 // IMPL-NEXT:  NODE(TdlClause, Clausea)
 174 // IMPL-NEXT:  NODE(TdlClause, Clauseb)
 175 // IMPL-NEXT:  NODE(TdlClause, Clausec)
 176 // IMPL-EMPTY:
 177 // IMPL-NEXT:  #endif // GEN_FLANG_DUMP_PARSE_TREE_CLAUSES
 178 // IMPL-EMPTY:
 179 // IMPL-NEXT:  #ifdef GEN_FLANG_CLAUSE_UNPARSE
 180 // IMPL-NEXT:  #undef GEN_FLANG_CLAUSE_UNPARSE
 181 // IMPL-EMPTY:
 182 // IMPL-NEXT:  void Before(const TdlClause::Clausea &) { Word("CLAUSEA"); }
 183 // IMPL-NEXT:  void Unparse(const TdlClause::Clauseb &x) {
 184 // IMPL-NEXT:    Word("CLAUSEB");
 185 // IMPL-NEXT:    Walk("(", x.v, ")");
 186 // IMPL-NEXT:  }
 187 // IMPL-NEXT:  void Unparse(const TdlClause::Clausec &x) {
 188 // IMPL-NEXT:    Word("CLAUSEC");
 189 // IMPL-NEXT:    Put("(");
 190 // IMPL-NEXT:    Walk(x.v, ",");
 191 // IMPL-NEXT:    Put(")");
 192 // IMPL-NEXT:  }
 193 // IMPL-EMPTY:
 194 // IMPL-NEXT:  #endif // GEN_FLANG_CLAUSE_UNPARSE
 195 // IMPL-EMPTY:
 196 // IMPL-NEXT:  #ifdef GEN_FLANG_CLAUSE_CHECK_ENTER
 197 // IMPL-NEXT:  #undef GEN_FLANG_CLAUSE_CHECK_ENTER
 198 // IMPL-EMPTY:
 199 // IMPL-NEXT:  void Enter(const parser::TdlClause::Clausea &);
 200 // IMPL-NEXT:  void Enter(const parser::TdlClause::Clauseb &);
 201 // IMPL-NEXT:  void Enter(const parser::TdlClause::Clausec &);
 202 // IMPL-EMPTY:
 203 // IMPL-NEXT:  #endif // GEN_FLANG_CLAUSE_CHECK_ENTER
 204 // IMPL-EMPTY:
 205 // IMPL-NEXT:  #ifdef GEN_FLANG_CLAUSE_PARSER_KIND_MAP
 206 // IMPL-NEXT:  #undef GEN_FLANG_CLAUSE_PARSER_KIND_MAP
 207 // IMPL-EMPTY:
 208 // IMPL-NEXT:  if constexpr (std::is_same_v<A, parser::TdlClause::Clausea>)
 209 // IMPL-NEXT:    return llvm::tdl::Clause::TDLC_clausea;
 210 // IMPL-NEXT:  if constexpr (std::is_same_v<A, parser::TdlClause::Clauseb>)
 211 // IMPL-NEXT:    return llvm::tdl::Clause::TDLC_clauseb;
 212 // IMPL-NEXT:  if constexpr (std::is_same_v<A, parser::TdlClause::Clausec>)
 213 // IMPL-NEXT:    return llvm::tdl::Clause::TDLC_clausec;
 214 // IMPL-NEXT:  llvm_unreachable("Invalid Tdl Parser clause");
 215 // IMPL-EMPTY:
 216 // IMPL-NEXT:  #endif // GEN_FLANG_CLAUSE_PARSER_KIND_MAP
 217 // IMPL-EMPTY:
 218 // IMPL-NEXT: #ifdef GEN_FLANG_CLAUSES_PARSER
 219 // IMPL-NEXT: #undef GEN_FLANG_CLAUSES_PARSER
 220 // IMPL-EMPTY:
 221 // IMPL-NEXT:  TYPE_PARSER(
 222 // IMPL-NEXT:    "clausec" >> construct<TdlClause>(construct<TdlClause::Clausec>(parenthesized(nonemptyList(Parser<IntExpr>{})))) ||
 223 // IMPL-NEXT:    "clauseb" >> construct<TdlClause>(construct<TdlClause::Clauseb>(maybe(parenthesized(Parser<IntExpr>{})))) ||
 224 // IMPL-NEXT:    "clausea" >> construct<TdlClause>(construct<TdlClause::Clausea>())
 225 // IMPL-NEXT:  )
 226 // IMPL-EMPTY:
 227 // IMPL-NEXT:  #endif // GEN_FLANG_CLAUSES_PARSER
 228 // IMPL-EMPTY:
 229 // IMPL-NEXT:  #ifdef GEN_CLANG_CLAUSE_CLASS
 230 // IMPL-NEXT:  #undef GEN_CLANG_CLAUSE_CLASS
 231 // IMPL-EMPTY:
 232 // IMPL-NEXT:  #ifndef CLAUSE
 233 // IMPL-NEXT:  #define CLAUSE(Enum, Str, Implicit)
 234 // IMPL-NEXT:  #endif
 235 // IMPL-NEXT:  #ifndef CLAUSE_CLASS
 236 // IMPL-NEXT:  #define CLAUSE_CLASS(Enum, Str, Class)
 237 // IMPL-NEXT:  #endif
 238 // IMPL-NEXT:  #ifndef CLAUSE_NO_CLASS
 239 // IMPL-NEXT:  #define CLAUSE_NO_CLASS(Enum, Str)
 240 // IMPL-NEXT:  #endif
 241 // IMPL-EMPTY:
 242 // IMPL-NEXT:  #define __CLAUSE(Name, Class)                      \
 243 // IMPL-NEXT:    CLAUSE(TDLC_##Name, #Name, /* Implicit */ false) \
 244 // IMPL-NEXT:    CLAUSE_CLASS(TDLC_##Name, #Name, Class)
 245 // IMPL-NEXT:  #define __CLAUSE_NO_CLASS(Name)                    \
 246 // IMPL-NEXT:    CLAUSE(TDLC_##Name, #Name, /* Implicit */ false) \
 247 // IMPL-NEXT:    CLAUSE_NO_CLASS(TDLC_##Name, #Name)
 248 // IMPL-NEXT:  #define __IMPLICIT_CLAUSE_CLASS(Name, Str, Class)  \
 249 // IMPL-NEXT:    CLAUSE(TDLC_##Name, Str, /* Implicit */ true)    \
 250 // IMPL-NEXT:    CLAUSE_CLASS(TDLC_##Name, Str, Class)
 251 // IMPL-NEXT:  #define __IMPLICIT_CLAUSE_NO_CLASS(Name, Str)      \
 252 // IMPL-NEXT:    CLAUSE(TDLC_##Name, Str, /* Implicit */ true)    \
 253 // IMPL-NEXT:    CLAUSE_NO_CLASS(TDLC_##Name, Str)
 254 // IMPL-EMPTY:
 255 // IMPL-NEXT:  __CLAUSE_NO_CLASS(clausea)
 256 // IMPL-NEXT:  __CLAUSE_NO_CLASS(clauseb)
 257 // IMPL-NEXT:  __CLAUSE_NO_CLASS(clausec)
 258 // IMPL-EMPTY:
 259 // IMPL-NEXT:  #undef __IMPLICIT_CLAUSE_NO_CLASS
 260 // IMPL-NEXT:  #undef __IMPLICIT_CLAUSE_CLASS
 261 // IMPL-NEXT:  #undef __CLAUSE
 262 // IMPL-NEXT:  #undef CLAUSE_NO_CLASS
 263 // IMPL-NEXT:  #undef CLAUSE_CLASS
 264 // IMPL-NEXT:  #undef CLAUSE
 265 // IMPL-EMPTY:
 266 // IMPL-NEXT:  #endif // GEN_CLANG_CLAUSE_CLASS
 267 // IMPL-EMPTY:
 268
 269 // IMPL:       #ifdef GEN_DIRECTIVES_IMPL
 270 // IMPL-NEXT:  #undef GEN_DIRECTIVES_IMPL
 271 // IMPL-EMPTY:
 272 // IMPL-NEXT:  Directive llvm::tdl::getTdlDirectiveKind(llvm::StringRef Str) {
 273 // IMPL-NEXT:    return llvm::StringSwitch<Directive>(Str)
 274 // IMPL-NEXT:      .Case("dira",TDLD_dira)
 275 // IMPL-NEXT:      .Default(TDLD_dira);
 276 // IMPL-NEXT:  }
 277 // IMPL-EMPTY:
 278 // IMPL-NEXT:  llvm::StringRef llvm::tdl::getTdlDirectiveName(Directive Kind) {
 279 // IMPL-NEXT:    switch (Kind) {
 280 // IMPL-NEXT:      case TDLD_dira:
 281 // IMPL-NEXT:        return "dira";
 282 // IMPL-NEXT:    }
 283 // IMPL-NEXT:    llvm_unreachable("Invalid Tdl Directive kind");
 284 // IMPL-NEXT:  }
 285 // IMPL-EMPTY:
 286 // IMPL-NEXT:  Clause llvm::tdl::getTdlClauseKind(llvm::StringRef Str) {
 287 // IMPL-NEXT:    return llvm::StringSwitch<Clause>(Str)
 288 // IMPL-NEXT:      .Case("clausea",TDLC_clausea)
 289 // IMPL-NEXT:      .Case("clauseb",TDLC_clauseb)
 290 // IMPL-NEXT:      .Case("clausec",TDLC_clausec)
 291 // IMPL-NEXT:      .Default(TDLC_clauseb);
 292 // IMPL-NEXT:  }
 293 // IMPL-EMPTY:
 294 // IMPL-NEXT:  llvm::StringRef llvm::tdl::getTdlClauseName(Clause Kind) {
 295 // IMPL-NEXT:    switch (Kind) {
 296 // IMPL-NEXT:      case TDLC_clausea:
 297 // IMPL-NEXT:        return "clausea";
 298 // IMPL-NEXT:      case TDLC_clauseb:
 299 // IMPL-NEXT:        return "clauseb";
 300 // IMPL-NEXT:      case TDLC_clausec:
 301 // IMPL-NEXT:        return "clausec";
 302 // IMPL-NEXT:    }
 303 // IMPL-NEXT:    llvm_unreachable("Invalid Tdl Clause kind");
 304 // IMPL-NEXT:  }
 305 // IMPL-EMPTY:
 306 // IMPL-NEXT:  AKind llvm::tdl::getAKind(llvm::StringRef Str) {
 307 // IMPL-NEXT:    return llvm::StringSwitch<AKind>(Str)
 308 // IMPL-NEXT:      .Case("vala",TDLCV_vala)
 309 // IMPL-NEXT:      .Case("valb",TDLCV_valb)
 310 // IMPL-NEXT:      .Case("valc",TDLCV_valc)
 311 // IMPL-NEXT:      .Default(TDLCV_valc);
 312 // IMPL-NEXT:  }
 313 // IMPL-EMPTY:
 314 // IMPL-NEXT:  llvm::StringRef llvm::tdl::getTdlAKindName(llvm::tdl::AKind x) {
 315 // IMPL-NEXT:    switch (x) {
 316 // IMPL-NEXT:      case TDLCV_vala:
 317 // IMPL-NEXT:        return "vala";
 318 // IMPL-NEXT:      case TDLCV_valb:
 319 // IMPL-NEXT:        return "valb";
 320 // IMPL-NEXT:      case TDLCV_valc:
 321 // IMPL-NEXT:        return "valc";
 322 // IMPL-NEXT:    }
 323 // IMPL-NEXT:    llvm_unreachable("Invalid Tdl AKind kind");
 324 // IMPL-NEXT:  }
 325 // IMPL-EMPTY:
 326 // IMPL-NEXT:  bool llvm::tdl::isAllowedClauseForDirective(Directive D, Clause C, unsigned Version) {
 327 // IMPL-NEXT:    assert(unsigned(D) <= llvm::tdl::Directive_enumSize);
 328 // IMPL-NEXT:    assert(unsigned(C) <= llvm::tdl::Clause_enumSize);
 329 // IMPL-NEXT:    switch (D) {
 330 // IMPL-NEXT:      case TDLD_dira:
 331 // IMPL-NEXT:        switch (C) {
 332 // IMPL-NEXT:          case TDLC_clausea:
 333 // IMPL-NEXT:            return 1 <= Version && 2147483647 >= Version;
 334 // IMPL-NEXT:          case TDLC_clauseb:
 335 // IMPL-NEXT:            return 1 <= Version && 2147483647 >= Version;
 336 // IMPL-NEXT:          default:
 337 // IMPL-NEXT:            return false;
 338 // IMPL-NEXT:        }
 339 // IMPL-NEXT:        break;
 340 // IMPL-NEXT:    }
 341 // IMPL-NEXT:    llvm_unreachable("Invalid Tdl Directive kind");
 342 // IMPL-NEXT:  }
 343 // IMPL-EMPTY:
 344 // IMPL-NEXT:  #endif // GEN_DIRECTIVES_IMPL