fix WASI clock bugs

This commit is contained in:
Mark McCaskey
2019-05-20 11:01:28 -07:00
parent 8a177363f4
commit 2c5f72805e
4 changed files with 12 additions and 8 deletions

View File

@ -23,7 +23,8 @@ pub fn platform_clock_res_get(
(clock_getres(unix_clock_id, &mut timespec_out), timespec_out)
};
resolution.set(timespec_out.tv_nsec as __wasi_timestamp_t);
let t_out = (timespec_out.tv_sec * 1_000_000_000).wrapping_add(timespec_out.tv_nsec);
resolution.set(t_out as __wasi_timestamp_t);
// TODO: map output of clock_getres to __wasi_errno_t
__WASI_ESUCCESS
@ -50,9 +51,8 @@ pub fn platform_clock_time_get(
)
};
// TODO: adjust output by precision...
time.set(timespec_out.tv_nsec as __wasi_timestamp_t);
let t_out = (timespec_out.tv_sec * 1_000_000_000).wrapping_add(timespec_out.tv_nsec);
time.set(t_out as __wasi_timestamp_t);
// TODO: map output of clock_gettime to __wasi_errno_t
__WASI_ESUCCESS