Bugfix: Ignore DBG_VALUEs in the PML-Export

lib/Target/ARM/ARMExport.cpp

@@ -49,9 +49,11 @@ namespace llvm {
         return Ins->getOpcode() != ARM::PSEUDO_LOOPBOUND
             && Ins->getOpcode() != ARM::IMPLICIT_DEF
             && Ins->getOpcode() != ARM::PSEUDO_PLATINA
-            && Ins->getOpcode() != TargetOpcode::CFI_INSTRUCTION;
-            // As of 20.04.2018: For obscure reasons, the final
-            // RET instructions are Pseudo instructions. Therefore
+            && Ins->getOpcode() != TargetOpcode::CFI_INSTRUCTION
+			&& Ins->getOpcode() != TargetOpcode::DBG_VALUE;
+            // As of 20.04.2018: For not so obscure reasons, some special
+			// opcodes like the far jump of the final RET instructions
+            // are internally modelled as Pseudo instructions. Therefore
             // the following code is dangerous.
             //    !(Ins->isPseudo() && !Ins->isInlineAsm())
       }