From ece5e79dbc01b8f672799b22774ce73abd2721f3 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Wed, 17 Oct 2018 23:13:53 +0100
Subject: Move ConstantExpr check inside optimizeExpr function

---
 lib/Expr/ArrayExprOptimizer.cpp | 4 ++++
 1 file changed, 4 insertions(+)

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

diff --git a/lib/Expr/ArrayExprOptimizer.cpp b/lib/Expr/ArrayExprOptimizer.cpp
index 2d817e83..fbaffc23 100644
--- a/lib/Expr/ArrayExprOptimizer.cpp
+++ b/lib/Expr/ArrayExprOptimizer.cpp
@@ -43,6 +43,10 @@ llvm::cl::opt<double> ArrayValueSymbRatio(
 };
 
 ref<Expr> ExprOptimizer::optimizeExpr(const ref<Expr> &e, bool valueOnly) {
+  // Nothing to optimise for constant expressions
+  if (isa<ConstantExpr>(e))
+    return e;
+
   unsigned hash = e->hash();
   if (cacheExprUnapplicable.find(hash) != cacheExprUnapplicable.end())
     return e;
-- 
cgit 1.4.1