PR rtl-optimization/83363
PR rtl-optimization/83364
* gcc.dg/pr83363.c: New test.
* gcc.dg/pr83364.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255576 138bc75d-0d04-0410-961f-82ee72b054a4
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 811ec8d..079fd96 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
2017-12-12 Jakub Jelinek <jakub@redhat.com>
+ PR rtl-optimization/83363
+ PR rtl-optimization/83364
+ * gcc.dg/pr83363.c: New test.
+ * gcc.dg/pr83364.c: New test.
+
PR tree-optimization/83359
* gcc.dg/graphite/pr83359.c: New test.
diff --git a/gcc/testsuite/gcc.dg/pr83363.c b/gcc/testsuite/gcc.dg/pr83363.c
new file mode 100644
index 0000000..e698268
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr83363.c
@@ -0,0 +1,26 @@
+/* PR rtl-optimization/83363 */
+/* { dg-do run } */
+/* { dg-options "-O2 -fno-forward-propagate" } */
+
+unsigned char a;
+unsigned int b;
+
+static unsigned short __attribute__ ((noinline, noclone))
+foo (unsigned short x)
+{
+ x -= b;
+ x <<= x == 0;
+ a = ~0;
+ a >>= (unsigned char) x == 0;
+ x *= a -= ~a;
+ return x;
+}
+
+int
+main ()
+{
+ asm volatile ("" : : : "memory");
+ if (foo (3) != (unsigned short) (3 * (unsigned char) ~0))
+ __builtin_abort ();
+ return 0;
+}
diff --git a/gcc/testsuite/gcc.dg/pr83364.c b/gcc/testsuite/gcc.dg/pr83364.c
new file mode 100644
index 0000000..6d38e40
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr83364.c
@@ -0,0 +1,22 @@
+/* PR rtl-optimization/83364 */
+/* { dg-do run } */
+/* { dg-options "-O -fno-forward-propagate -fno-tree-coalesce-vars -fno-tree-ter" } */
+
+int a;
+
+static int __attribute__ ((noinline, noclone))
+foo (unsigned char c)
+{
+ c <<= (long long) c != a;
+ c = c << 7 | c >> 1;
+ return c;
+}
+
+int
+main ()
+{
+ asm volatile ("" : : : "memory");
+ if (foo (0) != 0)
+ __builtin_abort ();
+ return 0;
+}
