mlir/test/mlir-tblgen/deprecation-transitive.td

   1 // RUN: mlir-tblgen -I %S/../../include %s 2>&1 | FileCheck %s --implicit-check-not warning:
   2
   3 include "mlir/IR/OpBase.td"
   4
   5 def Test_Dialect : Dialect {
   6   let name = "test_dialect";
   7 }
   8
   9 def OpTraitA : NativeOpTrait<"OpTraitA">, Deprecated<"use `bar` instead">;
  10
  11 // CHECK: :[[# @LINE + 1]]:{{[0-9]+}}: warning: Using deprecated def `OpTraitA`
  12 def A_AsField {
  13   NativeOpTrait value = OpTraitA;
  14 }
  15
  16 // CHECK: :[[# @LINE + 1]]:{{[0-9]+}}: warning: Using deprecated def `OpTraitA`
  17 def B_InList {
  18   list<NativeOpTrait> value = [OpTraitA];
  19 }
  20
  21 // CHECK: :[[# @LINE + 1]]:{{[0-9]+}}: warning: Using deprecated def `OpTraitA`
  22 def C_InListList {
  23     list<list<NativeOpTrait>> value = [[OpTraitA]];
  24 }
  25
  26 class Base;
  27
  28 // CHECK: :[[# @LINE + 1]]:{{[0-9]+}}: warning: Using deprecated def `OpTraitA`
  29 def D_InDagAsOperator {
  30   dag value = (OpTraitA $test);
  31 }
  32
  33 // CHECK: :[[# @LINE + 1]]:{{[0-9]+}}: warning: Using deprecated def `OpTraitA`
  34 def E_InDagAsArg : Base {
  35   dag value = (ins OpTraitA:$test);
  36 }
  37
  38 class ThingTakingList<list<NativeOpTrait> l> {
  39   list<NativeOpTrait> i = l; // avoid unused variable warning.
  40 }
  41
  42 // CHECK: :[[# @LINE + 1]]:{{[0-9]+}}: warning: Using deprecated def `OpTraitA`
  43 def F_AsFieldWithinAnonymousDef {
  44   ThingTakingList value = ThingTakingList<[OpTraitA]>;
  45 }
  46
  47 // CHECK: :[[# @LINE + 1]]:{{[0-9]+}}: warning: Using deprecated def `OpTraitA`
  48 def G_InDagAsAnonymousDefOperator {
  49   dag value = (ThingTakingList<[OpTraitA]> $test);
  50 }
  51
  52 def H_ButNotTransitivelyInNonAnonymousDef {
  53   Base value = E_InDagAsArg;
  54 }