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/optim/cmp-zext-uimm1.c | |
| 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/optim/cmp-zext-uimm1.c')
| -rw-r--r-- | validation/optim/cmp-zext-uimm1.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/optim/cmp-zext-uimm1.c b/validation/optim/cmp-zext-uimm1.c index ffcdaad5..c21780ea 100644 --- a/validation/optim/cmp-zext-uimm1.c +++ b/validation/optim/cmp-zext-uimm1.c @@ -9,7 +9,6 @@ int zext_gt_p(unsigned int x) { return (zext(x) > (BITS )) == 0; } /* * check-name: cmp-zext-uimm1 * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-returns: 1 |