aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/zext-cmpu.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-10-26 07:07:06 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-11-08 02:14:10 +0100
commit36329f5318dc9a7017207e93445ac9100904183f (patch)
treeefbe4931961ea1b3dd238f03d9e56628883f8fd9 /validation/optim/zext-cmpu.c
parent983964c2ff72392fb7a373990f55cfcb2ba832a0 (diff)
downloadsparse-dev-36329f5318dc9a7017207e93445ac9100904183f.tar.gz
cmp: simplify sext(x) cmp C --> x cmp C
When doing a compare of a sign-extended value against a constant the, sign-extension can be dropped and the comparison done on the original type if the constant is within the original range. Simplify away these sign-extensions. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/zext-cmpu.c')
0 files changed, 0 insertions, 0 deletions