mlir/test/IR/test-clone.mlir

   1 // RUN: mlir-opt -allow-unregistered-dialect %s -pass-pipeline="builtin.module(func.func(test-clone))" -split-input-file
   2
   3 module {
   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:   }