Determine if a Block belongs to a loop by running a finger along the loop tree. Returns `true` if `block` is in loop `lp`.
(&self, block: Block, lp: Loop)
| 130 | /// |
| 131 | /// Returns `true` if `block` is in loop `lp`. |
| 132 | pub fn is_in_loop(&self, block: Block, lp: Loop) -> bool { |
| 133 | let block_loop = self.block_loop_map[block]; |
| 134 | match block_loop.expand() { |
| 135 | None => false, |
| 136 | Some(block_loop) => self.is_child_loop(block_loop, lp), |
| 137 | } |
| 138 | } |
| 139 | |
| 140 | /// Determines if a loop is contained in another loop. |
| 141 | /// |
no test coverage detected