From 77cb2fd5097c1f4d6b44162a9b2bf56e46c94ece Mon Sep 17 00:00:00 2001
From: Yichao Yu <yyc1992@gmail.com>
Date: Thu, 14 Mar 2024 14:09:14 -0400
Subject: [PATCH] [utils/llvm] Fix missing include

---
 lib/nacs-utils/llvm/global_rename.cpp | 2 ++
 lib/nacs-utils/llvm/passes.cpp        | 1 +
 2 files changed, 3 insertions(+)

diff --git a/lib/nacs-utils/llvm/global_rename.cpp b/lib/nacs-utils/llvm/global_rename.cpp
index fd57ab12..94de88fe 100644
--- a/lib/nacs-utils/llvm/global_rename.cpp
+++ b/lib/nacs-utils/llvm/global_rename.cpp
@@ -21,6 +21,8 @@
 #include "passes.h"
 #include "utils.h"
 
+#include <llvm/IR/Verifier.h>
+
 #if NACS_ENABLE_NEW_PASS
 #  include <llvm/Transforms/IPO/GlobalDCE.h>
 #else
diff --git a/lib/nacs-utils/llvm/passes.cpp b/lib/nacs-utils/llvm/passes.cpp
index f799aa1b..62b1dd5c 100644
--- a/lib/nacs-utils/llvm/passes.cpp
+++ b/lib/nacs-utils/llvm/passes.cpp
@@ -20,6 +20,7 @@
 
 #include "../utils.h"
 
+#include <llvm/IR/Verifier.h>
 #include <llvm/Transforms/IPO/AlwaysInliner.h>
 
 #if NACS_ENABLE_NEW_PASS