diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-13 14:03:20 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-04-18 23:45:41 +0200 |
| commit | 99bf609861c3bc9ba313a81642988da92838c9e2 (patch) | |
| tree | db342d7d500b04e2029f175a87ac952401db6728 /validation/optim | |
| parent | eb4cdd21b7d0cedbbeff7f70e24473706ccce5a6 (diff) | |
| download | sparse-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
