]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56f62f7) | patch
VEX: Remove algebraic simplification for shift IROps.
authorFlorian Krohm <flo2030@eich-krohm.de>
Wed, 1 Oct 2025 12:19:13 +0000 (12:19 +0000)
committerFlorian Krohm <flo2030@eich-krohm.de>
Wed, 1 Oct 2025 12:19:13 +0000 (12:19 +0000)
commit09f6162dd7ca1e60ceeb6e7fac30a1f9a8cf6641
tree09ee5465035ca512b5de08414370052b18eac4a7tree | snapshot
parent56f62f74ada99daf1a18cd1abe5309d4fc9c085ccommit | diff
VEX: Remove algebraic simplification for shift IROps.

Shl/Shr/Sar(0,x) ==> 0

Don't. Because doing so removes the undefined behaviour in case the shift
amount is out of range.  This is also consistent with what constant folding
does in this case, namely, passing the undefined behaviour down the VEX
pipeline.
VEX/priv/ir_opt.c diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git