1// RUN: mlir-opt -allow-unregistered-dialect %s -pass-pipeline="func.func(test-clone)" -split-input-file
2
3module {
4  func.func @fixpoint(%arg1 : i32) -> i32 {
5    %r = "test.use"(%arg1) ({
6       "test.yield"(%arg1) : (i32) -> ()
7    }) : (i32) -> i32
8    return %r : i32
9  }
10}
11
12// CHECK:   func @fixpoint(%[[arg0:.+]]: i32) -> i32 {
13// CHECK-NEXT:     %[[i0:.+]] = "test.use"(%[[arg0]]) ({
14// CHECK-NEXT:       "test.yield"(%arg0) : (i32) -> ()
15// CHECK-NEXT:     }) : (i32) -> i32
16// CHECK-NEXT:     %[[i1:.+]] = "test.use"(%[[i0]]) ({
17// CHECK-NEXT:       "test.yield"(%[[i0]]) : (i32) -> ()
18// CHECK-NEXT:     }) : (i32) -> i32
19// CHECK-NEXT:     return %[[i1]] : i32
20// CHECK-NEXT:   }
21