From 84af3482c31bb33595cbb72f30070bc27eab721c Mon Sep 17 00:00:00 2001
From: Alon Zakai <azakai@google.com>
Date: Fri, 21 Jul 2023 13:12:27 -0700
Subject: SimplifyLocals: Refinalize after removing redundant tees (#5830)

---
 src/passes/SimplifyLocals.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/passes/SimplifyLocals.cpp b/src/passes/SimplifyLocals.cpp
index 07527ee14..a042ba573 100644
--- a/src/passes/SimplifyLocals.cpp
+++ b/src/passes/SimplifyLocals.cpp
@@ -1024,6 +1024,9 @@ struct SimplifyLocals
             // This is an unnecessary copy!
             if (removeEquivalentSets) {
               if (curr->isTee()) {
+                if (curr->value->type != curr->type) {
+                  refinalize = true;
+                }
                 this->replaceCurrent(curr->value);
               } else {
                 this->replaceCurrent(Builder(*module).makeDrop(curr->value));
-- 
cgit v1.2.3