[llvm] r373084 - [CodeGenPrepare] Mend "avoid crashing from replacing a phi twice" fix.

[Jesper Antonsson via llvm-commits]

Author: jesperantonsson
Date: Fri Sep 27 06:01:37 2019
New Revision: 373084

URL: http://llvm.org/viewvc/llvm-project?rev=373084&view=rev
Log:
[CodeGenPrepare] Mend "avoid crashing from replacing a phi twice" fix.

Summary:
An erroneously negated if-statement by an earlier (March 2019) bugfix left phi replacement/simplification under optimizeMemoryInst()  in CodeGenPrepare largely inactivated. The error was found when csmith found that the same assert as in the original bug report could still be triggered in a different way. This patch fixes the bugfix. The original bug was:
 https://bugs.llvm.org/show_bug.cgi?id=41052
... and the previous fix was D59358.

Reviewers: aprantl, skatkov

Reviewed By: skatkov

Subscribers: hiraditya, llvm-commits

Tags: #llvm

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

Added:
    llvm/trunk/test/CodeGen/X86/codegen-prepare-replacephi2.mir
Modified:
    llvm/trunk/lib/CodeGen/CodeGenPrepare.cpp

Modified: llvm/trunk/lib/CodeGen/CodeGenPrepare.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/CodeGenPrepare.cpp?rev=373084&r1=373083&r2=373084&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/CodeGenPrepare.cpp (original)
+++ llvm/trunk/lib/CodeGen/CodeGenPrepare.cpp Fri Sep 27 06:01:37 2019
@@ -3332,7 +3332,7 @@ private:
         // So the values are different and does not match. So we need them to
         // match. (But we register no more than one match per PHI node, so that
         // we won't later try to replace them twice.)
-        if (!MatchedPHIs.insert(FirstPhi).second)
+        if (MatchedPHIs.insert(FirstPhi).second)
           Matcher.insert({ FirstPhi, SecondPhi });
         // But me must check it.
         WorkList.push_back({ FirstPhi, SecondPhi });

Added: llvm/trunk/test/CodeGen/X86/codegen-prepare-replacephi2.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/codegen-prepare-replacephi2.mir?rev=373084&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/codegen-prepare-replacephi2.mir (added)
+++ llvm/trunk/test/CodeGen/X86/codegen-prepare-replacephi2.mir Fri Sep 27 06:01:37 2019
@@ -0,0 +1,68 @@
+# RUN: llc -run-pass=codegenprepare -o - %s | FileCheck %s
+
+# REQUIRES: default_triple
+
+# This testcase without the accompanying fix triggers the assert
+# "Replacement PHI node is already replaced."
+
+--- |
+
+  define void @f1() {
+  entry:
+    %arrayidx = getelementptr inbounds [2 x i16], [2 x i16]* undef, i16 0, i16 2
+    %0 = bitcast i16* %arrayidx to i32*
+    %1 = bitcast [2 x i16]* undef to i32*
+    br label %for.cond
+
+  for.cond.loopexit:
+    br label %for.cond
+
+  for.cond:
+    %2 = phi i32* [ %0, %entry ], [ %12, %for.cond.loopexit ]
+    %3 = phi i32* [ %0, %entry ], [ %14, %for.cond.loopexit ]
+    br label %for.body
+
+  for.body:
+    %4 = phi i32* [ %3, %for.cond ], [ %14, %cleanup ]
+    %5 = phi i32* [ %2, %for.cond ], [ %13, %cleanup ]
+    %6 = phi i32* [ %2, %for.cond ], [ %12, %cleanup ]
+    br i1 undef, label %for.cond2.preheader, label %if.then
+
+  for.cond2.preheader:
+    br label %for.cond2
+
+  if.then:
+    store i32 undef, i32* %4, align 1
+    br label %cleanup
+
+  for.cond2:
+    %7 = phi i32* [ %10, %for.inc ], [ %6, %for.cond2.preheader ]
+    %8 = phi i32* [ %11, %for.inc ], [ %5, %for.cond2.preheader ]
+    %9 = phi i32* [ %11, %for.inc ], [ %4, %for.cond2.preheader ]
+    br i1 undef, label %for.inc, label %if.then5
+
+  if.then5:
+    br i1 icmp ne (i16 2, i16 0), label %cleanup.loopexit, label %if.end
+
+  if.end:
+    br label %for.inc
+
+  for.inc:
+    %10 = phi i32* [ %7, %if.end ], [ %1, %for.cond2 ]
+    %11 = phi i32* [ %8, %if.end ], [ %1, %for.cond2 ]
+    br label %for.cond2
+
+  cleanup.loopexit:
+    br label %cleanup
+
+  cleanup:
+    %12 = phi i32* [ %6, %if.then ], [ %7, %cleanup.loopexit ]
+    %13 = phi i32* [ %5, %if.then ], [ %8, %cleanup.loopexit ]
+    %14 = phi i32* [ %4, %if.then ], [ %9, %cleanup.loopexit ]
+    br i1 true, label %for.cond.loopexit, label %for.body
+  }
+
+...
+
+# Sanity check to verify that something got through.
+# CHECK-LABEL: entry: