circt/test/Transforms/strip-debuginfo-pred.mlir

23 lines
842 B
MLIR

// RUN: circt-opt -allow-unregistered-dialect %s -mlir-print-debuginfo -mlir-print-local-scope -pass-pipeline='builtin.module(strip-debuginfo-with-pred{drop-suffix=txt})' | FileCheck %s
// This test verifies that debug locations are stripped.
// CHECK-LABEL: func @inline_notation
func.func @inline_notation() {
// CHECK: "foo"() : () -> i32 loc(unknown)
%1 = "foo"() : () -> i32 loc("foo.txt":0:0)
// CHECK: affine.for
// CHECK-NEXT: loc("foo")
affine.for %i0 = 0 to 8 {
} loc(fused["foo", "foo.txt":10:8])
return
}
// CHECK: hw.module @MyModule(in %a : i1, out b : i1)
hw.module @MyModule(in %a : i1 loc("a.txt":0:0), out b : i1 loc ("b.txt":0:0)) {
hw.output %a : i1
}
// CHECK: hw.module.extern @MyExtModule(in %a : i1, out b : i1)
hw.module.extern @MyExtModule(in %a : i1 loc("a.txt":0:0), out b : i1 loc ("b.txt":0:0))