Ejemplo n.º 1
0
  private boolean verifyBlock(AbstractBlockBase<?> block) {
    currentBlock = block;
    assert !visited.get(block.getId()) : "Block already visited: " + block;
    visited.set(block.getId());
    for (LIRInstruction op : lir.getLIRforBlock(block)) {
      op.visitEachAlive(this::useConsumer);
      op.visitEachState(this::useConsumer);
      op.visitEachInput(this::useConsumer);

      op.visitEachTemp(this::defConsumer);
      op.visitEachOutput(this::defConsumer);
    }
    currentBlock = null;
    return true;
  }