diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-26 07:07:06 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-08 02:14:14 +0100 |
| commit | 89b98b682930e5d4efe97f0ba3b412c23c6721e3 (patch) | |
| tree | 1230899350368704b9af37d23b4cf9537a9f483f /validation/memops | |
| parent | 36329f5318dc9a7017207e93445ac9100904183f (diff) | |
| download | sparse-dev-89b98b682930e5d4efe97f0ba3b412c23c6721e3.tar.gz | |
cmp: simplify zext(x) cmp C --> x cmp C
When doing a compare of a zero-extended value against a constant,
this extension can be dropped and the comparison done on the
original type if the constant is within the original range and
signed compares become the corresponding unsigned one.
Simplify away these sign-extensions.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/memops')
0 files changed, 0 insertions, 0 deletions