cmake: zlib isnt needed
MODIFY
CMakeLists.txt
CMakeLists.txt
@@ -31,8 +31,6 @@ if (CYGWIN)
set(CMAKE_FIND_LIBRARY_SUFFIXES ".dll")
endif()
-find_package(ZLIB REQUIRED)
-
find_package(Z3 4.8.5 REQUIRED)
include_directories(${Z3_INCLUDE_DIR})

MODIFY
README.md
README.md
@@ -161,7 +161,6 @@ $ ./alive-tv foo.ll
----------------------------------------
define i3 @foo(i3 %0) {
-%1:
%x1 = sub i3 0, %0
%x2 = icmp ne i3 %0, 0
%x3 = zext i1 %x2 to i3
@@ -171,7 +170,6 @@ define i3 @foo(i3 %0) {
}
=>
define i3 @foo(i3 %0) {
-%1:
%x1 = sub i3 0, %0
ret i3 %x1
}
@@ -197,5 +195,4 @@ Summary:
0 correct transformations
1 incorrect transformations
0 errors
-$
```

MODIFY
tools/alive-tv.cpp
tools/alive-tv.cpp
@@ -279,7 +279,7 @@ static bool compareFunctions(llvm::Function &F1, llvm::Function &F2,
return result;
}
-void optimizeModule(llvm::Module *M) {
+static void optimizeModule(llvm::Module *M) {
llvm::LoopAnalysisManager LAM;
llvm::FunctionAnalysisManager FAM;
llvm::CGSCCAnalysisManager CGAM;

cmake: zlib isnt needed