]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d99a6f7) | patch
amd64 and x86 front ends: add a few more spec rules.
authorJulian Seward <jseward@acm.org>
Wed, 4 Jan 2023 16:04:03 +0000 (17:04 +0100)
committerJulian Seward <jseward@acm.org>
Wed, 4 Jan 2023 16:06:01 +0000 (17:06 +0100)
commitfe4e6578d451327829a6908a01bb27995c198acb
tree42a2418fa255e8105c03af0346ea91c2bd325c54tree
parentd99a6f70e2e8bce1eaef0038f3b36e627255d68fcommit | diff
amd64 and x86 front ends: add a few more spec rules.

amd64:
  S and NS  after LOGICQ (per comments from Eyal Soha on the dev list)
  S         after SHLQ
  NZ        after SHLL

x86:
  NZ        after SHRL
  Z         after SHLL

I would have liked to have added the inverse conditions in all cases (eg, both
S and NS, or both Z and NZ), but finding use cases for some of these is almost
impossible, hence they are sometimes omitted.  All of the added cases have
been tested.
VEX/priv/guest_amd64_helpers.c diff | blob | blame | history
VEX/priv/guest_x86_helpers.c diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git