Index: src/IceCfg.cpp |
diff --git a/src/IceCfg.cpp b/src/IceCfg.cpp |
index a72671e31f23d3491619af0a1702000ed9974852..eaebd1ea9b930894e6d8507abfcaa148d55a427b 100644 |
--- a/src/IceCfg.cpp |
+++ b/src/IceCfg.cpp |
@@ -617,7 +617,7 @@ bool Cfg::validateLiveness() const { |
// the previous block, and if it is also assigned in the first |
// instruction of this block, the adjacent live ranges get merged. |
if (static_cast<class Inst *>(&Inst) != FirstInst && |
- !Inst.isDestNonKillable() && |
+ !Inst.isDestRedefined() && |
Dest->getLiveRange().containsValue(InstNumber - 1, IsDest)) |
Invalid = true; |
if (Invalid) { |