Add Module.verify

runtime/parrot/library/LLVM.pm

@@ -831,6 +831,24 @@ module LLVM {
 # See llvm::createStripSymbolsPass function. */
             AddStripSymbolsPass => "vp",
 
+####### Analysis.h
+
+#typedef enum {
+#  LLVMAbortProcessAction, /* verifier will print to stderr and abort() */
+#  LLVMPrintMessageAction, /* verifier will print to stderr and return 1 */
+#  LLVMReturnStatusAction  /* verifier will just return 1 */
+#} LLVMVerifierFailureAction;
+
+
+# Verifies that a module is valid, taking the specified action if not.
+# Optionally returns a human-readable description of any invalid constructs.
+# OutMessage must be disposed with LLVMDisposeMessage. */
+            VerifyModule => "ipiB", # FIXME
+
+# Verifies that a single function is valid, taking the specified action. Useful
+# for debugging. */
+            VerifyFunction => "ipi",
+
         );
 
         for %funcs.kv -> $name, $signature {

runtime/parrot/library/LLVM/Module.pm

@@ -9,6 +9,10 @@ class LLVM::Module is LLVM::Opaque {
         self.new.wrap( %LLVM::F<ModuleCreateWithName>($name) );
     }
 
+    method verify($action?) {
+        %LLVM::F<VerifyModule>(self, $action // 2, "");
+    }
+
     method dump() {
         %LLVM::F<DumpModule>(self);
     }