From 93e5530db7fc86f165b1a0a2188d17b0078cb981 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 18 Oct 2018 11:31:05 +0100
Subject: Remove condition check before function invocation

Conditions are checked inside of `optimizeExpr()`
anyway. This simplifies the code a lot.
---
 lib/Expr/ArrayExprOptimizer.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/Expr')

diff --git a/lib/Expr/ArrayExprOptimizer.cpp b/lib/Expr/ArrayExprOptimizer.cpp
index fbaffc23..0929efb5 100644
--- a/lib/Expr/ArrayExprOptimizer.cpp
+++ b/lib/Expr/ArrayExprOptimizer.cpp
@@ -47,6 +47,10 @@ ref<Expr> ExprOptimizer::optimizeExpr(const ref<Expr> &e, bool valueOnly) {
   if (isa<ConstantExpr>(e))
     return e;
 
+  // If no is optimization enabled, return early avoid cache lookup
+  if (OptimizeArray == NONE)
+    return e;
+
   unsigned hash = e->hash();
   if (cacheExprUnapplicable.find(hash) != cacheExprUnapplicable.end())
     return e;
-- 
cgit 1.4.1