A SCoP detection region, defined using bbs as borders.
All control flow touching this region, comes in passing basic_block
ENTRY and leaves passing basic_block EXIT. By using bbs instead of
edges for the borders we are able to represent also regions that do
not have a single entry or exit edge.
But as they have a single entry basic_block and a single exit
basic_block, we are able to generate for every sd_region a single
entry and exit edge.
1 2
\ /
3 <- entry
|
4
/ \ This region contains: {3, 4, 5, 6, 7, 8}
5 6
| |
7 8
\ /
9 <- exit