mlir/test/Transforms/test-legalizer-analysis.mlir

   1 // RUN: mlir-opt -allow-unregistered-dialect -test-legalize-patterns -verify-diagnostics -test-legalize-mode=analysis %s | FileCheck %s
   2 // expected-remark@-2 {{op 'module' is legalizable}}
   3 // expected-remark@-3 {{op 'module_terminator' is legalizable}}
   4
   5 // expected-remark@+1 {{op 'func' is legalizable}}
   6 func @test(%arg0: f32) {
   7   // expected-remark@+1 {{op 'test.illegal_op_a' is legalizable}}
   8   %result = "test.illegal_op_a"() : () -> (i32)
   9   "foo.region"() ({
  10       // expected-remark@+1 {{op 'test.invalid' is legalizable}}
  11       "test.invalid"() : () -> ()
  12   }) : () -> ()
  13   return
  14 }
  15
  16 // Check that none of the legalizable operations were modified.
  17 // CHECK-LABEL: func @test
  18 // CHECK-NEXT: "test.illegal_op_a"
  19 // CHECK: "test.invalid"