--- old/src/hotspot/share/opto/loopPredicate.cpp	2018-12-03 17:49:02.940725437 +0100
+++ new/src/hotspot/share/opto/loopPredicate.cpp	2018-12-03 17:49:02.782726566 +0100
@@ -536,6 +536,9 @@
     if (_lpt->is_invariant(n)) { // known invariant
       _invariant.set(n->_idx);
     } else if (!n->is_CFG()) {
+      if (n->Opcode() == Op_ShenandoahWriteBarrier) {
+        return;
+      }
       Node *n_ctrl = _phase->ctrl_or_self(n);
       Node *u_ctrl = _phase->ctrl_or_self(use); // self if use is a CFG
       if (_phase->is_dominator(n_ctrl, u_ctrl)) {