diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-02 15:34:38 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-23 13:11:20 +0200 |
| commit | 780d796a478f686379489fc2e02f932e7dcd67e9 (patch) | |
| tree | b929c5c53cb2cb309166cda96eb4f5f56e1bc0fd /validation | |
| parent | 45e70ebf4685004ad3cf31c8acf5b8c834933379 (diff) | |
| download | sparse-dev-780d796a478f686379489fc2e02f932e7dcd67e9.tar.gz | |
cast: simplify [ZS]EXT(AND(x,M),N)
A OP_AND with a constant value followed by a sign or zero-extension
can often be moved after the extension.
This is good because it can trigger the cancellation of the OP[ZS]EXT
with a preceding OP_TRUNC, a common situation with bitfields.
Note: This 'simplification' is less desirable if there is
no preceding OP_TRUNC, for example, in a sequence like:
and.32 %t <- %a, $mask
*ext.64 %r <- %t
If needed, this can be filtered out at some later stage.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/optim/and-extend.c | 1 | ||||
| -rw-r--r-- | validation/optim/and-extendx.c | 1 | ||||
| -rw-r--r-- | validation/optim/trunc-mask-zext.c | 1 |
3 files changed, 0 insertions, 3 deletions
diff --git a/validation/optim/and-extend.c b/validation/optim/and-extend.c index fdcf470f..eb589236 100644 --- a/validation/optim/and-extend.c +++ b/validation/optim/and-extend.c @@ -18,7 +18,6 @@ u32 sfoo(u32 x) /* * check-name: and-extend * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-excludes: trunc\\. diff --git a/validation/optim/and-extendx.c b/validation/optim/and-extendx.c index a580bd0d..5c181c93 100644 --- a/validation/optim/and-extendx.c +++ b/validation/optim/and-extendx.c @@ -18,7 +18,6 @@ u64 sfoo(int x) /* * check-name: and-extend * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-contains: and\\.64.*0x7fff diff --git a/validation/optim/trunc-mask-zext.c b/validation/optim/trunc-mask-zext.c index 30ae5aee..9b604174 100644 --- a/validation/optim/trunc-mask-zext.c +++ b/validation/optim/trunc-mask-zext.c @@ -6,7 +6,6 @@ unsigned long long foo(unsigned long long x) /* * check-name: trunc-mask-zext * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-excludes: trunc\\. |