4 files changed, 66 insertions, 0 deletions
diff --git a/validation/optim/lsr-and0.c b/validation/optim/lsr-and0.c
new file mode 100644
index 00000000..292c0332
--- /dev/null
+++ b/validation/optim/lsr-and0.c
@@ -0,0 +1,14 @@
+unsigned lsr_and0(unsigned x)
+{
+	unsigned t = (x & 0x00000fff);
+	return (t >> 12) & t;
+}
+
+/*
+ * check-name: lsr-and0
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-output-ignore
+ * check-output-contains: ret\\..*\\$0$
+ */
diff --git a/validation/optim/lsr-and1.c b/validation/optim/lsr-and1.c
new file mode 100644
index 00000000..e2eb5059
--- /dev/null
+++ b/validation/optim/lsr-and1.c
@@ -0,0 +1,19 @@
+// If (t >> S) is simplified into (x >> S)
+// then the whole expression will be 0.
+// The test is only interesting if the sub-expression
+// (x & M) is referenced more than once
+// (because otherwise other simplifications apply).
+unsigned lsr_and1(unsigned x)
+{
+	unsigned t = (x & 0xfffff000);
+	return ((t >> 12) ^ (x >> 12)) & t;
+}
+
+/*
+ * check-name: lsr-and1
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-output-ignore
+ * check-output-contains: ret\\..*\\$0$
+ */
diff --git a/validation/optim/shl-and0.c b/validation/optim/shl-and0.c
new file mode 100644
index 00000000..289859ae
--- /dev/null
+++ b/validation/optim/shl-and0.c
@@ -0,0 +1,14 @@
+unsigned shl_and0(unsigned x)
+{
+	unsigned t = (x & 0xfff00000);
+	return (t << 12) & t;
+}
+
+/*
+ * check-name: shl-and0
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-output-ignore
+ * check-output-contains: ret\\..*\\$0$
+ */
diff --git a/validation/optim/shl-and1.c b/validation/optim/shl-and1.c
new file mode 100644
index 00000000..5f4fdcb1
--- /dev/null
+++ b/validation/optim/shl-and1.c
@@ -0,0 +1,19 @@
+// If (t << S) is simplified into (x << S)
+// then the whole expression will be 0.
+// The test is only interesting if the sub-expression
+// (x & M) is referenced more than once
+// (because otherwise other simplifications apply).
+unsigned shl_and1(unsigned x)
+{
+	unsigned t = (x & 0x000fffff);
+	return ((t << 12) ^ (x << 12)) & t;
+}
+
+/*
+ * check-name: shl-and1
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-output-ignore
+ * check-output-contains: ret\\..*\\$0$
+ */