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
|
// RUN: mlir-opt -test-print-defuse -allow-unregistered-dialect %s | FileCheck %s
// CHECK: Visiting op 'dialect.op1' with 0 operands:
// CHECK: Has 4 results:
// CHECK: - Result 0 has a single use: - dialect.op2
// CHECK: - Result 1 has no uses
// CHECK: - Result 2 has 2 uses:
// CHECK: - dialect.innerop1
// CHECK: - dialect.op2
// CHECK: - Result 3 has no uses
// CHECK: Visiting op 'dialect.op2' with 2 operands:
// CHECK: - Operand produced by operation 'dialect.op1'
// CHECK: - Operand produced by operation 'dialect.op1'
// CHECK: Has 0 results:
// CHECK: Visiting op 'dialect.innerop1' with 2 operands:
// CHECK: - Operand produced by Block argument, number 0
// CHECK: - Operand produced by operation 'dialect.op1'
// CHECK: Has 0 results:
// CHECK: Visiting op 'dialect.op3' with 0 operands:
// CHECK: Has 0 results:
// CHECK: Visiting op 'builtin.module' with 0 operands:
// CHECK: Has 0 results:
%results:4 = "dialect.op1"() : () -> (i1, i16, i32, i64)
"dialect.op2"(%results#0, %results#2) : (i1, i32) -> ()
"dialect.op3"() ({
^bb0(%arg0 : i1):
"dialect.innerop1"(%arg0, %results#2) : (i1, i32) -> ()
}) : () -> ()
|
