]> granicus.if.org Git - llvm/commitdiff
[BypassSlowDivision][CodeGenPrepare] avoid crashing on unused code (PR43514)
authorSanjay Patel <spatel@rotateright.com>
Tue, 1 Oct 2019 21:25:36 +0000 (21:25 +0000)
committerSanjay Patel <spatel@rotateright.com>
Tue, 1 Oct 2019 21:25:36 +0000 (21:25 +0000)
https://bugs.llvm.org/show_bug.cgi?id=43514

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

lib/Transforms/Utils/BypassSlowDivision.cpp
test/CodeGen/X86/bypass-slow-division-64.ll

index df299f673f651b17b5e7706aa9269c621eaa59c2..9a6761040bd89eae2d8eaaf094665e183c0520af 100644 (file)
@@ -448,13 +448,17 @@ bool llvm::bypassSlowDivision(BasicBlock *BB,
   DivCacheTy PerBBDivCache;
 
   bool MadeChange = false;
-  InstructionNext = &*BB->begin();
+  Instruction *Next = &*BB->begin();
   while (Next != nullptr) {
     // We may add instructions immediately after I, but we want to skip over
     // them.
-    InstructionI = Next;
+    Instruction *I = Next;
     Next = Next->getNextNode();
 
+    // Ignore dead code to save time and avoid bugs.
+    if (I->hasNUses(0))
+      continue;
+
     FastDivInsertionTask Task(I, BypassWidths);
     if (Value *Replacement = Task.getReplacement(PerBBDivCache)) {
       I->replaceAllUsesWith(Replacement);
index 11fc0df2443ced125e1ec86fb134a3410ed3cace..14a71050e94aa288ed6933b828caaabfbcaa0fd3 100644 (file)
@@ -75,3 +75,13 @@ define i64 @Test_get_quotient_and_remainder(i64 %a, i64 %b) nounwind {
   %result = add i64 %resultdiv, %resultrem
   ret i64 %result
 }
+
+define void @PR43514(i32 %x, i32 %y) {
+; CHECK-LABEL: PR43514:
+; CHECK:       # %bb.0:
+; CHECK-NEXT:    retq
+  %z1 = zext i32 %x to i64
+  %z2 = zext i32 %y to i64
+  %s = srem i64 %z1, %z2
+  ret void
+}