RegisterSpecList ssaSetToSpecs(IntSet ssaSet){
  RegisterSpecList result=new RegisterSpecList(ssaSet.elements());
  IntIterator iter=ssaSet.iterator();
  int i=0;
  while (iter.hasNext()) {
    result.set(i++,getDefinitionSpecForSsaReg(iter.next()));
  }
  return result;
}

RegisterSpecList ssaSetToSpecs ( IntSet ssaSet ) { RegisterSpecList result = new RegisterSpecList ( ssaSet . elements ( ) ) ; IntIterator iter = ssaSet . iterator ( ) ; int i = 0 ; while ( iter . hasNext ( ) ) { result . set ( i ++ , getDefinitionSpecForSsaReg ( iter . next ( ) ) ) ; } return result ; }
converts a bit set of ssa registers into a registerspeclist containing the definition specs of all the registers .
