public OPT_DoubleConstantOperand getDoubleFromConstantPool (VM_Class klass, int index) { int offset = klass.getLiteralOffset(index) >> 2; long val_raw = VM_Statics.getSlotContentsAsLong(offset);
public OPT_DoubleConstantOperand getDoubleFromConstantPool(VM_Class klass, int index) { int slot = klass.getLiteralOffset(index) >> 2; long val_raw = VM_Statics.getSlotContentsAsLong(slot);
  public OPT_DoubleConstantOperand getDoubleFromConstantPool (VM_Class klass, 							      int index) {    int offset = klass.getLiteralOffset(index) >> 2;    long val_raw = VM_Statics.getSlotContentsAsLong(offset);    double val = Double.longBitsToDouble(val_raw);    return new OPT_DoubleConstantOperand(val, offset);  }