mlir/test/Transforms/test-legalize-erased-op-with-uses.mlir

   1 // RUN: mlir-opt %s -test-legalize-unknown-root-patterns -verify-diagnostics
   2
   3 // Test that an error is emitted when an operation is marked as "erased", but
   4 // has users that live across the conversion.
   5 func.func @remove_all_ops(%arg0: i32) -> i32 {
   6   // expected-error@below {{failed to legalize unresolved materialization from () to ('i32') that remained live after conversion}}
   7   %0 = "test.illegal_op_a"() : () -> i32
   8   // expected-note@below {{see existing live user here}}
   9   return %0 : i32
  10 }