mlir/test/IR/print-ir-invalid.mlir

   1 // # RUN: mlir-opt -test-print-invalid %s | FileCheck %s
   2 // # RUN: mlir-opt -test-print-invalid %s --mlir-print-assume-verified  | FileCheck %s --check-prefix=ASSUME-VERIFIED
   3
   4 // The pass creates some ops and prints them to stdout, the input is just an
   5 // empty module.
   6 module {}
   7
   8 // The operation is invalid because the body does not have a terminator, print
   9 // the generic form.
  10 // CHECK:      Invalid operation:
  11 // CHECK-NEXT: "func.func"() ({
  12 // CHECK-NEXT: ^bb0:
  13 // CHECK-NEXT: })
  14 // CHECK-SAME: sym_name = "test"
  15
  16 // The operation is valid because the body has a terminator, print the custom
  17 // form.
  18 // CHECK:      Valid operation:
  19 // CHECK-NEXT: func @test() {
  20 // CHECK-NEXT:   return
  21 // CHECK-NEXT: }
  22
  23 // With --mlir-print-assume-verified the custom form is printed in both cases.
  24 // This works in this particular case, but may crash in general.
  25
  26 // ASSUME-VERIFIED:      Invalid operation:
  27 // ASSUME-VERIFIED-NEXT: func @test() {
  28 // ASSUME-VERIFIED-NEXT: }
  29
  30 // ASSUME-VERIFIED:      Valid operation:
  31 // ASSUME-VERIFIED-NEXT: func @test() {
  32 // ASSUME-VERIFIED-NEXT:   return
  33 // ASSUME-VERIFIED-NEXT: }