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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
from rpython.rlib.objectmodel import we_are_translated
from rpython.rtyper.extregistry import ExtRegistryEntry
from rpython.rtyper.lltypesystem import lltype
def ll_assert(x, msg):
"""After translation to C, this becomes an RPyAssert."""
assert type(x) is bool, "bad type! got %r" % (type(x),)
assert x, msg
class Entry(ExtRegistryEntry):
_about_ = ll_assert
def compute_result_annotation(self, s_x, s_msg):
assert s_msg.is_constant(), ("ll_assert(x, msg): "
"the msg must be constant")
return None
def specialize_call(self, hop):
vlist = hop.inputargs(lltype.Bool, lltype.Void)
hop.exception_cannot_occur()
hop.genop('debug_assert', vlist)
def ll_assert_not_none(x):
"""assert x is not None"""
assert x is not None, "ll_assert_not_none(%r)" % (x,)
return x
class Entry(ExtRegistryEntry):
_about_ = ll_assert_not_none
def compute_result_annotation(self, s_x):
return s_x.nonnoneify()
def specialize_call(self, hop):
[v0] = hop.inputargs(hop.args_r[0])
hop.exception_cannot_occur()
hop.genop('debug_assert_not_none', [v0])
return v0
class FatalError(Exception):
pass
def fatalerror(msg):
# print the RPython traceback and abort with a fatal error
if not we_are_translated():
raise FatalError(msg)
from rpython.rtyper.lltypesystem import lltype
from rpython.rtyper.lltypesystem.lloperation import llop
llop.debug_print_traceback(lltype.Void)
llop.debug_fatalerror(lltype.Void, msg)
fatalerror._dont_inline_ = True
fatalerror._jit_look_inside_ = False
fatalerror._annenforceargs_ = [str]
def fatalerror_notb(msg):
# a variant of fatalerror() that doesn't print the RPython traceback
if not we_are_translated():
raise FatalError(msg)
from rpython.rtyper.lltypesystem import lltype
from rpython.rtyper.lltypesystem.lloperation import llop
llop.debug_fatalerror(lltype.Void, msg)
fatalerror_notb._dont_inline_ = True
fatalerror_notb._jit_look_inside_ = False
fatalerror_notb._annenforceargs_ = [str]
def debug_print_traceback():
# print to stderr the RPython traceback of the last caught exception,
# but without interrupting the program
from rpython.rtyper.lltypesystem import lltype
from rpython.rtyper.lltypesystem.lloperation import llop
llop.debug_print_traceback(lltype.Void)
debug_print_traceback._dont_inline_ = True
debug_print_traceback._jit_look_inside_ = False
|
