|
From: Christian B. <bor...@de...> - 2011-12-12 19:32:13
|
On 12/12/11 14:51, Florian Krohm wrote:
> On 12/11/2011 10:05 PM, Christian Borntraeger wrote:
>> valgrind revision: 12293
>> VEX revision: 2233
>> GCC version: gcc (GCC) 4.5.3 20110121 (Red Hat 4.5.3-3)
>> C library: GNU C Library stable release version 2.12.1, by Roland McGrath et al.
>> uname -mrs: Linux 3.1.0-rc9-andreas-gde346b6-dirty s390x
>> Vendor version: unknown
>>
>
> drd/tests/annotate_trace_memory is failing in insn selection.
>
> I cannot reproduce this on z900 as test prereqs are not satisfied there.
> Christian, can you take a look at your convenience.
Looks like its a floating point store (in setjmp called
internally in the pthread_library) that drd wants to track.
Our helper handler cannot deal with floating point parameters,
but IIRC helpers should only get integer values, no? Or do we
have to handle that case?
-- ------ IMark(0x42C4CEE, 4, 0) ------
-- PUT(336) = 0x42C4CEE:I64
v-loadi %vR129,0x42C4CEE 8 bytes
v-store %vR129,336(%r13) 8 bytes
-- t66 = Add64(0x50:I64,t38)
v-move %vR130,%vR38 8 bytes
v-add %vR130,%vR130,80 8 bytes
v-move %vR66,%vR130 8 bytes
-- t68 = GET:F64(72)
v-load %vF131,72(%r13) 8 bytes
v-move %vF68,%vF131 8 bytes
-- DIRTY 1:I1 ::: drd_trace_mem_store[rp=3]{0x401007a24}(t66,0x8:I64,t68)
v-loadi %vR132,8 8 bytes
ty: 69640
vex: priv/host_s390_isel.c:676 (s390_isel_int_expr_wrk): Assertion `ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || ty == Ity_I64' failed.
|