1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
// RUN: mlir-pdll %s -I %S -I %S/../../../include -dump-ods 2>&1 | FileCheck %s
#include "include/ops.td"
// CHECK: Operation `test.all_empty` {
// CHECK-NEXT: }
// CHECK: Operation `test.all_optional` {
// CHECK-NEXT: Attributes { attr : Optional<I64Attr> }
// CHECK-NEXT: Operands { operand : Optional<I64> }
// CHECK-NEXT: Results { result : Optional<I64> }
// CHECK-NEXT: }
// CHECK: Operation `test.all_single` {
// CHECK-NEXT: Attributes { attr : I64Attr, nonNegativeAttr : I64Attr }
// CHECK-NEXT: Operands { operand : I64 }
// CHECK-NEXT: Results { result : I64 }
// CHECK-NEXT: }
// CHECK: Operation `test.all_variadic` {
// CHECK-NEXT: Operands { operands : Variadic<I64> }
// CHECK-NEXT: Results { results : Variadic<I64> }
// CHECK-NEXT: }
// CHECK: AttributeConstraint `I64Attr` {
// CHECK-NEXT: Summary: 64-bit signless integer attribute
// CHECK-NEXT: CppClass: ::mlir::IntegerAttr
// CHECK-NEXT: }
// CHECK: TypeConstraint `I64` {
// CHECK-NEXT: Summary: 64-bit signless integer
// CHECK-NEXT: CppClass: ::mlir::IntegerType
// CHECK-NEXT: }
// CHECK: UserConstraintDecl {{.*}} Name<TestAttrInterface> ResultType<Tuple<>> Code<return ::mlir::success((::llvm::isa<TestAttrInterface>(self)));>
// CHECK: `Inputs`
// CHECK: `-VariableDecl {{.*}} Name<self> Type<Attr>
// CHECK: `Constraints`
// CHECK: `-AttrConstraintDecl
// CHECK: UserConstraintDecl {{.*}} Name<TestTypeInterface> ResultType<Tuple<>> Code<return ::mlir::success((::llvm::isa<TestTypeInterface>(self)));>
// CHECK: `Inputs`
// CHECK: `-VariableDecl {{.*}} Name<self> Type<Type>
// CHECK: `Constraints`
// CHECK: `-TypeConstraintDecl {{.*}}
// CHECK: UserConstraintDecl {{.*}} Name<TestOpInterface> ResultType<Tuple<>> Code<return ::mlir::success(llvm::isa<::TestOpInterface>(self));>
// CHECK: `Inputs`
// CHECK: `-VariableDecl {{.*}} Name<self> Type<Op>
// CHECK: `Constraints`
// CHECK: `-OpConstraintDecl
// CHECK: `-OpNameDecl
|
