Add tests for expressions like (0 << SHIFT) | BOOL

jaseemabid · emilio · commit e0fe4e4c4497 · 2019-12-08T12:34:59.000+01:00
Fixes #412
diff --git a/tests/expectations/both/constant.c b/tests/expectations/both/constant.c
@@ -21,8 +21,16 @@
 
 #define QUOTE '\''
 
+#define SHIFT 3
+
 #define TAB '\t'
 
+#define XBOOL 1
+
+#define XFALSE ((0 << SHIFT) | XBOOL)
+
+#define XTRUE (1 << (SHIFT | XBOOL))
+
 #define ZOM 3.14
 
 typedef struct Foo {
diff --git a/tests/expectations/both/constant.compat.c b/tests/expectations/both/constant.compat.c
@@ -21,8 +21,16 @@
 
 #define QUOTE '\''
 
+#define SHIFT 3
+
 #define TAB '\t'
 
+#define XBOOL 1
+
+#define XFALSE ((0 << SHIFT) | XBOOL)
+
+#define XTRUE (1 << (SHIFT | XBOOL))
+
 #define ZOM 3.14
 
 typedef struct Foo {
diff --git a/tests/expectations/both/prefix.c b/tests/expectations/both/prefix.c
@@ -5,6 +5,10 @@
 
 #define PREFIX_LEN 42
 
+#define PREFIX_X (42 << 42)
+
+#define PREFIX_Y (PREFIX_X + PREFIX_X)
+
 typedef int32_t PREFIX_NamedLenArray[PREFIX_LEN];
 
 typedef int32_t PREFIX_ValuedLenArray[42];
diff --git a/tests/expectations/both/prefix.compat.c b/tests/expectations/both/prefix.compat.c
@@ -5,6 +5,10 @@
 
 #define PREFIX_LEN 42
 
+#define PREFIX_X (42 << 42)
+
+#define PREFIX_Y (PREFIX_X + PREFIX_X)
+
 typedef int32_t PREFIX_NamedLenArray[PREFIX_LEN];
 
 typedef int32_t PREFIX_ValuedLenArray[42];
diff --git a/tests/expectations/constant.c b/tests/expectations/constant.c
@@ -21,8 +21,16 @@
 
 #define QUOTE '\''
 
+#define SHIFT 3
+
 #define TAB '\t'
 
+#define XBOOL 1
+
+#define XFALSE ((0 << SHIFT) | XBOOL)
+
+#define XTRUE (1 << (SHIFT | XBOOL))
+
 #define ZOM 3.14
 
 typedef struct {
diff --git a/tests/expectations/constant.compat.c b/tests/expectations/constant.compat.c
@@ -21,8 +21,16 @@
 
 #define QUOTE '\''
 
+#define SHIFT 3
+
 #define TAB '\t'
 
+#define XBOOL 1
+
+#define XFALSE ((0 << SHIFT) | XBOOL)
+
+#define XTRUE (1 << (SHIFT | XBOOL))
+
 #define ZOM 3.14
 
 typedef struct {
diff --git a/tests/expectations/constant.cpp b/tests/expectations/constant.cpp
@@ -21,8 +21,16 @@ static const int8_t POS_ONE = 1;
 
 static const uint32_t QUOTE = '\'';
 
+static const int64_t SHIFT = 3;
+
 static const uint32_t TAB = '\t';
 
+static const int64_t XBOOL = 1;
+
+static const int64_t XFALSE = ((0 << SHIFT) | XBOOL);
+
+static const int64_t XTRUE = (1 << (SHIFT | XBOOL));
+
 static const float ZOM = 3.14;
 
 struct Foo {
diff --git a/tests/expectations/prefix.c b/tests/expectations/prefix.c
@@ -5,6 +5,10 @@
 
 #define PREFIX_LEN 42
 
+#define PREFIX_X (42 << 42)
+
+#define PREFIX_Y (PREFIX_X + PREFIX_X)
+
 typedef int32_t PREFIX_NamedLenArray[PREFIX_LEN];
 
 typedef int32_t PREFIX_ValuedLenArray[42];
diff --git a/tests/expectations/prefix.compat.c b/tests/expectations/prefix.compat.c
@@ -5,6 +5,10 @@
 
 #define PREFIX_LEN 42
 
+#define PREFIX_X (42 << 42)
+
+#define PREFIX_Y (PREFIX_X + PREFIX_X)
+
 typedef int32_t PREFIX_NamedLenArray[PREFIX_LEN];
 
 typedef int32_t PREFIX_ValuedLenArray[42];
diff --git a/tests/expectations/prefix.cpp b/tests/expectations/prefix.cpp
@@ -5,6 +5,10 @@
 
 static const int32_t PREFIX_LEN = 42;
 
+static const int64_t PREFIX_X = (42 << 42);
+
+static const int64_t PREFIX_Y = (PREFIX_X + PREFIX_X);
+
 using PREFIX_NamedLenArray = int32_t[PREFIX_LEN];
 
 using PREFIX_ValuedLenArray = int32_t[42];
diff --git a/tests/expectations/tag/constant.c b/tests/expectations/tag/constant.c
@@ -21,8 +21,16 @@
 
 #define QUOTE '\''
 
+#define SHIFT 3
+
 #define TAB '\t'
 
+#define XBOOL 1
+
+#define XFALSE ((0 << SHIFT) | XBOOL)
+
+#define XTRUE (1 << (SHIFT | XBOOL))
+
 #define ZOM 3.14
 
 struct Foo {
diff --git a/tests/expectations/tag/constant.compat.c b/tests/expectations/tag/constant.compat.c
@@ -21,8 +21,16 @@
 
 #define QUOTE '\''
 
+#define SHIFT 3
+
 #define TAB '\t'
 
+#define XBOOL 1
+
+#define XFALSE ((0 << SHIFT) | XBOOL)
+
+#define XTRUE (1 << (SHIFT | XBOOL))
+
 #define ZOM 3.14
 
 struct Foo {
diff --git a/tests/expectations/tag/prefix.c b/tests/expectations/tag/prefix.c
@@ -5,6 +5,10 @@
 
 #define PREFIX_LEN 42
 
+#define PREFIX_X (42 << 42)
+
+#define PREFIX_Y (PREFIX_X + PREFIX_X)
+
 typedef int32_t PREFIX_NamedLenArray[PREFIX_LEN];
 
 typedef int32_t PREFIX_ValuedLenArray[42];
diff --git a/tests/expectations/tag/prefix.compat.c b/tests/expectations/tag/prefix.compat.c
@@ -5,6 +5,10 @@
 
 #define PREFIX_LEN 42
 
+#define PREFIX_X (42 << 42)
+
+#define PREFIX_Y (PREFIX_X + PREFIX_X)
+
 typedef int32_t PREFIX_NamedLenArray[PREFIX_LEN];
 
 typedef int32_t PREFIX_ValuedLenArray[42];
diff --git a/tests/rust/constant.rs b/tests/rust/constant.rs
@@ -15,6 +15,12 @@ const DONT_EXPORT_PRIV: i32 = 30;
 pub const POS_ONE: i8 = 1;
 pub const NEG_ONE: i8 = -1;
 
+// Some doc for shifting //
+pub const SHIFT: i64 = 3;
+pub const XBOOL: i64 = 1;
+pub const XFALSE: i64 = (0 << SHIFT) | XBOOL;
+pub const XTRUE: i64 = 1 << (SHIFT | XBOOL);
+
 #[repr(C)]
 struct Foo {
     x: [i32; FOO],
diff --git a/tests/rust/prefix.rs b/tests/rust/prefix.rs
@@ -12,3 +12,9 @@ pub enum AbsoluteFontWeight {
 
 #[no_mangle]
 pub extern "C" fn root(x: NamedLenArray, y: ValuedLenArray, z: AbsoluteFontWeight) { }
+
+#[no_mangle]
+pub const X: i64 = 42 << 42;
+
+#[no_mangle]
+pub const Y: i64 = X + X;
