|
150
|
1 // RUN: mlir-opt %s -test-opaque-loc -mlir-print-debuginfo | FileCheck %s
|
|
|
2 // This test verifies that debug opaque locations can be printed.
|
|
|
3
|
|
|
4 #set0 = affine_set<(d0) : (1 == 0)>
|
|
|
5
|
|
|
6 // CHECK: MyLocation: 0: 'foo' op
|
|
|
7 // CHECK: nullptr: 'foo' op
|
|
|
8 // CHECK: MyLocation: 0: 'foo' op
|
|
|
9 // CHECK: MyLocation: 1: 'std.constant' op
|
|
|
10 // CHECK: nullptr: 'std.constant' op
|
|
|
11 // CHECK: MyLocation: 1: 'std.constant' op
|
|
|
12
|
|
|
13 // CHECK-LABEL: func @inline_notation
|
|
|
14 func @inline_notation() -> i32 {
|
|
|
15 // CHECK: -> i32 loc("foo")
|
|
|
16 // CHECK: -> i32 loc("foo")
|
|
|
17 // CHECK: -> i32 loc(unknown)
|
|
|
18 %1 = "foo"() : () -> i32 loc("foo")
|
|
|
19
|
|
|
20 // CHECK: constant 4 : index loc(callsite("foo" at "mysource.cc":10:8))
|
|
|
21 // CHECK: constant 4 : index loc(callsite("foo" at "mysource.cc":10:8))
|
|
|
22 // CHECK: constant 4 : index loc(unknown)
|
|
|
23 %2 = constant 4 : index loc(callsite("foo" at "mysource.cc":10:8))
|
|
|
24
|
|
|
25 // CHECK: } loc(unknown)
|
|
|
26 affine.for %i0 = 0 to 8 {
|
|
|
27 } loc(fused["foo", "mysource.cc":10:8])
|
|
|
28
|
|
|
29 // CHECK: } loc(unknown)
|
|
|
30 affine.for %i0 = 0 to 8 {
|
|
|
31 } loc(fused["foo", "mysource.cc":10:8, callsite("foo" at "mysource.cc":10:8)])
|
|
|
32
|
|
|
33 // CHECK: return %{{.*}} : i32 loc(unknown)
|
|
|
34 return %1 : i32 loc(unknown)
|
|
|
35 }
|
