[PATCH] D79790: [ValueTracking] Fix crash in isGuaranteedNotToBeUndefOrPoison when V is in an unreachable block

[Juneyoung Lee via Phabricator via llvm-commits]

This revision was automatically updated to reflect the committed changes.
aqjune marked an inline comment as done.
Closed by commit rGd3eb51f0626c: [ValueTracking] Fix crash in isGuaranteedNotToBeUndefOrPoison when V is in an… (authored by aqjune).
Herald added a subscriber: nemanjai.

Changed prior to commit:
  https://reviews.llvm.org/D79790?vs=263449&id=263585#toc

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D79790/new/

https://reviews.llvm.org/D79790

Files:
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Transforms/DivRemPairs/PowerPC/pr45885.ll


Index: llvm/test/Transforms/DivRemPairs/PowerPC/pr45885.ll
===================================================================
--- /dev/null
+++ llvm/test/Transforms/DivRemPairs/PowerPC/pr45885.ll
@@ -0,0 +1,24 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -div-rem-pairs -S -mtriple=powerpc64-unknown-unknown | FileCheck %s
+
+define void @g() {
+; CHECK-LABEL: @g(
+; CHECK-NEXT:  if.end:
+; CHECK-NEXT:    ret void
+; CHECK:       for.cond:
+; CHECK-NEXT:    [[TMP0:%.*]] = mul i16 [[DIV_I:%.*]], [[REM_FROZEN:%.*]]
+; CHECK-NEXT:    [[REM_DECOMPOSED:%.*]] = sub i16 1, [[TMP0]]
+; CHECK-NEXT:    [[REM_FROZEN]] = freeze i16 [[REM_DECOMPOSED]]
+; CHECK-NEXT:    [[DIV_I]] = sdiv i16 1, [[REM_FROZEN]]
+; CHECK-NEXT:    br label [[FOR_COND:%.*]]
+;
+if.end:
+  ret void
+
+for.cond:                                         ; preds = %for.cond
+  %rem = srem i16 1, %rem
+  %div.i = sdiv i16 1, %rem
+  br label %for.cond
+}
+
+
Index: llvm/lib/Analysis/ValueTracking.cpp
===================================================================
--- llvm/lib/Analysis/ValueTracking.cpp
+++ llvm/lib/Analysis/ValueTracking.cpp
@@ -4821,12 +4821,17 @@
   if (!CtxI || !CtxI->getParent() || !DT)
     return false;
 
+  auto *DNode = DT->getNode(CtxI->getParent());
+  if (!DNode)
+    // Unreachable block
+    return false;
+
   // If V is used as a branch condition before reaching CtxI, V cannot be
   // undef or poison.
   //   br V, BB1, BB2
   // BB1:
   //   CtxI ; V cannot be undef or poison here
-  auto Dominator = DT->getNode(CtxI->getParent())->getIDom();
+  auto *Dominator = DNode->getIDom();
   while (Dominator) {
     auto *TI = Dominator->getBlock()->getTerminator();
 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D79790.263585.patch
Type: text/x-patch
Size: 1732 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200513/8c96061a/attachment.bin>