diff --git a/src/driver.jl b/src/driver.jl
index 9b3768b0..22f9a920 100644
--- a/src/driver.jl
+++ b/src/driver.jl
@@ -433,10 +433,6 @@ const __llvm_initialized = Ref(false)
                 empty!(f)
             end
         end
-
-        if should_verify()
-            @timeit_debug to "verification" verify(ir)
-        end
     end
 
     if validate
@@ -445,6 +441,10 @@ const __llvm_initialized = Ref(false)
         end
     end
 
+    if should_verify()
+        @timeit_debug to "verification" verify(ir)
+    end
+
     return ir, (; entry, compiled)
 end