Branch: refs/heads/thaines/slicer_kills_caller_saved
Home: https://github.com/dyninst/dyninst
Commit: e64e17e4ff8398b8019f09c2d04a3685135b7e03
https://github.com/dyninst/dyninst/commit/e64e17e4ff8398b8019f09c2d04a3685135b7e03
Author: Tim Haines <thaines.as...@gmail.com>
Date: 2024-03-10 (Sun, 10 Mar 2024)
Changed paths:
M dataflowAPI/src/slicing.C
Log Message:
-----------
Do not kill caller-saved registers when slicing backward
This check was added by 578ff24aa 2017, but the logic is inverted. From
the commit message:
Currently when backward slicing, a absloc that is written by call
defined by abi will be killed, however, caller saved registers
can/should survive
It's also unclear why r11 was excluded as it's not saved across
function calls (i.e., not callee-saved).
To unsubscribe from these emails, change your notification settings at
https://github.com/dyninst/dyninst/settings/notifications
_______________________________________________
Dyninst-api mailing list
Dyninst-api@cs.wisc.edu
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
