From 0160874a4adaab09057074042044e36f9466871a Mon Sep 17 00:00:00 2001 From: William Chen Date: Fri, 11 Mar 2022 16:53:29 -0800 Subject: [PATCH] ssa' propagation can propagate if vreg sizes are the same --- src/mapleall/maple_be/src/cg/aarch64/aarch64_prop.cpp | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/mapleall/maple_be/src/cg/aarch64/aarch64_prop.cpp b/src/mapleall/maple_be/src/cg/aarch64/aarch64_prop.cpp index 822dbb071c..b942b88a44 100644 --- a/src/mapleall/maple_be/src/cg/aarch64/aarch64_prop.cpp +++ b/src/mapleall/maple_be/src/cg/aarch64/aarch64_prop.cpp @@ -1324,12 +1324,8 @@ bool CopyRegProp::CheckCondition(Insn &insn) { VaildateImplicitCvt(destReg, srcReg, insn); return false; } - if (destReg.GetValidBitsNum() >= srcReg.GetValidBitsNum()) { - destReg.SetValidBitsNum(srcReg.GetValidBitsNum()); - } else { - CHECK_FATAL(false, "do not support explicit extract bit in mov"); - return false; - } + destReg.SetValidBitsNum(srcReg.GetValidBitsNum()); + destVersion = optSsaInfo->FindSSAVersion(destReg.GetRegisterNumber()); ASSERT(destVersion != nullptr, "find Version failed"); srcVersion = optSsaInfo->FindSSAVersion(srcReg.GetRegisterNumber()); -- Gitee