]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7204d08) | patch
Clean up machinery to do with conditionalising IRStmts:
authorJulian Seward <jseward@acm.org>
Mon, 11 Nov 2019 15:11:20 +0000 (16:11 +0100)
committerJulian Seward <jseward@acm.org>
Mon, 11 Nov 2019 15:11:20 +0000 (16:11 +0100)
commit15c69a57ed826c65867dbd1974f4d4a3b040e6cb
tree73295573904b02ed2ba1a9751af4bb67ab95ff0btree
parent7204d087d266acf4f42dbf1db9a21c6fd0640dd3commit | diff
Clean up machinery to do with conditionalising IRStmts:

* document some functions

* change naming and terminology from 'speculation' (which it isn't)
  to 'guarding' (which it is)

* add a new function |primopMightTrap| so as to avoid conditionalising
  IRExprs involving potentially trappy IROps
VEX/priv/guest_generic_bb_to_IR.c diff | blob | blame | history
VEX/priv/ir_defs.c diff | blob | blame | history
VEX/pub/libvex_ir.h diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git