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/optim/zext-and.c | |
| 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/optim/zext-and.c')
0 files changed, 0 insertions, 0 deletions