| commit | eaf8385b5ec1f6bf0f884b07d58ddb3f25ee5245 | |
| author | Julian Seward <jseward@acm.org> | |
| Mon, 11 Nov 2019 15:11:20 +0000 (11 16:11 +0100) | ||
| committer | Julian Seward <jseward@acm.org> | |
| Thu, 2 Jan 2020 05:42:21 +0000 (2 06:42 +0100) | ||
| tree | 33ee3ae17b94712ba8082b81775342764226713e | treesnapshot (tar.gz zip) |
| parent | 558f5e9517a4b6acf915d5f2d8083722c327a487 | commitdiff |
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
* 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 | diffblobblamehistory | |
| VEX/priv/ir_defs.c | diffblobblamehistory | |
| VEX/pub/libvex_ir.h | diffblobblamehistory |