@grain/stdlib 0.6.6 → 0.7.1

package/int64.gr

@@ -10,6 +10,13 @@
  */
 module Int64
 
+from "runtime/unsafe/offsets" include Offsets
+// TODO(#703): Use `_VALUE_OFFSET` throughout this module
+use Offsets.{
+  _INT64_VALUE_OFFSET as _VALUE_OFFSET,
+  _UINT64_VALUE_OFFSET,
+  _FLOAT64_VALUE_OFFSET,
+}
 from "runtime/unsafe/wasmi32" include WasmI32
 from "runtime/unsafe/wasmi64" include WasmI64
 use WasmI64.{ (==), (!=), (&), (|), (^), (<<), (>>), (<), (<=), (>), (>=) }
@@ -38,7 +45,25 @@ provide { fromNumber, toNumber }
  */
 @unsafe
 provide let fromUint64 = (number: Uint64) => {
-  let x = WasmI64.load(WasmI32.fromGrain(number), 8n)
+  let x = WasmI64.load(WasmI32.fromGrain(number), _UINT64_VALUE_OFFSET)
+  let result = newInt64(x)
+  WasmI32.toGrain(result): Int64
+}
+
+/**
+ * Interprets a Float64 as an Int64.
+ *
+ * @param value: The value to convert
+ * @returns The Float64 interpreted as an Int64
+ *
+ * @example assert Int64.reinterpretFloat64(1.0d) == 4607182418800017408L
+ * @example assert Int64.reinterpretFloat64(-1.0d) == -4616189618054758400L
+ *
+ * @since v0.7.0
+ */
+@unsafe
+provide let reinterpretFloat64 = (value: Float64) => {
+  let x = WasmI64.load(WasmI32.fromGrain(value), _FLOAT64_VALUE_OFFSET)
   let result = newInt64(x)
   WasmI32.toGrain(result): Int64
 }
@@ -629,7 +654,7 @@ let rec expBySquaring = (y, x, n) => {
  * @returns The base raised to the given power
  *
  * @example
- * from Int64 use { (**) }
+ * use Int64.{ (**) }
  * assert 2L ** 3L == 8L
  *
  * @since v0.6.0