for (OPT_OperandEnumeration e = s.getDefs(); e.hasMoreElements(); ) { OPT_Operand current = e.next(); if (current instanceof OPT_RegisterOperand && ((OPT_RegisterOperand) current).register.isPhysical()) return; }
  private void processMove(OPT_Instruction s) {    OPT_Register result = Move.getResult(s).register;    OPT_ValueGraphVertex v = findOrCreateVertex(result);    OPT_Operand val = Move.getVal(s);    // bypass Move instructions that define the right-hand side    val = bypassMoves(val);    v.copyVertex(findOrCreateVertex(val));  }