aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
Diffstat (limited to 'validation')
-rw-r--r--validation/backend/bitwise-ops.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/validation/backend/bitwise-ops.c b/validation/backend/bitwise-ops.c
index aa1029e4..659c7639 100644
--- a/validation/backend/bitwise-ops.c
+++ b/validation/backend/bitwise-ops.c
@@ -48,6 +48,16 @@ static unsigned int uxor(unsigned int x, unsigned int y)
return x ^ y;
}
+static int not(int x)
+{
+ return ~x;
+}
+
+static unsigned int unot(unsigned int x)
+{
+ return ~x;
+}
+
/*
* check-name: Bitwise operator code generation
* check-command: ./sparsec -c $file -o tmp.o