Verify IR after our own validation. (#514)

JuliaGPU · Sep 13, 2023 · f0655bd · f0655bd
1 parent c916b4e
commit f0655bd
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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