aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-03-13 14:03:20 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-04-18 23:45:41 +0200
commit99bf609861c3bc9ba313a81642988da92838c9e2 (patch)
treedb342d7d500b04e2029f175a87ac952401db6728 /validation/optim
parenteb4cdd21b7d0cedbbeff7f70e24473706ccce5a6 (diff)
downloadsparse-dev-99bf609861c3bc9ba313a81642988da92838c9e2.tar.gz
TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C
It's not 100% clear than this is indeed a simplification but: 1) from a pure instruction count point of view, it doesn't make things worst 2) in most place where it applies, the masking is made redundant and is thus eliminated Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim')
0 files changed, 0 insertions, 0 deletions