diff options
| author | Markus Böck <markus.bock+llvm@nextsilicon.com> | 2023-08-15 15:51:46 +0200 |
|---|---|---|
| committer | Markus Böck <markus.bock+llvm@nextsilicon.com> | 2023-08-15 16:38:16 +0200 |
| commit | 359ba0b00806c6fba325733e817637522b8c6e19 (patch) | |
| tree | bf85c5a83ea2712e2b24b4238706ef3a1767c33a /clang/lib/ExtractAPI/Serialization/SymbolGraphSerializer.cpp | |
| parent | fb0c50be5b66ca689d78ad281cb07bf46d435756 (diff) | |
| download | llvm-359ba0b00806c6fba325733e817637522b8c6e19.zip llvm-359ba0b00806c6fba325733e817637522b8c6e19.tar.gz llvm-359ba0b00806c6fba325733e817637522b8c6e19.tar.bz2 | |
[mlir][CFGToSCF] Add interface changes for downstream projects
This is a follow-up to https://reviews.llvm.org/D156889
Downstream projects may have more complicated ops than the control flow ops upstream and therefore need a more powerful interface to support the lifting process. Use cases include the propagation of (inherent) metadata that was previously on the control flow ops and now needs to be lifted to structured control flow ops.
Since the lifting process is inherently non-local in respect to the function-body, we require stronger guarantees from the interface.
This patch therefore makes two changes to the interface:
* Passes the terminator that is being replaced to `createStructuredBranchRegionTerminatorOp`
* Adds as precondition to `createCFGSwitchOp` that its predecessors are already correctly established
Asserts have been added to verify these were it makes sense and to correctly state intent. I have not added tests purely because testing preconditions like these is not really feasible (and incredibly specific).
Differential Revision: https://reviews.llvm.org/D157981
Diffstat (limited to 'clang/lib/ExtractAPI/Serialization/SymbolGraphSerializer.cpp')
0 files changed, 0 insertions, 0 deletions