Determine if a Block is a loop header. If so, return the loop.
(&self, block: Block)
| 122 | |
| 123 | /// Determine if a Block is a loop header. If so, return the loop. |
| 124 | pub fn is_loop_header(&self, block: Block) -> Option<Loop> { |
| 125 | self.innermost_loop(block) |
| 126 | .filter(|&lp| self.loop_header(lp) == block) |
| 127 | } |
| 128 | |
| 129 | /// Determine if a Block belongs to a loop by running a finger along the loop tree. |
| 130 | /// |
no test coverage detected