2 files changed, 0 insertions, 46 deletions
diff --git a/src/analysis/CMakeLists.txt b/src/analysis/CMakeLists.txt
index 7895e5af8..313eec0d5 100644
--- a/src/analysis/CMakeLists.txt
+++ b/src/analysis/CMakeLists.txt
@@ -1,7 +1,6 @@
 file(GLOB analysis_HEADERS *.h lattices/*.h)
 set(analysis_SOURCES
   cfg.cpp
-  sign-lattice.cpp
   ${analysis_HEADERS}
 )
 add_library(analysis OBJECT ${analysis_SOURCES})
diff --git a/src/analysis/sign-lattice.cpp b/src/analysis/sign-lattice.cpp
deleted file mode 100644
index 0d9379938..000000000
--- a/src/analysis/sign-lattice.cpp
+++ /dev/null
@@ -1,45 +0,0 @@
-#include "lattice.h"
-#include <type_traits>
-
-namespace wasm::analysis {
-
-struct SignLattice {
-public:
-  enum Sign { BOTTOM, NEGATIVE, ZERO, POSITIVE, TOP };
-
-private:
-  Sign value;
-
-public:
-  bool isTop() { return value == TOP; }
-
-  bool isBottom() { return value == BOTTOM; }
-
-  static LatticeComparison compare(const SignLattice& left,
-                                   const SignLattice& right) {
-    if (left.value == right.value) {
-      return EQUAL;
-    } else if (left.value == BOTTOM || right.value == TOP) {
-      return LESS;
-    } else if (left.value == TOP || right.value == BOTTOM) {
-      return GREATER;
-    } else {
-      return NO_RELATION;
-    }
-  }
-
-  // Modifies the left lattice element to the least upper bound between
-  // it and the right hand lattice element in-place. Returns true
-  // if the left lattice element has been changed.
-  void getLeastUpperBound(const SignLattice& right) {
-    if (value == right.value || value == TOP || right.value == BOTTOM) {
-      return;
-    } else if (value == BOTTOM || right.value == TOP) {
-      value = right.value;
-    } else {
-      value = TOP;
-    }
-  }
-};
-
-} // namespace wasm::analysis