Skip to content

Commit 892f813

Browse files
committed
add doc
1 parent 8a59bed commit 892f813

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed

mlir/docs/PassManagement.md

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1398,6 +1398,24 @@ $ tree /tmp/pipeline_output
13981398
│ │ ├── 1_1_pass4.mlir
13991399
```
14001400

1401+
* `mlir-use-nameloc-as-prefix`
1402+
* If your source IR has named locations (`loc("named_location")"`) then passing this flag will use those
1403+
names (`named_location`) to prefix the corresponding SSA identifiers:
1404+
```
1405+
%1 = memref.load %0[] : memref<i32> loc("alice")
1406+
%2 = memref.load %0[] : memref<i32> loc("bob")
1407+
%3 = memref.load %0[] : memref<i32> loc("bob")
1408+
```
1409+
will print
1410+
```
1411+
%alice = memref.load %0[] : memref<i32>
1412+
%bob = memref.load %0[] : memref<i32>
1413+
%bob_0 = memref.load %0[] : memref<i32>
1414+
```
1415+
These names will also be preserved through passes to newly created operations
1416+
(assuming the pass writer was diligent about forward `Location` information).
1417+
1418+
14011419
## Crash and Failure Reproduction
14021420
14031421
The [pass manager](#pass-manager) in MLIR contains a builtin mechanism to

0 commit comments

Comments
 (0)