[all-commits] [llvm/llvm-project] be3526: Wordsmith RegionBranchOpInterface verification errors

[Sean Silva via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: be35264ab5a38e8367dde49acfbfa1dd71230dfc
      https://github.com/llvm/llvm-project/commit/be35264ab5a38e8367dde49acfbfa1dd71230dfc
  Author: Sean Silva <silvasean at google.com>
  Date:   2020-09-09 (Wed, 09 Sep 2020)

  Changed paths:
    M mlir/lib/Interfaces/ControlFlowInterfaces.cpp
    M mlir/test/Dialect/SCF/invalid.mlir

  Log Message:
  -----------
  Wordsmith RegionBranchOpInterface verification errors

I was having a lot of trouble parsing the messages. In particular, the
messages like:

```
<stdin>:3:8: error: 'scf.if' op  along control flow edge from Region #0 to scf.if source #1 type '!npcomprt.tensor' should match input #1 type 'tensor<?xindex>'
```

In particular, one thing that kept catching me was parsing the "to scf.if
source #1 type" as one thing, but really it is
"to parent results: source type #1".

Differential Revision: https://reviews.llvm.org/D87334