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.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.c')
| -rw-r--r-- | validation/optim/cmp-zext.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/optim/cmp-zext.c b/validation/optim/cmp-zext.c index ecee6b5e..ac484780 100644 --- a/validation/optim/cmp-zext.c +++ b/validation/optim/cmp-zext.c @@ -11,7 +11,6 @@ _Bool cmpu_zext(ARGS(UINT32)) { return TEST(UINT64, UINT32, a, < , 0xffffffff); /* * check-name: cmp-zext * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-returns: 1 |