| Index: src/objects.h
|
| diff --git a/src/objects.h b/src/objects.h
|
| index 9cf3da0ab9260453d3ce3b365ce716cf59a102c4..26c35cdf7761c00476277d5b826f8ee259706d2a 100644
|
| --- a/src/objects.h
|
| +++ b/src/objects.h
|
| @@ -1836,6 +1836,9 @@ class HeapNumber: public HeapObject {
|
| inline double value() const;
|
| inline void set_value(double value);
|
|
|
| + inline uint64_t value_as_bits() const;
|
| + inline void set_value_as_bits(uint64_t bits);
|
| +
|
| DECLARE_CAST(HeapNumber)
|
|
|
| // Dispatched behavior.
|
| @@ -2508,10 +2511,11 @@ class JSObject: public JSReceiver {
|
| FieldIndex index);
|
| inline Object* RawFastPropertyAt(FieldIndex index);
|
| inline double RawFastDoublePropertyAt(FieldIndex index);
|
| + inline uint64_t RawFastDoublePropertyAsBitsAt(FieldIndex index);
|
|
|
| inline void FastPropertyAtPut(FieldIndex index, Object* value);
|
| inline void RawFastPropertyAtPut(FieldIndex index, Object* value);
|
| - inline void RawFastDoublePropertyAtPut(FieldIndex index, double value);
|
| + inline void RawFastDoublePropertyAsBitsAtPut(FieldIndex index, uint64_t bits);
|
| inline void WriteToField(int descriptor, PropertyDetails details,
|
| Object* value);
|
|
|
|
|