Update

Author: dtcxzyw

CMakeLists.txt

@@ -19,25 +19,9 @@ include(AddLLVM)
 include_directories(${LLVM_INCLUDE_DIRS})
 include_directories(pcg-cpp/include)
 set(LLVM_LINK_COMPONENTS core support irreader irprinter analysis instcombine passes targetparser)
-add_llvm_executable(strcmp PARTIAL_SOURCES_INTENDED strcmp.cpp)
-add_llvm_executable(vectorizer PARTIAL_SOURCES_INTENDED vectorizer.cpp)
-add_llvm_executable(instcombine-gen PARTIAL_SOURCES_INTENDED instcombine-gen.cpp)
-add_llvm_executable(deadcode PARTIAL_SOURCES_INTENDED deadcode.cpp)
-add_llvm_executable(upgrade-constexpr PARTIAL_SOURCES_INTENDED upgrade-constexpr.cpp)
-add_llvm_executable(scan96625 PARTIAL_SOURCES_INTENDED scan96625.cpp)
-add_llvm_executable(daggrep PARTIAL_SOURCES_INTENDED daggrep.cpp)
-add_llvm_executable(normalizer PARTIAL_SOURCES_INTENDED normalizer.cpp)
-add_llvm_executable(lutscan PARTIAL_SOURCES_INTENDED lutscan.cpp)
-add_llvm_executable(strchr PARTIAL_SOURCES_INTENDED strchr.cpp)
-add_llvm_executable(libcall PARTIAL_SOURCES_INTENDED libcall.cpp)
-add_llvm_executable(state PARTIAL_SOURCES_INTENDED state.cpp)
-add_llvm_executable(alloca PARTIAL_SOURCES_INTENDED alloca.cpp)
-add_llvm_executable(empty-alloca PARTIAL_SOURCES_INTENDED empty-alloca.cpp)
-add_llvm_executable(overflow PARTIAL_SOURCES_INTENDED overflow.cpp)
-add_llvm_executable(pr104696 PARTIAL_SOURCES_INTENDED pr104696.cpp)
-add_llvm_executable(ub PARTIAL_SOURCES_INTENDED ub.cpp)
-add_llvm_executable(cmpdistrib PARTIAL_SOURCES_INTENDED cmpdistrib.cpp)
-add_llvm_executable(switchsinglebackedge PARTIAL_SOURCES_INTENDED switchsinglebackedge.cpp)
-add_llvm_executable(invokenothrow PARTIAL_SOURCES_INTENDED invokenothrow.cpp)
-add_llvm_executable(assumes PARTIAL_SOURCES_INTENDED assumes.cpp)
-add_llvm_executable(issue108449 PARTIAL_SOURCES_INTENDED issue108449.cpp)
+
+file(GLOB SOURCES *.cpp)
+foreach(SOURCE ${SOURCES})
+  get_filename_component(FILENAME ${SOURCE} NAME_WE)
+  add_llvm_executable(${FILENAME} PARTIAL_SOURCES_INTENDED ${SOURCE})
+endforeach()

lifetime.cpp

@@ -0,0 +1,114 @@
+// SPDX-License-Identifier: MIT License
+// Copyright (c) 2024 Yingwei Zheng
+// This file is licensed under the MIT License.
+// See the LICENSE file for more information.
+
+#include "llvm/IR/Argument.h"
+#include "llvm/IR/IntrinsicInst.h"
+#include <llvm/ADT/DenseMap.h>
+#include <llvm/Analysis/TargetLibraryInfo.h>
+#include <llvm/IR/BasicBlock.h>
+#include <llvm/IR/Constants.h>
+#include <llvm/IR/DataLayout.h>
+#include <llvm/IR/DerivedTypes.h>
+#include <llvm/IR/Function.h>
+#include <llvm/IR/GlobalVariable.h>
+#include <llvm/IR/IRBuilder.h>
+#include <llvm/IR/InstVisitor.h>
+#include <llvm/IR/Instruction.h>
+#include <llvm/IR/Instructions.h>
+#include <llvm/IR/Intrinsics.h>
+#include <llvm/IR/LLVMContext.h>
+#include <llvm/IR/Module.h>
+#include <llvm/IR/Operator.h>
+#include <llvm/IR/Type.h>
+#include <llvm/IR/Value.h>
+#include <llvm/IR/Verifier.h>
+#include <llvm/IRPrinter/IRPrintingPasses.h>
+#include <llvm/IRReader/IRReader.h>
+#include <llvm/Support/CommandLine.h>
+#include <llvm/Support/Error.h>
+#include <llvm/Support/ErrorHandling.h>
+#include <llvm/Support/FileSystem.h>
+#include <llvm/Support/FormattedStream.h>
+#include <llvm/Support/InitLLVM.h>
+#include <llvm/Support/MemoryBuffer.h>
+#include <llvm/Support/SourceMgr.h>
+#include <llvm/Support/ToolOutputFile.h>
+#include <llvm/Support/raw_ostream.h>
+#include <llvm/TargetParser/Triple.h>
+#include <cstdint>
+#include <cstdlib>
+#include <filesystem>
+#include <map>
+#include <memory>
+#include <unordered_map>
+
+using namespace llvm;
+namespace fs = std::filesystem;
+
+static cl::opt<std::string>
+    InputDir(cl::Positional, cl::desc("<directory for input LLVM IR files>"),
+             cl::Required, cl::value_desc("inputdir"));
+
+int main(int argc, char **argv) {
+  InitLLVM Init{argc, argv};
+  cl::ParseCommandLineOptions(argc, argv, "scanner\n");
+
+  std::vector<std::string> BlockList{
+      "ruby/optimized/vm.ll",
+      "/regexec.ll",
+      "quickjs/optimized/quickjs.ll",
+  };
+
+  std::vector<fs::path> InputFiles;
+  for (auto &Entry : fs::recursive_directory_iterator(std::string(InputDir))) {
+    if (Entry.is_regular_file()) {
+      auto &Path = Entry.path();
+      if (Path.extension() == ".ll" &&
+          Path.string().find("/optimized/") != std::string::npos) {
+        auto Str = Path.string();
+        bool Blocked = false;
+        for (auto &Pattern : BlockList)
+          if (Str.find(Pattern) != std::string::npos) {
+            Blocked = true;
+            break;
+          }
+        if (!Blocked)
+          InputFiles.push_back(Path);
+      }
+    }
+  }
+  errs() << "Input files: " << InputFiles.size() << '\n';
+  LLVMContext Context;
+  uint32_t Count = 0;
+
+  for (auto &Path : InputFiles) {
+    SMDiagnostic Err;
+    auto M = parseIRFile(Path.string(), Err, Context);
+    if (!M)
+      continue;
+
+    for (auto &F : *M) {
+      if (F.empty())
+        continue;
+
+      for (auto &BB : F) {
+        for (auto &I : BB) {
+          if (auto *LI = dyn_cast<LifetimeIntrinsic>(&I)) {
+            auto *Arg = LI->getArgOperand(1);
+            if (!isa<AllocaInst>(Arg) && !isa<Argument>(Arg)) {
+              errs() << *Arg << '\n';
+              std::abort();
+            }
+          }
+        }
+      }
+    }
+
+    errs() << "\rProgress: " << ++Count;
+  }
+  errs() << '\n';
+
+  return EXIT_SUCCESS;
+}