OSDN Git Service

[InstCombine] When turning sext into zext due to known bits, return the new ZExt...
authorCraig Topper <craig.topper@intel.com>
Wed, 8 May 2019 20:59:21 +0000 (20:59 +0000)
committerCraig Topper <craig.topper@intel.com>
Wed, 8 May 2019 20:59:21 +0000 (20:59 +0000)
The worklist loop that we're returning back to should be able to do the repacement itself. This is how we normally do replacements.

My main motivation was that I observed that we weren't preserving the name of the result when we do this transform. The replacement code in the worklist loop will call takeName as part of the replacement.

Differential Revision: https://reviews.llvm.org/D61695

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@360284 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Transforms/InstCombine/InstCombineCasts.cpp

index 91fdda4..1faaf0b 100644 (file)
@@ -1372,10 +1372,8 @@ Instruction *InstCombiner::visitSExt(SExtInst &CI) {
   // If we know that the value being extended is positive, we can use a zext
   // instead.
   KnownBits Known = computeKnownBits(Src, 0, &CI);
-  if (Known.isNonNegative()) {
-    Value *ZExt = Builder.CreateZExt(Src, DestTy);
-    return replaceInstUsesWith(CI, ZExt);
-  }
+  if (Known.isNonNegative())
+    return CastInst::Create(Instruction::ZExt, Src, DestTy);
 
   // Try to extend the entire expression tree to the wide destination type.
   if (shouldChangeType(SrcTy, DestTy) && canEvaluateSExtd(Src, DestTy)) {