00:48
tsaka__ has quit [Ping timeout: 265 seconds]
01:43
sven- has joined #pypy
03:06
sven- is now known as sven
03:06
sven- has joined #pypy
03:13
jcea has quit [Ping timeout: 240 seconds]
03:39
oberstet has quit [Remote host closed the connection]
04:09
sven has quit [Ping timeout: 240 seconds]
04:09
sven- is now known as sven
06:02
forgottenone has joined #pypy
06:19
pmp-p has quit [Read error: Connection reset by peer]
06:19
glyph_ has joined #pypy
06:19
glyph has quit [Quit: End of line.]
06:20
glyph_ is now known as glyph
06:20
pmp-p has joined #pypy
07:33
<
mattip >
is there a way to mark rarithmetic.intmask() so that the annotater will only accept intmask(int_type)?
07:33
<
mattip >
that way translation on 32-bit would crash in the annotation stage, not in the JIT stage
08:26
mgedmin has quit [Ping timeout: 240 seconds]
08:26
mgedmin has joined #pypy
09:35
tsaka__ has joined #pypy
09:42
oberstet has joined #pypy
12:51
lritter has joined #pypy
13:00
jcea has joined #pypy
14:37
<
antocuni >
mattip: look at rtyper/rbuiltin.py:rtype_intmask
14:37
<
antocuni >
you can probably put some extra check there
14:38
<
antocuni >
mattip: or even annotator/builtin.py:rarith_intmask
16:26
otisolsen70 has joined #pypy
17:05
<
mattip >
nope, neither of those caught it. Maybe because it happens in the JIT production?
17:35
<
antocuni >
mattip: what is the exact problem you are trying to solve?
17:37
<
mattip >
the crash of 32-bit translation
17:37
<
mattip >
at the bottom
17:39
<
antocuni >
to it is trying to call intmask on a pointer? If you put a check in rarith_intmask you can surely catch this case
17:41
<
antocuni >
I have troubles to understand that traceback though
17:42
<
antocuni >
it seems to fail when trying to specialize an op "llong_from_int", but I don't understand why it calls rtype_intmask after that
17:44
<
mattip >
because it is not really an int, it is a pointer, so inside llong_from_int there is intmask(),
17:44
<
mattip >
in rpython/jit/codewriter/support.py:_ll_1_llong_from_int()
17:45
<
mattip >
it generates that op when optimizing apparently?
17:45
<
antocuni >
not when "optimizing" but when generating the jitcodes, I think
17:46
<
mattip >
but now I see that there is a call way up the backtrace to transform_graph(graph), I didn't climb that high up yet
17:47
<
antocuni >
yeah, it would be helpful to know what is the culprit graph/function
18:21
<
mattip >
it is in _cffi_backend/misc.py: write_raw_signed_data(), which is now called from _cppyy/capi/loadable_capi.py:W_RCTypeFunc.rcall
18:28
<
mattip >
maybe the argtype.size is off for pointers on 32 bit, so the cast is wrong
18:37
otisolsen70 has quit [Quit: Leaving]
18:50
riddle has quit [Ping timeout: 272 seconds]
20:08
oberstet has quit [Quit: Leaving]
20:51
forgottenone has quit [Read error: Connection reset by peer]
20:52
forgottenone has joined #pypy
20:54
Techcable has joined #pypy
20:58
Techcable has quit [Client Quit]
20:58
Techcable has joined #pypy
21:24
asmeurer has joined #pypy
21:24
forgottenone has quit [Quit: Konversation terminated!]
21:24
asmeurer has quit [Client Quit]
21:44
lritter has quit [Quit: Leaving]
22:03
asmeurer has joined #pypy
22:45
Taggnostr has quit [Remote host closed the connection]
22:46
Taggnostr has joined #pypy