1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
import time
from rpython.rlib.rarithmetic import r_longlong, r_uint
from rpython.rlib.rarithmetic import intmask, longlongmask
from rpython.rtyper.extregistry import ExtRegistryEntry
from rpython.rtyper.lltypesystem import lltype, rffi
_is_64_bit = r_uint.BITS > 32
def read_timestamp():
# Returns a longlong on 32-bit, and a regular int on 64-bit.
# When running on top of python, build the result a bit arbitrarily.
x = long(time.time() * 500000000)
if _is_64_bit:
return intmask(x)
else:
return longlongmask(x)
class ReadTimestampEntry(ExtRegistryEntry):
_about_ = read_timestamp
def compute_result_annotation(self):
from rpython.annotator.model import SomeInteger
if _is_64_bit:
return SomeInteger()
else:
return SomeInteger(knowntype=r_longlong)
def specialize_call(self, hop):
hop.exception_cannot_occur()
if _is_64_bit:
resulttype = lltype.Signed
else:
resulttype = rffi.LONGLONG
return hop.genop("ll_read_timestamp", [], resulttype=resulttype)
|
