Enable code analysis

Make it optional using the LIBSCRATCHCPP_ENABLE_CODE_ANALYZER option.

Author: adazem009

CMakeLists.txt

@@ -9,6 +9,7 @@ set(CMAKE_CXX_STANDARD_REQUIRED ON)
 option(LIBSCRATCHCPP_BUILD_UNIT_TESTS "Build unit tests" ON)
 option(LIBSCRATCHCPP_NETWORK_SUPPORT "Support for downloading projects" ON)
 option(LIBSCRATCHCPP_PRINT_LLVM_IR "Print LLVM IR of compiled Scratch scripts (for debugging)" OFF)
+option(LIBSCRATCHCPP_ENABLE_CODE_ANALYZER "Analyze Scratch scripts to enable various optimizations" ON)
 option(LIBSCRATCHCPP_ENABLE_SANITIZER "Enable sanitizer to detect memory issues" OFF)
 
 if (LIBSCRATCHCPP_ENABLE_SANITIZER)
@@ -121,6 +122,10 @@ if(LIBSCRATCHCPP_PRINT_LLVM_IR)
     target_compile_definitions(scratchcpp PRIVATE PRINT_LLVM_IR)
 endif()
 
+if(LIBSCRATCHCPP_ENABLE_CODE_ANALYZER)
+    target_compile_definitions(scratchcpp PRIVATE ENABLE_CODE_ANALYZER)
+endif()
+
 # Macros
 target_compile_definitions(scratchcpp PRIVATE LIBSCRATCHCPP_LIBRARY)
 target_compile_definitions(scratchcpp PRIVATE LIBSCRATCHCPP_VERSION="${PROJECT_VERSION}")

src/engine/internal/llvm/llvmcodebuilder.cpp

@@ -52,6 +52,14 @@ std::shared_ptr<ExecutableCode> LLVMCodeBuilder::build()
             m_warp = true;
     }
 
+    if (m_warp) {
+#ifdef ENABLE_CODE_ANALYZER
+        // Analyze the script (type analysis, optimizations, etc.)
+        // NOTE: Do this only for non-warp scripts
+        m_codeAnalyzer.analyzeScript(m_instructions);
+#endif
+    }
+
     // Set fast math flags
     llvm::FastMathFlags fmf;
     fmf.setFast(true);

src/engine/internal/llvm/llvmcodebuilder.h

@@ -11,6 +11,7 @@
 
 #include "../icodebuilder.h"
 #include "llvmbuildutils.h"
+#include "llvmcodeanalyzer.h"
 #include "llvminstruction.h"
 #include "llvminstructionlist.h"
 #include "llvmcoroutine.h"
@@ -137,6 +138,7 @@ class LLVMCodeBuilder : public ICodeBuilder
         llvm::IRBuilder<> m_builder;
         llvm::Function *m_function = nullptr;
         LLVMBuildUtils m_utils;
+        LLVMCodeAnalyzer m_codeAnalyzer;
 
         llvm::StructType *m_valueDataType = nullptr;
         llvm::StructType *m_stringPtrType = nullptr;