https://bugs.kde.org/show_bug.cgi?id=398066
Bug ID: 398066
Summary: cgijl dep1, 0 reports Conditional jump or move depends
on uninitialised value(s)
Product: valgrind
Version: unspecified
Platform: Other
OS: Linux
Status: UNCONFIRMED
Severity: normal
Priority: NOR
Component: memcheck
Assignee: jsew...@acm.org
Reporter: m...@klomp.org
Target Milestone: ---
This is similar to bug #387712 (about cgijnl), but a newer gcc uses cgijl now:
723 /* Check whether this is the initial frame or a signal frame.
724 Then we need to unwind from the original, unadjusted PC. */
725 if (! state->initial_frame && ! state->signal_frame)
0x000000000487e53c <+44>: lg %r1,16(%r11)
0x000000000487e542 <+50>: lg %r3,176(%r15)
0x000000000487e548 <+56>: tmhh %r1,16384
0x000000000487e54c <+60>: jne 0x487e560 <__libdwfl_frame_unwind+80>
=> 0x000000000487e550 <+64>: cgijl %r1,0,0x487e560
<__libdwfl_frame_unwind+80>
The following should fix it:
diff --git a/VEX/priv/guest_s390_helpers.c b/VEX/priv/guest_s390_helpers.c
index 52e4ce936..aeda67704 100644
--- a/VEX/priv/guest_s390_helpers.c
+++ b/VEX/priv/guest_s390_helpers.c
@@ -1935,6 +1935,14 @@ guest_s390x_spechelper(const HChar *function_name,
IRExpr **args,
return unop(Iop_1Uto32, binop(Iop_CmpNE64, cc_dep1, cc_dep2));
}
if (cond == 4 || cond == 4 + 1) {
+ if (isC64_exactly(cc_dep2, 0)) {
+ /* dep1 <signed 0
+ --> m.s.bit of dep1 == 1 */
+ return unop(Iop_64to32,
+ binop(Iop_And64,
+ binop(Iop_Shr64, cc_dep1, mkU8(63)),
+ mkU64(1)));
+ }
return unop(Iop_1Uto32, binop(Iop_CmpLT64S, cc_dep1, cc_dep2));
}
if (cond == 8 + 4 || cond == 8 + 4 + 1) {
--
You are receiving this mail because:
You are watching all bug changes.
