llvm-project

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
}
55