1 files changed, 8 insertions, 6 deletions
diff --git a/src/passes/Precompute.cpp b/src/passes/Precompute.cpp
index ae488a01f..85e09f875 100644
--- a/src/passes/Precompute.cpp
+++ b/src/passes/Precompute.cpp
@@ -173,13 +173,13 @@ struct Precompute
     if (flow.getType().hasVector()) {
       return;
     }
+    if (!canEmitConstantFor(flow.values)) {
+      return;
+    }
     if (flow.breaking()) {
       if (flow.breakTo == NONCONSTANT_FLOW) {
         return;
       }
-      if (!canEmitConstantFor(flow.values)) {
-        return;
-      }
       if (flow.breakTo == RETURN_FLOW) {
         // this expression causes a return. if it's already a return, reuse the
         // node
@@ -365,15 +365,17 @@ private:
     if (value.type.isFunction()) {
       return true;
     }
+    // All other reference types cannot be precomputed.
+    if (value.type.isRef()) {
+      return false;
+    }
     return canEmitConstantFor(value.type);
   }
 
   bool canEmitConstantFor(Type type) {
-    // Don't try to precompute a reference. We can't replace it with a constant
-    // expression, as that would make a copy of it by value.
     // For now, don't try to precompute an Rtt. TODO figure out when that would
     // be safe and useful.
-    return !type.isRef() && !type.isRtt();
+    return !type.isRtt();
   }
 };