llvm-project

1
// RUN: mlir-opt -test-print-defuse  -allow-unregistered-dialect %s | FileCheck %s
2

3
// CHECK: Visiting op 'dialect.op1' with 0 operands:
4
// CHECK: Has 4 results:
5
// CHECK:   - Result 0 has a single use:     - dialect.op2
6
// CHECK:   - Result 1 has no uses
7
// CHECK:   - Result 2 has 2 uses:
8
// CHECK:     - dialect.innerop1
9
// CHECK:     - dialect.op2
10
// CHECK:   - Result 3 has no uses
11
// CHECK: Visiting op 'dialect.op2' with 2 operands:
12
// CHECK:   - Operand produced by operation 'dialect.op1'
13
// CHECK:   - Operand produced by operation 'dialect.op1'
14
// CHECK: Has 0 results:
15
// CHECK: Visiting op 'dialect.innerop1' with 2 operands:
16
// CHECK:   - Operand produced by Block argument, number 0
17
// CHECK:   - Operand produced by operation 'dialect.op1'
18
// CHECK: Has 0 results:
19
// CHECK: Visiting op 'dialect.op3' with 0 operands:
20
// CHECK: Has 0 results:
21
// CHECK: Visiting op 'builtin.module' with 0 operands:
22
// CHECK: Has 0 results:
23

24
%results:4 = "dialect.op1"() : () -> (i1, i16, i32, i64)
25
"dialect.op2"(%results#0, %results#2) : (i1, i32) -> ()
26
"dialect.op3"() ({
27
  ^bb0(%arg0 : i1):
28
    "dialect.innerop1"(%arg0, %results#2) : (i1, i32) -> ()
29
}) : () -> ()
30