From 6f8acb87b332d77d76ad81d56ab7bcf1125afcf3 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 18 Oct 2018 14:22:26 +0100
Subject: Move unrelated function from ReadExpr class

---
 lib/Expr/Expr.cpp | 41 -----------------------------------------
 1 file changed, 41 deletions(-)

(limited to 'lib/Expr/Expr.cpp')

diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index 9e524f62..a5c7f652 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -81,47 +81,6 @@ ref<Expr> Expr::createTempRead(const Array *array, Expr::Width w) {
   }
 }
 
-ref<Expr> ReadExpr::extendRead(const UpdateList &ul, const ref<Expr> index,
-                               Expr::Width w) {
-  switch (w) {
-  default:
-    assert(0 && "invalid width");
-  case Expr::Int8:
-    return ReadExpr::alloc(ul, index);
-  case Expr::Int16:
-    return ConcatExpr::create(
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(1, Expr::Int32), index)),
-        ReadExpr::alloc(ul, index));
-  case Expr::Int32:
-    return ConcatExpr::create4(
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(3, Expr::Int32), index)),
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(2, Expr::Int32), index)),
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(1, Expr::Int32), index)),
-        ReadExpr::alloc(ul, index));
-  case Expr::Int64:
-    return ConcatExpr::create8(
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(7, Expr::Int32), index)),
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(6, Expr::Int32), index)),
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(5, Expr::Int32), index)),
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(4, Expr::Int32), index)),
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(3, Expr::Int32), index)),
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(2, Expr::Int32), index)),
-        ReadExpr::alloc(
-            ul, AddExpr::create(ConstantExpr::create(1, Expr::Int32), index)),
-        ReadExpr::alloc(ul, index));
-  }
-}
-
 int Expr::compare(const Expr &b) const {
   static ExprEquivSet equivs;
   int r = compare(b, equivs);
-- 
cgit 1.4.1