mlir/test/Transforms/strip-debuginfo.mlir

   1 // RUN: mlir-opt -allow-unregistered-dialect %s -mlir-print-debuginfo -mlir-print-local-scope -strip-debuginfo | FileCheck %s
   2 // This test verifies that debug locations are stripped.
   3
   4 #set0 = affine_set<(d0) : (1 == 0)>
   5
   6 // CHECK-LABEL: func @inline_notation
   7 func.func @inline_notation() -> i32 {
   8   // CHECK: "foo"() : () -> i32 loc(unknown)
   9   %1 = "foo"() : () -> i32 loc("foo")
  10
  11   // CHECK: } loc(unknown)
  12   affine.for %i0 = 0 to 8 {
  13   } loc(fused["foo", "mysource.cc":10:8])
  14
  15   // CHECK: } loc(unknown)
  16   %2 = arith.constant 4 : index
  17   affine.if #set0(%2) {
  18   } loc(fused<"myPass">["foo", "foo2"])
  19
  20   "foo.region"() ({
  21   // CHECK: ^bb0(%{{.*}}: i32 loc(unknown), %{{.*}}: i32 loc(unknown)):
  22  ^bb0(%a0: i32 loc("argloc"), %z: i32 loc("argloc2")):
  23     %s = arith.addi %a0, %a0 : i32
  24     "foo.yield"(%s) : (i32) -> ()
  25   }) : () -> ()
  26
  27   // CHECK: return %0 : i32 loc(unknown)
  28   return %1 : i32 loc("bar")
  29 }