aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-07-06 00:12:40 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-07-23 13:11:20 +0200
commit7da1a1b5051e146fe6e67b1c30af6ef6516c81d0 (patch)
tree9c9aaa6c110088a6c06bd263d59dc596ef092a43 /validation
parent99b428918d696386fd72ea21a132a2baeb350169 (diff)
downloadsparse-dev-7da1a1b5051e146fe6e67b1c30af6ef6516c81d0.tar.gz
cast: simplify ZEXT(ZEXT(x,N),N')
A zero-extension following another zero-extension can always be simplified into a single zero-extension. Simplify away such instructions. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
-rw-r--r--validation/optim/zext-zext.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/optim/zext-zext.c b/validation/optim/zext-zext.c
index b88a6cca..986d2242 100644
--- a/validation/optim/zext-zext.c
+++ b/validation/optim/zext-zext.c
@@ -6,7 +6,6 @@ int foo(unsigned char offset)
/*
* check-name: zext-zext
* check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
*
* check-output-ignore
* check-output-excludes: sext\\.