35 lines
1002 B
Zig
35 lines
1002 B
Zig
// SPDX-License-Identifier: MIT
|
|
// Copyright (c) 2015-2020 Zig Contributors
|
|
// This file is part of [zig](https://ziglang.org/), which is MIT licensed.
|
|
// The MIT license requires this copyright notice to be included in all copies
|
|
// and substantial portions of the software.
|
|
const builtin = @import("builtin");
|
|
const std = @import("std");
|
|
|
|
const twop52: f64 = 0x1.0p52;
|
|
const twop84: f64 = 0x1.0p84;
|
|
const twop84_plus_twop52: f64 = 0x1.00000001p84;
|
|
|
|
pub fn __floatundidf(a: u64) callconv(.C) f64 {
|
|
@setRuntimeSafety(builtin.is_test);
|
|
|
|
if (a == 0) return 0;
|
|
|
|
var high = @bitCast(u64, twop84);
|
|
var low = @bitCast(u64, twop52);
|
|
|
|
high |= a >> 32;
|
|
low |= a & 0xFFFFFFFF;
|
|
|
|
return (@bitCast(f64, high) - twop84_plus_twop52) + @bitCast(f64, low);
|
|
}
|
|
|
|
pub fn __aeabi_ul2d(arg: u64) callconv(.AAPCS) f64 {
|
|
@setRuntimeSafety(false);
|
|
return @call(.{ .modifier = .always_inline }, __floatundidf, .{arg});
|
|
}
|
|
|
|
test "import floatundidf" {
|
|
_ = @import("floatundidf_test.zig");
|
|
}
|