From 74d99ae4bd80d6b2064ca539ba4dffe24aaec362 Mon Sep 17 00:00:00 2001 From: Luc Van Oostenryck Date: Sun, 1 Nov 2020 23:29:30 +0100 Subject: cmp: simplify zext(x) cmps C A signed compare of a zero-extended value against a constant outside of the original range is statically known. Simplify to the corresponding 0/1. Signed-off-by: Luc Van Oostenryck --- validation/optim/cmp-zext-simm.c | 1 - 1 file changed, 1 deletion(-) (limited to 'validation') diff --git a/validation/optim/cmp-zext-simm.c b/validation/optim/cmp-zext-simm.c index f89f8f8b..dda237d7 100644 --- a/validation/optim/cmp-zext-simm.c +++ b/validation/optim/cmp-zext-simm.c @@ -17,7 +17,6 @@ int zext_lgt(unsigned int x) { return (ZEXT(x) > -1) == 1; } /* * check-name: cmp-zext-simm * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-returns: 1 -- cgit 1.2.3-korg