[PATCH] D22558: Helper functions to verify SESE, SEME and copySEME

[Aditya Kumar via llvm-commits]

hiraditya created this revision.
hiraditya added reviewers: sanjoy, hfinkel.
hiraditya added subscribers: mzolotukhin, sebpop, jlebar, llvm-commits.
hiraditya set the repository for this revision to rL LLVM.

Adding functionalities to verify

1. if a region is Single Entry Single Exit (SESE),
2. if a region is Single Entry Multiple Exit (SEME),

Also adding a utility to clone SEME. This is useful in loop-rotation and jump-threading for example. The copySEME updates SSA renames and dominance info.

The test cases to exercise these functionality will be provided in subsequent patches of loop-rotation where these APIs are used.

Worked in collaboration with Sebastian Pop.

Repository:
  rL LLVM

https://reviews.llvm.org/D22558

Files:
  llvm/include/llvm/Transforms/Utils/Cloning.h
  llvm/lib/Transforms/Utils/CloneFunction.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D22558.64631.patch
Type: text/x-patch
Size: 6602 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160720/99a033f9/attachment.bin>