aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
diff options
Diffstat (limited to 'validation/optim')
-rw-r--r--validation/optim/bits-not-zero.c7
1 files changed, 7 insertions, 0 deletions
diff --git a/validation/optim/bits-not-zero.c b/validation/optim/bits-not-zero.c
index 9872794b..ce74705e 100644
--- a/validation/optim/bits-not-zero.c
+++ b/validation/optim/bits-not-zero.c
@@ -1,4 +1,5 @@
int or_not0(int a) { return a | ~0; }
+int and_not0(int a) { return a & ~0; }
/*
* check-name: bool-not-zero
@@ -11,5 +12,11 @@ or_not0:
ret.32 $0xffffffff
+and_not0:
+.L2:
+ <entry-point>
+ ret.32 %arg1
+
+
* check-output-end
*/